Magma V2.19-8 Tue Aug 20 2013 23:43:04 on localhost [Seed = 2328686519] Type ? for help. Type -D to quit. Loading file "K13n1133__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1133 geometric_solution 10.67618597 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1 0 1 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687902607854 0.637667492399 0 5 7 6 0132 0132 0132 0132 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 0 4 -4 0 0 0 0 -4 5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.958996911135 0.789177265428 7 0 3 8 2031 0132 0213 0132 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 1 0 -1 -1 0 1 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.552137630513 0.395171519603 9 2 10 0 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.252881042849 0.426764220355 7 10 0 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.749363750653 1.128587177682 9 1 8 8 3120 0132 3012 1023 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 0 1 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417854126270 0.549906918093 10 8 1 11 2103 3012 0132 2103 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 4 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603391806404 1.022877495681 4 11 2 1 0132 0132 1302 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 -1 1 0 0 0 4 -4 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.096721906045 0.548649592526 6 5 2 5 1230 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123994972010 1.152845442680 3 11 10 5 0132 3012 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 5 0 -5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673310909554 0.634923751072 9 4 6 3 2103 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 -0.023555734073 1.521840269428 9 7 4 6 1230 0132 0132 2103 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 1 -1 0 -5 0 0 5 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.584713713694 0.964971405428 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : d['c_1001_2'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_0'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_1100_8' : d['c_1001_0'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0110_6']), 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_3']), 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0101_8, c_0110_6, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 38684056541663082314603083280472425919537013/1763831163069544620544\ 6667347091456154864*c_1001_2^18 - 981038851749842468242628914064253\ 79934611417/8819155815347723102723333673545728077432*c_1001_2^17 - 343757166793100175123146121674626785183686825/176383116306954462054\ 46667347091456154864*c_1001_2^16 - 10373021140600486177934640984313088308593245/5689777945385627808208\ 60237002950198544*c_1001_2^15 - 87424515992981475079018424506276442\ 14726267/241620707269800632951324210234129536368*c_1001_2^14 - 60945750249834925121518191973163841988567663/7349296512789769252269\ 44472795477339786*c_1001_2^13 - 58307491298741291194605866361979801\ 3535368405/5879437210231815401815555782363818718288*c_1001_2^12 - 1423827531823743126561617007267874231289307539/17638311630695446205\ 446667347091456154864*c_1001_2^11 - 11223785025554326765951330977333767450234425/1250944087283364979109\ 69271965187632304*c_1001_2^10 - 71099352299631713893137008343031623\ 5626623559/5879437210231815401815555782363818718288*c_1001_2^9 - 1085699350808467381103236618823538511638328523/88191558153477231027\ 23333673545728077432*c_1001_2^8 - 564760334155080450291919137678967\ 227761995849/5879437210231815401815555782363818718288*c_1001_2^7 - 706913371440906915289333579576864871034035647/881915581534772310272\ 3333673545728077432*c_1001_2^6 - 3924392243318379489258296446699276\ 10137266203/5879437210231815401815555782363818718288*c_1001_2^5 - 215520039360070741082164824832347206080563575/587943721023181540181\ 5555782363818718288*c_1001_2^4 - 1493103714837316026948728027936137\ 21689655201/8819155815347723102723333673545728077432*c_1001_2^3 - 1078049948597209310458959254207735393542809/10887846685614472966325\ 1033006737383672*c_1001_2^2 - 3056292915790927487031107528132264456\ 240575/839919601461687914545079397480545531184*c_1001_2 - 3389381851209909768780974487445523025130241/17638311630695446205446\ 667347091456154864, c_0011_0 - 1, c_0011_10 + 10555504698302546740572948929521/16373322245616635346670435\ 181414*c_1001_2^18 - 8708119387591298633998665055802/81866611228083\ 17673335217590707*c_1001_2^17 - 94178855774912367734918590472615/81\ 86661122808317673335217590707*c_1001_2^16 - 125094175822094998889215228817562/8186661122808317673335217590707*c\ _1001_2^15 - 1307158184084538503763561277357/2242920855563922650228\ 82673718*c_1001_2^14 - 500669559342236597375336246633299/1637332224\ 5616635346670435181414*c_1001_2^13 - 1224503121904741875744791311455079/16373322245616635346670435181414\ *c_1001_2^12 - 1093951385113721384458534523717019/16373322245616635\ 346670435181414*c_1001_2^11 - 766171438175730111036816196964333/163\ 73322245616635346670435181414*c_1001_2^10 - 1080465450414611011951814035350215/16373322245616635346670435181414\ *c_1001_2^9 - 1471566008426058168560635681834337/163733222456166353\ 46670435181414*c_1001_2^8 - 1353942177738309903182147090097229/1637\ 3322245616635346670435181414*c_1001_2^7 - 481670813087037372735374475140834/8186661122808317673335217590707*c\ _1001_2^6 - 888259841869810130235962446129735/163733222456166353466\ 70435181414*c_1001_2^5 - 617480650934999014842028343243013/16373322\ 245616635346670435181414*c_1001_2^4 - 200559129843376197343299749585901/16373322245616635346670435181414*\ c_1001_2^3 - 92417155988725693038749989786117/818666112280831767333\ 5217590707*c_1001_2^2 - 24381106732206114354782518648201/8186661122\ 808317673335217590707*c_1001_2 + 275827807322113525222016086230/818\ 6661122808317673335217590707, c_0011_3 + 79357327283525358837993849168532/818666112280831767333521759\ 0707*c_1001_2^18 + 575540907110931467227295946562271/16373322245616\ 635346670435181414*c_1001_2^17 + 190117204019258573273041937990987/\ 8186661122808317673335217590707*c_1001_2^16 - 99101020791046066603933400811006/8186661122808317673335217590707*c_\ 1001_2^15 + 8822972765346613069705959231691/11214604277819613251144\ 1336859*c_1001_2^14 + 1304158517724832492249392387700005/8186661122\ 808317673335217590707*c_1001_2^13 + 140103554544902667466549220516153/16373322245616635346670435181414*\ c_1001_2^12 - 685488237255946108287622278365172/8186661122808317673\ 335217590707*c_1001_2^11 + 447582181594580543943154913763455/163733\ 22245616635346670435181414*c_1001_2^10 + 1091473277317698145681618231393307/16373322245616635346670435181414\ *c_1001_2^9 - 300093342601987002278689450766542/8186661122808317673\ 335217590707*c_1001_2^8 - 958778708086550482879359047533498/8186661\ 122808317673335217590707*c_1001_2^7 - 1255959183549811299201170935545461/16373322245616635346670435181414\ *c_1001_2^6 - 755836982349707226863423795881949/8186661122808317673\ 335217590707*c_1001_2^5 - 1043067625198968301610921627960928/818666\ 1122808317673335217590707*c_1001_2^4 - 446965346375676883625765882309254/8186661122808317673335217590707*c\ _1001_2^3 - 538494620997619907631292077290381/163733222456166353466\ 70435181414*c_1001_2^2 - 366879166456945928408104523881203/16373322\ 245616635346670435181414*c_1001_2 - 86606934975873697192678604696661/16373322245616635346670435181414, c_0011_6 - 89285472029780096057957085804853/818666112280831767333521759\ 0707*c_1001_2^18 - 441468909461521704994769669560096/81866611228083\ 17673335217590707*c_1001_2^17 - 730063705051530463475264419518129/8\ 186661122808317673335217590707*c_1001_2^16 - 637141799457445470108672505253003/8186661122808317673335217590707*c\ _1001_2^15 - 38394727482574916820694893622755/224292085556392265022\ 882673718*c_1001_2^14 - 6322459287725557143879294911851893/16373322\ 245616635346670435181414*c_1001_2^13 - 7030184066385753379951783806656103/16373322245616635346670435181414\ *c_1001_2^12 - 5653185392431335980071366987492241/16373322245616635\ 346670435181414*c_1001_2^11 - 3272889760636234057160884138540416/81\ 86661122808317673335217590707*c_1001_2^10 - 8490448685218825048706649858630995/16373322245616635346670435181414\ *c_1001_2^9 - 4244329290937996432138727180750642/818666112280831767\ 3335217590707*c_1001_2^8 - 6599130772103605860617319398685005/16373\ 322245616635346670435181414*c_1001_2^7 - 2757526836909482736956885287937663/8186661122808317673335217590707*\ c_1001_2^6 - 4249914051030735038040230927624353/1637332224561663534\ 6670435181414*c_1001_2^5 - 991431322033890730737890668785855/818666\ 1122808317673335217590707*c_1001_2^4 - 1047105588110071548011100242638417/16373322245616635346670435181414\ *c_1001_2^3 - 501572879091398733873213176884683/1637332224561663534\ 6670435181414*c_1001_2^2 - 53178734922014142966238588194872/8186661\ 122808317673335217590707*c_1001_2 + 3271981613681543018590737132543/16373322245616635346670435181414, c_0011_8 + 106112413274485664341331598412015/81866611228083176733352175\ 90707*c_1001_2^18 + 1084969682057553564029536196112515/163733222456\ 16635346670435181414*c_1001_2^17 + 1870067885444995102454368722265451/16373322245616635346670435181414\ *c_1001_2^16 + 1687678595169887732112542188689387/16373322245616635\ 346670435181414*c_1001_2^15 + 24151203797551970703670650966222/1121\ 46042778196132511441336859*c_1001_2^14 + 7967878999378429538400974781600147/16373322245616635346670435181414\ *c_1001_2^13 + 4567634643519037659061766750437390/81866611228083176\ 73335217590707*c_1001_2^12 + 7635117858210727534971736405462311/163\ 73322245616635346670435181414*c_1001_2^11 + 8590162209252077292576296458945641/16373322245616635346670435181414\ *c_1001_2^10 + 10851325799862128911136616635491343/1637332224561663\ 5346670435181414*c_1001_2^9 + 11119414913613637284973221469107019/1\ 6373322245616635346670435181414*c_1001_2^8 + 8913180510266037382441934911148351/16373322245616635346670435181414\ *c_1001_2^7 + 7435382708789706352325281140819999/163733222456166353\ 46670435181414*c_1001_2^6 + 2833220005917077312896857951437401/8186\ 661122808317673335217590707*c_1001_2^5 + 1358966273812016414882643418196725/8186661122808317673335217590707*\ c_1001_2^4 + 758188402847394166301102886672638/81866611228083176733\ 35217590707*c_1001_2^3 + 664482794434278929822732382381937/16373322\ 245616635346670435181414*c_1001_2^2 + 86187231331274783006380913277305/8186661122808317673335217590707*c_\ 1001_2 + 13360236128042129778148100290949/1637332224561663534667043\ 5181414, c_0101_0 + 86757350118902566642106674844111/163733222456166353466704351\ 81414*c_1001_2^18 + 337520463645754170931302725628763/1637332224561\ 6635346670435181414*c_1001_2^17 + 148039868631686344627807860016786\ /8186661122808317673335217590707*c_1001_2^16 - 5666637834346861583527139023630/8186661122808317673335217590707*c_1\ 001_2^15 + 5334402465095851776977934845448/112146042778196132511441\ 336859*c_1001_2^14 + 1699609006741920952701919149414009/16373322245\ 616635346670435181414*c_1001_2^13 + 571303639789132690277293438603929/16373322245616635346670435181414*\ c_1001_2^12 - 323367956072950745702661006233891/1637332224561663534\ 6670435181414*c_1001_2^11 + 286601120972701659761887325794467/81866\ 61122808317673335217590707*c_1001_2^10 + 1021318350042714663514298284733143/16373322245616635346670435181414\ *c_1001_2^9 + 134978540835331840285146132058393/8186661122808317673\ 335217590707*c_1001_2^8 - 506980554766470502146996472139247/1637332\ 2245616635346670435181414*c_1001_2^7 - 320651953467920206913262124988035/16373322245616635346670435181414*\ c_1001_2^6 - 260389277689050757280617746033859/81866611228083176733\ 35217590707*c_1001_2^5 - 471396474501924088780181727989597/81866611\ 22808317673335217590707*c_1001_2^4 - 373870091177348235172134859111059/16373322245616635346670435181414*\ c_1001_2^3 - 119757838770732323627801912186382/81866611228083176733\ 35217590707*c_1001_2^2 - 87884565200619335596766542113467/818666112\ 2808317673335217590707*c_1001_2 - 32780906639513882895682217099227/\ 16373322245616635346670435181414, c_0101_1 - 30700899874922802146654037281716/818666112280831767333521759\ 0707*c_1001_2^18 - 127718341120179946781995275522556/81866611228083\ 17673335217590707*c_1001_2^17 - 136256191162484596380152668446816/8\ 186661122808317673335217590707*c_1001_2^16 - 31659792865395793868808967030186/8186661122808317673335217590707*c_\ 1001_2^15 - 8284298784586061089219610049843/22429208555639226502288\ 2673718*c_1001_2^14 - 704688794024990314586100936309650/81866611228\ 08317673335217590707*c_1001_2^13 - 793303036660511852934047093367303/16373322245616635346670435181414*\ c_1001_2^12 - 23171433337389956792975486610283/81866611228083176733\ 35217590707*c_1001_2^11 - 320275688912453667728098229569427/8186661\ 122808317673335217590707*c_1001_2^10 - 1150620377689594494119133982010379/16373322245616635346670435181414\ *c_1001_2^9 - 601422241551420483432964516184467/1637332224561663534\ 6670435181414*c_1001_2^8 + 28317341834160280214787266415260/8186661\ 122808317673335217590707*c_1001_2^7 - 14017198046091826591420069862121/8186661122808317673335217590707*c_\ 1001_2^6 + 102635567451502808929649653566445/1637332224561663534667\ 0435181414*c_1001_2^5 + 525861650459089410819451456699649/163733222\ 45616635346670435181414*c_1001_2^4 + 159750735865314667368048577960774/8186661122808317673335217590707*c\ _1001_2^3 + 114144631478703874298188273345383/163733222456166353466\ 70435181414*c_1001_2^2 + 142347822591295028505006402357867/16373322\ 245616635346670435181414*c_1001_2 + 27188841975502020673720209884947/8186661122808317673335217590707, c_0101_3 - 156207136031525674575111690236431/16373322245616635346670435\ 181414*c_1001_2^18 - 678396939082166242853656340086317/163733222456\ 16635346670435181414*c_1001_2^17 - 811181732631645030360323640457629/16373322245616635346670435181414*\ c_1001_2^16 - 181247583749671227690895894449460/8186661122808317673\ 335217590707*c_1001_2^15 - 12688859131342570257506678714277/1121460\ 42778196132511441336859*c_1001_2^14 - 2053216022751268065837726154507412/8186661122808317673335217590707*\ c_1001_2^13 - 1415038581757284618518052048943456/818666112280831767\ 3335217590707*c_1001_2^12 - 1468577260405770997830044787364201/1637\ 3322245616635346670435181414*c_1001_2^11 - 3096450320372885032610150170848731/16373322245616635346670435181414\ *c_1001_2^10 - 2067850960735016206509977481005954/81866611228083176\ 73335217590707*c_1001_2^9 - 1550347285804794139672516823250075/8186\ 661122808317673335217590707*c_1001_2^8 - 1591869332789960137696671957756227/16373322245616635346670435181414\ *c_1001_2^7 - 858996452232705564595050638539989/8186661122808317673\ 335217590707*c_1001_2^6 - 1041918579135309812806793574634423/163733\ 22245616635346670435181414*c_1001_2^5 + 383712600400301690916973065077655/16373322245616635346670435181414*\ c_1001_2^4 - 57057477810431149193673683317435/163733222456166353466\ 70435181414*c_1001_2^3 + 81681699262044793261554060491075/163733222\ 45616635346670435181414*c_1001_2^2 + 76296496826084832169916107647322/8186661122808317673335217590707*c_\ 1001_2 + 20874919834067062368147528145168/8186661122808317673335217\ 590707, c_0101_8 + 232945934521765471096876470165151/16373322245616635346670435\ 181414*c_1001_2^18 + 509923310075891262694430182144184/818666112280\ 8317673335217590707*c_1001_2^17 + 724971059382926411496423991298214\ /8186661122808317673335217590707*c_1001_2^16 + 1245747461693277368817717693532177/16373322245616635346670435181414\ *c_1001_2^15 + 44423436185466565307476479107487/2242920855563922650\ 22882673718*c_1001_2^14 + 3321496437077489604797376244911134/818666\ 1122808317673335217590707*c_1001_2^13 + 6776409583825533134445935872523515/16373322245616635346670435181414\ *c_1001_2^12 + 5467733299464013694059531238444913/16373322245616635\ 346670435181414*c_1001_2^11 + 3290659839003078072855610057545249/81\ 86661122808317673335217590707*c_1001_2^10 + 4240771798149586287519196584203112/8186661122808317673335217590707*\ c_1001_2^9 + 8106849526794955414700716357487575/1637332224561663534\ 6670435181414*c_1001_2^8 + 6181954422845991545023640392532665/16373\ 322245616635346670435181414*c_1001_2^7 + 5196487935055075524735294489802659/16373322245616635346670435181414\ *c_1001_2^6 + 1842093768464244386470894506685846/818666112280831767\ 3335217590707*c_1001_2^5 + 1616267835811204529975793438358039/16373\ 322245616635346670435181414*c_1001_2^4 + 419558993919974172213380190923164/8186661122808317673335217590707*c\ _1001_2^3 + 371242625756109552403376274809629/163733222456166353466\ 70435181414*c_1001_2^2 + 31323740026738204253594422018121/818666112\ 2808317673335217590707*c_1001_2 - 6882548371989139387855969386598/8\ 186661122808317673335217590707, c_0110_6 + 39098260299308042570193682780785/163733222456166353466704351\ 81414*c_1001_2^18 + 130896146240989242039987385925671/1637332224561\ 6635346670435181414*c_1001_2^17 + 3939815119014546621657540293332/8\ 186661122808317673335217590707*c_1001_2^16 - 105267858800350583678187161022055/8186661122808317673335217590707*c\ _1001_2^15 + 1578276300266617240749480578218/1121460427781961325114\ 41336859*c_1001_2^14 + 414969093510356826327614669713207/1637332224\ 5616635346670435181414*c_1001_2^13 - 615349770433341051004875359328553/16373322245616635346670435181414*\ c_1001_2^12 - 972875164168312805426669156399187/1637332224561663534\ 6670435181414*c_1001_2^11 - 168025502275885572961953044807670/81866\ 61122808317673335217590707*c_1001_2^10 - 258387420211126472027069765121535/16373322245616635346670435181414*\ c_1001_2^9 - 420545119268849361406885070923129/81866611228083176733\ 35217590707*c_1001_2^8 - 1199345993213651003795972639338749/1637332\ 2245616635346670435181414*c_1001_2^7 - 794432337715015930482788993915375/16373322245616635346670435181414*\ c_1001_2^6 - 395845855557312935554211052296148/81866611228083176733\ 35217590707*c_1001_2^5 - 381075351999274522822904755605574/81866611\ 22808317673335217590707*c_1001_2^4 - 267907626210878862637821230196203/16373322245616635346670435181414*\ c_1001_2^3 - 90545846312603900437490338831416/818666112280831767333\ 5217590707*c_1001_2^2 - 40843635221559157734909776642450/8186661122\ 808317673335217590707*c_1001_2 - 12958165385965181999464476905971/1\ 6373322245616635346670435181414, c_1001_0 - 128190390716029569551606016224729/16373322245616635346670435\ 181414*c_1001_2^18 - 235400749515436122458536057736525/818666112280\ 8317673335217590707*c_1001_2^17 - 398003221462957383720031763524435\ /16373322245616635346670435181414*c_1001_2^16 - 129263069306739710845815749118435/16373322245616635346670435181414*\ c_1001_2^15 - 18121463808241770059354693011199/22429208555639226502\ 2882673718*c_1001_2^14 - 2349869448465518920437371156451615/1637332\ 2245616635346670435181414*c_1001_2^13 - 551065773583406723904583957297729/8186661122808317673335217590707*c\ _1001_2^12 - 451793502089168406765060435131771/16373322245616635346\ 670435181414*c_1001_2^11 - 1459080804206610532286662756298473/16373\ 322245616635346670435181414*c_1001_2^10 - 1912772664622539740621145066876415/16373322245616635346670435181414\ *c_1001_2^9 - 1038575784532425429751416495249335/163733222456166353\ 46670435181414*c_1001_2^8 - 220757875612631259146102047178161/16373\ 322245616635346670435181414*c_1001_2^7 - 192567306347082392241480742597436/8186661122808317673335217590707*c\ _1001_2^6 + 202647765968757904999660057809125/163733222456166353466\ 70435181414*c_1001_2^5 + 338815864642081353079249253653806/81866611\ 22808317673335217590707*c_1001_2^4 + 129040092766952377806343071726114/8186661122808317673335217590707*c\ _1001_2^3 + 118495524874948921173988926005840/818666112280831767333\ 5217590707*c_1001_2^2 + 77997192306134557601681614393698/8186661122\ 808317673335217590707*c_1001_2 + 44236873324269584846650648963693/1\ 6373322245616635346670435181414, c_1001_2^19 + 505/121*c_1001_2^18 + 639/121*c_1001_2^17 + 558/121*c_1001_2^16 + 1820/121*c_1001_2^15 + 3329/121*c_1001_2^14 + 2967/121*c_1001_2^13 + 2996/121*c_1001_2^12 + 4198/121*c_1001_2^11 + 4668/121*c_1001_2^10 + 4225/121*c_1001_2^9 + 3677/121*c_1001_2^8 + 3635/121*c_1001_2^7 + 2587/121*c_1001_2^6 + 1404/121*c_1001_2^5 + 1193/121*c_1001_2^4 + 520/121*c_1001_2^3 + 201/121*c_1001_2^2 + 10/11*c_1001_2 + 31/121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.090 Total time: 1.300 seconds, Total memory usage: 64.12MB