Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 2800171621] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0457 geometric_solution 4.49541981 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 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 0 1 -1 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 -5.815603517829 1.389491706675 0 0 2 2 0132 3201 3201 0132 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 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.187615007150 0.051508720752 1 3 1 3 2310 0132 0132 2310 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 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.253477806354 1.120448132330 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 -1 0 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 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.674310953696 1.688738832243 6 5 3 5 0132 2031 0132 3012 0 0 0 0 0 0 -1 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 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.629288377266 0.578949886404 4 6 4 3 1302 3201 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629288377266 0.578949886404 4 6 5 6 0132 1302 2310 2031 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 1 -1 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.408463030107 0.623403895429 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 2456251918118652308219100524085670002326015579763382775403823037853\ 4948695/90173918236288790704564345802367047631585391335708538012426\ 216129350416*c_0101_6^24 - 5908358855602301656681532334000473297415\ 00869175902829667724193833329183777/9017391823628879070456434580236\ 7047631585391335708538012426216129350416*c_0101_6^23 - 9616979823444595735460019034809172786998054427850080213750603264261\ 53762565/4508695911814439535228217290118352381579269566785426900621\ 3108064675208*c_0101_6^22 + 628533031966828925631715550135710626701\ 2082405766066350405759027533334922619/45086959118144395352282172901\ 183523815792695667854269006213108064675208*c_0101_6^21 + 1178334544472769365564919306990093960757657457487184876703000595828\ 901165059/450869591181443953522821729011835238157926956678542690062\ 13108064675208*c_0101_6^20 - 13564944906247627592858773593814526231\ 447290882201929602930948222002342918601/644099415973491362175459612\ 8740503402256099381122038429459015437810744*c_0101_6^19 + 6916388092916694801000786622543526123725201124860433854157422010591\ 9179982037/45086959118144395352282172901183523815792695667854269006\ 213108064675208*c_0101_6^18 + 7083234088994601799120774963305443979\ 29724402416876934634810301887794288107501/4508695911814439535228217\ 2901183523815792695667854269006213108064675208*c_0101_6^17 - 8247973569772918048309242317844330462969721059311415956289358871047\ 76828977859/9017391823628879070456434580236704763158539133570853801\ 2426216129350416*c_0101_6^16 - 138248657265929498746393893460302011\ 4219292315071314161234582762344926137054441/22543479559072197676141\ 086450591761907896347833927134503106554032337604*c_0101_6^15 + 1583963104964896213517456604730118812301162928977711604188958790788\ 7162778819/80512426996686420271932451609256292528201242264025480368\ 2376929726343*c_0101_6^14 + 101147576030433255450988198382025318471\ 78058115798186988470493320861942363410365/9017391823628879070456434\ 5802367047631585391335708538012426216129350416*c_0101_6^13 - 2346877784997058549685387037556453560282428605380126916548037022763\ 01617173525/1288198831946982724350919225748100680451219876224407685\ 8918030875621488*c_0101_6^12 - 847241224398434055835624060140967062\ 0970870476431310325065620434369370894864769/90173918236288790704564\ 345802367047631585391335708538012426216129350416*c_0101_6^11 - 1075785629150787438891423420248284100679042060624055131188292146791\ 850274847605/901739182362887907045643458023670476315853913357085380\ 12426216129350416*c_0101_6^10 + 24347071380827307027829897199374653\ 02144951240553684829288864403928777027510029/4508695911814439535228\ 2172901183523815792695667854269006213108064675208*c_0101_6^9 + 1125913749790249397244114627118813826858388746309199707318251851975\ 615757901439/901739182362887907045643458023670476315853913357085380\ 12426216129350416*c_0101_6^8 - 231256618076590085949934229336662756\ 4026564899639609693897080875867742606675091/90173918236288790704564\ 345802367047631585391335708538012426216129350416*c_0101_6^7 + 5162687114021586520421756896338167608671980727946887979913702735952\ 82394563377/9017391823628879070456434580236704763158539133570853801\ 2426216129350416*c_0101_6^6 + 2599295597243189932243895812876253388\ 20004252538241025901952573204102839383441/9017391823628879070456434\ 5802367047631585391335708538012426216129350416*c_0101_6^5 - 4975391870428278468696684828957825832595773087795372464802547283745\ 6006364107/22543479559072197676141086450591761907896347833927134503\ 106554032337604*c_0101_6^4 + 16452930558634461597184844596516620139\ 499580729011758821958789422444407900155/901739182362887907045643458\ 02367047631585391335708538012426216129350416*c_0101_6^3 + 2351740761642495400714178906494193184728576684862477347898170258144\ 024958721/225434795590721976761410864505917619078963478339271345031\ 06554032337604*c_0101_6^2 - 340891187457915716315071892801113412267\ 4707042579303217263329885874423842495/90173918236288790704564345802\ 367047631585391335708538012426216129350416*c_0101_6 + 3259113829076820314810436119821478628702842684888444600370579451335\ 94118569/9017391823628879070456434580236704763158539133570853801242\ 6216129350416, c_0011_0 - 1, c_0011_2 - 887041791225988404191106966198014855208657484312497194584810\ 779941/161024853993372840543864903218512585056402484528050960736475\ 3859452686*c_0101_6^24 - 348838345083552853502128679408415647430743\ 46425485268471651849296353/1610248539933728405438649032185125850564\ 024845280509607364753859452686*c_0101_6^23 - 2013530596538212081515828244347695611951701962911915883155819097559\ 59/8051242699668642027193245160925629252820124226402548036823769297\ 26343*c_0101_6^22 - 39584010623313676171703458297245994081092554202\ 0803595311607388529857/80512426996686420271932451609256292528201242\ 2640254803682376929726343*c_0101_6^21 + 3131300452151309478237863933318113783665983873096331007953202570136\ 476/805124269966864202719324516092562925282012422640254803682376929\ 726343*c_0101_6^20 - 1239572646619278391891619103922683472972742564\ 050958168499221632817328/805124269966864202719324516092562925282012\ 422640254803682376929726343*c_0101_6^19 - 4799187598514991555641052192370467798097736135581674005420807156049\ 0472/80512426996686420271932451609256292528201242264025480368237692\ 9726343*c_0101_6^18 + 367574850887727461908578462352405419111637336\ 47684614811901714607914309/8051242699668642027193245160925629252820\ 12422640254803682376929726343*c_0101_6^17 + 7409120239024357055013530998619767992387622725933422633401922824861\ 96925/1610248539933728405438649032185125850564024845280509607364753\ 859452686*c_0101_6^16 - 1158248317562147041211238522598209857900531\ 47107722886554031637280802349/8051242699668642027193245160925629252\ 82012422640254803682376929726343*c_0101_6^15 - 1413783053631034362057927942060488673525611130096247185082721456763\ 131865/805124269966864202719324516092562925282012422640254803682376\ 929726343*c_0101_6^14 - 2217914608798169786382966221347691015541815\ 28804707260209367608162219147/1610248539933728405438649032185125850\ 564024845280509607364753859452686*c_0101_6^13 + 4539511160664534605459931164124914521858897510264848724524168643183\ 539383/161024853993372840543864903218512585056402484528050960736475\ 3859452686*c_0101_6^12 + 109220164143760888849298477829258817179096\ 1443474033159425112972127019701/16102485399337284054386490321851258\ 50564024845280509607364753859452686*c_0101_6^11 - 2908660298785743000176535312051238221158536840944120474927934231233\ 541327/161024853993372840543864903218512585056402484528050960736475\ 3859452686*c_0101_6^10 - 776607927005753702983588416821870384418987\ 594853534802303845964696883131/805124269966864202719324516092562925\ 282012422640254803682376929726343*c_0101_6^9 + 1144205233816771327963623509278693390128410762663595109263553102647\ 543573/161024853993372840543864903218512585056402484528050960736475\ 3859452686*c_0101_6^8 + 6780180398931599495246187424018636514811892\ 66046423887380637039078223229/1610248539933728405438649032185125850\ 564024845280509607364753859452686*c_0101_6^7 - 6153032680845323941726556639905375236725563569477159952814464316089\ 21067/1610248539933728405438649032185125850564024845280509607364753\ 859452686*c_0101_6^6 + 15111735054369742407127870002607179647633586\ 5633188920148559679823196573/16102485399337284054386490321851258505\ 64024845280509607364753859452686*c_0101_6^5 + 3915941209425427943202263479570935756258958200968421948090411127957\ 3816/80512426996686420271932451609256292528201242264025480368237692\ 9726343*c_0101_6^4 - 4725474087054512176794803511406645313561915880\ 1407775617399479156709453/16102485399337284054386490321851258505640\ 24845280509607364753859452686*c_0101_6^3 + 5898948063090571966953905786130388765781033857172860320126086895246\ 758/805124269966864202719324516092562925282012422640254803682376929\ 726343*c_0101_6^2 - 66541203256292777352609092963883012480940992967\ 5662460299601105660867/16102485399337284054386490321851258505640248\ 45280509607364753859452686*c_0101_6 - 9957585936857330727466047168155855344891716114022512757978245022371\ 21/1610248539933728405438649032185125850564024845280509607364753859\ 452686, c_0011_4 - 356363870863303667364510336561143740501114516912607991528372\ 1371046527/64409941597349136217545961287405034022560993811220384294\ 59015437810744*c_0101_6^24 - 85913073918222350618150333245248649584\ 248383667444613050113969241773465/644099415973491362175459612874050\ 3402256099381122038429459015437810744*c_0101_6^23 - 1418545479596965222947979296361205365558499482982180123651445112493\ 74037/3220497079867456810877298064370251701128049690561019214729507\ 718905372*c_0101_6^22 + 9039607436312473653293479982533782867846885\ 47238265081832341645573379539/3220497079867456810877298064370251701\ 128049690561019214729507718905372*c_0101_6^21 + 2188613078690400375794132853423856723416643105860044658243690983911\ 89551/3220497079867456810877298064370251701128049690561019214729507\ 718905372*c_0101_6^20 - 1375728313446666681375456025015925609605397\ 8753550401073195629264020579375/32204970798674568108772980643702517\ 01128049690561019214729507718905372*c_0101_6^19 + 9291029351762895296515359680873950562314485263778216062977226801932\ 557041/322049707986745681087729806437025170112804969056101921472950\ 7718905372*c_0101_6^18 + 103164987476756604085021268173484885840351\ 562673663059209728300440835717161/322049707986745681087729806437025\ 1701128049690561019214729507718905372*c_0101_6^17 - 1082832138239293986916223808442124755120735338824029435368588952110\ 56148027/6440994159734913621754596128740503402256099381122038429459\ 015437810744*c_0101_6^16 - 2016680740337435958747855583389130720989\ 52279601107649460410903893229609623/1610248539933728405438649032185\ 125850564024845280509607364753859452686*c_0101_6^15 + 2651755274249627268701844671264618673618123857398896967189589896282\ 1308038/80512426996686420271932451609256292528201242264025480368237\ 6929726343*c_0101_6^14 + 147303593806661110633671152453036533113101\ 7388040547126239381797182290079213/64409941597349136217545961287405\ 03402256099381122038429459015437810744*c_0101_6^13 - 1537726521020717729460865176593172049712217151227854614343770459596\ 28954235/6440994159734913621754596128740503402256099381122038429459\ 015437810744*c_0101_6^12 - 1225700049976870096472745039608001841909\ 164114281625500232441611594074020953/644099415973491362175459612874\ 0503402256099381122038429459015437810744*c_0101_6^11 - 2287012489062432242051218744413304451117370695766303183993538965167\ 67599677/6440994159734913621754596128740503402256099381122038429459\ 015437810744*c_0101_6^10 + 3415237044029995240573028244340581425729\ 49003271574335259880956968063502657/3220497079867456810877298064370\ 251701128049690561019214729507718905372*c_0101_6^9 + 2014847014963484887596606042272356173326126594943191502620528345845\ 40989423/6440994159734913621754596128740503402256099381122038429459\ 015437810744*c_0101_6^8 - 31738949171733582328983162991477632734199\ 5722316596402616390273203728119419/64409941597349136217545961287405\ 03402256099381122038429459015437810744*c_0101_6^7 + 5822183464523922699259197324392023765460342686823201161859364343611\ 7117833/64409941597349136217545961287405034022560993811220384294590\ 15437810744*c_0101_6^6 + 376016306996810826584053518194405777940627\ 70682357724617884530421330397809/6440994159734913621754596128740503\ 402256099381122038429459015437810744*c_0101_6^5 - 6442150188535069012470780034315793955936738197700135437990469040271\ 507977/161024853993372840543864903218512585056402484528050960736475\ 3859452686*c_0101_6^4 + 1127621553471187763532048070466394094282408\ 253163283941155166071113673611/644099415973491362175459612874050340\ 2256099381122038429459015437810744*c_0101_6^3 + 2986059133760971880549399743886474256431144291207507694523086662087\ 50363/1610248539933728405438649032185125850564024845280509607364753\ 859452686*c_0101_6^2 - 39798571883214365640670077597689582018554740\ 1360498938575078275116092871/64409941597349136217545961287405034022\ 56099381122038429459015437810744*c_0101_6 + 3094135044645067277477959445911009238215860742817334466692397906319\ 9609/64409941597349136217545961287405034022560993811220384294590154\ 37810744, c_0101_0 + 590639089997150657687417564723671802583489210383481258012119\ 3637195/16102485399337284054386490321851258505640248452805096073647\ 53859452686*c_0101_6^24 + 14050586888359983443628252142115999831150\ 0513393557358962996807297565/16102485399337284054386490321851258505\ 64024845280509607364753859452686*c_0101_6^23 + 2130814214248645807661925088513708392742835422621417675650232017183\ 95/8051242699668642027193245160925629252820124226402548036823769297\ 26343*c_0101_6^22 - 15556023300959415513794137460985306551918544372\ 58434012270158112676326/8051242699668642027193245160925629252820124\ 22640254803682376929726343*c_0101_6^21 + 1851326922067911501217255886147662812140017840459818160566532169483\ 53/8051242699668642027193245160925629252820124226402548036823769297\ 26343*c_0101_6^20 + 22606375910981251891325102856276788630425527259\ 762785914636837167482189/805124269966864202719324516092562925282012\ 422640254803682376929726343*c_0101_6^19 - 2296476679925444366719506252163876802643175476129465211608117721328\ 2375/80512426996686420271932451609256292528201242264025480368237692\ 9726343*c_0101_6^18 - 160819988196105080852022533195926033684822246\ 321510564074841642776705284/805124269966864202719324516092562925282\ 012422640254803682376929726343*c_0101_6^17 + 2882549912396556168437102537530540085579695231193001183263033757727\ 13841/1610248539933728405438649032185125850564024845280509607364753\ 859452686*c_0101_6^16 + 5996677686217455124962570910548576916006257\ 57896460684390176623983216355/8051242699668642027193245160925629252\ 82012422640254803682376929726343*c_0101_6^15 - 3950419673401397631534926250121276613547259908454787483789189525800\ 26165/8051242699668642027193245160925629252820124226402548036823769\ 29726343*c_0101_6^14 - 20352008810294971668530742574731621848965491\ 72762310471864898943677241457/1610248539933728405438649032185125850\ 564024845280509607364753859452686*c_0101_6^13 + 1146364927010765459578555580795657181743569269931432070143899129966\ 294137/161024853993372840543864903218512585056402484528050960736475\ 3859452686*c_0101_6^12 + 151928635742595400949269059922124442229909\ 9672553070681476260132021504175/16102485399337284054386490321851258\ 50564024845280509607364753859452686*c_0101_6^11 - 4658440610408703251717654869388666777634948045289658216499791379848\ 03645/1610248539933728405438649032185125850564024845280509607364753\ 859452686*c_0101_6^10 - 5149976567749251053698159942742535075873752\ 34021556220300596127192022156/8051242699668642027193245160925629252\ 82012422640254803682376929726343*c_0101_6^9 + 1933545762367654382295475572936358072317838949398212843693411097191\ 06359/1610248539933728405438649032185125850564024845280509607364753\ 859452686*c_0101_6^8 + 55248683556116382968771505698934123582148004\ 4388852903719578835712224027/16102485399337284054386490321851258505\ 64024845280509607364753859452686*c_0101_6^7 - 3206243881717446885808868458176493221138370280857561646957542401747\ 82157/1610248539933728405438649032185125850564024845280509607364753\ 859452686*c_0101_6^6 + 35742256913693539961412977928020360086858261\ 427758275670402590035509457/161024853993372840543864903218512585056\ 4024845280509607364753859452686*c_0101_6^5 + 2570894134621785331834659545648900774763024836452484076431255910643\ 3437/80512426996686420271932451609256292528201242264025480368237692\ 9726343*c_0101_6^4 - 2469447922018669922198512964336259622912040256\ 2978851987521091330033707/16102485399337284054386490321851258505640\ 24845280509607364753859452686*c_0101_6^3 + 2800577114452612241026023862412960123571565646393613945881842147853\ 705/805124269966864202719324516092562925282012422640254803682376929\ 726343*c_0101_6^2 - 35771641274484117262505253040428617868299625777\ 4832290803428670067071/16102485399337284054386490321851258505640248\ 45280509607364753859452686*c_0101_6 - 1391926213980324583899020075451758240453625985201918236277260290922\ 395/161024853993372840543864903218512585056402484528050960736475385\ 9452686, c_0101_1 + 242794927652086092530527082092913311616159474719924352099597\ 3019602109/32204970798674568108772980643702517011280496905610192147\ 29507718905372*c_0101_6^24 + 58514755746145552028849129197563478052\ 706820393500494985791309716111031/322049707986745681087729806437025\ 1701128049690561019214729507718905372*c_0101_6^23 + 9642647860807920810956695095923624237262337969952293395614162900754\ 7649/16102485399337284054386490321851258505640248452805096073647538\ 59452686*c_0101_6^22 - 61646560755300222509373404542355075089401833\ 3508664520753844694322862599/16102485399337284054386490321851258505\ 64024845280509607364753859452686*c_0101_6^21 - 1435885608033073677440547938522190344165856442236925545213703730815\ 31557/1610248539933728405438649032185125850564024845280509607364753\ 859452686*c_0101_6^20 + 9371873044067501605551233344462758599525810\ 076646922731024300537273879091/161024853993372840543864903218512585\ 0564024845280509607364753859452686*c_0101_6^19 - 6407601470674022568622135137197121771729666445767682871076206141695\ 026819/161024853993372840543864903218512585056402484528050960736475\ 3859452686*c_0101_6^18 - 701936328624305182563204147853029076565567\ 86959229233809523681824715297777/1610248539933728405438649032185125\ 850564024845280509607364753859452686*c_0101_6^17 + 7493751642695053458925335328686753833168960883357022858249816706254\ 0369557/32204970798674568108772980643702517011280496905610192147295\ 07718905372*c_0101_6^16 + 13707545551895452142319839400546453546709\ 1747152097932423444499293582741377/80512426996686420271932451609256\ 2925282012422640254803682376929726343*c_0101_6^15 - 3737276426797053278405871605499308058409656431800847790819949934684\ 5147963/80512426996686420271932451609256292528201242264025480368237\ 6929726343*c_0101_6^14 - 999923516258930559236298732997587727402487\ 806357927550576812623757712567591/322049707986745681087729806437025\ 1701128049690561019214729507718905372*c_0101_6^13 + 1157856626739774258756228942373136228764840304767653976147196005901\ 82830653/3220497079867456810877298064370251701128049690561019214729\ 507718905372*c_0101_6^12 + 8312416127033356396483276791188829959422\ 17193855542101229909225357724905279/3220497079867456810877298064370\ 251701128049690561019214729507718905372*c_0101_6^11 + 1440023574230803755168823945563430362488370121177100946331964832254\ 16840207/3220497079867456810877298064370251701128049690561019214729\ 507718905372*c_0101_6^10 - 2331631957642530950948651721856815177610\ 23551097901176049860076276914675617/1610248539933728405438649032185\ 125850564024845280509607364753859452686*c_0101_6^9 - 1298605232187386676104477549284850651074834444212382060066985179901\ 32864737/3220497079867456810877298064370251701128049690561019214729\ 507718905372*c_0101_6^8 + 21856776041639371618414653435026346335486\ 2299904249305065195617697256103973/32204970798674568108772980643702\ 51701128049690561019214729507718905372*c_0101_6^7 - 4260906354786153479430556910312855850627876643851877089970919075821\ 9532403/32204970798674568108772980643702517011280496905610192147295\ 07718905372*c_0101_6^6 - 256876259515320004889227284902980376885948\ 24423674142072449966180070598819/3220497079867456810877298064370251\ 701128049690561019214729507718905372*c_0101_6^5 + 4497158990287719772177605450052957003214573092810031382564606820937\ 731366/805124269966864202719324516092562925282012422640254803682376\ 929726343*c_0101_6^4 - 95331423067087045311956640984814760485420722\ 1488263785124673669184469665/32204970798674568108772980643702517011\ 28049690561019214729507718905372*c_0101_6^3 - 2120252714081618793812242387453717535570973071762076648236260814951\ 08346/8051242699668642027193245160925629252820124226402548036823769\ 29726343*c_0101_6^2 + 282222060189601306616810631270894744772459053\ 463260555685355654974570565/322049707986745681087729806437025170112\ 8049690561019214729507718905372*c_0101_6 - 2190124132776177345118982549370269637955345180046343095223175000676\ 2043/32204970798674568108772980643702517011280496905610192147295077\ 18905372, c_0101_4 + 124697749342767155878595090981250653585684789092812384386499\ 57359354/8051242699668642027193245160925629252820124226402548036823\ 76929726343*c_0101_6^24 + 30451876736757622044053924884207506703160\ 9961334639509210134349294206/80512426996686420271932451609256292528\ 2012422640254803682376929726343*c_0101_6^23 + 1091604223716686763628082491786460685919628455938685119514790525460\ 217/805124269966864202719324516092562925282012422640254803682376929\ 726343*c_0101_6^22 - 5892520098829359537978149556728740021191026641\ 479522085024476991806768/805124269966864202719324516092562925282012\ 422640254803682376929726343*c_0101_6^21 - 3016446738163720690368392567527928249732634419463855104978976241612\ 188/805124269966864202719324516092562925282012422640254803682376929\ 726343*c_0101_6^20 + 9366241118454790396636635023102002305790111939\ 2009342335482540344998759/80512426996686420271932451609256292528201\ 2422640254803682376929726343*c_0101_6^19 - 3716874580388524838690320742807350859011589066669553936827301747486\ 7536/80512426996686420271932451609256292528201242264025480368237692\ 9726343*c_0101_6^18 - 705740704855815583677215850939706406442358599\ 708426853655761731247782834/805124269966864202719324516092562925282\ 012422640254803682376929726343*c_0101_6^17 + 1553476965501363822156513788663941670973720159970456712913253878930\ 73446/8051242699668642027193245160925629252820124226402548036823769\ 29726343*c_0101_6^16 + 26570662395286577723108287527061371856705319\ 60485907153395020014797563808/8051242699668642027193245160925629252\ 82012422640254803682376929726343*c_0101_6^15 + 7317918080751301059231543225494759867171422372543892363568864617094\ 5359/80512426996686420271932451609256292528201242264025480368237692\ 9726343*c_0101_6^14 - 433050847133539867667548610455930174454183497\ 2639845146273362305369041089/80512426996686420271932451609256292528\ 2012422640254803682376929726343*c_0101_6^13 - 5661191245413850616682330756757514109734907540065064726770725958774\ 21479/8051242699668642027193245160925629252820124226402548036823769\ 29726343*c_0101_6^12 + 28597329310748500172202666753660784293963044\ 15131857533439604856297129455/8051242699668642027193245160925629252\ 82012422640254803682376929726343*c_0101_6^11 + 1175444411397108098443190407929308421397195041836329846804511596827\ 944137/805124269966864202719324516092562925282012422640254803682376\ 929726343*c_0101_6^10 - 1272467427943546709996441506277705079030142\ 251487934401780601721724652958/805124269966864202719324516092562925\ 282012422640254803682376929726343*c_0101_6^9 - 5460870343051295191141548705827846468153060042815377151393844303415\ 80432/8051242699668642027193245160925629252820124226402548036823769\ 29726343*c_0101_6^8 + 685858893758328324220099909791157884910463095\ 255232765049513304254969483/805124269966864202719324516092562925282\ 012422640254803682376929726343*c_0101_6^7 - 2297299430582963417823449226958658256157221418991833435106895616262\ 22534/8051242699668642027193245160925629252820124226402548036823769\ 29726343*c_0101_6^6 - 500464170510376952656148460400276212819339081\ 29915133414300448890502568/8051242699668642027193245160925629252820\ 12422640254803682376929726343*c_0101_6^5 + 5099943731740567046959924076522309723827953758536301092186034678641\ 7128/80512426996686420271932451609256292528201242264025480368237692\ 9726343*c_0101_6^4 - 1561796068188483330110170204870450973916371702\ 6947065369673651672230538/80512426996686420271932451609256292528201\ 2422640254803682376929726343*c_0101_6^3 + 2522276182316112031093492744315042907197599626790370174496621964984\ 775/805124269966864202719324516092562925282012422640254803682376929\ 726343*c_0101_6^2 + 39422125588686311257455060541279393448782077887\ 3119878548854231015139/80512426996686420271932451609256292528201242\ 2640254803682376929726343*c_0101_6 - 2739285019572540842238478408968293931523234701132300184382833632769\ 43/8051242699668642027193245160925629252820124226402548036823769297\ 26343, c_0101_6^25 + 24*c_0101_6^24 + 77*c_0101_6^23 - 516*c_0101_6^22 - 68*c_0101_6^21 + 7736*c_0101_6^20 - 6052*c_0101_6^19 - 57356*c_0101_6^18 + 36703*c_0101_6^17 + 223217*c_0101_6^16 - 84388*c_0101_6^15 - 407499*c_0101_6^14 + 89066*c_0101_6^13 + 340604*c_0101_6^12 + 25306*c_0101_6^11 - 200019*c_0101_6^10 - 35103*c_0101_6^9 + 96252*c_0101_6^8 - 26162*c_0101_6^7 - 9246*c_0101_6^6 + 8621*c_0101_6^5 - 1129*c_0101_6^4 - 329*c_0101_6^3 + 157*c_0101_6^2 - 22*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB