Magma V2.19-8 Tue Aug 20 2013 23:49:35 on localhost [Seed = 896753624] Type ? for help. Type -D to quit. Loading file "K11n6__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n6 geometric_solution 11.40695338 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 0 -1 1 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.678337049422 0.524830683806 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.615216571882 0.130385938617 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 1.417291563066 1.082327661480 6 7 11 0 0132 2031 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 -1 0 1 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.394434633278 0.483398203209 11 5 0 8 1230 3012 0132 3012 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 -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.158684353563 1.036019688636 4 1 12 9 1230 0132 0132 2103 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 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.818643960103 0.364852683641 3 11 1 12 0132 1023 0132 3012 0 0 0 0 0 -1 0 1 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 -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.379562467362 1.146261565495 3 9 8 1 1302 2103 2031 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.432286496114 1.530742765716 2 10 4 7 0132 3120 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567560643755 0.753952427910 12 7 2 5 0132 2103 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.789204455816 0.948027022805 12 8 11 2 1230 3120 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.420814700001 0.928904571424 6 4 10 3 1023 3012 0321 0132 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 1 0 0 -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.702719743014 1.660955815077 9 10 6 5 0132 3012 1230 0132 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 0 0 0 -1 0 1 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.715570622821 0.588810492287 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_4']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : negation(d['c_0101_1']), 'c_1010_10' : negation(d['c_0011_0']), 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : 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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_4']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_1001_10'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_1001_10'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : negation(d['c_0011_4']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : d['c_0011_11'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_12']), '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' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_12']), 's_2_9' : d['1']})} 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_12, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_5, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 270627945374746571293013944341255599569377474678318/646875906071513\ 332793757084075847377433672206697*c_1001_10^18 + 198252711572136706594459104302286748126561723768200/588069005519557\ 57526705189461440670675788382427*c_1001_10^17 - 2928702656132336175994745362640158455969646618170689/12937518121430\ 26665587514168151694754867344413394*c_1001_10^16 - 5464461698182093824885914266656047684105535430864623/12937518121430\ 26665587514168151694754867344413394*c_1001_10^15 - 63060711273732923825938695826139380313153956203993067/1293751812143\ 026665587514168151694754867344413394*c_1001_10^14 - 129826962845011066136882518722844733816820266257510538/646875906071\ 513332793757084075847377433672206697*c_1001_10^13 - 46039848142234133369139412535822291943462251680675735/9951937016484\ 8205045193397550130365759026493338*c_1001_10^12 - 519830101999352417907474076537801985387773423811891717/129375181214\ 3026665587514168151694754867344413394*c_1001_10^11 - 166571078575764268719314689960075436491217447848345023/646875906071\ 513332793757084075847377433672206697*c_1001_10^10 + 9216442522393384884159283394561303913434539534917/30017443437193194\ 09715810134922725649344186574*c_1001_10^9 + 26226600802226169792084113842945702185039548111262541/9951937016484\ 8205045193397550130365759026493338*c_1001_10^8 + 21446927535707775291053607279831415268830427928485297/6468759060715\ 13332793757084075847377433672206697*c_1001_10^7 - 1586615080345665045587993711582763236861384491731612103/12937518121\ 43026665587514168151694754867344413394*c_1001_10^6 - 1185723002759409766257009513568258585607411406815913661/12937518121\ 43026665587514168151694754867344413394*c_1001_10^5 + 362060237603510349986978292427473603439466424317335423/646875906071\ 513332793757084075847377433672206697*c_1001_10^4 + 583995178216254039544060205705068482112169139949352075/129375181214\ 3026665587514168151694754867344413394*c_1001_10^3 - 357147023574771969410425265151200027279316903292193683/129375181214\ 3026665587514168151694754867344413394*c_1001_10^2 - 459215584727957780397975741617231332622955782135942553/129375181214\ 3026665587514168151694754867344413394*c_1001_10 - 120977948812169478147143146134356587931048918741706980/646875906071\ 513332793757084075847377433672206697, c_0011_0 - 1, c_0011_10 - 136952443213799482515328223984236194/2570122583300485770322\ 27401665835199957*c_1001_10^18 + 1325063080136871271192004406334643\ 482/257012258330048577032227401665835199957*c_1001_10^17 - 2690587945892979453180897324912717320/25701225833004857703222740166\ 5835199957*c_1001_10^16 + 1300082754841742328130762293621007322/257\ 012258330048577032227401665835199957*c_1001_10^15 - 16108767470295076727029686930675089783/2570122583300485770322274016\ 65835199957*c_1001_10^14 - 38669982736188686255518861700511694087/2\ 57012258330048577032227401665835199957*c_1001_10^13 - 65037783872924590098355620178040028434/2570122583300485770322274016\ 65835199957*c_1001_10^12 + 51595251018385982955228207951022318542/2\ 57012258330048577032227401665835199957*c_1001_10^11 - 9423393246609310407739850875034840498/25701225833004857703222740166\ 5835199957*c_1001_10^10 + 49846474289276923536239943559325573711/25\ 7012258330048577032227401665835199957*c_1001_10^9 - 106211297186326096374281892807040746387/257012258330048577032227401\ 665835199957*c_1001_10^8 - 175323176996925875422589714427402665729/\ 257012258330048577032227401665835199957*c_1001_10^7 - 407830407163107674653287439281856762786/257012258330048577032227401\ 665835199957*c_1001_10^6 + 380007782925806546860810441026118555703/\ 257012258330048577032227401665835199957*c_1001_10^5 + 393220700309643205890526692113194685866/257012258330048577032227401\ 665835199957*c_1001_10^4 + 100795070942694838141756500704845811284/\ 257012258330048577032227401665835199957*c_1001_10^3 - 429783676861082318192948581064549472130/257012258330048577032227401\ 665835199957*c_1001_10^2 - 98801148010064979054581842168649186845/2\ 57012258330048577032227401665835199957*c_1001_10 + 271998434113919811291797734815884026930/257012258330048577032227401\ 665835199957, c_0011_11 + 3695247544348669052974375981963146189/334115935829063150141\ 8956221655857599441*c_1001_10^18 - 28999597675610614340161053260372230452/3341159358290631501418956221\ 655857599441*c_1001_10^17 + 18179204460775644081054056381958527529/\ 3341159358290631501418956221655857599441*c_1001_10^16 - 1715252286098653909682106911656710021/33411593582906315014189562216\ 55857599441*c_1001_10^15 + 523794287890629504021897460433000764395/\ 3341159358290631501418956221655857599441*c_1001_10^14 + 1846741472414751425067564074246255166519/33411593582906315014189562\ 21655857599441*c_1001_10^13 + 3817232152062244049320859510384342544\ 14/257012258330048577032227401665835199957*c_1001_10^12 + 5664372869947419314571985423085236773452/33411593582906315014189562\ 21655857599441*c_1001_10^11 + 4580227789700336234829974846542252302\ 772/3341159358290631501418956221655857599441*c_1001_10^10 - 3153476076739611545883655344327779271840/33411593582906315014189562\ 21655857599441*c_1001_10^9 - 56335053791182400437160468167812242972\ 2/257012258330048577032227401665835199957*c_1001_10^8 - 9708888188155362391125226298618309030918/33411593582906315014189562\ 21655857599441*c_1001_10^7 + 40821469005326543052805987180925358265\ 99/3341159358290631501418956221655857599441*c_1001_10^6 + 10340348578180097364652742085971847335218/3341159358290631501418956\ 221655857599441*c_1001_10^5 + 9628060162008465510706934039379076299\ 720/3341159358290631501418956221655857599441*c_1001_10^4 - 10253440835519459096228621706017429537152/3341159358290631501418956\ 221655857599441*c_1001_10^3 - 1088211469985664848722398481489041094\ 7450/3341159358290631501418956221655857599441*c_1001_10^2 + 593099426762567498834594428928401634674/334115935829063150141895622\ 1655857599441*c_1001_10 + 4459294413710146402701055040401458387994/\ 3341159358290631501418956221655857599441, c_0011_12 - 7658773316063100080538039905598061432/334115935829063150141\ 8956221655857599441*c_1001_10^18 + 59368240953044839499594604304102826548/3341159358290631501418956221\ 655857599441*c_1001_10^17 - 17232774352827986240741307772280777935/\ 3341159358290631501418956221655857599441*c_1001_10^16 - 134562706309740105522554029221716837466/334115935829063150141895622\ 1655857599441*c_1001_10^15 - 86573822899381342398860680247470147594\ 1/3341159358290631501418956221655857599441*c_1001_10^14 - 3954087308610217481201006934811700653262/33411593582906315014189562\ 21655857599441*c_1001_10^13 - 6897411296028545507957716881998524303\ 96/257012258330048577032227401665835199957*c_1001_10^12 - 7593031057644976879867492874860863546974/33411593582906315014189562\ 21655857599441*c_1001_10^11 - 1313561317399565789170068086104624806\ 870/3341159358290631501418956221655857599441*c_1001_10^10 + 4697100299202314897513385826684966900980/33411593582906315014189562\ 21655857599441*c_1001_10^9 + 10487905815923981599418588380720834840\ 19/257012258330048577032227401665835199957*c_1001_10^8 + 8941133603378604650287093471016040685142/33411593582906315014189562\ 21655857599441*c_1001_10^7 - 18074342779553891906323079754800797669\ 941/3341159358290631501418956221655857599441*c_1001_10^6 - 20484723906990581465996830343707627242147/3341159358290631501418956\ 221655857599441*c_1001_10^5 + 1634286475735702912557887838066010694\ 4949/3341159358290631501418956221655857599441*c_1001_10^4 + 14749010821264202194240617997081115665317/3341159358290631501418956\ 221655857599441*c_1001_10^3 - 2309424447397295831998282245880465537\ 965/3341159358290631501418956221655857599441*c_1001_10^2 - 1689979380569509674712835267033841815607/33411593582906315014189562\ 21655857599441*c_1001_10 - 693957090554655388989068184176205977880/\ 3341159358290631501418956221655857599441, c_0011_4 + 155833653405278385008131020680288330/25701225833004857703222\ 7401665835199957*c_1001_10^18 - 14491325650209257334684637227565000\ 25/257012258330048577032227401665835199957*c_1001_10^17 + 2790523599169441423956361124164227101/25701225833004857703222740166\ 5835199957*c_1001_10^16 - 2373965003035624012474891313319823913/257\ 012258330048577032227401665835199957*c_1001_10^15 + 16186335459669410539366970243459653200/2570122583300485770322274016\ 65835199957*c_1001_10^14 + 59560059116510161429688613962621077403/2\ 57012258330048577032227401665835199957*c_1001_10^13 + 123845584283220499331084253520014073301/257012258330048577032227401\ 665835199957*c_1001_10^12 + 152088246463918097942208694052932791618\ /257012258330048577032227401665835199957*c_1001_10^11 + 422243879950029812785830114685848617399/257012258330048577032227401\ 665835199957*c_1001_10^10 + 416563399919882599556731874873554324523\ /257012258330048577032227401665835199957*c_1001_10^9 + 141979748328741550736684465145520328135/257012258330048577032227401\ 665835199957*c_1001_10^8 + 17853203270565925208893453990196088452/2\ 57012258330048577032227401665835199957*c_1001_10^7 - 226336798138637396306398624587385951503/257012258330048577032227401\ 665835199957*c_1001_10^6 - 768070337114001840693057336037601639383/\ 257012258330048577032227401665835199957*c_1001_10^5 + 46112061652429401316708334402334213490/2570122583300485770322274016\ 65835199957*c_1001_10^4 + 1265313059512521343303143853394278299027/\ 257012258330048577032227401665835199957*c_1001_10^3 - 230233984514291558188650456941016281895/257012258330048577032227401\ 665835199957*c_1001_10^2 - 630623701265000181080090825541685464046/\ 257012258330048577032227401665835199957*c_1001_10 - 155677530520076099682942677252271349766/257012258330048577032227401\ 665835199957, c_0011_7 + 3259810437699749268052268456484333468/3341159358290631501418\ 956221655857599441*c_1001_10^18 - 352860735573382556745328374759970\ 04045/3341159358290631501418956221655857599441*c_1001_10^17 + 97410247687862448420296499228528354876/3341159358290631501418956221\ 655857599441*c_1001_10^16 - 75379278009295053968633624209905968084/\ 3341159358290631501418956221655857599441*c_1001_10^15 + 347710857201692530445107462183274495635/334115935829063150141895622\ 1655857599441*c_1001_10^14 + 55197685937287606264373527896266246077\ 9/3341159358290631501418956221655857599441*c_1001_10^13 + 8197154805217874211859355684557085488/25701225833004857703222740166\ 5835199957*c_1001_10^12 - 3668293281261757568163132759828165254973/\ 3341159358290631501418956221655857599441*c_1001_10^11 + 381137255933667725071551304410366432113/334115935829063150141895622\ 1655857599441*c_1001_10^10 - 26445116729171502469072227309768323341\ 0/3341159358290631501418956221655857599441*c_1001_10^9 + 164635257650102254554090106738744013307/257012258330048577032227401\ 665835199957*c_1001_10^8 + 4055048133485240805826069853097087124146\ /3341159358290631501418956221655857599441*c_1001_10^7 + 4966137804134048901798544057458168218708/33411593582906315014189562\ 21655857599441*c_1001_10^6 - 20911321842679370860831964782101326638\ 116/3341159358290631501418956221655857599441*c_1001_10^5 - 6102169007353297432077449756316041819834/33411593582906315014189562\ 21655857599441*c_1001_10^4 + 17350889375368227127409624359154033381\ 901/3341159358290631501418956221655857599441*c_1001_10^3 + 6632614724878640248830686257754582764396/33411593582906315014189562\ 21655857599441*c_1001_10^2 - 77495364013781176510858939151692037637\ 50/3341159358290631501418956221655857599441*c_1001_10 - 1607707074846645243774306140529275102202/33411593582906315014189562\ 21655857599441, c_0101_0 + 5185525143507080500995629764837108090/3341159358290631501418\ 956221655857599441*c_1001_10^18 - 518959733556841835455131672348118\ 50403/3341159358290631501418956221655857599441*c_1001_10^17 + 109456321665469279883399597247998327115/334115935829063150141895622\ 1655857599441*c_1001_10^16 - 365289408179823404566361617200081260/3\ 341159358290631501418956221655857599441*c_1001_10^15 + 490463563899219812640476448414845892638/334115935829063150141895622\ 1655857599441*c_1001_10^14 + 13176565611978096045581251299490439205\ 04/3341159358290631501418956221655857599441*c_1001_10^13 + 67005020804587700202981252871880808927/2570122583300485770322274016\ 65835199957*c_1001_10^12 - 6061405637096894177966233990052976407476\ /3341159358290631501418956221655857599441*c_1001_10^11 - 5850257164342880877798342991042466603299/33411593582906315014189562\ 21655857599441*c_1001_10^10 - 4339596666832149868173573177500076477\ 274/3341159358290631501418956221655857599441*c_1001_10^9 - 2933824671467605580189055226105289491/25701225833004857703222740166\ 5835199957*c_1001_10^8 + 10813566705042411310547109942680336143504/\ 3341159358290631501418956221655857599441*c_1001_10^7 + 21080092455950426083626070106346170498908/3341159358290631501418956\ 221655857599441*c_1001_10^6 - 1477857007121516237475465698726263854\ 2722/3341159358290631501418956221655857599441*c_1001_10^5 - 27492163372122620004006757997090561508169/3341159358290631501418956\ 221655857599441*c_1001_10^4 + 8006757472247668861375859317760913078\ 757/3341159358290631501418956221655857599441*c_1001_10^3 + 15696837728321377025262942901365349755305/3341159358290631501418956\ 221655857599441*c_1001_10^2 + 9509995556421421919486705977319298844\ 07/3341159358290631501418956221655857599441*c_1001_10 - 2127293068744055702236543059639024337191/33411593582906315014189562\ 21655857599441, c_0101_1 + 4167397856261118989363154455842932311/3341159358290631501418\ 956221655857599441*c_1001_10^18 - 378068919559863814101209520118816\ 54526/3341159358290631501418956221655857599441*c_1001_10^17 + 56700686901185067417543301268462310264/3341159358290631501418956221\ 655857599441*c_1001_10^16 + 17989935445123291502185172477622280627/\ 3341159358290631501418956221655857599441*c_1001_10^15 + 444739025462195169084218119837764755202/334115935829063150141895622\ 1655857599441*c_1001_10^14 + 15226432382173507352302667445348599535\ 97/3341159358290631501418956221655857599441*c_1001_10^13 + 196827495804619862013251996349108759571/257012258330048577032227401\ 665835199957*c_1001_10^12 - 652484209189877485120690184971048663319\ /3341159358290631501418956221655857599441*c_1001_10^11 - 1771561671843958830956577372234073438780/33411593582906315014189562\ 21655857599441*c_1001_10^10 - 3523116086377673097228615369722179465\ 312/3341159358290631501418956221655857599441*c_1001_10^9 - 289250187071523764224066805611974571125/257012258330048577032227401\ 665835199957*c_1001_10^8 + 2553651070631361017472908635177503531623\ /3341159358290631501418956221655857599441*c_1001_10^7 + 13751434600070114007549435051241118645138/3341159358290631501418956\ 221655857599441*c_1001_10^6 - 4434511322806471937777953084763508069\ 5/3341159358290631501418956221655857599441*c_1001_10^5 - 11648994582119210833315316771058838107935/3341159358290631501418956\ 221655857599441*c_1001_10^4 + 1411634909611724202677501844761556746\ 64/3341159358290631501418956221655857599441*c_1001_10^3 + 2902325571541890598425427300952004323296/33411593582906315014189562\ 21655857599441*c_1001_10^2 - 82416112335451122628965630434564970751\ 9/3341159358290631501418956221655857599441*c_1001_10 + 2163599449209363104943365532426587960062/33411593582906315014189562\ 21655857599441, c_0101_10 + 1864982598047936300604393254776320702/334115935829063150141\ 8956221655857599441*c_1001_10^18 - 22730346005031094296009356815635351657/3341159358290631501418956221\ 655857599441*c_1001_10^17 + 79003788483896537195693768510981736267/\ 3341159358290631501418956221655857599441*c_1001_10^16 - 79569729763597077818703830175416225168/3341159358290631501418956221\ 655857599441*c_1001_10^15 + 191199415560196914614964105618553591178\ /3341159358290631501418956221655857599441*c_1001_10^14 + 38676348708383703246351476120685244362/3341159358290631501418956221\ 655857599441*c_1001_10^13 - 63426488112136971146748970934514301610/\ 257012258330048577032227401665835199957*c_1001_10^12 - 3622688418415812126728860466956898392685/33411593582906315014189562\ 21655857599441*c_1001_10^11 + 8615664966345437740463483049595813033\ 19/3341159358290631501418956221655857599441*c_1001_10^10 + 1085574175299264643139141447197318404453/33411593582906315014189562\ 21655857599441*c_1001_10^9 + 27265979742367107434147171977969436761\ 1/257012258330048577032227401665835199957*c_1001_10^8 + 5288805436053761277412283338233380573408/33411593582906315014189562\ 21655857599441*c_1001_10^7 + 26549419137719462644060577026042398116\ 90/3341159358290631501418956221655857599441*c_1001_10^6 - 19342492099558407499889922933177148882282/3341159358290631501418956\ 221655857599441*c_1001_10^5 - 1223890492122623115021578751236592065\ 945/3341159358290631501418956221655857599441*c_1001_10^4 + 19513761493069138531806668831319439696227/3341159358290631501418956\ 221655857599441*c_1001_10^3 - 9784320228219711020523232981939015811\ 80/3341159358290631501418956221655857599441*c_1001_10^2 - 6320273097322880171116603039245142532808/33411593582906315014189562\ 21655857599441*c_1001_10 - 1687164257808101261710762401906862614012\ /3341159358290631501418956221655857599441, c_0101_12 - 255640872075367707508073531942072959/3341159358290631501418\ 956221655857599441*c_1001_10^18 + 140844257411737963573954329301823\ 2842/3341159358290631501418956221655857599441*c_1001_10^17 + 3231730456998331239446154782585834408/33411593582906315014189562216\ 55857599441*c_1001_10^16 + 127817618557159299688682554897590764/334\ 1159358290631501418956221655857599441*c_1001_10^15 - 48759803982613348131875199464083600547/3341159358290631501418956221\ 655857599441*c_1001_10^14 - 200745491021605712039518768706513744340\ /3341159358290631501418956221655857599441*c_1001_10^13 - 49269698510198029883844277019753881781/2570122583300485770322274016\ 65835199957*c_1001_10^12 - 1184197322939045400693643663096105074942\ /3341159358290631501418956221655857599441*c_1001_10^11 - 917268060487025523306676843082202552734/334115935829063150141895622\ 1655857599441*c_1001_10^10 + 30889691304032774163979121629339748541\ /3341159358290631501418956221655857599441*c_1001_10^9 + 34523700581486985866488848862188853672/2570122583300485770322274016\ 65835199957*c_1001_10^8 + 808326405512005385712989906473863338755/3\ 341159358290631501418956221655857599441*c_1001_10^7 + 804116312507441621441243272513751787034/334115935829063150141895622\ 1655857599441*c_1001_10^6 - 260948720614006738682833960962336571922\ 6/3341159358290631501418956221655857599441*c_1001_10^5 - 1122853862019056821289583714237651240127/33411593582906315014189562\ 21655857599441*c_1001_10^4 + 38933017743547540749837346004164431751\ 91/3341159358290631501418956221655857599441*c_1001_10^3 + 2964168759130465611924587744020080170221/33411593582906315014189562\ 21655857599441*c_1001_10^2 - 31093401726081388361124291779347056544\ 70/3341159358290631501418956221655857599441*c_1001_10 + 292244502651525891369296676205259389097/334115935829063150141895622\ 1655857599441, c_0101_5 + 7658773316063100080538039905598061432/3341159358290631501418\ 956221655857599441*c_1001_10^18 - 593682409530448394995946043041028\ 26548/3341159358290631501418956221655857599441*c_1001_10^17 + 17232774352827986240741307772280777935/3341159358290631501418956221\ 655857599441*c_1001_10^16 + 134562706309740105522554029221716837466\ /3341159358290631501418956221655857599441*c_1001_10^15 + 865738228993813423988606802474701475941/334115935829063150141895622\ 1655857599441*c_1001_10^14 + 39540873086102174812010069348117006532\ 62/3341159358290631501418956221655857599441*c_1001_10^13 + 689741129602854550795771688199852430396/257012258330048577032227401\ 665835199957*c_1001_10^12 + 759303105764497687986749287486086354697\ 4/3341159358290631501418956221655857599441*c_1001_10^11 + 1313561317399565789170068086104624806870/33411593582906315014189562\ 21655857599441*c_1001_10^10 - 4697100299202314897513385826684966900\ 980/3341159358290631501418956221655857599441*c_1001_10^9 - 1048790581592398159941858838072083484019/25701225833004857703222740\ 1665835199957*c_1001_10^8 - 894113360337860465028709347101604068514\ 2/3341159358290631501418956221655857599441*c_1001_10^7 + 18074342779553891906323079754800797669941/3341159358290631501418956\ 221655857599441*c_1001_10^6 + 2048472390699058146599683034370762724\ 2147/3341159358290631501418956221655857599441*c_1001_10^5 - 16342864757357029125578878380660106944949/3341159358290631501418956\ 221655857599441*c_1001_10^4 - 1474901082126420219424061799708111566\ 5317/3341159358290631501418956221655857599441*c_1001_10^3 + 2309424447397295831998282245880465537965/33411593582906315014189562\ 21655857599441*c_1001_10^2 + 16899793805695096747128352670338418156\ 07/3341159358290631501418956221655857599441*c_1001_10 + 693957090554655388989068184176205977880/334115935829063150141895622\ 1655857599441, c_1001_1 + 1024966351218887127995575013008889209/3341159358290631501418\ 956221655857599441*c_1001_10^18 - 553109995827762710524891639961011\ 1042/3341159358290631501418956221655857599441*c_1001_10^17 - 20508746177388411696576626230334859131/3341159358290631501418956221\ 655857599441*c_1001_10^16 + 63286534188018524578126431212114815342/\ 3341159358290631501418956221655857599441*c_1001_10^15 + 78283092141291138215237695502565923244/3341159358290631501418956221\ 655857599441*c_1001_10^14 + 826024114815532297870990758755305016757\ /3341159358290631501418956221655857599441*c_1001_10^13 + 152701594906313844394286781248210217625/257012258330048577032227401\ 665835199957*c_1001_10^12 + 268730806663456074378855529780152940417\ 5/3341159358290631501418956221655857599441*c_1001_10^11 + 914612929005473406309400143424564588798/334115935829063150141895622\ 1655857599441*c_1001_10^10 + 24091674388782875838097850696610038235\ 20/3341159358290631501418956221655857599441*c_1001_10^9 - 86238380132864000941803945348125813843/2570122583300485770322274016\ 65835199957*c_1001_10^8 - 880082192531480953208066583840651619397/3\ 341159358290631501418956221655857599441*c_1001_10^7 + 2336095045754475362678266262035270972347/33411593582906315014189562\ 21655857599441*c_1001_10^6 + 59642549625627595033085902713532190186\ 93/3341159358290631501418956221655857599441*c_1001_10^5 - 9590520086891708291955102368181108228328/33411593582906315014189562\ 21655857599441*c_1001_10^4 + 63189812638269602227104221398056367237\ 2/3341159358290631501418956221655857599441*c_1001_10^3 + 6089079415207683001166640512289610456842/33411593582906315014189562\ 21655857599441*c_1001_10^2 - 33879969306406633941231602138518634892\ 60/3341159358290631501418956221655857599441*c_1001_10 - 1912552104776117837816061920148140810389/33411593582906315014189562\ 21655857599441, c_1001_10^19 - 9*c_1001_10^18 + 13*c_1001_10^17 + 5*c_1001_10^16 + 107*c_1001_10^15 + 370*c_1001_10^14 + 654*c_1001_10^13 - 81*c_1001_10^12 - 289*c_1001_10^11 - 587*c_1001_10^10 - 623*c_1001_10^9 + 514*c_1001_10^8 + 3006*c_1001_10^7 - 570*c_1001_10^6 - 3401*c_1001_10^5 + 181*c_1001_10^4 + 1676*c_1001_10^3 + 227*c_1001_10^2 - 352*c_1001_10 - 421 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.340 Total time: 5.540 seconds, Total memory usage: 120.91MB