Magma V2.19-8 Wed Aug 21 2013 00:06:55 on localhost [Seed = 3651122954] Type ? for help. Type -D to quit. Loading file "K13n2239__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2239 geometric_solution 11.53677434 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.947035154574 0.596034406928 0 5 2 6 0132 0132 3201 0132 0 0 0 0 0 0 0 0 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 0 0 -6 0 0 6 0 -6 0 6 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.064521290244 1.010477345547 1 0 8 7 2310 0132 0132 0132 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 0 -1 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289981816595 0.354201847599 9 4 10 0 0132 0321 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 1 -1 -7 0 7 0 -7 7 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379392269464 1.087797988060 11 8 0 3 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 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 6 -6 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629406329945 0.336205179651 6 1 12 6 3201 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 6 0 0 -6 -1 7 0 -6 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.383086350988 1.299203789866 8 5 1 5 0321 0321 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -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 -1 0 1 0 0 -6 6 0 6 0 -6 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483122934643 0.879526886692 11 9 2 10 3201 0321 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.695925794787 0.700138535447 6 4 9 2 0321 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 7 -7 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065478525864 1.803499839952 3 11 8 7 0132 0213 0321 0321 0 0 0 0 0 0 0 0 -1 0 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 7 0 -7 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359954437208 1.005930443989 7 12 12 3 3201 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 0 -1 0 0 7 -7 1 -7 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.020294440810 0.946293322133 4 12 9 7 0132 3012 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.284416239578 0.814894111077 11 10 10 5 1230 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.020294440810 0.946293322133 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_1001_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), 'c_0101_10' : d['c_0101_10'], '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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_1001_12'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1001_12'], 'c_1100_3' : d['c_1001_12'], 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : d['c_1001_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_7'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_10'], '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'], 'c_1100_12' : d['c_1001_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], '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' : d['c_0101_1'], 'c_0110_10' : negation(d['c_0011_7']), 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_1001_0, c_1001_10, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 838769553444968242980962364543629204036239691/709077766367908311220\ 0950759674657322042862*c_1001_2^25 - 1504577937963621335500961567008503429774650472/35453888318395415561\ 00475379837328661021431*c_1001_2^24 + 20940383368688025988141193286569495025381183/6165893620590507054087\ 78326928231071481988*c_1001_2^23 + 17947883854865324266040118865162365531621946353/1418155532735816622\ 4401901519349314644085724*c_1001_2^22 + 16782127934906168176223696008239811514231614123/7090777663679083112\ 200950759674657322042862*c_1001_2^21 - 187408155797010473610757309676370877451010615183/283631106547163324\ 48803803038698629288171448*c_1001_2^20 + 384912790946022746788157481427874689682581446581/283631106547163324\ 48803803038698629288171448*c_1001_2^19 - 1241980064555111973841796235619675786484634029/32526503044399463817\ 435553943461730835059*c_1001_2^18 + 553930864605602324028929785247807189563340424981/709077766367908311\ 2200950759674657322042862*c_1001_2^17 - 4588975704036817457742357515186487855194257378019/28363110654716332\ 448803803038698629288171448*c_1001_2^16 + 4591602655548886845722792861884563990041043630205/14181555327358166\ 224401901519349314644085724*c_1001_2^15 - 7322295801475747061045902230968604718830803027141/14181555327358166\ 224401901519349314644085724*c_1001_2^14 + 20098434919193914480520130474189153018362523489923/2836311065471633\ 2448803803038698629288171448*c_1001_2^13 - 24351690094797895783234959051246746474026862804939/2836311065471633\ 2448803803038698629288171448*c_1001_2^12 + 24617940650223578708925263546864190997477054047161/2836311065471633\ 2448803803038698629288171448*c_1001_2^11 - 22401578288831987098128481662300154068777905777025/2836311065471633\ 2448803803038698629288171448*c_1001_2^10 + 2423671551334887786989860966046653537603224830815/35453888318395415\ 56100475379837328661021431*c_1001_2^9 - 7576522855052025153782872411786892448848910456011/14181555327358166\ 224401901519349314644085724*c_1001_2^8 + 5994645122600872094934105381380914906191767494465/14181555327358166\ 224401901519349314644085724*c_1001_2^7 - 9323626933106552290715495336530240295790018440123/28363110654716332\ 448803803038698629288171448*c_1001_2^6 + 5840278210476411162966940152705902353026710741681/28363110654716332\ 448803803038698629288171448*c_1001_2^5 - 1615788510968107697623414095576357937748260131933/14181555327358166\ 224401901519349314644085724*c_1001_2^4 + 331623057387411663453301878434003199791720705029/709077766367908311\ 2200950759674657322042862*c_1001_2^3 - 77216539293044148196846640799265423740994840129/2836311065471633244\ 8803803038698629288171448*c_1001_2^2 - 3490690168850789511220622110456724001798841231/83420913690342154261\ 1876559961724390828572*c_1001_2 + 241303925775674855418217483539070\ 14114695744185/28363110654716332448803803038698629288171448, c_0011_0 - 1, c_0011_10 + 243478857410479500261351482/1634769362960386950089906471*c_\ 1001_2^25 + 869545973685896230685542030/163476936296038695008990647\ 1*c_1001_2^24 - 13333923113334194111861495/710769288243646500039089\ 77*c_1001_2^23 - 3692690817430917760965277442/163476936296038695008\ 9906471*c_1001_2^22 - 5805152295478125101836542267/1634769362960386\ 950089906471*c_1001_2^21 + 16434335716933131517267431258/1634769362\ 960386950089906471*c_1001_2^20 - 19543048675694373708502864618/1634\ 769362960386950089906471*c_1001_2^19 + 72055080564110206393301937787/1634769362960386950089906471*c_1001_2\ ^18 - 157312846909744717378999879249/1634769362960386950089906471*c\ _1001_2^17 + 291520682294576118097690649817/16347693629603869500899\ 06471*c_1001_2^16 - 596804996286942747481546941702/1634769362960386\ 950089906471*c_1001_2^15 + 939825440219096823278504825627/163476936\ 2960386950089906471*c_1001_2^14 - 1206287645944597340243767159257/1\ 634769362960386950089906471*c_1001_2^13 + 1459665237091466415496209644806/1634769362960386950089906471*c_1001\ _2^12 - 1461914572262528704865715850576/163476936296038695008990647\ 1*c_1001_2^11 + 1251859303514934589519072900639/1634769362960386950\ 089906471*c_1001_2^10 - 1115358618458411240303830347069/16347693629\ 60386950089906471*c_1001_2^9 + 869859120940199288820019563254/16347\ 69362960386950089906471*c_1001_2^8 - 633421852617145552450419925266/1634769362960386950089906471*c_1001_\ 2^7 + 531646210771742629816092288242/1634769362960386950089906471*c\ _1001_2^6 - 312368370918108075285613532811/163476936296038695008990\ 6471*c_1001_2^5 + 145977198357966038418518907402/163476936296038695\ 0089906471*c_1001_2^4 - 73639883797945418906962574384/1634769362960\ 386950089906471*c_1001_2^3 - 6401671039336005610027376248/163476936\ 2960386950089906471*c_1001_2^2 + 10491508731541424775645297925/1634\ 769362960386950089906471*c_1001_2 + 642947066059409346149433078/1634769362960386950089906471, c_0011_11 - 79181518937503685593498147/1634769362960386950089906471*c_1\ 001_2^25 - 373927026310940710605316967/1634769362960386950089906471\ *c_1001_2^24 - 13790730298401474608048978/7107692882436465000390897\ 7*c_1001_2^23 + 841415741580608637635336904/16347693629603869500899\ 06471*c_1001_2^22 + 2644788831844107943262683164/163476936296038695\ 0089906471*c_1001_2^21 - 2587930192983882884400570843/1634769362960\ 386950089906471*c_1001_2^20 + 3817806287679272256518525280/16347693\ 62960386950089906471*c_1001_2^19 - 16522913728039377465500361949/1634769362960386950089906471*c_1001_2\ ^18 + 28673567335293763213475091131/1634769362960386950089906471*c_\ 1001_2^17 - 57815884881286338688029555255/1634769362960386950089906\ 471*c_1001_2^16 + 111701610647194092882210562169/163476936296038695\ 0089906471*c_1001_2^15 - 144609170414345869523047679203/16347693629\ 60386950089906471*c_1001_2^14 + 169010612755670565633004157252/1634\ 769362960386950089906471*c_1001_2^13 - 181808905992651793201731553392/1634769362960386950089906471*c_1001_\ 2^12 + 142345360257042778546091395862/1634769362960386950089906471*\ c_1001_2^11 - 117112336355887810500223122313/1634769362960386950089\ 906471*c_1001_2^10 + 101711052080032924228470802224/163476936296038\ 6950089906471*c_1001_2^9 - 63734155425618628191178583594/1634769362\ 960386950089906471*c_1001_2^8 + 57616811728791094813328957398/16347\ 69362960386950089906471*c_1001_2^7 - 38203725014664906691022282799/1634769362960386950089906471*c_1001_2\ ^6 + 9071325397674448946348475565/1634769362960386950089906471*c_10\ 01_2^5 - 3881160718994786364566950914/1634769362960386950089906471*\ c_1001_2^4 - 3498962482352657940146963523/1634769362960386950089906\ 471*c_1001_2^3 + 2087920283476008822903278306/163476936296038695008\ 9906471*c_1001_2^2 + 672192899624211926392365457/163476936296038695\ 0089906471*c_1001_2 - 1463479299313301652718590750/1634769362960386\ 950089906471, c_0011_3 - 1057365623754072502172076627/1634769362960386950089906471*c_\ 1001_2^25 - 4736108020739369546030669105/16347693629603869500899064\ 71*c_1001_2^24 - 140283842944978504170588337/7107692882436465000390\ 8977*c_1001_2^23 + 11599530666915009895685283895/163476936296038695\ 0089906471*c_1001_2^22 + 33248817996149662743966137810/163476936296\ 0386950089906471*c_1001_2^21 - 39649481478478240570219858076/163476\ 9362960386950089906471*c_1001_2^20 + 62350188472598117733067537949/1634769362960386950089906471*c_1001_2\ ^19 - 251791841986886409241389122222/1634769362960386950089906471*c\ _1001_2^18 + 456230392273475662668499486745/16347693629603869500899\ 06471*c_1001_2^17 - 912662932662628858885449658189/1634769362960386\ 950089906471*c_1001_2^16 + 1814904436143987752411208671374/16347693\ 62960386950089906471*c_1001_2^15 - 2548144459807918674745043071564/1634769362960386950089906471*c_1001\ _2^14 + 3190765436829122510380612913427/163476936296038695008990647\ 1*c_1001_2^13 - 3714053692628463578083910817297/1634769362960386950\ 089906471*c_1001_2^12 + 3376462756960216756233673356918/16347693629\ 60386950089906471*c_1001_2^11 - 2960198623903478934776520109686/163\ 4769362960386950089906471*c_1001_2^10 + 2632765923241951667347489101478/1634769362960386950089906471*c_1001\ _2^9 - 1887801066042946022034483001837/1634769362960386950089906471\ *c_1001_2^8 + 1524073861885855514472587771261/163476936296038695008\ 9906471*c_1001_2^7 - 1162341409642873203986866409723/16347693629603\ 86950089906471*c_1001_2^6 + 578835460865657081761737558387/16347693\ 62960386950089906471*c_1001_2^5 - 326832911815676084699289446973/16\ 34769362960386950089906471*c_1001_2^4 + 108935863403390526958642614475/1634769362960386950089906471*c_1001_\ 2^3 + 24733875914646987471745273464/1634769362960386950089906471*c_\ 1001_2^2 - 8124671030133853478869507698/163476936296038695008990647\ 1*c_1001_2 - 55996385957063143477188147/163476936296038695008990647\ 1, c_0011_6 + 1456316948388171347664517018/1634769362960386950089906471*c_\ 1001_2^25 + 6594974135490632546062892507/16347693629603869500899064\ 71*c_1001_2^24 + 206386757808886385517313829/7107692882436465000390\ 8977*c_1001_2^23 - 15681632120356148989372590597/163476936296038695\ 0089906471*c_1001_2^22 - 45988079567006278813099090084/163476936296\ 0386950089906471*c_1001_2^21 + 52753176945953760864798585540/163476\ 9362960386950089906471*c_1001_2^20 - 84349067847495141515564561950/1634769362960386950089906471*c_1001_2\ ^19 + 338467766009658537124489883839/1634769362960386950089906471*c\ _1001_2^18 - 600921618531695311581363648782/16347693629603869500899\ 06471*c_1001_2^17 + 1207839338114616662627195868219/163476936296038\ 6950089906471*c_1001_2^16 - 2394498551265140819214253473106/1634769\ 362960386950089906471*c_1001_2^15 + 3286230981137948884294070704775/1634769362960386950089906471*c_1001\ _2^14 - 4029353787970658611402830994591/163476936296038695008990647\ 1*c_1001_2^13 + 4555440256094018023190524907070/1634769362960386950\ 089906471*c_1001_2^12 - 3885988720890735491073787511531/16347693629\ 60386950089906471*c_1001_2^11 + 3241316585286258738727962867435/163\ 4769362960386950089906471*c_1001_2^10 - 2810253647227638560824916093785/1634769362960386950089906471*c_1001\ _2^9 + 1857763461829587380485699940818/1634769362960386950089906471\ *c_1001_2^8 - 1531937591669997569542610397504/163476936296038695008\ 9906471*c_1001_2^7 + 1164369604046542191150706689078/16347693629603\ 86950089906471*c_1001_2^6 - 417133961486836811787272527402/16347693\ 62960386950089906471*c_1001_2^5 + 202348271963533226551031480413/16\ 34769362960386950089906471*c_1001_2^4 + 2968175166970753280415143057/1634769362960386950089906471*c_1001_2^\ 3 - 126202361123527300915086279859/1634769362960386950089906471*c_1\ 001_2^2 + 13972805411481368183881082404/163476936296038695008990647\ 1*c_1001_2 + 7256380993845713487021965152/1634769362960386950089906\ 471, c_0011_7 - 100926619174128854503438779/71076928824364650003908977*c_100\ 1_2^25 - 453579969052477440580928929/71076928824364650003908977*c_1\ 001_2^24 - 328409124221142409727611650/71076928824364650003908977*c\ _1001_2^23 + 1020900833007965461618078012/7107692882436465000390897\ 7*c_1001_2^22 + 3048287608003511318479597667/7107692882436465000390\ 8977*c_1001_2^21 - 3702877190656934374463286344/7107692882436465000\ 3908977*c_1001_2^20 + 6424465427645896261149014362/7107692882436465\ 0003908977*c_1001_2^19 - 23925355343339437017246105247/710769288243\ 64650003908977*c_1001_2^18 + 43436677562306898048107606801/71076928\ 824364650003908977*c_1001_2^17 - 88176533471984543534976057584/7107\ 6928824364650003908977*c_1001_2^16 + 173912883916795390910565711340/71076928824364650003908977*c_1001_2^\ 15 - 244970885005381043534515252979/71076928824364650003908977*c_10\ 01_2^14 + 308091536182191033814874611863/71076928824364650003908977\ *c_1001_2^13 - 353658260250964148077111560805/710769288243646500039\ 08977*c_1001_2^12 + 317882523099764153587232255636/7107692882436465\ 0003908977*c_1001_2^11 - 275726604738719457783916389684/71076928824\ 364650003908977*c_1001_2^10 + 239961666414020138330256727110/710769\ 28824364650003908977*c_1001_2^9 - 171032070780431170314031695287/71\ 076928824364650003908977*c_1001_2^8 + 138972711133339878114423945740/71076928824364650003908977*c_1001_2^\ 7 - 104818504693066672071806321048/71076928824364650003908977*c_100\ 1_2^6 + 50220596143661163625226800112/71076928824364650003908977*c_\ 1001_2^5 - 26655585649157839389752542893/71076928824364650003908977\ *c_1001_2^4 + 6980257522092855466238468192/710769288243646500039089\ 77*c_1001_2^3 + 4507504536141841197765010356/7107692882436465000390\ 8977*c_1001_2^2 - 879087695287022079648442926/710769288243646500039\ 08977*c_1001_2 - 257170428547398517789700518/7107692882436465000390\ 8977, c_0101_0 + 94896820400662265252385718/1634769362960386950089906471*c_10\ 01_2^25 + 560331266977660210022068955/1634769362960386950089906471*\ c_1001_2^24 + 50468845994179586476435571/71076928824364650003908977\ *c_1001_2^23 + 618069242860138563989806814/163476936296038695008990\ 6471*c_1001_2^22 - 3457687333489296766862740019/1634769362960386950\ 089906471*c_1001_2^21 - 3648356058978068770408495059/16347693629603\ 86950089906471*c_1001_2^20 - 9377613063772776782477874622/163476936\ 2960386950089906471*c_1001_2^19 + 23900333037020008358979927387/163\ 4769362960386950089906471*c_1001_2^18 - 21184655713471106603059778278/1634769362960386950089906471*c_1001_2\ ^17 + 77078284154176967729325894012/1634769362960386950089906471*c_\ 1001_2^16 - 144919060196059020220890389140/163476936296038695008990\ 6471*c_1001_2^15 + 192832190463815417876899784098/16347693629603869\ 50089906471*c_1001_2^14 - 332161868064781049001566348470/1634769362\ 960386950089906471*c_1001_2^13 + 415160705675420102268114469157/163\ 4769362960386950089906471*c_1001_2^12 - 404557730820252472391976746987/1634769362960386950089906471*c_1001_\ 2^11 + 460423663835096033239498122266/1634769362960386950089906471*\ c_1001_2^10 - 386010703024187036189104719479/1634769362960386950089\ 906471*c_1001_2^9 + 290462836815966732530764973816/1634769362960386\ 950089906471*c_1001_2^8 - 287124576354375181709130184365/1634769362\ 960386950089906471*c_1001_2^7 + 179602949631537852293881880640/1634\ 769362960386950089906471*c_1001_2^6 - 132490040147802011923092269273/1634769362960386950089906471*c_1001_\ 2^5 + 101055832980159553006984017701/1634769362960386950089906471*c\ _1001_2^4 - 32501335125760966199719733067/1634769362960386950089906\ 471*c_1001_2^3 + 21321923028049250091900976336/16347693629603869500\ 89906471*c_1001_2^2 - 1632090573546406287233134316/1634769362960386\ 950089906471*c_1001_2 - 2767904887690191956702007415/16347693629603\ 86950089906471, c_0101_1 - 421721317039622943427551589/1634769362960386950089906471*c_1\ 001_2^25 - 1800974381244651102850197698/163476936296038695008990647\ 1*c_1001_2^24 - 34334555424553487692508173/710769288243646500039089\ 77*c_1001_2^23 + 5372055252808766323851261174/163476936296038695008\ 9906471*c_1001_2^22 + 12751352464189441895725525118/163476936296038\ 6950089906471*c_1001_2^21 - 19345988528605966101654093851/163476936\ 2960386950089906471*c_1001_2^20 + 24873838512645399955965668665/163\ 4769362960386950089906471*c_1001_2^19 - 103431522372988358954119337720/1634769362960386950089906471*c_1001_\ 2^18 + 194911580344508029719522713069/1634769362960386950089906471*\ c_1001_2^17 - 374443307938946765414157247497/1634769362960386950089\ 906471*c_1001_2^16 + 757570517306243665423709999825/163476936296038\ 6950089906471*c_1001_2^15 - 1071037644712651890021852094571/1634769\ 362960386950089906471*c_1001_2^14 + 1292963480313869341657883158561/1634769362960386950089906471*c_1001\ _2^13 - 1478270345082068498759463246957/163476936296038695008990647\ 1*c_1001_2^12 + 1287188773548805233866282383497/1634769362960386950\ 089906471*c_1001_2^11 - 1027900149833419119555616801885/16347693629\ 60386950089906471*c_1001_2^10 + 912336780297060713002676597982/1634\ 769362960386950089906471*c_1001_2^9 - 618575168641890495400187548015/1634769362960386950089906471*c_1001_\ 2^8 + 468325430384523203225548683358/1634769362960386950089906471*c\ _1001_2^7 - 395117885346716968859335772749/163476936296038695008990\ 6471*c_1001_2^6 + 142432630779003453136627894782/163476936296038695\ 0089906471*c_1001_2^5 - 47847236805883249046154307196/1634769362960\ 386950089906471*c_1001_2^4 + 9676981870190890705185281566/163476936\ 2960386950089906471*c_1001_2^3 + 45448986404710674722327035779/1634\ 769362960386950089906471*c_1001_2^2 - 8629158869924820138265058727/1634769362960386950089906471*c_1001_2 - 4919659930303968867560478008/1634769362960386950089906471, c_0101_10 + 1633919838157665522148529856/1634769362960386950089906471*c\ _1001_2^25 + 6697260676607652117170834593/1634769362960386950089906\ 471*c_1001_2^24 + 98476017325903906334251859/7107692882436465000390\ 8977*c_1001_2^23 - 19360439726047764588888254370/163476936296038695\ 0089906471*c_1001_2^22 - 43762103690715364021635411734/163476936296\ 0386950089906471*c_1001_2^21 + 79693552018743815773801281414/163476\ 9362960386950089906471*c_1001_2^20 - 124281776163628836156352024485/1634769362960386950089906471*c_1001_\ 2^19 + 425657416796912338339403532189/1634769362960386950089906471*\ c_1001_2^18 - 841409680177514167557266393766/1634769362960386950089\ 906471*c_1001_2^17 + 1673825789879581754878864646654/16347693629603\ 86950089906471*c_1001_2^16 - 3325387474923310113913505728780/163476\ 9362960386950089906471*c_1001_2^15 + 4943304918576926366315493036824/1634769362960386950089906471*c_1001\ _2^14 - 6314602435289475080919707217207/163476936296038695008990647\ 1*c_1001_2^13 + 7358082928244857290768589234608/1634769362960386950\ 089906471*c_1001_2^12 - 6948668861175218860225893225258/16347693629\ 60386950089906471*c_1001_2^11 + 6021683692747558794815101544254/163\ 4769362960386950089906471*c_1001_2^10 - 5240406969457946108503367873127/1634769362960386950089906471*c_1001\ _2^9 + 3926697756545568352077486325759/1634769362960386950089906471\ *c_1001_2^8 - 3074968394651916877805142520322/163476936296038695008\ 9906471*c_1001_2^7 + 2384420720716567545466618301117/16347693629603\ 86950089906471*c_1001_2^6 - 1285233203821041181832606981781/1634769\ 362960386950089906471*c_1001_2^5 + 649702748868729267413840798792/1634769362960386950089906471*c_1001_\ 2^4 - 225994048903102380117158984976/1634769362960386950089906471*c\ _1001_2^3 - 57866344624888234020407793971/1634769362960386950089906\ 471*c_1001_2^2 + 27293719293790424017058980937/16347693629603869500\ 89906471*c_1001_2 + 3578350955241276139413578312/163476936296038695\ 0089906471, c_1001_0 + 769706341937947155404824435/1634769362960386950089906471*c_1\ 001_2^25 + 3290578481216215519233701049/163476936296038695008990647\ 1*c_1001_2^24 + 78007446100082920982678853/710769288243646500039089\ 77*c_1001_2^23 - 8123838908913823773821647616/163476936296038695008\ 9906471*c_1001_2^22 - 21518987421842977866091782378/163476936296038\ 6950089906471*c_1001_2^21 + 32156288023558566297596799490/163476936\ 2960386950089906471*c_1001_2^20 - 57650443951924069440258745057/163\ 4769362960386950089906471*c_1001_2^19 + 195683752236634415591127160064/1634769362960386950089906471*c_1001_\ 2^18 - 369351916989772906893476062275/1634769362960386950089906471*\ c_1001_2^17 + 755515008098473805784096836828/1634769362960386950089\ 906471*c_1001_2^16 - 1493401243472029478740874148301/16347693629603\ 86950089906471*c_1001_2^15 + 2180381679956504015038669570161/163476\ 9362960386950089906471*c_1001_2^14 - 2814979819698517167339595721028/1634769362960386950089906471*c_1001\ _2^13 + 3282003299075843882130965251065/163476936296038695008990647\ 1*c_1001_2^12 - 3067448435131299539354724854541/1634769362960386950\ 089906471*c_1001_2^11 + 2709187587163530846823603404435/16347693629\ 60386950089906471*c_1001_2^10 - 2353905152909004156960083275238/163\ 4769362960386950089906471*c_1001_2^9 + 1733125006616282591921236756852/1634769362960386950089906471*c_1001\ _2^8 - 1397291908168251209391178745584/1634769362960386950089906471\ *c_1001_2^7 + 1066853008920709791482870313940/163476936296038695008\ 9906471*c_1001_2^6 - 566587076785421245015833505091/163476936296038\ 6950089906471*c_1001_2^5 + 310251051276874907637628233855/163476936\ 2960386950089906471*c_1001_2^4 - 104357606897704730700118524589/163\ 4769362960386950089906471*c_1001_2^3 - 26804069143387429550725394100/1634769362960386950089906471*c_1001_2\ ^2 + 8712697942233884834686482170/1634769362960386950089906471*c_10\ 01_2 + 1456316948388171347664517018/1634769362960386950089906471, c_1001_10 + 221225749019786402721881489/1634769362960386950089906471*c_\ 1001_2^25 + 1014292740403465782008886096/16347693629603869500899064\ 71*c_1001_2^24 + 31426011520894580865534223/71076928824364650003908\ 977*c_1001_2^23 - 2649989771510832294514750147/16347693629603869500\ 89906471*c_1001_2^22 - 7657962070786118865125012352/163476936296038\ 6950089906471*c_1001_2^21 + 7639159544945785450130450860/1634769362\ 960386950089906471*c_1001_2^20 - 10127591055174216218721546317/1634\ 769362960386950089906471*c_1001_2^19 + 51907030919476609490023594878/1634769362960386950089906471*c_1001_2\ ^18 - 84725384225878676230915242810/1634769362960386950089906471*c_\ 1001_2^17 + 164555517693648839086678896728/163476936296038695008990\ 6471*c_1001_2^16 - 341603304285682632199823098072/16347693629603869\ 50089906471*c_1001_2^15 + 442309629807386836559040325723/1634769362\ 960386950089906471*c_1001_2^14 - 508737369144355287044794660404/163\ 4769362960386950089906471*c_1001_2^13 + 569397110300004861859050401544/1634769362960386950089906471*c_1001_\ 2^12 - 417731448504141152385017581613/1634769362960386950089906471*\ c_1001_2^11 + 295431968073413463098011441435/1634769362960386950089\ 906471*c_1001_2^10 - 272573296553166119384601866999/163476936296038\ 6950089906471*c_1001_2^9 + 125469127943510093360142566492/163476936\ 2960386950089906471*c_1001_2^8 - 103302770780473262021460714264/163\ 4769362960386950089906471*c_1001_2^7 + 102404151234638518567097086187/1634769362960386950089906471*c_1001_\ 2^6 + 18915781236207959226447876542/1634769362960386950089906471*c_\ 1001_2^5 - 20739556844623189564867174823/16347693629603869500899064\ 71*c_1001_2^4 + 19992349289621557086173809510/163476936296038695008\ 9906471*c_1001_2^3 - 37835103384125884376877034775/1634769362960386\ 950089906471*c_1001_2^2 + 2971687940402635943891691209/163476936296\ 0386950089906471*c_1001_2 + 3294132372217659611845480368/1634769362\ 960386950089906471, c_1001_12 + 979419330248064384437970109/1634769362960386950089906471*c_\ 1001_2^25 + 3845001179353533392961967209/16347693629603869500899064\ 71*c_1001_2^24 + 17177119441259313445323931/71076928824364650003908\ 977*c_1001_2^23 - 13275445613870258947784953379/1634769362960386950\ 089906471*c_1001_2^22 - 26358326960520472560435120155/1634769362960\ 386950089906471*c_1001_2^21 + 53048455060975015304177108516/1634769\ 362960386950089906471*c_1001_2^20 - 74237952364955895305183278834/1634769362960386950089906471*c_1001_2\ ^19 + 265819511029873474023748448977/1634769362960386950089906471*c\ _1001_2^18 - 532278392210154898937449052353/16347693629603869500899\ 06471*c_1001_2^17 + 1041424051209245500973643649627/163476936296038\ 6950089906471*c_1001_2^16 - 2095494634676167997246239191373/1634769\ 362960386950089906471*c_1001_2^15 + 3133499683504264889288583734747/1634769362960386950089906471*c_1001\ _2^14 - 3985424472913028981583186532664/163476936296038695008990647\ 1*c_1001_2^13 + 4685052114805925068373190920038/1634769362960386950\ 089906471*c_1001_2^12 - 4436162595354313708715597055352/16347693629\ 60386950089906471*c_1001_2^11 + 3821170361184722478338446001375/163\ 4769362960386950089906471*c_1001_2^10 - 3371873966891459178370210181741/1634769362960386950089906471*c_1001\ _2^9 + 2509225943655780812846906087445/1634769362960386950089906471\ *c_1001_2^8 - 1953884510264226207510040130616/163476936296038695008\ 9906471*c_1001_2^7 + 1553243643073891737783278424623/16347693629603\ 86950089906471*c_1001_2^6 - 817484026739375114935805686191/16347693\ 62960386950089906471*c_1001_2^5 + 423548213600860064989100255345/16\ 34769362960386950089906471*c_1001_2^4 - 159765769428442447234061171319/1634769362960386950089906471*c_1001_\ 2^3 - 42127283900580866272543810263/1634769362960386950089906471*c_\ 1001_2^2 + 14387270663246264464452653267/16347693629603869500899064\ 71*c_1001_2 + 2557862723567284337408698009/163476936296038695008990\ 6471, c_1001_2^26 + 4*c_1001_2^25 + c_1001_2^24 - 12*c_1001_2^23 - 26*c_1001_2^22 + 51*c_1001_2^21 - 80*c_1001_2^20 + 272*c_1001_2^19 - 547*c_1001_2^18 + 1083*c_1001_2^17 - 2163*c_1001_2^16 + 3282*c_1001_2^15 - 4264*c_1001_2^14 + 5061*c_1001_2^13 - 4922*c_1001_2^12 + 4332*c_1001_2^11 - 3790*c_1001_2^10 + 2892*c_1001_2^9 - 2242*c_1001_2^8 + 1759*c_1001_2^7 - 1019*c_1001_2^6 + 528*c_1001_2^5 - 211*c_1001_2^4 - 15*c_1001_2^3 + 28*c_1001_2^2 - c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.280 Total time: 7.500 seconds, Total memory usage: 122.22MB