Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 1259001729] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1679 geometric_solution 5.40614567 oriented_manifold CS_known 0.0000000000000004 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 1 1 -2 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.965571146422 1.055022405402 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 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.900594580020 0.892769090046 4 3 0 1 2310 3201 0132 3012 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 2 -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.900594580020 0.892769090046 1 5 2 5 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925916978451 0.444192411104 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 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 -1 0 1 -1 0 1 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.460909210225 0.929201280556 6 3 6 3 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 1 -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.831572762585 0.168583226573 5 6 5 6 0132 2310 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 -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.852176233699 0.093964122583 ==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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_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' : negation(d['c_0011_1']), '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_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], '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' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 21498633037659684150970210262871085203264767458311294284729363/3001\ 225576351383852195798935066636261914887012741987595214011*c_0101_6^\ 23 - 24591888527253257918222393639320080043842676853682616977676390\ /3001225576351383852195798935066636261914887012741987595214011*c_01\ 01_6^22 - 167116506359305178851241716591861865087807552425120353414\ 4843554/30012255763513838521957989350666362619148870127419875952140\ 11*c_0101_6^21 + 18077302026345965942338219599033820015579193039737\ 22978982666055/3001225576351383852195798935066636261914887012741987\ 595214011*c_0101_6^20 + 1442448280798334106972524401320678987040296\ 2027718505073272218817/30012255763513838521957989350666362619148870\ 12741987595214011*c_0101_6^19 + 41631246095435036219543075356445373\ 60454905766478303494380800663/3001225576351383852195798935066636261\ 914887012741987595214011*c_0101_6^18 - 44479156993945573700841459232696753759297009584755365634615605586/3\ 001225576351383852195798935066636261914887012741987595214011*c_0101\ _6^17 - 57817277029051938520594731548912096246841118999747906862748\ 579889/300122557635138385219579893506663626191488701274198759521401\ 1*c_0101_6^16 - 967430703114966501941121718707406903667893552405244\ 54849783385279/3001225576351383852195798935066636261914887012741987\ 595214011*c_0101_6^15 - 2321391124736919812990241483884719308809843\ 6515439186419329276232/30012255763513838521957989350666362619148870\ 12741987595214011*c_0101_6^14 + 76232571346966188324711919039837985\ 4878767060801187890803932630295/30012255763513838521957989350666362\ 61914887012741987595214011*c_0101_6^13 + 141511441486769610191144545814962339637799180231458664096580271121/\ 3001225576351383852195798935066636261914887012741987595214011*c_010\ 1_6^12 - 1125684079499198455433963758721295771096005906933995630544\ 97282789/4287465109073405503136855621523766088449838589631410850305\ 73*c_0101_6^11 + 57115848696112947537026347051392823090256803417135\ 3881333015304466/30012255763513838521957989350666362619148870127419\ 87595214011*c_0101_6^10 + 30066542622650584785511444929412096912194\ 285098804936712100029198/428746510907340550313685562152376608844983\ 858963141085030573*c_0101_6^9 - 48562093554037526550345449329913355\ 540391384680640028818491180328/428746510907340550313685562152376608\ 844983858963141085030573*c_0101_6^8 + 32787055792034227162618828329953974688281624773333632754452230870/4\ 28746510907340550313685562152376608844983858963141085030573*c_0101_\ 6^7 - 1219364828152700002341824230639909394020877091524851331216996\ 7298/428746510907340550313685562152376608844983858963141085030573*c\ _0101_6^6 - 1550058363583476760875586702601279893433279739982522071\ 6168903446/30012255763513838521957989350666362619148870127419875952\ 14011*c_0101_6^5 + 307305956100688495555667842756869628091483764829\ 01532382616957336/3001225576351383852195798935066636261914887012741\ 987595214011*c_0101_6^4 - 37295103596775620409357813681877664139567\ 83882019349639279934899/4287465109073405503136855621523766088449838\ 58963141085030573*c_0101_6^3 + 122578395966010567199525481069885657\ 77136270803622871543467193523/3001225576351383852195798935066636261\ 914887012741987595214011*c_0101_6^2 - 3621590154090791561905614579128322309601285359658144403228100620/30\ 01225576351383852195798935066636261914887012741987595214011*c_0101_\ 6 + 730159312569929166520997038328025311107750415256509562565788328\ /3001225576351383852195798935066636261914887012741987595214011, c_0011_0 - 1, c_0011_1 - 2601546906999774330287375721079135134769363095507653762775/1\ 4784362445080708631506398694909538236033926171142796035537*c_0101_6\ ^23 + 945421176256333006565165084203166956038665317623773573699/147\ 84362445080708631506398694909538236033926171142796035537*c_0101_6^2\ 2 + 203493374609137446342432707059949200725832012889478684933158/14\ 784362445080708631506398694909538236033926171142796035537*c_0101_6^\ 21 - 60192710032116678553267812868743752060733396621865711888825/14\ 784362445080708631506398694909538236033926171142796035537*c_0101_6^\ 20 - 1833761182138297623821021712541656396162298504645040131540547/\ 14784362445080708631506398694909538236033926171142796035537*c_0101_\ 6^19 - 191737063485566863055812351391026375876660979199196941909299\ 4/14784362445080708631506398694909538236033926171142796035537*c_010\ 1_6^18 + 4256583226145050805842471841051989528183023150956806164432\ 711/14784362445080708631506398694909538236033926171142796035537*c_0\ 101_6^17 + 10659026998044379471796004761262731715776242410470459963\ 517063/14784362445080708631506398694909538236033926171142796035537*\ c_0101_6^16 + 19111962604755264033419079702726199021305226868546719\ 201298149/147843624450807086315063986949095382360339261711427960355\ 37*c_0101_6^15 + 15674383480572614786647168028775825860231906849198\ 995876732872/147843624450807086315063986949095382360339261711427960\ 35537*c_0101_6^14 - 83618736123583379086961861615608973485775644335\ 612769873458604/147843624450807086315063986949095382360339261711427\ 96035537*c_0101_6^13 - 85063073440200268346822522934945873457869864\ 951794570853448973/147843624450807086315063986949095382360339261711\ 42796035537*c_0101_6^12 + 46375591285867333155575045055210118909414\ 607088216602031333822/147843624450807086315063986949095382360339261\ 71142796035537*c_0101_6^11 - 17851256624756498850338406130051511128\ 574727824057703342723513/147843624450807086315063986949095382360339\ 26171142796035537*c_0101_6^10 - 51037991089720951719756841246133630\ 841424029488581969227948166/147843624450807086315063986949095382360\ 33926171142796035537*c_0101_6^9 + 620120203071016120691435148552974\ 6638787880240124567391057882/14784362445080708631506398694909538236\ 033926171142796035537*c_0101_6^8 - 13473962943304443830278936332467103576579787899221453401436501/1478\ 4362445080708631506398694909538236033926171142796035537*c_0101_6^7 - 2803937387701669640320562636561548591967847391133293707241015/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^6 + 3029512851529239355144385691685759382132565509842780522488816/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^5 - 1542307353377270720289600379988880364850972264211340766914073/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^4 + 1257520085801594861441324365151799796793007671319495134654714/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^3 + 7938785663021965282499907878467423231460648917145137758891/14784362\ 445080708631506398694909538236033926171142796035537*c_0101_6^2 + 46118162020861981064741111938751402362466781682088201432862/1478436\ 2445080708631506398694909538236033926171142796035537*c_0101_6 + 43069135845396567210729042666771042094599161175209401985616/1478436\ 2445080708631506398694909538236033926171142796035537, c_0101_0 - 679471676728517219442514433169645738418940377195159556722/14\ 784362445080708631506398694909538236033926171142796035537*c_0101_6^\ 23 + 153755440744177444679962502957702810034377114738161930211/1478\ 4362445080708631506398694909538236033926171142796035537*c_0101_6^22 + 53182481574294407045031504547613053034989048852363789822598/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^21 - 8423886548362295688503202353674865557886905471652357616880/14784362\ 445080708631506398694909538236033926171142796035537*c_0101_6^20 - 481121578504147699476172155688774294617766209243709766490064/147843\ 62445080708631506398694909538236033926171142796035537*c_0101_6^19 - 567201640038600296801886393392056952276416095234456399357431/147843\ 62445080708631506398694909538236033926171142796035537*c_0101_6^18 + 1043561566119896548544031269482542113824687238460305888832146/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^17 + 2943769879021654943770203686972936727621276507141935481576461/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^16 + 5379647019025601634789861515501197607206615720124547979429600/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^15 + 4755697414789115392582299986698797238299247832372817795823747/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^14 - 21327514004791412629511663830677654314656269229851610663316290/1478\ 4362445080708631506398694909538236033926171142796035537*c_0101_6^13 - 25270927995353900887131216977687713940534047342695985493997486/14\ 784362445080708631506398694909538236033926171142796035537*c_0101_6^\ 12 + 9068325069909058921594930892198318037299884951072402206121332/\ 14784362445080708631506398694909538236033926171142796035537*c_0101_\ 6^11 - 260445939369936319019285311415999245983034541127554990068304\ 0/14784362445080708631506398694909538236033926171142796035537*c_010\ 1_6^10 - 1362231165900472761810950630654942897352095079217483600137\ 3619/14784362445080708631506398694909538236033926171142796035537*c_\ 0101_6^9 - 60478387133682554723588801235203737160758703441483212587\ 5741/14784362445080708631506398694909538236033926171142796035537*c_\ 0101_6^8 - 37057107233014924901110013141213144636567535746541245397\ 08123/14784362445080708631506398694909538236033926171142796035537*c\ _0101_6^7 - 1051884129074306797655810438113051901968791363590789388\ 539919/14784362445080708631506398694909538236033926171142796035537*\ c_0101_6^6 + 894418970411849036865000150757806193483865369535801119\ 624632/14784362445080708631506398694909538236033926171142796035537*\ c_0101_6^5 - 450727558256875032285512263729314954536697978977161725\ 638290/14784362445080708631506398694909538236033926171142796035537*\ c_0101_6^4 + 162331753778817575878858419758962180548366324135923954\ 722064/14784362445080708631506398694909538236033926171142796035537*\ c_0101_6^3 + 626473866984947888254439512541806752240246890822105696\ 67637/14784362445080708631506398694909538236033926171142796035537*c\ _0101_6^2 + 1758671564246651079500042497371380355118280616048271554\ 377/14784362445080708631506398694909538236033926171142796035537*c_0\ 101_6 + 20065724653903069168917303617376528363388408651454644591894\ /14784362445080708631506398694909538236033926171142796035537, c_0101_1 + 1166674200685147337445635895830566544801029966363294128057/1\ 4784362445080708631506398694909538236033926171142796035537*c_0101_6\ ^23 - 673016393941377550461962906719801634731066593095261208206/147\ 84362445080708631506398694909538236033926171142796035537*c_0101_6^2\ 2 - 91192656903557995958410597558824567444203473078211455278297/147\ 84362445080708631506398694909538236033926171142796035537*c_0101_6^2\ 1 + 46506304930914738288206953335415853407707055923843850169076/147\ 84362445080708631506398694909538236033926171142796035537*c_0101_6^2\ 0 + 818623161870488377408347529714073897223495184657173865412959/14\ 784362445080708631506398694909538236033926171142796035537*c_0101_6^\ 19 + 681866700362398071355879517802873727014274501529621744501363/1\ 4784362445080708631506398694909538236033926171142796035537*c_0101_6\ ^18 - 2111830975523391120828768466759209317950820175638693432712958\ /14784362445080708631506398694909538236033926171142796035537*c_0101\ _6^17 - 43740366618304131262111139083869653824573282195819051744827\ 10/14784362445080708631506398694909538236033926171142796035537*c_01\ 01_6^16 - 747509749076714224640794052338658466358426644513549222977\ 1769/14784362445080708631506398694909538236033926171142796035537*c_\ 0101_6^15 - 5119674261127378376799112629977975598379590514736087480\ 753475/14784362445080708631506398694909538236033926171142796035537*\ c_0101_6^14 + 39051978844190008046646958716275517141077096296221667\ 919266916/147843624450807086315063986949095382360339261711427960355\ 37*c_0101_6^13 + 30041462259945450988495980412296109124504441465312\ 883667674057/147843624450807086315063986949095382360339261711427960\ 35537*c_0101_6^12 - 30058291455658192080351079425318630661219081878\ 598649585599261/147843624450807086315063986949095382360339261711427\ 96035537*c_0101_6^11 + 12252308047755389637801183707875922411420779\ 646238978957798383/147843624450807086315063986949095382360339261711\ 42796035537*c_0101_6^10 + 23165474451730253132699061940120024706664\ 673015657761489533562/147843624450807086315063986949095382360339261\ 71142796035537*c_0101_6^9 - 771145602037284412958242537396806657316\ 4280085153305302691219/14784362445080708631506398694909538236033926\ 171142796035537*c_0101_6^8 + 57690104159446476693102828211354211669\ 99298610965326791375431/1478436244508070863150639869490953823603392\ 6171142796035537*c_0101_6^7 + 8157365708567296164638432458144725824\ 33912764629768311809534/1478436244508070863150639869490953823603392\ 6171142796035537*c_0101_6^6 - 1409802256113640961684468011558567284\ 209518168207200021199401/147843624450807086315063986949095382360339\ 26171142796035537*c_0101_6^5 + 931733025654533611673567809289655449\ 335758216895236273932742/147843624450807086315063986949095382360339\ 26171142796035537*c_0101_6^4 - 531067765365091821344965037760539983\ 936412928496113933851971/147843624450807086315063986949095382360339\ 26171142796035537*c_0101_6^3 + 103494271075977884738055820261974452\ 112451676738309766448410/147843624450807086315063986949095382360339\ 26171142796035537*c_0101_6^2 - 153228057784115438051995460986798057\ 8430277402363116889402/14784362445080708631506398694909538236033926\ 171142796035537*c_0101_6 - 1453432543749445040676022243074626882045\ 7675196523027513440/14784362445080708631506398694909538236033926171\ 142796035537, c_0101_4 + 3900170975438206835543490011027539467385472318536438548366/1\ 4784362445080708631506398694909538236033926171142796035537*c_0101_6\ ^23 - 2384676932122612100466145397235267683466200887920414485758/14\ 784362445080708631506398694909538236033926171142796035537*c_0101_6^\ 22 - 304970086926926592511364038855912650311115667822434064551752/1\ 4784362445080708631506398694909538236033926171142796035537*c_0101_6\ ^21 + 166188967614214802914221524632249473228268240001775205955024/\ 14784362445080708631506398694909538236033926171142796035537*c_0101_\ 6^20 + 274625290409277752024737598100006407101016561596219173272621\ 1/14784362445080708631506398694909538236033926171142796035537*c_010\ 1_6^19 + 2171616139933457493952606925475649782701380341486128111703\ 681/14784362445080708631506398694909538236033926171142796035537*c_0\ 101_6^18 - 72695487196947803676194068476205294645121479470585936945\ 24327/14784362445080708631506398694909538236033926171142796035537*c\ _0101_6^17 - 144424145069408841734006291154176397320211660325607078\ 47044259/1478436244508070863150639869490953823603392617114279603553\ 7*c_0101_6^16 - 241015596824694540615446467004113838997128799197413\ 24898560377/1478436244508070863150639869490953823603392617114279603\ 5537*c_0101_6^15 - 156568346952157803755910770297061055986933468730\ 75628357014629/1478436244508070863150639869490953823603392617114279\ 6035537*c_0101_6^14 + 132126200462970077247748298706029322997402258\ 213906271517573329/147843624450807086315063986949095382360339261711\ 42796035537*c_0101_6^13 + 96307208956585689397568163962328619763909\ 790136332649139792268/147843624450807086315063986949095382360339261\ 71142796035537*c_0101_6^12 - 11063849370214799519542475023076218140\ 6353612938007873017025499/14784362445080708631506398694909538236033\ 926171142796035537*c_0101_6^11 + 4193132192193091430098380604446003\ 7482219307159077040528897882/14784362445080708631506398694909538236\ 033926171142796035537*c_0101_6^10 + 82401943461059294344265763766092279634278115856473649096965811/1478\ 4362445080708631506398694909538236033926171142796035537*c_0101_6^9 - 31966900631195118587070784912918716301850966980779418463674601/1478\ 4362445080708631506398694909538236033926171142796035537*c_0101_6^8 + 17133391336327864858387030572207337261275833112872431955333021/1478\ 4362445080708631506398694909538236033926171142796035537*c_0101_6^7 + 3422731993631165871651189473632886123076992702007578885550626/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^6 - 5794412542977488385616814335390942660724870007836237022752190/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^5 + 3806469873040758759305709538391528646271475526328708863967037/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^4 - 2123411359622168019334057444059978543529381665319284942730238/14784\ 362445080708631506398694909538236033926171142796035537*c_0101_6^3 + 196325720094387104217641380742276069505709631252090615552071/147843\ 62445080708631506398694909538236033926171142796035537*c_0101_6^2 + 19432567091903161030418414915242658739535288257331568095293/1478436\ 2445080708631506398694909538236033926171142796035537*c_0101_6 - 65582423990554994823743945219314121964878609863122916739415/1478436\ 2445080708631506398694909538236033926171142796035537, c_0101_5 - 1016001082368355846959944416172815566613573461488875736874/1\ 4784362445080708631506398694909538236033926171142796035537*c_0101_6\ ^23 + 486283272839363172140013603756326782814154467491332426501/147\ 84362445080708631506398694909538236033926171142796035537*c_0101_6^2\ 2 + 79481307972688628437499485837110020934775141052514881292443/147\ 84362445080708631506398694909538236033926171142796035537*c_0101_6^2\ 1 - 32687956824726871573382196859859049900462089808033582939002/147\ 84362445080708631506398694909538236033926171142796035537*c_0101_6^2\ 0 - 717536352749874530324339194514399535855306331655128265858936/14\ 784362445080708631506398694909538236033926171142796035537*c_0101_6^\ 19 - 664690362970543129677561906328342446726973660288119577360195/1\ 4784362445080708631506398694909538236033926171142796035537*c_0101_6\ ^18 + 1786757033208572811092043232726418816497122818694593890953141\ /14784362445080708631506398694909538236033926171142796035537*c_0101\ _6^17 + 40057951352405230795549583827215276086020453139159452819596\ 52/14784362445080708631506398694909538236033926171142796035537*c_01\ 01_6^16 + 688171749788891838909187660813166520623072684475720424849\ 3322/14784362445080708631506398694909538236033926171142796035537*c_\ 0101_6^15 + 5040429626346023397735021601570136323736653556190936402\ 549369/14784362445080708631506398694909538236033926171142796035537*\ c_0101_6^14 - 33694082661880295499340119533550856389547878435982749\ 296587214/147843624450807086315063986949095382360339261711427960355\ 37*c_0101_6^13 - 29652642738863744435071034293993846471627133335684\ 285227827180/147843624450807086315063986949095382360339261711427960\ 35537*c_0101_6^12 + 23795766883357391867408590288963315927730021026\ 655937796613998/147843624450807086315063986949095382360339261711427\ 96035537*c_0101_6^11 - 73807652814684630813403614114334652975658957\ 50740308457711329/1478436244508070863150639869490953823603392617114\ 2796035537*c_0101_6^10 - 208267905593817708894218269855593597972349\ 10899513107001102617/1478436244508070863150639869490953823603392617\ 1142796035537*c_0101_6^9 + 4473929358911645495466366555348833441216\ 271639070055791197632/147843624450807086315063986949095382360339261\ 71142796035537*c_0101_6^8 - 429936263941777799342390208715960859703\ 1569860279888578071989/14784362445080708631506398694909538236033926\ 171142796035537*c_0101_6^7 - 83207982168910385514218119220937808042\ 9746596161792937643367/14784362445080708631506398694909538236033926\ 171142796035537*c_0101_6^6 + 12033040278837552468796124455289233797\ 93594314558583924656931/1478436244508070863150639869490953823603392\ 6171142796035537*c_0101_6^5 - 7462383821896851991206445088450060769\ 12058905910452508568952/1478436244508070863150639869490953823603392\ 6171142796035537*c_0101_6^4 + 3988509858620195578389367897044252060\ 19880177370746180902643/1478436244508070863150639869490953823603392\ 6171142796035537*c_0101_6^3 - 3218676051908397484028226916938675607\ 4640838447716751195217/14784362445080708631506398694909538236033926\ 171142796035537*c_0101_6^2 - 86734886130883721817521083547009989844\ 19796013591079059536/1478436244508070863150639869490953823603392617\ 1142796035537*c_0101_6 + 132481276289180042096251263720032600450311\ 61262801154469613/1478436244508070863150639869490953823603392617114\ 2796035537, c_0101_6^24 - c_0101_6^23 - 78*c_0101_6^22 + 73*c_0101_6^21 + 691*c_0101_6^20 + 283*c_0101_6^19 - 2112*c_0101_6^18 - 3018*c_0101_6^17 - 4670*c_0101_6^16 - 1410*c_0101_6^15 + 35783*c_0101_6^14 + 11826*c_0101_6^13 - 39375*c_0101_6^12 + 19955*c_0101_6^11 + 17717*c_0101_6^10 - 16177*c_0101_6^9 + 6475*c_0101_6^8 - 910*c_0101_6^7 - 1860*c_0101_6^6 + 1469*c_0101_6^5 - 847*c_0101_6^4 + 240*c_0101_6^3 - 4*c_0101_6^2 - 15*c_0101_6 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB