Magma V2.19-8 Tue Aug 20 2013 23:46:27 on localhost [Seed = 1578644557] Type ? for help. Type -D to quit. Loading file "K14n18363__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18363 geometric_solution 11.15426524 oriented_manifold CS_known -0.0000000000000001 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 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 0 0 0 16 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629066356054 0.417055271851 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 0 -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 -16 0 16 0 0 0 0 0 0 0 0 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743095141580 0.460954649335 4 0 9 8 1302 0132 0132 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 0 0 0 0 0 0 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372611120086 0.918109876316 9 4 8 0 0132 1302 3012 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 0 0 1 -1 0 0 17 0 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544157990029 0.437961289553 10 2 0 3 0132 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 16 -16 0 0 -16 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767254331670 0.814382579107 9 1 10 8 1023 0132 3120 2310 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 16 -16 0 0 0 0 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.929972375637 1.432158917160 9 7 1 11 2103 0213 0132 0132 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 17 -16 -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.524983104027 0.860171883744 10 11 6 1 3120 2310 0213 0132 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 -17 0 0 0 0 0 17 0 0 -17 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.980012125043 0.531963016312 5 3 2 11 3201 1230 0132 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 1 -1 0 0 0 0 0 17 0 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.137932425054 0.883191636574 3 5 6 2 0132 1023 2103 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 0 0 0 0 0 0 0 -17 17 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593729445605 0.909143668781 4 11 5 7 0132 0132 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 1 0 -17 -16 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.294350638261 0.771725205929 8 10 6 7 3120 0132 0132 3201 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 1 -1 0 0 0 0 17 0 0 -17 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773995689094 0.910142964628 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_7']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : negation(d['c_1001_10']), 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : negation(d['c_0110_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_8']), '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_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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_8' : negation(d['c_0101_11']), 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_7']), 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_11']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0110_11']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_0011_10'], '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' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], '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_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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0011_10'], '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'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0110_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0101_8']), 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_6, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_8, c_0110_11, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 643496842870976467910562825211885692527566597414959/231833138910284\ 228655364388722811448256922786800*c_1001_10^23 + 1377916557319775528361156299534800097563511599951363/57958284727571\ 057163841097180702862064230696700*c_1001_10^22 + 20208997331541562027364291703783014491899269756311463/2318331389102\ 84228655364388722811448256922786800*c_1001_10^21 + 10980634079531407238650779992596394532081486527825229/5795828472757\ 1057163841097180702862064230696700*c_1001_10^20 + 16609245099885097450907163123756310587310844190657143/5795828472757\ 1057163841097180702862064230696700*c_1001_10^19 + 2988845720825860657627688605749077512056419741794193/92733255564113\ 69146214575548912457930276911472*c_1001_10^18 + 69460520618637352674147846653797561248096669955751429/2318331389102\ 84228655364388722811448256922786800*c_1001_10^17 + 60911093389167381087326001997574291194777239610219773/2318331389102\ 84228655364388722811448256922786800*c_1001_10^16 + 1921040279333624250311214735955899506005381934101749/14489571181892\ 764290960274295175715516057674175*c_1001_10^15 - 16399157585196850887400480510617465274995745568728931/2318331389102\ 84228655364388722811448256922786800*c_1001_10^14 - 28734025857357626914553171250600053589854243370195869/1159165694551\ 42114327682194361405724128461393400*c_1001_10^13 - 78925002561124372917034237996515827697064207577670387/2318331389102\ 84228655364388722811448256922786800*c_1001_10^12 - 26501243418107394327520897284291886678489555621220353/1159165694551\ 42114327682194361405724128461393400*c_1001_10^11 - 83684035712560013496644170450249539450787625420120791/2318331389102\ 84228655364388722811448256922786800*c_1001_10^10 - 23022735623954257296198791381173803532387709965712417/1159165694551\ 42114327682194361405724128461393400*c_1001_10^9 - 641510774813068470673246615463878244075180105389298/289791423637855\ 2858192054859035143103211534835*c_1001_10^8 - 6626034831068763165462292230610202505874959584258247/23183313891028\ 4228655364388722811448256922786800*c_1001_10^7 - 6706890534162589514719611132902802060744911902137511/11591656945514\ 2114327682194361405724128461393400*c_1001_10^6 - 286210414633948256529380537997400643378419774374139/100797016917514\ 88202407147335774410793779251600*c_1001_10^5 + 4738594930457993132227247265755267866269544744732913/23183313891028\ 4228655364388722811448256922786800*c_1001_10^4 + 982739588785993774248546554850080176777276936023003/115916569455142\ 114327682194361405724128461393400*c_1001_10^3 + 427712848642156014646604195836248098676601877579653/463666277820568\ 45731072877744562289651384557360*c_1001_10^2 + 415038871641860442760005098718146326636588548773849/231833138910284\ 228655364388722811448256922786800*c_1001_10 + 25393313691116692489346793095364756323912727326939/5795828472757105\ 7163841097180702862064230696700, c_0011_0 - 1, c_0011_10 + 37400468829227252699086255049798009841023/12704438734246897\ 154533838335989930418174*c_1001_10^23 + 622219791787681455756594450903868800409813/254088774684937943090676\ 76671979860836348*c_1001_10^22 + 1096931275599557574636732525427353\ 249860923/12704438734246897154533838335989930418174*c_1001_10^21 + 4550810825152080971766569348085789063234457/25408877468493794309067\ 676671979860836348*c_1001_10^20 + 163805352578856045611315014807963\ 7150762166/6352219367123448577266919167994965209087*c_1001_10^19 + 3478077458812667338163926311284227057563581/12704438734246897154533\ 838335989930418174*c_1001_10^18 + 614637805148428133302956735483155\ 6021742905/25408877468493794309067676671979860836348*c_1001_10^17 + 5257427752647644324436721628744826040494617/25408877468493794309067\ 676671979860836348*c_1001_10^16 + 192624924795737876658006479650849\ 4600567403/25408877468493794309067676671979860836348*c_1001_10^15 - 1345673447955192777035030530197012783289909/12704438734246897154533\ 838335989930418174*c_1001_10^14 - 616968308591465677662815147791608\ 0034759997/25408877468493794309067676671979860836348*c_1001_10^13 - 1914370776516086822746753952190344587182433/63522193671234485772669\ 19167994965209087*c_1001_10^12 - 4096208323024672397104105099114203\ 358183657/25408877468493794309067676671979860836348*c_1001_10^11 - 2084536825456589773098380868453493653028417/63522193671234485772669\ 19167994965209087*c_1001_10^10 - 2948475717299526885759763000038285\ 221478073/25408877468493794309067676671979860836348*c_1001_10^9 - 2398329921509005264146265869841358788897651/12704438734246897154533\ 838335989930418174*c_1001_10^8 + 2598061622094672148341807994137434\ 19585019/12704438734246897154533838335989930418174*c_1001_10^7 - 1463620858762289244367693609698473909021817/25408877468493794309067\ 676671979860836348*c_1001_10^6 - 1031222855186165569847914039645464\ 67701746/6352219367123448577266919167994965209087*c_1001_10^5 + 725375142140796387497885713424591161938931/254088774684937943090676\ 76671979860836348*c_1001_10^4 + 44095518587554825622473024067235623\ 91531/25408877468493794309067676671979860836348*c_1001_10^3 + 55888025214155154819520934386848176285814/6352219367123448577266919\ 167994965209087*c_1001_10^2 - 1615006527890904583628879887441657236\ 6799/25408877468493794309067676671979860836348*c_1001_10 - 9988330350970585911605648354083788317405/25408877468493794309067676\ 671979860836348, c_0011_6 - 123203042104259565124215984801082412581337/25408877468493794\ 309067676671979860836348*c_1001_10^23 - 1019469276824833834621180964421387439082041/25408877468493794309067\ 676671979860836348*c_1001_10^22 - 357020093313115912546421775416118\ 5925667449/25408877468493794309067676671979860836348*c_1001_10^21 - 7349949949578048833733476396907639269132729/25408877468493794309067\ 676671979860836348*c_1001_10^20 - 262786995408194731861368314202545\ 1281354482/6352219367123448577266919167994965209087*c_1001_10^19 - 11108274613642642590811412096783690324481719/2540887746849379430906\ 7676671979860836348*c_1001_10^18 - 4935087866703422484606958623776871098964833/12704438734246897154533\ 838335989930418174*c_1001_10^17 - 429889458264798690522317211906179\ 4553618377/12704438734246897154533838335989930418174*c_1001_10^16 - 3246660002680508048114558398506385380551147/25408877468493794309067\ 676671979860836348*c_1001_10^15 + 417150840702793771237593145342911\ 5670603825/25408877468493794309067676671979860836348*c_1001_10^14 + 9753195187092734276983339748390701142886651/25408877468493794309067\ 676671979860836348*c_1001_10^13 + 121323634240232155101589162373294\ 86245377207/25408877468493794309067676671979860836348*c_1001_10^12 + 6377151190612236782488208190357149484739015/25408877468493794309067\ 676671979860836348*c_1001_10^11 + 138350612210808511095595277865989\ 47624077227/25408877468493794309067676671979860836348*c_1001_10^10 + 4700519592240234200253357864454350692298251/25408877468493794309067\ 676671979860836348*c_1001_10^9 + 4092550632518667699535920437017991\ 690446071/12704438734246897154533838335989930418174*c_1001_10^8 - 1116172953171018523444744499299499225802235/25408877468493794309067\ 676671979860836348*c_1001_10^7 + 2749751659542745917211625136282724\ 536518575/25408877468493794309067676671979860836348*c_1001_10^6 + 569340914453244242307986167390763755652697/254088774684937943090676\ 76671979860836348*c_1001_10^5 - 25100147376095010128295458945985109\ 3891862/6352219367123448577266919167994965209087*c_1001_10^4 - 36438956391796767545050579150634509034401/2540887746849379430906767\ 6671979860836348*c_1001_10^3 - 318378811312079988407407317350410574\ 327757/25408877468493794309067676671979860836348*c_1001_10^2 + 23537609955606813705465210702115254239053/1270443873424689715453383\ 8335989930418174*c_1001_10 - 82583867606176476502106998767468756484\ 83/25408877468493794309067676671979860836348, c_0011_7 - 6402102708282350666767708654523073747873/6352219367123448577\ 266919167994965209087*c_1001_10^23 - 56284613301550236964538908020340345379287/6352219367123448577266919\ 167994965209087*c_1001_10^22 - 213283065200072408158229987529323882\ 188410/6352219367123448577266919167994965209087*c_1001_10^21 - 480956045542339550660376568518675861377370/635221936712344857726691\ 9167994965209087*c_1001_10^20 - 75438630294736707778043701727243509\ 9187804/6352219367123448577266919167994965209087*c_1001_10^19 - 880405699565443202712220364005199769799532/635221936712344857726691\ 9167994965209087*c_1001_10^18 - 83688242400127338917052410085896594\ 3651297/6352219367123448577266919167994965209087*c_1001_10^17 - 730114245474463952729259369154854577251381/635221936712344857726691\ 9167994965209087*c_1001_10^16 - 40351177981226937252885517373790550\ 3949132/6352219367123448577266919167994965209087*c_1001_10^15 + 134833847385682504106634381187224975574076/635221936712344857726691\ 9167994965209087*c_1001_10^14 + 63584191103222281356269621746363404\ 1304601/6352219367123448577266919167994965209087*c_1001_10^13 + 920077333235318389467472799587204687382212/635221936712344857726691\ 9167994965209087*c_1001_10^12 + 68567980599490969064221132861854453\ 5530127/6352219367123448577266919167994965209087*c_1001_10^11 + 909248869810007614397629186836860819108203/635221936712344857726691\ 9167994965209087*c_1001_10^10 + 60458026186616178137887814651231637\ 6402512/6352219367123448577266919167994965209087*c_1001_10^9 + 556232787136716891819707324942240144268793/635221936712344857726691\ 9167994965209087*c_1001_10^8 + 146691553969484621963923826113411780\ 863519/6352219367123448577266919167994965209087*c_1001_10^7 + 118097583912355771844060950463477189599461/635221936712344857726691\ 9167994965209087*c_1001_10^6 + 930963583250310258862559337937038265\ 12843/6352219367123448577266919167994965209087*c_1001_10^5 - 29995212857403259773931072123912842019163/6352219367123448577266919\ 167994965209087*c_1001_10^4 - 3133586512239348565108889021418975967\ 4895/6352219367123448577266919167994965209087*c_1001_10^3 - 17965522383547525183583831595220386591899/6352219367123448577266919\ 167994965209087*c_1001_10^2 - 5275744364189456517532435898794878923\ 231/6352219367123448577266919167994965209087*c_1001_10 + 4060150352023819238682219261976788629484/63522193671234485772669191\ 67994965209087, c_0011_8 + 6972863999819353995342551010906902680267/6352219367123448577\ 266919167994965209087*c_1001_10^23 + 249436688434276749822688892577624604457613/254088774684937943090676\ 76671979860836348*c_1001_10^22 + 2405636308628662331448308176608757\ 10306977/6352219367123448577266919167994965209087*c_1001_10^21 + 2200589425492501084183007420781626534235337/25408877468493794309067\ 676671979860836348*c_1001_10^20 + 868078629973905867129359396172889\ 057064496/6352219367123448577266919167994965209087*c_1001_10^19 + 1011888840109279228789213085947738689911013/63522193671234485772669\ 19167994965209087*c_1001_10^18 + 3805196933475511486889769174183269\ 913835035/25408877468493794309067676671979860836348*c_1001_10^17 + 3288044816343742042083893197857679985094327/25408877468493794309067\ 676671979860836348*c_1001_10^16 + 187579809068068349011416035794867\ 0600251475/25408877468493794309067676671979860836348*c_1001_10^15 - 148848203551178132489082905574880028807421/635221936712344857726691\ 9167994965209087*c_1001_10^14 - 29489222962801774428728099345011306\ 17319813/25408877468493794309067676671979860836348*c_1001_10^13 - 2125257457923838986213589267192106926685687/12704438734246897154533\ 838335989930418174*c_1001_10^12 - 322048526828196026401076008953082\ 5305819033/25408877468493794309067676671979860836348*c_1001_10^11 - 1991626663564183322944046029195388916797527/12704438734246897154533\ 838335989930418174*c_1001_10^10 - 302314146898494705524355648180456\ 5794266341/25408877468493794309067676671979860836348*c_1001_10^9 - 1234741518959825839888465071970740927670523/12704438734246897154533\ 838335989930418174*c_1001_10^8 - 2057299817376407426939059273039794\ 79746408/6352219367123448577266919167994965209087*c_1001_10^7 - 393261759231215640367017752844198360787665/254088774684937943090676\ 76671979860836348*c_1001_10^6 - 21754207109161285705425329242983679\ 3305677/12704438734246897154533838335989930418174*c_1001_10^5 + 186682718722860066859093732803324392242793/254088774684937943090676\ 76671979860836348*c_1001_10^4 + 24626899129788542597207023098131238\ 7067863/25408877468493794309067676671979860836348*c_1001_10^3 + 46774802081932736589148198845214595707029/1270443873424689715453383\ 8335989930418174*c_1001_10^2 + 505606184600099345544989194750006867\ 85463/25408877468493794309067676671979860836348*c_1001_10 - 9788488881035657633578441052797521425221/25408877468493794309067676\ 671979860836348, c_0101_0 - 54808645948718291617901196676018313406225/127044387342468971\ 54533838335989930418174*c_1001_10^23 - 896531123208624006191152155333205081598811/254088774684937943090676\ 76671979860836348*c_1001_10^22 - 1542833488081161637920237827670415\ 326610927/12704438734246897154533838335989930418174*c_1001_10^21 - 6202551148696303926397550962986862319948943/25408877468493794309067\ 676671979860836348*c_1001_10^20 - 215281009739742112982989072741067\ 1036950798/6352219367123448577266919167994965209087*c_1001_10^19 - 4378452615475035764988064579736713689734981/12704438734246897154533\ 838335989930418174*c_1001_10^18 - 753145012484076423986848812338297\ 4841303615/25408877468493794309067676671979860836348*c_1001_10^17 - 6538533048092683067223319758306166246753663/25408877468493794309067\ 676671979860836348*c_1001_10^16 - 197258145380046079355477482956366\ 0244935849/25408877468493794309067676671979860836348*c_1001_10^15 + 2068377418419488256442324621953902155213971/12704438734246897154533\ 838335989930418174*c_1001_10^14 + 836122400155956701534045006328836\ 5073674791/25408877468493794309067676671979860836348*c_1001_10^13 + 2450072270291767171766501279640759243357402/63522193671234485772669\ 19167994965209087*c_1001_10^12 + 4353059633999467136988764938263824\ 406720115/25408877468493794309067676671979860836348*c_1001_10^11 + 2875259478199377554950293814842348539868648/63522193671234485772669\ 19167994965209087*c_1001_10^10 + 2981482092104341085532241274416908\ 080776671/25408877468493794309067676671979860836348*c_1001_10^9 + 3326526804691273571921689286427373246973559/12704438734246897154533\ 838335989930418174*c_1001_10^8 - 9214959331323801889660755809805826\ 83823373/12704438734246897154533838335989930418174*c_1001_10^7 + 2355101035254856525040113492588548769750303/25408877468493794309067\ 676671979860836348*c_1001_10^6 + 6919497849613299610773481363826546\ 8892448/6352219367123448577266919167994965209087*c_1001_10^5 - 985309549272630039662255120958519201896649/254088774684937943090676\ 76671979860836348*c_1001_10^4 - 14176184745198390164413766653981069\ 398333/25408877468493794309067676671979860836348*c_1001_10^3 - 68303580872943032015300233471352412248213/6352219367123448577266919\ 167994965209087*c_1001_10^2 + 7364689292056056194469857975690529003\ 1969/25408877468493794309067676671979860836348*c_1001_10 - 7993524962487482398111557625082978890221/25408877468493794309067676\ 671979860836348, c_0101_1 + 39198001513353348069483301866308717631137/254088774684937943\ 09067676671979860836348*c_1001_10^23 + 320322689611215213178857023208351711940427/254088774684937943090676\ 76671979860836348*c_1001_10^22 + 1102900397751057530808859991228173\ 261649033/25408877468493794309067676671979860836348*c_1001_10^21 + 2221581219095817238059409055823584388321491/25408877468493794309067\ 676671979860836348*c_1001_10^20 + 772109080413574747352291668025870\ 602557153/6352219367123448577266919167994965209087*c_1001_10^19 + 3117261183735193482589813599939932307698315/25408877468493794309067\ 676671979860836348*c_1001_10^18 + 649910728430930189848104000000257\ 794034432/6352219367123448577266919167994965209087*c_1001_10^17 + 530469051024859477806612600837218752864507/635221936712344857726691\ 9167994965209087*c_1001_10^16 + 40880834613831781241595668018240777\ 4531029/25408877468493794309067676671979860836348*c_1001_10^15 - 1745140428615336761528412343977132315682625/25408877468493794309067\ 676671979860836348*c_1001_10^14 - 321311133229815631164392525167283\ 1426821109/25408877468493794309067676671979860836348*c_1001_10^13 - 3626667048050089745125993383247432490538467/25408877468493794309067\ 676671979860836348*c_1001_10^12 - 152501680084968614969284584597558\ 9960966561/25408877468493794309067676671979860836348*c_1001_10^11 - 3926577102260349118804197065354370793350879/25408877468493794309067\ 676671979860836348*c_1001_10^10 - 662548001840636500558833081255117\ 210802321/25408877468493794309067676671979860836348*c_1001_10^9 - 1113547034502935377491767341581277392728981/12704438734246897154533\ 838335989930418174*c_1001_10^8 + 9784414263666778379527136842335345\ 07368891/25408877468493794309067676671979860836348*c_1001_10^7 - 842859402314344644560503573242542959548953/254088774684937943090676\ 76671979860836348*c_1001_10^6 + 11174569298533247379749098270355779\ 0487259/25408877468493794309067676671979860836348*c_1001_10^5 + 171067993119840315995836083247936655066405/127044387342468971545338\ 38335989930418174*c_1001_10^4 + 70880463087173777192244907271074863\ 957687/25408877468493794309067676671979860836348*c_1001_10^3 + 109773906113370991637644397719358214357409/254088774684937943090676\ 76671979860836348*c_1001_10^2 - 94082779534731889952778422716493389\ 73220/6352219367123448577266919167994965209087*c_1001_10 + 34240867361814677231255934477843465066197/2540887746849379430906767\ 6671979860836348, c_0101_11 - 19526009564433716292374847138724705353941/25408877468493794\ 309067676671979860836348*c_1001_10^23 - 86172378989791240264253040388859986100891/1270443873424689715453383\ 8335989930418174*c_1001_10^22 - 66437748857198061833188701743866402\ 3724901/25408877468493794309067676671979860836348*c_1001_10^21 - 779635809122655023324688615851724694244875/127044387342468971545338\ 38335989930418174*c_1001_10^20 - 6547352989915133759547898604892138\ 86794839/6352219367123448577266919167994965209087*c_1001_10^19 - 3379499889107894538052196654822013314955835/25408877468493794309067\ 676671979860836348*c_1001_10^18 - 363803484670844079569510415261548\ 2280760777/25408877468493794309067676671979860836348*c_1001_10^17 - 3519270208121060603640909611027003998356909/25408877468493794309067\ 676671979860836348*c_1001_10^16 - 125181104140017911257894252003154\ 0824776769/12704438734246897154533838335989930418174*c_1001_10^15 - 707694036381154049892784579522401373099039/254088774684937943090676\ 76671979860836348*c_1001_10^14 + 3231262051215421795562787856500275\ 76845306/6352219367123448577266919167994965209087*c_1001_10^13 + 2906344044640846849752022966903858610300709/25408877468493794309067\ 676671979860836348*c_1001_10^12 + 733749026137712444494990795493086\ 501130235/6352219367123448577266919167994965209087*c_1001_10^11 + 4072520437360470858825981343607527287456273/25408877468493794309067\ 676671979860836348*c_1001_10^10 + 744348679537250066575161684915573\ 928580279/6352219367123448577266919167994965209087*c_1001_10^9 + 776255163238500088081312079014507801792534/635221936712344857726691\ 9167994965209087*c_1001_10^8 + 142516018745029096640365267675461490\ 0602269/25408877468493794309067676671979860836348*c_1001_10^7 + 320971353858196611365220601030029047628657/635221936712344857726691\ 9167994965209087*c_1001_10^6 + 582664719911985264348182944400098328\ 324095/25408877468493794309067676671979860836348*c_1001_10^5 + 140435544216539825304637466796919439270767/254088774684937943090676\ 76671979860836348*c_1001_10^4 - 42766667563575924042141151317577205\ 8908/6352219367123448577266919167994965209087*c_1001_10^3 - 83863074402883585095923624936435030238223/2540887746849379430906767\ 6671979860836348*c_1001_10^2 - 400159141611163331928066466233311620\ 76065/25408877468493794309067676671979860836348*c_1001_10 - 11892383033837205388077765966255513822591/1270443873424689715453383\ 8335989930418174, c_0101_8 - 10275589716144329961049071134285475890491/127044387342468971\ 54533838335989930418174*c_1001_10^23 - 42760336731284727054715921346913086264912/6352219367123448577266919\ 167994965209087*c_1001_10^22 - 301687838359019411488461197827768829\ 298081/12704438734246897154533838335989930418174*c_1001_10^21 - 312560233183520258558030688659025269002620/635221936712344857726691\ 9167994965209087*c_1001_10^20 - 44747165213911136606916265824240318\ 6121545/6352219367123448577266919167994965209087*c_1001_10^19 - 938805730719302134714573728967949331117427/127044387342468971545338\ 38335989930418174*c_1001_10^18 - 8196461336575163755759586923094905\ 79398045/12704438734246897154533838335989930418174*c_1001_10^17 - 706041814075035843874609188166017166436767/127044387342468971545338\ 38335989930418174*c_1001_10^16 - 1377456434821678075505565099553531\ 13151536/6352219367123448577266919167994965209087*c_1001_10^15 + 335338498148294379870510754309744160788179/127044387342468971545338\ 38335989930418174*c_1001_10^14 + 4015847402617053953861014323728321\ 76488712/6352219367123448577266919167994965209087*c_1001_10^13 + 976397181197349342249678137298906782725211/127044387342468971545338\ 38335989930418174*c_1001_10^12 + 2398878307128540063335801212796975\ 88026306/6352219367123448577266919167994965209087*c_1001_10^11 + 1087850034875744718306397310424241555817377/12704438734246897154533\ 838335989930418174*c_1001_10^10 + 195416754845883958732626182468799\ 742090038/6352219367123448577266919167994965209087*c_1001_10^9 + 355504099308430649165437565739672617739496/635221936712344857726691\ 9167994965209087*c_1001_10^8 - 857841874488184927392712652194220210\ 54937/12704438734246897154533838335989930418174*c_1001_10^7 + 151310232944273287841603798285725865308038/635221936712344857726691\ 9167994965209087*c_1001_10^6 + 765104133337669124273088318125634581\ 39799/12704438734246897154533838335989930418174*c_1001_10^5 - 9941711508973589266510178953923816810839/12704438734246897154533838\ 335989930418174*c_1001_10^4 + 8735468767458992218130856891127150071\ 20/6352219367123448577266919167994965209087*c_1001_10^3 + 7308993467558483603441408344763982220697/12704438734246897154533838\ 335989930418174*c_1001_10^2 + 1676750556386509841726215898908016838\ 6091/12704438734246897154533838335989930418174*c_1001_10 - 3231555172059478128560348878051661918951/63522193671234485772669191\ 67994965209087, c_0110_11 + 61215187451631523509758918650550233913159/25408877468493794\ 309067676671979860836348*c_1001_10^23 + 499281638171471627326565641815686442926583/254088774684937943090676\ 76671979860836348*c_1001_10^22 + 1709328594230279299649722952034351\ 227276251/25408877468493794309067676671979860836348*c_1001_10^21 + 3403412024270336064430643914165012114050671/25408877468493794309067\ 676671979860836348*c_1001_10^20 + 116299366910403426732935773346485\ 6906358482/6352219367123448577266919167994965209087*c_1001_10^19 + 4604785534932763615492569685258191170115405/25408877468493794309067\ 676671979860836348*c_1001_10^18 + 190382622145910030184206911533039\ 4332558427/12704438734246897154533838335989930418174*c_1001_10^17 + 1599085817722176790606848574463701590005763/12704438734246897154533\ 838335989930418174*c_1001_10^16 + 652170699077331512020281227565769\ 464952105/25408877468493794309067676671979860836348*c_1001_10^15 - 2656593325721424354578778850872714206403935/25408877468493794309067\ 676671979860836348*c_1001_10^14 - 477771190038148951498526179281374\ 3965548137/25408877468493794309067676671979860836348*c_1001_10^13 - 5325408763208200467894104689994929076782133/25408877468493794309067\ 676671979860836348*c_1001_10^12 - 207211676641190275160466184702087\ 8280164757/25408877468493794309067676671979860836348*c_1001_10^11 - 6004123993543018202635170946584421147511033/25408877468493794309067\ 676671979860836348*c_1001_10^10 - 122943821716363377103864641000084\ 2609956493/25408877468493794309067676671979860836348*c_1001_10^9 - 1632306093681611136532034719250740345425139/12704438734246897154533\ 838335989930418174*c_1001_10^8 + 1246431237512676284155768261489152\ 981014549/25408877468493794309067676671979860836348*c_1001_10^7 - 1068970234474399852196181966004298142253545/25408877468493794309067\ 676671979860836348*c_1001_10^6 - 1199281416057539700621187030204839\ 90724079/25408877468493794309067676671979860836348*c_1001_10^5 + 176669699092406505507080619135926497067033/635221936712344857726691\ 9167994965209087*c_1001_10^4 - 178532197878428948183895100899298772\ 44537/25408877468493794309067676671979860836348*c_1001_10^3 + 178387613036312758931877354082391779808351/254088774684937943090676\ 76671979860836348*c_1001_10^2 - 21360869144127990185028478613545676\ 960331/12704438734246897154533838335989930418174*c_1001_10 - 10253192149100751163704790605747685075667/2540887746849379430906767\ 6671979860836348, c_1001_0 + 333676247644230801568582129888001027147/63522193671234485772\ 66919167994965209087*c_1001_10^23 + 12097213097016758160113118654668346122587/6352219367123448577266919\ 167994965209087*c_1001_10^22 + 886068478594412669746556308676598258\ 39424/6352219367123448577266919167994965209087*c_1001_10^21 + 304398983721396424382161677436012682353082/635221936712344857726691\ 9167994965209087*c_1001_10^20 + 63377666045325212883430649586226476\ 1947426/6352219367123448577266919167994965209087*c_1001_10^19 + 922779221347870762813032085548836754507946/635221936712344857726691\ 9167994965209087*c_1001_10^18 + 99699877720464196927500446541153467\ 4878475/6352219367123448577266919167994965209087*c_1001_10^17 + 893416929824658518103378626597118585278220/635221936712344857726691\ 9167994965209087*c_1001_10^16 + 75730897337402969805764468673204791\ 4141468/6352219367123448577266919167994965209087*c_1001_10^15 + 319940589623105738235879780127668633258838/635221936712344857726691\ 9167994965209087*c_1001_10^14 - 31857914010414152207980790643281716\ 2461213/6352219367123448577266919167994965209087*c_1001_10^13 - 843514679744504717723089722052176057414496/635221936712344857726691\ 9167994965209087*c_1001_10^12 - 10630643533727365875065990808376279\ 30560233/6352219367123448577266919167994965209087*c_1001_10^11 - 651282142464454752731590340298996638606658/635221936712344857726691\ 9167994965209087*c_1001_10^10 - 11016879563533127718596538303658188\ 83419399/6352219367123448577266919167994965209087*c_1001_10^9 - 528407653120392445247158776571024596810120/635221936712344857726691\ 9167994965209087*c_1001_10^8 - 686296962639066848253749087747672709\ 962870/6352219367123448577266919167994965209087*c_1001_10^7 - 3386410105288886292243381038347000578726/63522193671234485772669191\ 67994965209087*c_1001_10^6 - 19812969671088188402573435845403515943\ 9435/6352219367123448577266919167994965209087*c_1001_10^5 - 64176650396672318411169639809416210456876/6352219367123448577266919\ 167994965209087*c_1001_10^4 + 4935387354931719929446562369906253527\ 5582/6352219367123448577266919167994965209087*c_1001_10^3 + 19077078364840870112466083790450564208779/6352219367123448577266919\ 167994965209087*c_1001_10^2 + 3043676064906384413571831231162839495\ 8642/6352219367123448577266919167994965209087*c_1001_10 - 2130602993636211109341443823309546683578/63522193671234485772669191\ 67994965209087, c_1001_10^24 + 105/13*c_1001_10^23 + 354/13*c_1001_10^22 + 53*c_1001_10^21 + 913/13*c_1001_10^20 + 863/13*c_1001_10^19 + 678/13*c_1001_10^18 + 557/13*c_1001_10^17 + 30/13*c_1001_10^16 - 626/13*c_1001_10^15 - 995/13*c_1001_10^14 - 1036/13*c_1001_10^13 - 305/13*c_1001_10^12 - 1176/13*c_1001_10^11 - 9*c_1001_10^10 - 591/13*c_1001_10^9 + 361/13*c_1001_10^8 - 207/13*c_1001_10^7 - 2/13*c_1001_10^6 + 158/13*c_1001_10^5 - 6/13*c_1001_10^4 + 24/13*c_1001_10^3 - 12/13*c_1001_10^2 - 2/13*c_1001_10 - 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.580 Total time: 1.790 seconds, Total memory usage: 64.12MB