Magma V2.19-8 Tue Aug 20 2013 16:18:00 on localhost [Seed = 3103335542] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2236 geometric_solution 5.67058370 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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.445450381122 0.671240464560 3 2 4 0 0132 3012 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 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.809145802209 0.951104587401 1 3 0 4 1230 2310 0132 3201 0 0 0 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 0 0 0 0 0 -1 1 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.809145802209 0.951104587401 1 5 5 2 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.703452998476 0.388464743975 4 2 4 1 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.231670717541 0.962744668889 6 3 3 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.143314460194 0.326712425189 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.185414983239 0.168562364269 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 931905661882869032716116435592154626106866574378798009152442/588151\ 4326978124294019221425083884747268047301826206560779*c_0101_6^29 + 26128503870810467587342917681609257397592151084321222938021495/1764\ 4542980934372882057664275251654241804141905478619682337*c_0101_6^28 + 45416474580944363651840659059719400743884020749963790042582543/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^2\ 7 - 510382841742220746257614883553290396475859563044412254744562356\ /17644542980934372882057664275251654241804141905478619682337*c_0101\ _6^26 - 14824891601652077610873644822165939236885925815345549991989\ 81853/17644542980934372882057664275251654241804141905478619682337*c\ _0101_6^25 + 178800566612679626520823187577026872928374794805099097\ 5665001734/58815143269781242940192214250838847472680473018262065607\ 79*c_0101_6^24 + 10786066855803252339337653044062218152204669826222\ 638234801682397/176445429809343728820576642752516542418041419054786\ 19682337*c_0101_6^23 - 75523003892943695847675881465087351303598805\ 51542014805402116484/5881514326978124294019221425083884747268047301\ 826206560779*c_0101_6^22 - 4965049148402137462864271684348394726892\ 7725704342905852618742902/17644542980934372882057664275251654241804\ 141905478619682337*c_0101_6^21 + 3175229620480495062932007252759696\ 7070977275107547458366140932973/17644542980934372882057664275251654\ 241804141905478619682337*c_0101_6^20 + 138158273722451011090600669486981863113657377665190503396562072753/\ 17644542980934372882057664275251654241804141905478619682337*c_0101_\ 6^19 + 630896062502730661678848709798836132649245590359669208470096\ 1067/5881514326978124294019221425083884747268047301826206560779*c_0\ 101_6^18 - 83963544648619991385803682921909848119150549424305950797\ 802855269/588151432697812429401922142508388474726804730182620656077\ 9*c_0101_6^17 - 802842334629439001238956072507546639278887032360027\ 39405660057401/1764454298093437288205766427525165424180414190547861\ 9682337*c_0101_6^16 + 310702131549361129453895378035131882790047835\ 143609927419576861335/176445429809343728820576642752516542418041419\ 05478619682337*c_0101_6^15 + 50598553382765026253931680060839232014\ 482876242840782859127440453/176445429809343728820576642752516542418\ 04141905478619682337*c_0101_6^14 - 81025952942554720565483032650725233188755671597179774622341569584/5\ 881514326978124294019221425083884747268047301826206560779*c_0101_6^\ 13 + 56307801395791306406517944995519453915426580088870853517430165\ 94/17644542980934372882057664275251654241804141905478619682337*c_01\ 01_6^12 + 391470885420611553938502979772062362131198683249258446275\ 35849278/5881514326978124294019221425083884747268047301826206560779\ *c_0101_6^11 - 4039093745596394184475500232150140821922400045922833\ 274113450465/588151432697812429401922142508388474726804730182620656\ 0779*c_0101_6^10 - 409078304247440175152465628875977041250445392709\ 96574081968778490/1764454298093437288205766427525165424180414190547\ 8619682337*c_0101_6^9 + 5320022222219838503558445295022127679103592\ 387471148672599082357/176445429809343728820576642752516542418041419\ 05478619682337*c_0101_6^8 + 112939964432230028135488166735129395395\ 91640741410293897133044683/1764454298093437288205766427525165424180\ 4141905478619682337*c_0101_6^7 - 1552180238720967830553734420605893\ 508627247147768976799490405707/176445429809343728820576642752516542\ 41804141905478619682337*c_0101_6^6 - 890801872744288963083461001127526624453366744436874235523119710/588\ 1514326978124294019221425083884747268047301826206560779*c_0101_6^5 + 173097284808813522556618198571318855777454878060410253600811381/588\ 1514326978124294019221425083884747268047301826206560779*c_0101_6^4 + 375532212513716187840261488752338816628791663465539664095450819/176\ 44542980934372882057664275251654241804141905478619682337*c_0101_6^3 - 109751791202454053542756325962799265433550569652731016221392652/1\ 7644542980934372882057664275251654241804141905478619682337*c_0101_6\ ^2 - 7303408571707937851450387663894627607744444122455717666873183/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6 + 5755146764789694533639550523136239138795084598186361014982350/176\ 44542980934372882057664275251654241804141905478619682337, c_0011_0 - 1, c_0011_1 + 2765119385441447619838037660121756707080195552771096047332/5\ 881514326978124294019221425083884747268047301826206560779*c_0101_6^\ 29 - 21657224391829634077345461270962232236504108915989101412468/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^2\ 8 - 172180548903918886665356750723653746134707918728283351360055/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^2\ 7 + 285288132235171287792984660567777359624736556276745453842282/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^2\ 6 + 2144707617086754117095400105649778429994559115792004077576006/5\ 881514326978124294019221425083884747268047301826206560779*c_0101_6^\ 25 - 2787472725453879974669999953844814233672609374304670585686160/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^24 - 1772400303814503193588420008584444524970911232470059925174893\ 7/5881514326978124294019221425083884747268047301826206560779*c_0101\ _6^23 + 31144011083663766817510118826378225251550367981275865728119\ 58/5881514326978124294019221425083884747268047301826206560779*c_010\ 1_6^22 + 7565885166031151826733942772070298797602493179494310478252\ 9364/5881514326978124294019221425083884747268047301826206560779*c_0\ 101_6^21 + 56046882235374942371257254664546496415729241190309045644\ 208056/5881514326978124294019221425083884747268047301826206560779*c\ _0101_6^20 - 149534881153047180292106140234934281053181205853787207\ 312052853/588151432697812429401922142508388474726804730182620656077\ 9*c_0101_6^19 - 240842220074465444377243379308061979093119362538130\ 734933396065/588151432697812429401922142508388474726804730182620656\ 0779*c_0101_6^18 + 124369770375904647612727725855604170154985286147\ 136895208473094/588151432697812429401922142508388474726804730182620\ 6560779*c_0101_6^17 + 425988721440005742385425691352143787251567041\ 777614624228188590/588151432697812429401922142508388474726804730182\ 6206560779*c_0101_6^16 - 171925295055928131251451494241695505995596\ 86301412026654393015/5881514326978124294019221425083884747268047301\ 826206560779*c_0101_6^15 - 4155464675558439808597747178281654871191\ 76897478680925757391255/5881514326978124294019221425083884747268047\ 301826206560779*c_0101_6^14 - 3444818630878830073195337621342094528\ 0099184443089089040264219/58815143269781242940192214250838847472680\ 47301826206560779*c_0101_6^13 + 25292839486399915786430431800407197\ 4905147048503959396729790676/58815143269781242940192214250838847472\ 68047301826206560779*c_0101_6^12 + 27203812367204363941732210399608783831923407069962245044175097/5881\ 514326978124294019221425083884747268047301826206560779*c_0101_6^11 - 105267081790391905585445849996405798303131829404039137420204569/588\ 1514326978124294019221425083884747268047301826206560779*c_0101_6^10 - 15426632804159284393108390754991656986862110370210767287252286/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^9 + 32012314030009239295157448810010148386636003683123546497059667/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^8 + 6254085319566480631609010779878198339078237558382984247761087/588\ 1514326978124294019221425083884747268047301826206560779*c_0101_6^7 - 7117111683495580475346409249699415100399066844368696655592056/58815\ 14326978124294019221425083884747268047301826206560779*c_0101_6^6 - 1524565709225041799129546275483234590269964505979024946352341/58815\ 14326978124294019221425083884747268047301826206560779*c_0101_6^5 + 1243485611482367242964349006145719061727370229029005568790260/58815\ 14326978124294019221425083884747268047301826206560779*c_0101_6^4 + 209983815456577276464231384658176028062614730858374320117098/588151\ 4326978124294019221425083884747268047301826206560779*c_0101_6^3 - 104184128799520457781090158347614145451104235079301384490532/588151\ 4326978124294019221425083884747268047301826206560779*c_0101_6^2 - 7546615092704617179651476894182690616643940727559439111968/58815143\ 26978124294019221425083884747268047301826206560779*c_0101_6 - 209284172923783744313395767016271629066033740223645843405/588151432\ 6978124294019221425083884747268047301826206560779, c_0011_4 - 69512793794000121854567786321060992261905511043951625520870/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^29 + 638672782743476473289802108880946176430268844092590749541703/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^28 + 3490238659040160255851765118806758541537778337681871599326768\ /5881514326978124294019221425083884747268047301826206560779*c_0101_\ 6^27 - 121537657867161261356397460305107792276259656699460057193236\ 09/5881514326978124294019221425083884747268047301826206560779*c_010\ 1_6^26 - 3885272170253004755275183511504710631787058228552883901842\ 8105/5881514326978124294019221425083884747268047301826206560779*c_0\ 101_6^25 + 12752902453412970507033368849596050814496147137548117707\ 7205739/5881514326978124294019221425083884747268047301826206560779*\ c_0101_6^24 + 28901736386803227966182858907173771359904476249427429\ 7365631389/58815143269781242940192214250838847472680473018262065607\ 79*c_0101_6^23 - 52070761568426642378289162902627542993395552117643\ 7018694055286/58815143269781242940192214250838847472680473018262065\ 60779*c_0101_6^22 - 13211473381534818130243720706890698469507629699\ 57652355424238902/5881514326978124294019221425083884747268047301826\ 206560779*c_0101_6^21 + 5928424168561169240910675405716806428378103\ 21277672318653913494/5881514326978124294019221425083884747268047301\ 826206560779*c_0101_6^20 + 3546738582340749552033842634930063791308\ 863746285281488493151678/588151432697812429401922142508388474726804\ 7301826206560779*c_0101_6^19 + 101416495629520213096797297654704969\ 4632896199902265702199155037/58815143269781242940192214250838847472\ 68047301826206560779*c_0101_6^18 - 6147132642499434990480559217657534353170037895969771119101059563/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^1\ 7 - 296081252744154064789221544082399710084021944850907244604281806\ 1/5881514326978124294019221425083884747268047301826206560779*c_0101\ _6^16 + 73315821377239631887675040820434590361075110673103091898131\ 84531/5881514326978124294019221425083884747268047301826206560779*c_\ 0101_6^15 + 2383418781881435952055561018805118832096303171864173875\ 767787250/588151432697812429401922142508388474726804730182620656077\ 9*c_0101_6^14 - 574422362149634787041271804621200621177505842641340\ 6822600796438/58815143269781242940192214250838847472680473018262065\ 60779*c_0101_6^13 - 66311602654818223901399631101142478543441492050\ 8331073648647597/58815143269781242940192214250838847472680473018262\ 06560779*c_0101_6^12 + 28418811588878169352287922103748877310367887\ 33846450815721247596/5881514326978124294019221425083884747268047301\ 826206560779*c_0101_6^11 + 3710050352203406741266328726193355705768\ 0559346303543513357876/58815143269781242940192214250838847472680473\ 01826206560779*c_0101_6^10 - 99498463995029434423713393757589677286\ 0406210984906993363718368/58815143269781242940192214250838847472680\ 47301826206560779*c_0101_6^9 + 291765986090543146742186350885416419\ 16826331213944174688827324/5881514326978124294019221425083884747268\ 047301826206560779*c_0101_6^8 + 27271875488048463880968940889435559\ 0412065567520843792355178579/58815143269781242940192214250838847472\ 68047301826206560779*c_0101_6^7 - 150472323269959434851497902452861\ 91314198380069669097913487005/5881514326978124294019221425083884747\ 268047301826206560779*c_0101_6^6 - 64370246517429577212207895643419493159505747712988396381877923/5881\ 514326978124294019221425083884747268047301826206560779*c_0101_6^5 + 8302992881931221529001545926480037395570407218713059589823254/58815\ 14326978124294019221425083884747268047301826206560779*c_0101_6^4 + 9752644706443421343155115938563128350783619570329168661641517/58815\ 14326978124294019221425083884747268047301826206560779*c_0101_6^3 - 2512877373499963718863699021537762157174149097489002106689881/58815\ 14326978124294019221425083884747268047301826206560779*c_0101_6^2 - 620486012629425744533323378075724414502064525172083829755431/588151\ 4326978124294019221425083884747268047301826206560779*c_0101_6 + 182540152472470817634617494895498770800507458748123422431449/588151\ 4326978124294019221425083884747268047301826206560779, c_0101_0 - 14525427063836484576444568904724167913231479265248638873116/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^29 + 133958539537988387736683810604726711855208051375495714759452/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^28 + 723887609293657904529700956013326168667047138985547993197281/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^27 - 2558356051575876929919407367252528512075450209168428524432664\ /5881514326978124294019221425083884747268047301826206560779*c_0101_\ 6^26 - 797931901629534267611008001929434973264667746484276339795024\ 4/5881514326978124294019221425083884747268047301826206560779*c_0101\ _6^25 + 26846767343116007041220590691759164037838967522197394233506\ 261/5881514326978124294019221425083884747268047301826206560779*c_01\ 01_6^24 + 588381084719789204868188573629395372721119325852620088013\ 69355/5881514326978124294019221425083884747268047301826206560779*c_\ 0101_6^23 - 1101035721177282136585002206869810493930039567707356535\ 95436990/5881514326978124294019221425083884747268047301826206560779\ *c_0101_6^22 - 2670934706125869724421479682056989781526213056255836\ 07172412038/5881514326978124294019221425083884747268047301826206560\ 779*c_0101_6^21 + 1329101241114215982151943329235369359250651021255\ 69469539047306/5881514326978124294019221425083884747268047301826206\ 560779*c_0101_6^20 + 7151635487757124891775120531933235988973227264\ 06738959508411308/5881514326978124294019221425083884747268047301826\ 206560779*c_0101_6^19 + 1682368019471214261365967876269501515470633\ 84324223680409480430/5881514326978124294019221425083884747268047301\ 826206560779*c_0101_6^18 - 1251850267514165249356582184171652423769\ 793609114590393758043734/588151432697812429401922142508388474726804\ 7301826206560779*c_0101_6^17 - 503144815216765740233922705032825701\ 298296462542533711815809857/588151432697812429401922142508388474726\ 8047301826206560779*c_0101_6^16 + 152646227419423564164279428477043\ 3044635033784861152316698804884/58815143269781242940192214250838847\ 47268047301826206560779*c_0101_6^15 + 327473614339306661194969245496959158764887223522493569562227510/588\ 1514326978124294019221425083884747268047301826206560779*c_0101_6^14 - 1223130958900352092061144874333687463892953935118022972000506880/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^13 + 1095432494484379896462276071356544645335505786309149759232883\ 0/5881514326978124294019221425083884747268047301826206560779*c_0101\ _6^12 + 61588858087147094166597759858242978583280067670069336920206\ 5591/5881514326978124294019221425083884747268047301826206560779*c_0\ 101_6^11 - 75865281110659771684767240945462796662369017436387706087\ 683515/5881514326978124294019221425083884747268047301826206560779*c\ _0101_6^10 - 220011560167944501417611041999234368457910053730524129\ 486653755/588151432697812429401922142508388474726804730182620656077\ 9*c_0101_6^9 + 3873043192087293219724721678814724749816688700397120\ 1519902690/58815143269781242940192214250838847472680473018262065607\ 79*c_0101_6^8 + 628220818715734295665933695840132479092287883643848\ 99052554315/5881514326978124294019221425083884747268047301826206560\ 779*c_0101_6^7 - 12350392998741082312202713398428629379613946338556\ 819391476161/588151432697812429401922142508388474726804730182620656\ 0779*c_0101_6^6 - 1560425443358844341774713956159642116514951327409\ 4496654925861/58815143269781242940192214250838847472680473018262065\ 60779*c_0101_6^5 + 368202482116351516399818770459381475530465063481\ 4480723170672/58815143269781242940192214250838847472680473018262065\ 60779*c_0101_6^4 + 250241893573395182202482716583901020204639601604\ 6357149589615/58815143269781242940192214250838847472680473018262065\ 60779*c_0101_6^3 - 830089429745861658317656957821762991613456149336\ 004301348849/588151432697812429401922142508388474726804730182620656\ 0779*c_0101_6^2 - 1832919379759368833964649213532912896861400738465\ 73647149230/5881514326978124294019221425083884747268047301826206560\ 779*c_0101_6 + 5585694752019337179718331788955093258113740974424982\ 6428017/5881514326978124294019221425083884747268047301826206560779, c_0101_1 - 46834733807696846423198783234227121456217485197957377298643/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^29 + 443115475431266864639292315058882259075102369067853643659875/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^28 + 2239257913563392225380998411069050535760025030194331508096942\ /5881514326978124294019221425083884747268047301826206560779*c_0101_\ 6^27 - 887972149036345026305580012292281793072451382663209716914164\ 1/5881514326978124294019221425083884747268047301826206560779*c_0101\ _6^26 - 24215776652755474621569880381690538260179045555736306794411\ 176/5881514326978124294019221425083884747268047301826206560779*c_01\ 01_6^25 + 939716384943848934927007209794868012874900245954072877854\ 40553/5881514326978124294019221425083884747268047301826206560779*c_\ 0101_6^24 + 1744225501422127532559297062260453886087401553851490216\ 76195254/5881514326978124294019221425083884747268047301826206560779\ *c_0101_6^23 - 4134121059985241584111962084186489784771850673496836\ 31237319026/5881514326978124294019221425083884747268047301826206560\ 779*c_0101_6^22 - 8186019855976242356950780953722067999878155861804\ 61166291790107/5881514326978124294019221425083884747268047301826206\ 560779*c_0101_6^21 + 6796329111694830064544702221455433383086312626\ 90961128331748452/5881514326978124294019221425083884747268047301826\ 206560779*c_0101_6^20 + 2392638517584134645632939619439556075290586\ 858946383501677022159/588151432697812429401922142508388474726804730\ 1826206560779*c_0101_6^19 + 751464915748377804790094409966924027268\ 226122869868305796059/588151432697812429401922142508388474726804730\ 1826206560779*c_0101_6^18 - 462434055305936163401419095530130507467\ 3689001827386618933509686/58815143269781242940192214250838847472680\ 47301826206560779*c_0101_6^17 - 99718906991711515526906817069809011\ 2868516613398298841733108107/58815143269781242940192214250838847472\ 68047301826206560779*c_0101_6^16 + 5974352027245570634057664624502984267190363909254073927966087727/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^1\ 5 + 608266162357012352648507945076277763802053146349077927987058800\ /5881514326978124294019221425083884747268047301826206560779*c_0101_\ 6^14 - 486203914574149265593890618279486181866110476985572899633154\ 4716/5881514326978124294019221425083884747268047301826206560779*c_0\ 101_6^13 + 25727005839678759369232958124283745600431228257946806909\ 4436189/5881514326978124294019221425083884747268047301826206560779*\ c_0101_6^12 + 24604693970480931645838970799076863001110476400649757\ 44214349175/5881514326978124294019221425083884747268047301826206560\ 779*c_0101_6^11 - 3063934826268885395761743204604937723313820594380\ 80211104185037/5881514326978124294019221425083884747268047301826206\ 560779*c_0101_6^10 - 8903330921005744381602196697740891675144446903\ 46337720939554571/5881514326978124294019221425083884747268047301826\ 206560779*c_0101_6^9 + 12663748231546135287230751832190644015201253\ 5098726230269610614/58815143269781242940192214250838847472680473018\ 26206560779*c_0101_6^8 + 253615765752615358367699492928700339127602\ 784201559574060847265/588151432697812429401922142508388474726804730\ 1826206560779*c_0101_6^7 - 3492240271453549576356503637669110359794\ 3324797491045588954646/58815143269781242940192214250838847472680473\ 01826206560779*c_0101_6^6 - 603859674599765385938789676732803906126\ 38359973990237631114903/5881514326978124294019221425083884747268047\ 301826206560779*c_0101_6^5 + 10705810998204275119164057184041282941\ 965878556268653291719262/588151432697812429401922142508388474726804\ 7301826206560779*c_0101_6^4 + 9341103871132116082015477496020338118\ 037845642367043017344098/588151432697812429401922142508388474726804\ 7301826206560779*c_0101_6^3 - 2360935657700932225952923438823560130\ 275086057812459271994169/588151432697812429401922142508388474726804\ 7301826206560779*c_0101_6^2 - 5906002785599873713144786921787950041\ 35854338004776311199296/5881514326978124294019221425083884747268047\ 301826206560779*c_0101_6 + 1605322496065751653928904980347360175332\ 81177744846468869158/5881514326978124294019221425083884747268047301\ 826206560779, c_0101_5 - 1814996497027309418780437275406827758431900666644290853824/5\ 881514326978124294019221425083884747268047301826206560779*c_0101_6^\ 29 + 15133409614216295189280014689066909426341335492252718169783/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^2\ 8 + 103950538954778491559206809821831363278524047730422253728041/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^2\ 7 - 228490428176926401518989244884780088595190615892387816512659/58\ 81514326978124294019221425083884747268047301826206560779*c_0101_6^2\ 6 - 1207128760631850150069733963167507449607539705257990233047796/5\ 881514326978124294019221425083884747268047301826206560779*c_0101_6^\ 25 + 2286035131708643445541795713416600167244014180281130509519792/\ 5881514326978124294019221425083884747268047301826206560779*c_0101_6\ ^24 + 9459428424408468569090155938409721954241773590366139285100189\ /5881514326978124294019221425083884747268047301826206560779*c_0101_\ 6^23 - 533221323033320013325169553988000729402901929607095500132243\ 6/5881514326978124294019221425083884747268047301826206560779*c_0101\ _6^22 - 38760277300749949472624592816067626350121593678516003573182\ 094/5881514326978124294019221425083884747268047301826206560779*c_01\ 01_6^21 - 191069853648081283073765661180236167785551622453047584155\ 25805/5881514326978124294019221425083884747268047301826206560779*c_\ 0101_6^20 + 7406760307937822346797905706636318253224531229288472586\ 8469928/5881514326978124294019221425083884747268047301826206560779*\ c_0101_6^19 + 95045751355390689819770279230454809525964730074210486\ 982747512/588151432697812429401922142508388474726804730182620656077\ 9*c_0101_6^18 - 679071622035431637959303751740651498420386427841864\ 19350020066/5881514326978124294019221425083884747268047301826206560\ 779*c_0101_6^17 - 1409613124033070319130684241858312497708687544906\ 42477913248592/5881514326978124294019221425083884747268047301826206\ 560779*c_0101_6^16 + 4010149987204743601360116359175547282067855824\ 5203293012783917/58815143269781242940192214250838847472680473018262\ 06560779*c_0101_6^15 + 87871996740150594089463399015054983831446600\ 190953474210424817/588151432697812429401922142508388474726804730182\ 6206560779*c_0101_6^14 - 274846102338455927274566932213417092285687\ 12410824190886805005/5881514326978124294019221425083884747268047301\ 826206560779*c_0101_6^13 - 1563745053391288535552309251462143953103\ 2587975866666009303158/58815143269781242940192214250838847472680473\ 01826206560779*c_0101_6^12 + 15154636153781651778169015537463303254\ 175199655199980187602563/588151432697812429401922142508388474726804\ 7301826206560779*c_0101_6^11 - 864009701255968207058269370326359064\ 4503243425592446400457150/58815143269781242940192214250838847472680\ 47301826206560779*c_0101_6^10 - 45721202975655190529559744863074326\ 10384971256464511801627317/5881514326978124294019221425083884747268\ 047301826206560779*c_0101_6^9 + 74293220338909369706861032056192292\ 41234245522476197316881066/5881514326978124294019221425083884747268\ 047301826206560779*c_0101_6^8 + 16384567124183879890026412718121549\ 75701019010046056253836841/5881514326978124294019221425083884747268\ 047301826206560779*c_0101_6^7 - 29874111466720952931862223390036564\ 25487869275991429538622912/5881514326978124294019221425083884747268\ 047301826206560779*c_0101_6^6 - 80216621985808192988803902631859765\ 2936540145133814011816604/58815143269781242940192214250838847472680\ 47301826206560779*c_0101_6^5 + 772234812453887083639429439512870159\ 431740380075397160903433/588151432697812429401922142508388474726804\ 7301826206560779*c_0101_6^4 + 1803417193195026044616650405104276082\ 24837547524684754974225/5881514326978124294019221425083884747268047\ 301826206560779*c_0101_6^3 - 17843406434555066564714263296636241950\ 6949706594335054279084/58815143269781242940192214250838847472680473\ 01826206560779*c_0101_6^2 - 336742305676889208676445002058818242164\ 66269553057682478418/5881514326978124294019221425083884747268047301\ 826206560779*c_0101_6 + 1178920607192562848250259491948868330493723\ 9679159281332636/58815143269781242940192214250838847472680473018262\ 06560779, c_0101_6^30 - 9*c_0101_6^29 - 52*c_0101_6^28 + 166*c_0101_6^27 + 595*c_0101_6^26 - 1741*c_0101_6^25 - 4539*c_0101_6^24 + 6830*c_0101_6^23 + 20689*c_0101_6^22 - 5464*c_0101_6^21 - 53924*c_0101_6^20 - 23549*c_0101_6^19 + 89330*c_0101_6^18 + 60220*c_0101_6^17 - 103976*c_0101_6^16 - 57620*c_0101_6^15 + 83994*c_0101_6^14 + 28779*c_0101_6^13 - 45218*c_0101_6^12 - 10246*c_0101_6^11 + 17320*c_0101_6^10 + 3100*c_0101_6^9 - 5112*c_0101_6^8 - 814*c_0101_6^7 + 1262*c_0101_6^6 + 137*c_0101_6^5 - 226*c_0101_6^4 - 4*c_0101_6^3 + 25*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB