Magma V2.19-8 Tue Aug 20 2013 18:11:01 on localhost [Seed = 1208611695] Type ? for help. Type -D to quit. Loading file "11_287__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_287 geometric_solution 13.36855369 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 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.401222004019 0.632803366134 0 5 6 3 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.190784655082 1.497319143646 7 0 6 8 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0.285343275795 1.127149498724 7 9 1 0 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.174927075994 1.282420372252 10 11 0 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.302206666842 0.689696705139 7 1 11 8 1023 0132 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.068773979819 1.157586645973 12 2 4 1 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.294363478706 0.858143607047 2 5 3 8 0132 1023 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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.354817067294 0.551496264489 7 13 2 5 3120 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279348589894 0.516888358612 11 3 13 12 0213 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487568954393 1.493794059260 4 13 13 12 0132 3012 3120 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 5 -6 1 -1 0 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 0 0.301684264976 1.051698883794 9 4 5 12 0213 0132 0321 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.465033605648 1.689133110266 6 11 10 9 0132 1302 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 1 -1 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.663125823633 0.924387898301 10 8 10 9 1230 0132 3120 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 1 0 -1 0 0 0 0 0 -5 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438168402927 0.659903818802 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_13']), 'c_1001_13' : d['c_0011_13'], 'c_1001_12' : negation(d['c_0101_13']), 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_1001_0'], 'c_1010_12' : negation(d['c_1001_3']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0101_13']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : 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' : negation(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_0101_10']), 'c_1100_8' : negation(d['c_1001_11']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1001_11']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0101_13']), 'c_1100_13' : negation(d['c_0101_10']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_13'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_0011_13'], 's_3_1' : d['1'], 's_2_8' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_13']), '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' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_13']), 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : d['c_0101_10'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0101_2'], '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_0'], 'c_0110_5' : d['c_0011_13'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_2, c_1001_0, c_1001_11, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 31835147356042496005921938285/44428577504951407674361312*c_1100_0^1\ 7 + 604479605200266226552350636347/77750010633664963430132296*c_110\ 0_0^16 + 12091123736683164247663569505223/3110000425346598537205291\ 84*c_1100_0^15 + 4023382648016238823550630205925/282727311395145321\ 56411744*c_1100_0^14 + 2825462540549243422950030565529/706818278487\ 8633039102936*c_1100_0^13 + 18625920005177241948894032621771/222142\ 88752475703837180656*c_1100_0^12 + 229916213830104516285379689817127/155500021267329926860264592*c_110\ 0_0^11 + 57283646690848019436537657071233/2827273113951453215641174\ 4*c_1100_0^10 + 46321944685398284165307357206961/239230801949738349\ 01579168*c_1100_0^9 + 149529272011657467359443388859345/77750010633\ 664963430132296*c_1100_0^8 + 537881277211358134869174277551225/3110\ 00042534659853720529184*c_1100_0^7 + 472341185111089627738303471038923/311000042534659853720529184*c_110\ 0_0^6 + 125279268845473316832275634362701/1555000212673299268602645\ 92*c_1100_0^5 + 128750309668621495638432241942215/31100004253465985\ 3720529184*c_1100_0^4 + 32872440384746160471611893062241/3110000425\ 34659853720529184*c_1100_0^3 + 11572879779967511481065588049033/311\ 000042534659853720529184*c_1100_0^2 + 106608054745902650836995783799/28272731139514532156411744*c_1100_0 + 138276503646133605975441414969/77750010633664963430132296, c_0011_0 - 1, c_0011_10 + 485042566738465305192534/883522848109829129887867*c_1100_0^\ 17 + 5214185929627710829478180/883522848109829129887867*c_1100_0^16 + 25738678180031802420133245/883522848109829129887867*c_1100_0^15 + 93174275351453700711155319/883522848109829129887867*c_1100_0^14 + 258554411629621861159406976/883522848109829129887867*c_1100_0^13 + 532143739282704784413180453/883522848109829129887867*c_1100_0^12 + 921962067096848334446258480/883522848109829129887867*c_1100_0^11 + 1228870500102157149677858329/883522848109829129887867*c_1100_0^10 + 84771735477320964791433744/67963296008448394606759*c_1100_0^9 + 154779444396690378257014345/126217549729975589983981*c_1100_0^8 + 973771116951145306105027627/883522848109829129887867*c_1100_0^7 + 828550039931527060335756849/883522848109829129887867*c_1100_0^6 + 378574101028919145778251854/883522848109829129887867*c_1100_0^5 + 24079439143882947362615318/126217549729975589983981*c_1100_0^4 + 28481692136176996492776843/883522848109829129887867*c_1100_0^3 + 426750689862600995863718/883522848109829129887867*c_1100_0^2 - 100737422388883664306647/883522848109829129887867*c_1100_0 - 1150818106316732547219258/883522848109829129887867, c_0011_12 - 14369264282524061932725/883522848109829129887867*c_1100_0^1\ 7 - 200249310631019365961026/883522848109829129887867*c_1100_0^16 - 1247244048735640092408623/883522848109829129887867*c_1100_0^15 - 5114671487018185016046567/883522848109829129887867*c_1100_0^14 - 16107567602783139905965752/883522848109829129887867*c_1100_0^13 - 38961540476592225310119531/883522848109829129887867*c_1100_0^12 - 74350881697450309514131875/883522848109829129887867*c_1100_0^11 - 117326984755995340761542811/883522848109829129887867*c_1100_0^10 - 10655735714917757766527199/67963296008448394606759*c_1100_0^9 - 17735255939977451815756919/126217549729975589983981*c_1100_0^8 - 122715484629644515868616424/883522848109829129887867*c_1100_0^7 - 106826317094755262105857023/883522848109829129887867*c_1100_0^6 - 82557998707788138668376065/883522848109829129887867*c_1100_0^5 - 4737200934914774158537491/126217549729975589983981*c_1100_0^4 - 16463960257765049432762071/883522848109829129887867*c_1100_0^3 - 1006680553318382860466230/883522848109829129887867*c_1100_0^2 - 1081627674131306881081558/883522848109829129887867*c_1100_0 + 448618805682736503065282/883522848109829129887867, c_0011_13 + 192944117276506673368723/883522848109829129887867*c_1100_0^\ 17 + 1962647772102423454565182/883522848109829129887867*c_1100_0^16 + 9062261367753276208232195/883522848109829129887867*c_1100_0^15 + 31383553548481125097171882/883522848109829129887867*c_1100_0^14 + 82589381437813726153745218/883522848109829129887867*c_1100_0^13 + 156446265960637458933065712/883522848109829129887867*c_1100_0^12 + 256087214709024632671786364/883522848109829129887867*c_1100_0^11 + 301014335372724933715439843/883522848109829129887867*c_1100_0^10 + 15254575067950896772960893/67963296008448394606759*c_1100_0^9 + 33532593467095273011442004/126217549729975589983981*c_1100_0^8 + 191720047437421715005141325/883522848109829129887867*c_1100_0^7 + 160952493192575770400782885/883522848109829129887867*c_1100_0^6 + 6005805971850309255130974/883522848109829129887867*c_1100_0^5 + 3148804694903806059851500/126217549729975589983981*c_1100_0^4 - 7095258936283806346762889/883522848109829129887867*c_1100_0^3 + 4449086490338924319876727/883522848109829129887867*c_1100_0^2 + 467080762327365616447665/883522848109829129887867*c_1100_0 + 398726302405630254056104/883522848109829129887867, c_0011_3 - 320082078380067742435409/883522848109829129887867*c_1100_0^1\ 7 - 3562416501829142354592661/883522848109829129887867*c_1100_0^16 - 18312420130333623014742696/883522848109829129887867*c_1100_0^15 - 68161857941617666536770340/883522848109829129887867*c_1100_0^14 - 195107046324284613212917092/883522848109829129887867*c_1100_0^13 - 420145878862154435046793221/883522848109829129887867*c_1100_0^12 - 753633933793132305162245665/883522848109829129887867*c_1100_0^11 - 1067226960054061526966792076/883522848109829129887867*c_1100_0^10 - 83109788718411741542915074/67963296008448394606759*c_1100_0^9 - 150687971193056259840978076/126217549729975589983981*c_1100_0^8 - 978314719040786794252876730/883522848109829129887867*c_1100_0^7 - 857149040078596712382968245/883522848109829129887867*c_1100_0^6 - 518904281054049365488901754/883522848109829129887867*c_1100_0^5 - 37056742401545788458499579/126217549729975589983981*c_1100_0^4 - 94639930846567719653893218/883522848109829129887867*c_1100_0^3 - 26313818506398779024369786/883522848109829129887867*c_1100_0^2 - 8120563592678164467431433/883522848109829129887867*c_1100_0 - 1293163550302579851329972/883522848109829129887867, c_0101_0 + 112788011888155276530696/883522848109829129887867*c_1100_0^1\ 7 + 1317759210142696013550267/883522848109829129887867*c_1100_0^16 + 7052125125254274762311534/883522848109829129887867*c_1100_0^15 + 26561592250584886103413055/883522848109829129887867*c_1100_0^14 + 76966476602227513679251897/883522848109829129887867*c_1100_0^13 + 167718235172561884409566655/883522848109829129887867*c_1100_0^12 + 296502501798491797872309992/883522848109829129887867*c_1100_0^11 + 418137566844842476050199619/883522848109829129887867*c_1100_0^10 + 31326497705408800981661186/67963296008448394606759*c_1100_0^9 + 48665492419938615882473221/126217549729975589983981*c_1100_0^8 + 334245478744676928994195560/883522848109829129887867*c_1100_0^7 + 280638123967626127848357292/883522848109829129887867*c_1100_0^6 + 158784253244466602800500207/883522848109829129887867*c_1100_0^5 + 4024887189372570495264958/126217549729975589983981*c_1100_0^4 + 9775441983898181177000563/883522848109829129887867*c_1100_0^3 - 5952510387015085144961429/883522848109829129887867*c_1100_0^2 + 1141414468056630256241419/883522848109829129887867*c_1100_0 + 117150117473651975158669/883522848109829129887867, c_0101_1 + 12218386948139563870302/67963296008448394606759*c_1100_0^17 + 129181298122148263463545/67963296008448394606759*c_1100_0^16 + 624052075942127038917141/67963296008448394606759*c_1100_0^15 + 2222558391738063398857426/67963296008448394606759*c_1100_0^14 + 6058252088684469552339732/67963296008448394606759*c_1100_0^13 + 12131004118069902075905641/67963296008448394606759*c_1100_0^12 + 20583377421515489684906785/67963296008448394606759*c_1100_0^11 + 26495843496067925518360746/67963296008448394606759*c_1100_0^10 + 21929875130280107013872558/67963296008448394606759*c_1100_0^9 + 3220313346700509064964525/9709042286921199229537*c_1100_0^8 + 21017351033532680648132347/67963296008448394606759*c_1100_0^7 + 17426297026075754814612276/67963296008448394606759*c_1100_0^6 + 6821419004252142087087319/67963296008448394606759*c_1100_0^5 + 501046169495077127504046/9709042286921199229537*c_1100_0^4 + 1515403243915689347241951/67963296008448394606759*c_1100_0^3 + 422963792860867891191124/67963296008448394606759*c_1100_0^2 + 274199220029013844502607/67963296008448394606759*c_1100_0 - 22405842416867207767748/67963296008448394606759, c_0101_10 + 111234655466678405219993/883522848109829129887867*c_1100_0^\ 17 + 1166020927594803562446300/883522848109829129887867*c_1100_0^16 + 5594298175386023352286937/883522848109829129887867*c_1100_0^15 + 19912722713477039800934238/883522848109829129887867*c_1100_0^14 + 54189393191826542777287410/883522848109829129887867*c_1100_0^13 + 108362963872753999781553039/883522848109829129887867*c_1100_0^12 + 184791036521430643950792037/883522848109829129887867*c_1100_0^11 + 237365091998106487473495690/883522848109829129887867*c_1100_0^10 + 15204470719964432774058706/67963296008448394606759*c_1100_0^9 + 29558955663888216031647500/126217549729975589983981*c_1100_0^8 + 177543115161240882108701717/883522848109829129887867*c_1100_0^7 + 148793845135929498474476700/883522848109829129887867*c_1100_0^6 + 54345678594980678027163924/883522848109829129887867*c_1100_0^5 + 4217051577903207317800170/126217549729975589983981*c_1100_0^4 + 523690906496866834935697/883522848109829129887867*c_1100_0^3 - 1987548212946898029330911/883522848109829129887867*c_1100_0^2 - 542420150449319834637885/883522848109829129887867*c_1100_0 - 707784984994572810176984/883522848109829129887867, c_0101_13 - 320810040807099490222692/883522848109829129887867*c_1100_0^\ 17 - 3353440150488365650501710/883522848109829129887867*c_1100_0^16 - 16061233958818505393954439/883522848109829129887867*c_1100_0^15 - 57211137084949836626961796/883522848109829129887867*c_1100_0^14 - 155753044323830601278276834/883522848109829129887867*c_1100_0^13 - 311942875263577612486716962/883522848109829129887867*c_1100_0^12 - 534309635054462344714210824/883522848109829129887867*c_1100_0^11 - 688995973257928197503450288/883522848109829129887867*c_1100_0^10 - 44934035841469452081225495/67963296008448394606759*c_1100_0^9 - 88762944549139782359257886/126217549729975589983981*c_1100_0^8 - 526895804678081633408957823/883522848109829129887867*c_1100_0^7 - 457785607520321703196021548/883522848109829129887867*c_1100_0^6 - 172720799086110483409191001/883522848109829129887867*c_1100_0^5 - 15917316881651080031124394/126217549729975589983981*c_1100_0^4 - 6186468514910137420319562/883522848109829129887867*c_1100_0^3 - 7001356303672198851098999/883522848109829129887867*c_1100_0^2 + 2018096313293967890470495/883522848109829129887867*c_1100_0 - 303027309637430635082536/883522848109829129887867, c_0101_2 + 192944117276506673368723/883522848109829129887867*c_1100_0^1\ 7 + 1962647772102423454565182/883522848109829129887867*c_1100_0^16 + 9062261367753276208232195/883522848109829129887867*c_1100_0^15 + 31383553548481125097171882/883522848109829129887867*c_1100_0^14 + 82589381437813726153745218/883522848109829129887867*c_1100_0^13 + 156446265960637458933065712/883522848109829129887867*c_1100_0^12 + 256087214709024632671786364/883522848109829129887867*c_1100_0^11 + 301014335372724933715439843/883522848109829129887867*c_1100_0^10 + 15254575067950896772960893/67963296008448394606759*c_1100_0^9 + 33532593467095273011442004/126217549729975589983981*c_1100_0^8 + 191720047437421715005141325/883522848109829129887867*c_1100_0^7 + 160952493192575770400782885/883522848109829129887867*c_1100_0^6 + 6005805971850309255130974/883522848109829129887867*c_1100_0^5 + 3148804694903806059851500/126217549729975589983981*c_1100_0^4 - 7095258936283806346762889/883522848109829129887867*c_1100_0^3 + 4449086490338924319876727/883522848109829129887867*c_1100_0^2 + 467080762327365616447665/883522848109829129887867*c_1100_0 + 398726302405630254056104/883522848109829129887867, c_1001_0 - 227609975935180160917872/883522848109829129887867*c_1100_0^1\ 7 - 2524917910729048492073316/883522848109829129887867*c_1100_0^16 - 12894082060206819483672572/883522848109829129887867*c_1100_0^15 - 47612531085066845853331772/883522848109829129887867*c_1100_0^14 - 135077759992617735782903728/883522848109829129887867*c_1100_0^13 - 286837250887021593909248727/883522848109829129887867*c_1100_0^12 - 505925941280788679599180636/883522848109829129887867*c_1100_0^11 - 700000655957204807159596373/883522848109829129887867*c_1100_0^10 - 51731340830746617582564045/67963296008448394606759*c_1100_0^9 - 90172953865069383434896064/126217549729975589983981*c_1100_0^8 - 586944964326868597210195257/883522848109829129887867*c_1100_0^7 - 505457796782431475895333073/883522848109829129887867*c_1100_0^6 - 274999951476281996565071440/883522848109829129887867*c_1100_0^5 - 15687936018712507730597054/126217549729975589983981*c_1100_0^4 - 33321711357555276547604488/883522848109829129887867*c_1100_0^3 - 4762908067353479497084669/883522848109829129887867*c_1100_0^2 - 2886771382737398598908381/883522848109829129887867*c_1100_0 - 351783147602321003682649/883522848109829129887867, c_1001_11 + 114821964047024884387176/883522848109829129887867*c_1100_0^\ 17 + 1207158700586352478523049/883522848109829129887867*c_1100_0^16 + 5841956934952544721361038/883522848109829129887867*c_1100_0^15 + 21050938834481959749918717/883522848109829129887867*c_1100_0^14 + 58111283390390222103651831/883522848109829129887867*c_1100_0^13 + 119119015714459709499682072/883522848109829129887867*c_1100_0^12 + 209423439482296881726870644/883522848109829129887867*c_1100_0^11 + 281863089112362331109396754/883522848109829129887867*c_1100_0^10 + 20404843125337816600902859/67963296008448394606759*c_1100_0^9 + 41507461445130767552422843/126217549729975589983981*c_1100_0^8 + 252699485582191668215999697/883522848109829129887867*c_1100_0^7 + 224819672814805348046975781/883522848109829129887867*c_1100_0^6 + 116215698231815393764571233/883522848109829129887867*c_1100_0^5 + 11663048829339937235332096/126217549729975589983981*c_1100_0^4 + 23546269373657095370603925/883522848109829129887867*c_1100_0^3 + 10715418454368564642046098/883522848109829129887867*c_1100_0^2 + 1745356914680768342666962/883522848109829129887867*c_1100_0 + 234633030128669028523980/883522848109829129887867, c_1001_3 - c_1100_0, c_1100_0^18 + 11*c_1100_0^17 + 56*c_1100_0^16 + 208*c_1100_0^15 + 594*c_1100_0^14 + 1277*c_1100_0^13 + 2304*c_1100_0^12 + 3273*c_1100_0^11 + 3364*c_1100_0^10 + 3412*c_1100_0^9 + 3116*c_1100_0^8 + 2770*c_1100_0^7 + 1706*c_1100_0^6 + 974*c_1100_0^5 + 348*c_1100_0^4 + 123*c_1100_0^3 + 25*c_1100_0^2 + 6*c_1100_0 + 1 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_2, c_1001_0, c_1001_11, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1146333262563466242476429921131147968625020994278503422043191813317\ 73794325169657/2290252973706260423298956947162504619632087492098949\ 45519797351723152440779819*c_1100_0^19 - 1096428254875160919098092020948964045284411137673590839018079248417\ 136406974273261/468956561282710467627881660609465231638951248382165\ 840826251720195026426358677*c_1100_0^18 + 3978886045553103325212363349521031422821941917708794088767084169543\ 6980674556360486/32826959289789732733951716242662566214726587386751\ 60885783762041365184984510739*c_1100_0^17 - 4583978009968344094805357041193576786998731252201020494090029436063\ 7857423336980679/14068696838481314028836449818283956949168537451464\ 97522478755160585079279076031*c_1100_0^16 + 1118063229835566634885194171001848404166422125512437470567700727648\ 46540746324505004/1094231976326324424465057208088752207157552912891\ 720295261254013788394994836913*c_1100_0^15 - 1083915713181187796765565042876768325958964798014498481899676056981\ 604501356828448983/984808778693691982018551487279876986441797621602\ 5482657351286124095554953532217*c_1100_0^14 + 7059408380438013818205206809475893328342503043886814094681765616335\ 76893743306871506/1406869683848131402883644981828395694916853745146\ 497522478755160585079279076031*c_1100_0^13 + 8141504752703361230022780175403460749374953269827560382833376275336\ 31706836059688819/9848087786936919820185514872798769864417976216025\ 482657351286124095554953532217*c_1100_0^12 + 4340902768601650337753209543705886528798739878172467328308765541491\ 345181459412673945/984808778693691982018551487279876986441797621602\ 5482657351286124095554953532217*c_1100_0^11 - 2067420746141926262038360169454112240742825601983711197502982372491\ 892456361769493341/984808778693691982018551487279876986441797621602\ 5482657351286124095554953532217*c_1100_0^10 + 2337507552171853252444343854660666160790379460134031183070831099477\ 309973948538841458/328269592897897327339517162426625662147265873867\ 5160885783762041365184984510739*c_1100_0^9 + 1322628057211479963178641350935642559696843260821617805264811931005\ 5809408903681591135/98480877869369198201855148727987698644179762160\ 25482657351286124095554953532217*c_1100_0^8 + 2485743895629393682196817778612146947886044866232437089709710008412\ 762044108796407075/328269592897897327339517162426625662147265873867\ 5160885783762041365184984510739*c_1100_0^7 - 2501302907884211480844231057796999756278915952930133493641364497856\ 64755261041744621/7575452143797630630911934517537515280321520166173\ 44819796252778776581150271709*c_1100_0^6 - 3673504872308816607376244304306203455865497611982015238264350190816\ 452478809299270434/984808778693691982018551487279876986441797621602\ 5482657351286124095554953532217*c_1100_0^5 + 2685723880846878733182673860205178364293420797473494089373158222816\ 06352237129041564/9848087786936919820185514872798769864417976216025\ 482657351286124095554953532217*c_1100_0^4 + 1898958130017405480731992548408271012127580898937614031691678015619\ 865816122987814080/984808778693691982018551487279876986441797621602\ 5482657351286124095554953532217*c_1100_0^3 + 2049839694875938916635403189350272834350839241120598824880799315434\ 9403267747902277/25251507145992102103039781725125050934405067220578\ 1606598750926258860383423903*c_1100_0^2 + 6865132550752590447747627034732753662041741464536978120390112291027\ 821588898608403/984808778693691982018551487279876986441797621602548\ 2657351286124095554953532217*c_1100_0 - 6005777845484417589652654596041989882530461901775459665913164464723\ 13148279341511/1082207449113947232987419216791073611474502880881921\ 17113750396968083021467387, c_0011_0 - 1, c_0011_10 + 36697751753769303369545712250376653101850050993047898040719\ 06330430/8206533573588865015395424263629306349456413062014314078664\ 0437470329*c_1100_0^19 - 200011321193603962257932855103361813231162\ 14106088947995020172210770/8206533573588865015395424263629306349456\ 4130620143140786640437470329*c_1100_0^18 + 1036110999471414833052615525067387931978290630139640639789879602081\ 72/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^17 - 315120839089480935736296088140729994266764767194\ 266180006827746340381/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^16 + 3238283126443119708617882565473052271573623023759724041982740741510\ 07/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 - 149455876007067257444503826809509325021772380026\ 6591164137432925749879/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^14 + 4630708768802009674119911530082206742555854161542558342231738639554\ 858/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^13 - 26897061987558093848560337668523195316398526435\ 93355766127213764609977/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^12 + 1442232319417837369340960384256881509794283981431076328461939042075\ 912/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^11 - 44412620336019327404663682605514514056348804729\ 85734841748471139069656/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^10 + 3747446679629546547204447213503688611171253695415517298130360518633\ 26/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 + 64664335897220981662385989589429115623932487003787\ 4726238518143448549/11723619390841235736279177519470437642080590088\ 591877255234348210047*c_1100_0^8 + 4047184350635653423436677752516011676728701105506873408404614865270\ 38/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^7 - 4092106749493581482726249315798243245157028618517\ 055598236859669591590/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^6 + 4156859547845539445080537903202467206519853378651911381685048485405\ 23/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^5 + 8406411860167570725832967731362253540110264232195\ 81864515872094599515/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^4 + 5733657338994862918413253963242983195840494579484086350627657188123\ 60/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^3 - 1522388816353846361898368293458032730687060238740\ 83080666246002753109/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^2 + 1148349983547279057119330829579069568137661477913605055128573838487\ /390787313028041191209305917315681254736019669619729241841144940334\ 9*c_1100_0 + 130009646569810016576167145146335690857751705344158984\ 47018612658358/8206533573588865015395424263629306349456413062014314\ 0786640437470329, c_0011_12 - 34777261952795068628967781137193825008232794528832905013159\ 13474336/8206533573588865015395424263629306349456413062014314078664\ 0437470329*c_1100_0^19 + 199522749464647492356348486488125586999087\ 90094581448312502187430382/8206533573588865015395424263629306349456\ 4130620143140786640437470329*c_1100_0^18 - 1031809732445895119745616851874988709959761809991691375817288526093\ 24/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^17 + 324414780647062228651487321973599124653672140476\ 431980089032137837154/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^16 - 3313270199920804268267834637696962402251542661566598376895992034063\ 80/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 + 164328093893509179859590807226545512967782178234\ 0889889697162961996238/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^14 - 4679470158946567962145184552672020951218613149878372113303985749636\ 790/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^13 + 36324527978197570239679065328301114825626624171\ 21547389875314817372314/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^12 - 1422660485061887601087498329441849868811328423901881937486422271496\ 844/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^11 + 50528313963715621337243045570133403769294781720\ 05787153976282381189822/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^10 - 3842108426129157378160112745032908427313382535149308984845448390373\ 80/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 - 42165855749358542984858434700288639166725038293964\ 7620948415832384590/11723619390841235736279177519470437642080590088\ 591877255234348210047*c_1100_0^8 + 2029188925531529150219651091112063075230904043215257679344853102071\ 169/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^7 + 426700109082289466224899585095402965420165587778\ 5079863117975696443452/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^6 - 1041164834469114644879015952811091773733018142480258040691312898703\ 576/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^5 - 175868986081443251700121274655050041036826564786\ 3982068780953884913100/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^4 - 3925822056472049281189951255918407271813509468465205785367241352841\ 90/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^3 + 5040342705222057304028183299964381538228486178470\ 21001941178148662598/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^2 + 4010055541910218632740117222106023877627558458962227744643718048312\ /390787313028041191209305917315681254736019669619729241841144940334\ 9*c_1100_0 - 332188823766546693790601979082914677294399053899591404\ 96484654612652/8206533573588865015395424263629306349456413062014314\ 0786640437470329, c_0011_13 + 20424992151778585262881138142255567090172644223818753560149\ 71483077/8206533573588865015395424263629306349456413062014314078664\ 0437470329*c_1100_0^19 - 118104865682500344772669626752470993672643\ 15285632520590155296326961/8206533573588865015395424263629306349456\ 4130620143140786640437470329*c_1100_0^18 + 6088950761806904574349705572894544449331211967689995202709063723242\ 3/82065335735888650153954242636293063494564130620143140786640437470\ 329*c_1100_0^17 - 1920686367984316221048513471650096712928507054803\ 32358360866935624363/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^16 + 1953848837124878187186585028742040700468231693985170990372217337766\ 83/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 - 973757690513272060890844735811862291830184152078\ 659109187551538660361/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^14 + 2736993699268950429852204039223480059929626940697771564377978342701\ 006/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^13 - 21873420858618330695177536769269635271588980555\ 41140242804876425807173/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^12 + 7811631754561049137333133544420504455065310420747667982678526841329\ 82/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^11 - 304970120105725591669403661349746172177662006363\ 1706194315203785264099/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^10 + 2225958336206760551549057296085502332414962876026428615498884981521\ 43/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 + 22488259431448736543787798329252129340192420925207\ 4621366568284412622/11723619390841235736279177519470437642080590088\ 591877255234348210047*c_1100_0^8 - 1586289340907441738701621488567545712200449637556953217412314054307\ 280/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^7 - 309156711637582354746022187728185119106687718072\ 0057565275441837523837/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^6 + 6602227724160307430035922949208797178676784873723907572190275928755\ 20/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^5 + 9858729931205382000599875199046899588979572497328\ 09616467458674574528/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^4 + 2392703689221258342857012390349963632171353164841216485832102370925\ 14/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^3 - 3815456022164483828790049717234462248448218751251\ 57496328988523978933/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^2 - 3287943804368840482201257237635292885538371980201709874397987898161\ /390787313028041191209305917315681254736019669619729241841144940334\ 9*c_1100_0 + 609832629734132850980221953389301377559280252613485544\ 99795522949107/8206533573588865015395424263629306349456413062014314\ 0786640437470329, c_0011_3 + 187511661649813850502487664163824932103579640237290523506037\ 4108151/82065335735888650153954242636293063494564130620143140786640\ 437470329*c_1100_0^19 - 1080825660870429610490874389954506043421594\ 9633950238950689947323797/82065335735888650153954242636293063494564\ 130620143140786640437470329*c_1100_0^18 + 5572546314329459327506538221822681908922057506809061169126759281441\ 4/82065335735888650153954242636293063494564130620143140786640437470\ 329*c_1100_0^17 - 1751483328049350295955052918727195063714042777457\ 16546627662979871931/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^16 + 1779741700218355016459404985936350597873950534784854656219507871246\ 34/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 - 877566244337766836228291068454051665097452724318\ 172856470881494491365/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^14 + 2475543601339025335350434723873996688614904042543895626214414253166\ 149/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^13 - 18877506507647344191048998467780537185932112472\ 92708493909249515721106/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^12 + 6680509548808042279924628443693442616377929311738756748223428786096\ 51/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^11 - 237294728452484581947650784930189346569554774722\ 2696474508803533817574/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^10 + 1878147667471981280506248022065422250751465920846619391212925758445\ 88/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 + 27560308900360292661239427648799413341915285179505\ 7233966531960008949/11723619390841235736279177519470437642080590088\ 591877255234348210047*c_1100_0^8 - 1845388348478207505870418836099614729751613037540156259511736504306\ 449/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^7 - 208210899908551250248582116327094914312671259268\ 7261393083565258991064/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^6 + 7276298867997455912640787415473299491321658395687948136131823840984\ 25/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^5 + 8701769414700831299784072440205172511153566932942\ 05861737603522100834/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^4 - 6047923485124670742631140887552043986774425464916399646213239967836\ 7/82065335735888650153954242636293063494564130620143140786640437470\ 329*c_1100_0^3 - 24561667163404072246766098260369185200731483684325\ 6368101115677917598/82065335735888650153954242636293063494564130620\ 143140786640437470329*c_1100_0^2 - 2092370842198129688743926261368877302229846932593696514841291930822\ /390787313028041191209305917315681254736019669619729241841144940334\ 9*c_1100_0 + 522007858766407067174811398540368348441848267165530012\ 36970557848867/8206533573588865015395424263629306349456413062014314\ 0786640437470329, c_0101_0 + 254068109252664886259307386467653173009946700003408028705691\ 578948/273551119119628833846514142120976878315213768733810469288801\ 45823443*c_1100_0^19 - 30628264050529311621051022793841885474037650\ 52980188016894782322560/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^18 + 1543765978259371363979296696679461854497093099642878294823467741927\ 4/82065335735888650153954242636293063494564130620143140786640437470\ 329*c_1100_0^17 - 3368059211906696795756082183848326526170303383592\ 2006715204008155906/82065335735888650153954242636293063494564130620\ 143140786640437470329*c_1100_0^16 + 3434083680283397443003659363415042529998126928153160786616095640138\ 8/27355111911962883384651414212097687831521376873381046928880145823\ 443*c_1100_0^15 - 1169990896442168884379282104848804417801663730111\ 737542517569947446/273551119119628833846514142120976878315213768733\ 81046928880145823443*c_1100_0^14 + 4618947059732275922468645320462416029552957430047242680717507490270\ 28/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^13 + 311429370194905368729928478794238390119717370136\ 638795810426069907784/273551119119628833846514142120976878315213768\ 73381046928880145823443*c_1100_0^12 - 1665560727460009615777033562217719554647284309789874101392710968945\ 68/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^11 + 750855905323266055689872600313356262759523544488\ 138959017863230527543/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^10 - 1360255530076709964533810462020818482979539498551701857760203855532\ /390787313028041191209305917315681254736019669619729241841144940334\ 9*c_1100_0^9 + 1759000264358116893784113765397624924710036858346164\ 94887714447977373/3907873130280411912093059173156812547360196696197\ 292418411449403349*c_1100_0^8 + 87367366224910492511601986529495263\ 1068503016645203789697424365253244/82065335735888650153954242636293\ 063494564130620143140786640437470329*c_1100_0^7 - 4190573289897610123427343042132274215892959756822178344591092430823\ 30/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^6 - 2820487694397074852244640724262463825242118263480\ 66674659808543492844/2735511191196288338465141421209768783152137687\ 3381046928880145823443*c_1100_0^5 + 3718917875787451722746848457354811899518086744236426167049710624096\ 49/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^4 + 4693965494489902442096048217144590510985605312440\ 3252438953439318370/27355111911962883384651414212097687831521376873\ 381046928880145823443*c_1100_0^3 + 1606497310395018422261293189523205697625287079319046127495357970154\ 13/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^2 + 2632543618034702285296043103234217800808322548710\ 623301008925429226/117236193908412357362791775194704376420805900885\ 91877255234348210047*c_1100_0 + 34407463196968145789345239679480105\ 512506048563553527662889773704031/820653357358886501539542426362930\ 63494564130620143140786640437470329, c_0101_1 + 132551918807705514154538905204268778232803935249688090546151\ 1356594/82065335735888650153954242636293063494564130620143140786640\ 437470329*c_1100_0^19 - 6452980214961944226187205111149037555317936\ 928439048686636543171320/820653357358886501539542426362930634945641\ 30620143140786640437470329*c_1100_0^18 + 3330245472608965592447758562084253639443847328912816190842201620617\ 2/82065335735888650153954242636293063494564130620143140786640437470\ 329*c_1100_0^17 - 3080935651019867952291270337749708589343567690431\ 6540761750418315784/27355111911962883384651414212097687831521376873\ 381046928880145823443*c_1100_0^16 + 9554911171359934298975808470051804113736379783013629748936844860740\ 4/27355111911962883384651414212097687831521376873381046928880145823\ 443*c_1100_0^15 - 3408748253914134853180583783444105371240599883853\ 16500206085805422812/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^14 + 4582064074099587414203918651661881007677354162858755408983557271465\ 94/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^13 - 135103272649748824919414922339255580759094957271\ 41061013034577631060/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^12 + 1071469790637484033498543892557879894913892197849407106498454221907\ 656/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^11 - 21997838999602010392739126906684316355501675116\ 7433161493397329579626/27355111911962883384651414212097687831521376\ 873381046928880145823443*c_1100_0^10 + 9229509257318114851520330626799720457558731065131382484505068988351\ 7/39078731302804119120930591731568125473601966961972924184114494033\ 49*c_1100_0^9 + 477745143097833877410373866626868974510478163365275\ 238231075184027642/117236193908412357362791775194704376420805900885\ 91877255234348210047*c_1100_0^8 + 115107515189958285037449702225645\ 6242813710204486056880159581117189938/82065335735888650153954242636\ 293063494564130620143140786640437470329*c_1100_0^7 - 3503551368749917672396551692208826256705778030845911508563379998173\ 70/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^6 - 6941947494367441218928045690071615049380265393529\ 04905969339158055485/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^5 + 1510411316928311260185876971881749152788815112508626217657833729577\ 30/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^4 + 4001213481447342699696023095943064805751995298085\ 47004086595270388772/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^3 + 1367276334235052760837027505992624408652877502367308387791132952331\ 96/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^2 - 4458748381834432618175375516040611390861676591802\ 979016284519800469/117236193908412357362791775194704376420805900885\ 91877255234348210047*c_1100_0 - 91567267726189391582794491502509404\ 25438693844618107515100892990048/2735511191196288338465141421209768\ 7831521376873381046928880145823443, c_0101_10 + 57536710993659339500618891520444219821746256899254124230577\ 756172/820653357358886501539542426362930634945641306201431407866404\ 37470329*c_1100_0^19 - 12824748809783331482796581850401908874159779\ 79234029489543627526896/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^18 + 7261318670194531492517081835247828034154190385738791626868869337297\ /820653357358886501539542426362930634945641306201431407866404374703\ 29*c_1100_0^17 - 34167904131514743434339405836070083745088668172998\ 450822457740897390/820653357358886501539542426362930634945641306201\ 43140786640437470329*c_1100_0^16 + 3610425351491415332120293167262930083081353952639952026488131777483\ 2/27355111911962883384651414212097687831521376873381046928880145823\ 443*c_1100_0^15 - 3097242094913636797361604924082077327704241338345\ 03430415431685461530/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^14 + 5615709233463180575759388562784567147147347533126255422508736897856\ 63/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^13 - 141034292551434184249058357651220292962285910947\ 3207569555153493884906/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^12 + 4188438806017350653573624326665706543751694438686398824147158891951\ 10/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^11 - 147827744688815029331953598885039672104050854043\ 6227327712407930191468/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^10 + 9180867413786161987511789064499507187214100636937218807894746541024\ 7/39078731302804119120930591731568125473601966961972924184114494033\ 49*c_1100_0^9 - 363210024457058416856299891264574302178150582632592\ 405935105295165758/117236193908412357362791775194704376420805900885\ 91877255234348210047*c_1100_0^8 - 324733147542751409095131143747709\ 083970177002506223639256867094759156/820653357358886501539542426362\ 93063494564130620143140786640437470329*c_1100_0^7 + 2066932341579354894281150577394926256186052602572562404959228638882\ 40/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^6 + 1529031771114485364125635656119473427598386933282\ 322614277820773985324/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^5 - 1959043785901138493804543352149480332340647400293276525113096257725\ 96/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^4 - 5424709591761772698268157955077503116156969838861\ 21307481764791182914/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^3 - 1939652063515041665581604305945652806911256362990004961711256746353\ 22/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^2 + 7044611493843043039050484619881936834638133205794\ 971296005497499965/390787313028041191209305917315681254736019669619\ 7292418411449403349*c_1100_0 + 189035168967687257476195391321337387\ 10571942927566457300573118547858/8206533573588865015395424263629306\ 3494564130620143140786640437470329, c_0101_13 + 34846823804824024634848682569882473921305216216338468036503\ 55939750/8206533573588865015395424263629306349456413062014314078664\ 0437470329*c_1100_0^19 - 170400350640332487177752392543637793726977\ 00308795631770857755694652/8206533573588865015395424263629306349456\ 4130620143140786640437470329*c_1100_0^18 + 8812490634202033393912391201285709824882130384626226221546543640647\ 8/82065335735888650153954242636293063494564130620143140786640437470\ 329*c_1100_0^17 - 8208066578409254546465392106175299533912333729877\ 9094091059204561896/27355111911962883384651414212097687831521376873\ 381046928880145823443*c_1100_0^16 + 2553082852172128481273727393119855112222730716546955925718308630849\ 54/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 - 936835749393177945281835378623353043163046076052\ 378168472896615324514/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^14 + 1236131869820278447327275787138077716426158250295927810711488166064\ 868/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^13 - 26333790203754194336578477039595186635301273392\ 6129873403339766214228/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^12 + 3186712460086790092825924782084315886029326487659652497471104003544\ 024/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^11 - 76143531572435327157615687411054533434235207877\ 2203152330655641220096/27355111911962883384651414212097687831521376\ 873381046928880145823443*c_1100_0^10 + 2677141117250232771058272183211130867914219894478844155021068123087\ 38/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 + 11295255434184155271913861123121635121888625574297\ 36139622510251533606/1172361939084123573627917751947043764208059008\ 8591877255234348210047*c_1100_0^8 + 3719497314759417121397933186193732644562767089678120507210939086349\ 562/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^7 - 112090620859121194038040150489366299156669543823\ 0049625521537844035470/27355111911962883384651414212097687831521376\ 873381046928880145823443*c_1100_0^6 - 1745051697910520136442472985248858158430979025593787984059378640618\ 912/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^5 + 178161031246855696775055244749803559989703351413\ 398777303838377976251/273551119119628833846514142120976878315213768\ 73381046928880145823443*c_1100_0^4 + 1079349718268898918275912328467861761916770491691041280333518482975\ 216/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^3 + 227845223547731361034038885373796037925815664495\ 406583322744782661699/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^2 - 3010564713988933383066249643500031791827583922656161478427453826918\ /117236193908412357362791775194704376420805900885918772552343482100\ 47*c_1100_0 - 37948014260526032732500993118916820512495491079421219\ 38793370941773/2735511191196288338465141421209768783152137687338104\ 6928880145823443, c_0101_2 - 181085659787814560293977226187696698998185916806388056581025\ 1748412/82065335735888650153954242636293063494564130620143140786640\ 437470329*c_1100_0^19 + 1079390602351377840429068537171989142000801\ 5073372212889936115793198/82065335735888650153954242636293063494564\ 130620143140786640437470329*c_1100_0^18 - 5535027219769288251371028018643365772506247547968982456488524638476\ 0/82065335735888650153954242636293063494564130620143140786640437470\ 329*c_1100_0^17 + 1772939919506276649242168213488635781909115377996\ 92768620530963551698/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^16 - 1788357095412086017220414374612546067827609499204569635879891492378\ 04/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 + 916079911471431642031141674922576035392098923329\ 403585556675175408570/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^14 - 2457216420171245168044380044869972789622436937543687245931890386844\ 386/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^13 + 21961101745374719093038877299453374971435579862\ 53934331235186012973374/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^12 - 6108181361452039532194095046342680252455033715808309427590013977467\ 81/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^11 + 283607432140656846646341174631643516161605832556\ 0017202506663346263078/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^10 - 1948786938606478357463495200916573449985454005777486938049344301590\ 50/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 - 16827990706331716097154593218537947879870495071703\ 7277349650153604362/11723619390841235736279177519470437642080590088\ 591877255234348210047*c_1100_0^8 + 2651137299118482260225370749387772599045870539842856314548862736530\ 724/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^7 + 331392062227716337414478570652871171692167953882\ 7372419221040686926380/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^6 - 8232365774160681292302883359390544346696868768461576451774738634777\ 06/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^5 - 1341761785421761694325607574013972408802459372841\ 199482248904207366264/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^4 - 1285296284945650546884298478120171803673849069971415491153000344494\ 29/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^3 + 5822132044168140492897504917043741677586552891888\ 13373638153912311422/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^2 + 6008956183215761132444041831599022104648214208260263062098968511092\ /390787313028041191209305917315681254736019669619729241841144940334\ 9*c_1100_0 - 469637209179807191715330589917852169027333672893987255\ 06679087356712/8206533573588865015395424263629306349456413062014314\ 0786640437470329, c_1001_0 + 648523634474727726888326915103467056950103590991843937476320\ 3704278/82065335735888650153954242636293063494564130620143140786640\ 437470329*c_1100_0^19 - 1129495732635980487328892925112254027246526\ 2704477163665696575137590/27355111911962883384651414212097687831521\ 376873381046928880145823443*c_1100_0^18 + 5823057853220641938307813441561531095643032526120030267848739081719\ 0/27355111911962883384651414212097687831521376873381046928880145823\ 443*c_1100_0^17 - 5126952587482663631194984183816168878830148471207\ 61450716018604531652/8206533573588865015395424263629306349456413062\ 0143140786640437470329*c_1100_0^16 + 5252879205831328767820086962843789101352331177034607922670025578594\ 88/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 - 220090127633326109366247222480356816769744954256\ 4928110427473197483924/82065335735888650153954242636293063494564130\ 620143140786640437470329*c_1100_0^14 + 7421941050295681068108594859295572127014701192756082248522860195069\ 342/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^13 - 25769991194658364388888406646920592038820777304\ 67651723920367535287160/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^12 + 5753518643633144716979476017341210141074523161557734056722654098207\ 074/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^11 - 50597554836939423815145722115044088967983523982\ 71733494595857356319522/8206533573588865015395424263629306349456413\ 0620143140786640437470329*c_1100_0^10 + 5238640156952388143910272019741037441833713127228592456867380039964\ 44/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 + 17986084244261675742564225516875434437480611428355\ 76808677425002645849/1172361939084123573627917751947043764208059008\ 8591877255234348210047*c_1100_0^8 + 2606003064262403983958242400536959064144554845649278718862307474594\ 78/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^7 - 6230521770800837855233946533023151760463659786023\ 219836619328193218683/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^6 - 6323137534727584226605988225508731732016818295158717202252571588659\ 10/8206533573588865015395424263629306349456413062014314078664043747\ 0329*c_1100_0^5 + 2263303317973383061453647926620895233409227003769\ 494745123413855649909/820653357358886501539542426362930634945641306\ 20143140786640437470329*c_1100_0^4 + 1392755422413814652264595151510938644193096409450488416765058779562\ 572/820653357358886501539542426362930634945641306201431407866404374\ 70329*c_1100_0^3 - 343100288144384309615134175596079674610108653357\ 60571419954394256876/2735511191196288338465141421209768783152137687\ 3381046928880145823443*c_1100_0^2 - 1466101404372209049215825276260478329431038270988882018595625126344\ 6/11723619390841235736279177519470437642080590088591877255234348210\ 047*c_1100_0 + 9635558415429414794913443121829682374050243664213429\ 1495615559778003/82065335735888650153954242636293063494564130620143\ 140786640437470329, c_1001_11 + 13553285170743728587708339245150563392789197170024748264363\ 64908155/2735511191196288338465141421209768783152137687338104692888\ 0145823443*c_1100_0^19 - 811389223628148245951457493555347922945588\ 9303325215282151204832112/27355111911962883384651414212097687831521\ 376873381046928880145823443*c_1100_0^18 + 4201481464139691215952182597716098297707862097667963247317118126541\ 0/27355111911962883384651414212097687831521376873381046928880145823\ 443*c_1100_0^17 - 1357265524958903934564732066230011132156467065562\ 85922671355545670590/2735511191196288338465141421209768783152137687\ 3381046928880145823443*c_1100_0^16 + 4150032521959018528086941351043642971179830937809008989520987322296\ 38/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 - 725016624120322023749211599268474833917006619219\ 633253134637052409002/273551119119628833846514142120976878315213768\ 73381046928880145823443*c_1100_0^14 + 1945178990321056258473688290604714463921952946693124135616222759959\ 440/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^13 - 18087059886725094165385923944029670867629441168\ 46204765331204660877062/2735511191196288338465141421209768783152137\ 6873381046928880145823443*c_1100_0^12 + 1821838681119382044917880374736979366020346594672520038762225192412\ 555/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^11 - 22571006259171681510498269400482868593546928813\ 06929622751842553857482/2735511191196288338465141421209768783152137\ 6873381046928880145823443*c_1100_0^10 + 4807917841153122448210960012340696666063282482116598638358262961585\ 34/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 + 81834353744845505724638408707023348540448561084352\ 869110285870401732/390787313028041191209305917315681254736019669619\ 7292418411449403349*c_1100_0^8 - 1414945542336748454580005371407081\ 436447974788886024627307261690603498/273551119119628833846514142120\ 97687831521376873381046928880145823443*c_1100_0^7 - 1598385379452507174394388478334798897540372461876486699762171602261\ 938/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^6 + 670807965347470693459711431599000281753134589966\ 176855117280193159682/273551119119628833846514142120976878315213768\ 73381046928880145823443*c_1100_0^5 + 5265639280051409173240878904456462237536461817692169506723109126425\ 06/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^4 + 9732266915899011428031720517822851304963788753121\ 0106398927042557941/27355111911962883384651414212097687831521376873\ 381046928880145823443*c_1100_0^3 - 2166083529549063716815743885454548840431941326385096047989492176668\ 20/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^2 - 4902289300742559859059755710799665554074189356470\ 731885227220320472/390787313028041191209305917315681254736019669619\ 7292418411449403349*c_1100_0 + 188315054098812291886384045128550982\ 33414819611749040372851782316488/2735511191196288338465141421209768\ 7831521376873381046928880145823443, c_1001_3 + 150109202871962759174385281507991064113581027401449427430870\ 4483978/27355111911962883384651414212097687831521376873381046928880\ 145823443*c_1100_0^19 - 8008974778346153361420154059654349009281489\ 887564048463748673784754/273551119119628833846514142120976878315213\ 76873381046928880145823443*c_1100_0^18 + 4122509192702898031669186049304936957501801380504120724413735178676\ 6/27355111911962883384651414212097687831521376873381046928880145823\ 443*c_1100_0^17 - 1226840336479040660371497656306175192593977839322\ 24397580137112760208/2735511191196288338465141421209768783152137687\ 3381046928880145823443*c_1100_0^16 + 3754988359353156427930427788702801695197816674799005949271015014175\ 60/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^15 - 542075536041164606961373280382443913797619815791\ 642276469392372338082/273551119119628833846514142120976878315213768\ 73381046928880145823443*c_1100_0^14 + 1750585603726962118475114048518888334962344713123900199172977450381\ 876/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^13 - 74481059449959453365662705298987108913559322764\ 7989011634777599342073/27355111911962883384651414212097687831521376\ 873381046928880145823443*c_1100_0^12 + 1284910963847066419276499348673998722364251652530454148974305856569\ 824/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^11 - 12137270248611796907681199351079286396532866162\ 85045670219982539470003/2735511191196288338465141421209768783152137\ 6873381046928880145823443*c_1100_0^10 + 3648687987514248342756393199481780053027182751529395458666040411781\ 20/3907873130280411912093059173156812547360196696197292418411449403\ 349*c_1100_0^9 + 39486886374104888083911163080715210809921936760681\ 4792867444873637899/39078731302804119120930591731568125473601966961\ 97292418411449403349*c_1100_0^8 - 349942120102314833745853772630895\ 362643729350304157140073096168444360/273551119119628833846514142120\ 97687831521376873381046928880145823443*c_1100_0^7 - 1479406722084334457135110788358248362424900929720431167029808353647\ 538/273551119119628833846514142120976878315213768733810469288801458\ 23443*c_1100_0^6 + 541278769275771280233497048076588931360850936950\ 67266559288385216022/2735511191196288338465141421209768783152137687\ 3381046928880145823443*c_1100_0^5 + 6066528632787209444525435324342002203472291181993395786435218457772\ 08/2735511191196288338465141421209768783152137687338104692888014582\ 3443*c_1100_0^4 + 2114255053498223191477099047431357167834284038538\ 09309897313178327392/2735511191196288338465141421209768783152137687\ 3381046928880145823443*c_1100_0^3 - 6252270403253044043352060146191411612486415079984544872456123074268\ 7/27355111911962883384651414212097687831521376873381046928880145823\ 443*c_1100_0^2 - 12393385286129853751472226226209551738856760705291\ 13925748236459594/3907873130280411912093059173156812547360196696197\ 292418411449403349*c_1100_0 + 3148269842153693080493899054205248243\ 9907823463418229393120402668503/27355111911962883384651414212097687\ 831521376873381046928880145823443, c_1100_0^20 - 209/43*c_1100_0^19 + 1080/43*c_1100_0^18 - 2999/43*c_1100_0^17 + 9322/43*c_1100_0^16 - 11149/43*c_1100_0^15 + 45001/43*c_1100_0^14 - 1100/43*c_1100_0^13 + 37071/43*c_1100_0^12 - 24573/43*c_1100_0^11 + 65180/43*c_1100_0^10 + 103894/43*c_1100_0^9 + 43927/43*c_1100_0^8 - 38206/43*c_1100_0^7 - 24353/43*c_1100_0^6 + 8323/43*c_1100_0^5 + 15217/43*c_1100_0^4 + 3503/43*c_1100_0^3 - 916/43*c_1100_0^2 - 192/43*c_1100_0 + 169/43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 14.650 Total time: 14.869 seconds, Total memory usage: 188.75MB