Magma V2.19-8 Tue Aug 20 2013 18:15:04 on localhost [Seed = 509584929] Type ? for help. Type -D to quit. Loading file "10_69__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_69 geometric_solution 14.12650517 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 15 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 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481824381656 1.138219023575 0 5 6 6 0132 0132 0213 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351075371859 0.491780446336 4 0 8 7 0213 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 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653674646105 0.719924473788 5 5 9 0 3120 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 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.687342810405 0.855187109411 2 10 0 11 0213 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 1 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.158149995544 0.370977608059 6 1 3 3 0132 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687342810405 0.855187109411 5 1 1 7 0132 0213 0132 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 -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.978842254633 0.741804918477 12 6 2 12 0132 1302 0132 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 -1 1 1 0 0 -1 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.403358942866 0.974626478705 12 13 13 2 2103 0132 1302 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 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328291055995 0.900459945592 14 14 11 3 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 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.989137674029 1.459844764133 12 4 11 13 3201 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484858726945 1.482756319258 10 14 4 9 2103 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.307235415378 0.990371874380 7 7 8 10 0132 1302 2103 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 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.637461190450 0.875993775755 8 8 10 14 2031 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 -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.642619271703 0.980249157817 9 11 9 13 0132 2103 3012 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 0 -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.681902258652 0.469472889753 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_0011_11'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0011_11'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : negation(d['c_0011_13']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_13'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0101_14'], 'c_1001_2' : d['c_1001_13'], 'c_1001_9' : d['c_0110_13'], 'c_1001_8' : d['c_0110_13'], 'c_1010_13' : d['c_0110_13'], 'c_1010_12' : negation(d['c_0101_13']), 'c_1010_11' : d['c_0110_13'], 'c_1010_10' : d['c_1001_13'], 'c_1010_14' : negation(d['c_0110_13']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_3_13' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_13'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_14']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0101_13'], 'c_1100_6' : negation(d['c_0011_12']), 'c_1100_1' : negation(d['c_0011_12']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_13'], 'c_1100_14' : negation(d['c_0110_13']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0101_9']), 'c_1100_13' : negation(d['c_0101_9']), 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_13'], 'c_1010_9' : d['c_0101_14'], 'c_1010_8' : d['c_1001_13'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_9'], 'c_0110_10' : d['c_0101_13'], 'c_0110_13' : d['c_0110_13'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0110_14' : d['c_0101_9'], 'c_0101_12' : negation(d['c_0011_13']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_0' : negation(d['c_0011_0']), 's_3_12' : d['1'], 's_0_8' : d['1'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_14'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_13']), 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], '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_14'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_13']), 'c_0110_6' : d['c_0101_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_10, c_0101_13, c_0101_14, c_0101_5, c_0101_9, c_0110_13, c_1001_13, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 215492764484781253594973625733971597021103340190913/879065515914679\ 10528592124152245262148743780199424*c_1100_0^18 + 12127462653993816807693969151422511921643462564519/7991504690133446\ 411690193104749569286249434563584*c_1100_0^17 + 422368828478708079328634869841905820522728020460437/219766378978669\ 77632148031038061315537185945049856*c_1100_0^16 - 2575752904781613476614616610538111711120834394360393/87906551591467\ 910528592124152245262148743780199424*c_1100_0^15 - 793313081681417932834180135275897795418804170278725/676204243011291\ 6194507086473249635549903367707648*c_1100_0^14 + 1755503069428249400948731693873602032365052609543353/39957523450667\ 23205845096552374784643124717281792*c_1100_0^13 - 49290903812072447997029321079163724399949428738031269/8790655159146\ 7910528592124152245262148743780199424*c_1100_0^12 - 7029127233949049841093994490232613609305511546137571/62790393993905\ 65037756580296588947296338841442816*c_1100_0^11 + 68745264754507650548767528160444350665232714189176433/1255807879878\ 1130075513160593177894592677682885632*c_1100_0^10 - 22154751249241280405359164613178094257273419939462739/1690510607528\ 229048626771618312408887475841926912*c_1100_0^9 + 1838762220312064963022882115562584759940995193444175987/43953275795\ 733955264296062076122631074371890099712*c_1100_0^8 - 9047329528892634618201040153600720138250039883972905183/87906551591\ 467910528592124152245262148743780199424*c_1100_0^7 + 8863187642208173115699985321937839167320749116395047651/87906551591\ 467910528592124152245262148743780199424*c_1100_0^6 + 4596827487115896180780626694903078201272191495827044151/87906551591\ 467910528592124152245262148743780199424*c_1100_0^5 - 6150254252514184995128855881644172585762693451036411527/43953275795\ 733955264296062076122631074371890099712*c_1100_0^4 + 919421096182594558547849836469864561816505071970579665/879065515914\ 67910528592124152245262148743780199424*c_1100_0^3 + 109632688794052602594660892606559217286312590803489463/199787617253\ 3361602922548276187392321562358640896*c_1100_0^2 + 20128320305527703456942908935641758892577894346485327/5494159474466\ 744408037007759515328884296486262464*c_1100_0 + 94663085012052781479156684157713947327971049411099/3433849671541715\ 25502312984969708055268530391404, c_0011_0 - 1, c_0011_10 - 4335022218979038667552482428266179079597/567011446659409227\ 9659398204600491331289048*c_1100_0^18 - 3020757931544791325776191059294435564475/11340228933188184559318796\ 409200982662578096*c_1100_0^17 - 6945272641481449809554512351399486\ 9509645/11340228933188184559318796409200982662578096*c_1100_0^16 + 58743967892034101587865192794045505473057/5670114466594092279659398\ 204600491331289048*c_1100_0^15 + 3580761134551747522067540211098198\ 11421467/11340228933188184559318796409200982662578096*c_1100_0^14 - 1659488954486254606970425163595173907393187/11340228933188184559318\ 796409200982662578096*c_1100_0^13 + 158586513499932206952856853494327107097732/708764308324261534957424\ 775575061416411131*c_1100_0^12 + 3038519499634946532403516705994303\ 973768657/11340228933188184559318796409200982662578096*c_1100_0^11 - 5006665844271520793064982051683618458155125/28350572332970461398296\ 99102300245665644524*c_1100_0^10 + 53082186898157599241737725981407251177706629/1134022893318818455931\ 8796409200982662578096*c_1100_0^9 - 41341497519041705388946023317399278920287713/2835057233297046139829\ 699102300245665644524*c_1100_0^8 + 52004200757912018249527700677767856454776177/1417528616648523069914\ 849551150122832822262*c_1100_0^7 - 497104341476486057824979847025512783147487711/113402289331881845593\ 18796409200982662578096*c_1100_0^6 + 2912042138599862244320649021983724128677343/11340228933188184559318\ 796409200982662578096*c_1100_0^5 + 484125785095287335586268732210949148637159673/113402289331881845593\ 18796409200982662578096*c_1100_0^4 - 57622170130959059266487243045843573411030821/2835057233297046139829\ 699102300245665644524*c_1100_0^3 - 117754255709488940924073679362555037350020469/113402289331881845593\ 18796409200982662578096*c_1100_0^2 + 5976988765209970578233961258832759104957547/14175286166485230699148\ 49551150122832822262*c_1100_0 - 28224623650656966977873675226616196\ 2766290/708764308324261534957424775575061416411131, c_0011_11 + 66210966695451749982303501805284713663847/90721831465505476\ 474550371273607861300624768*c_1100_0^18 + 30138346221695448364974988198249779101479/9072183146550547647455037\ 1273607861300624768*c_1100_0^17 + 642442023502809632755117302415724\ 00959209/11340228933188184559318796409200982662578096*c_1100_0^16 - 877409365296966679837192400541732196190319/907218314655054764745503\ 71273607861300624768*c_1100_0^15 - 3039910047023036610031212073416661638825299/90721831465505476474550\ 371273607861300624768*c_1100_0^14 + 6164105547440000835397311774843406208226319/45360915732752738237275\ 185636803930650312384*c_1100_0^13 - 17272876707824402268732115293621564811384987/9072183146550547647455\ 0371273607861300624768*c_1100_0^12 - 13706936007631578357321460361935431633782449/4536091573275273823727\ 5185636803930650312384*c_1100_0^11 + 152614358594966846765777040954800439402263081/907218314655054764745\ 50371273607861300624768*c_1100_0^10 - 23739259833205426381903898596618832620566613/5670114466594092279659\ 398204600491331289048*c_1100_0^9 + 596774722519003435204446929702924568636312157/453609157327527382372\ 75185636803930650312384*c_1100_0^8 - 2971297614245518893428985285255453114805976177/90721831465505476474\ 550371273607861300624768*c_1100_0^7 + 3199664574073440283416106012845549637674156385/90721831465505476474\ 550371273607861300624768*c_1100_0^6 + 911728703592435823149247417140323275031238373/907218314655054764745\ 50371273607861300624768*c_1100_0^5 - 2010760737903538853558145283747101982619780903/45360915732752738237\ 275185636803930650312384*c_1100_0^4 + 1178194283374074676983784024040167444798613327/90721831465505476474\ 550371273607861300624768*c_1100_0^3 + 142689904666947480305986810151221744514548323/113402289331881845593\ 18796409200982662578096*c_1100_0^2 - 3589913521459648567787287056067727617955013/14175286166485230699148\ 49551150122832822262*c_1100_0 + 13549676641081597276859646121537994\ 48759917/1417528616648523069914849551150122832822262, c_0011_12 - 7471512862480025192671980100466547301257/226804578663763691\ 18637592818401965325156192*c_1100_0^18 - 2976184078663768996554226449681981912011/56701144665940922796593982\ 04600491331289048*c_1100_0^17 - 66380058477534066608435718994996140\ 485983/22680457866376369118637592818401965325156192*c_1100_0^16 + 29229689940336584718606005343678884131573/2268045786637636911863759\ 2818401965325156192*c_1100_0^15 + 519052642655622721913949636220209\ 55779143/2835057233297046139829699102300245665644524*c_1100_0^14 - 960509876700079287643095638066646704903487/226804578663763691186375\ 92818401965325156192*c_1100_0^13 + 552282065461330340149297075765957061706067/226804578663763691186375\ 92818401965325156192*c_1100_0^12 + 4574722896063605292387444349372711450468845/22680457866376369118637\ 592818401965325156192*c_1100_0^11 - 12616756697916413044587361702076287657654185/2268045786637636911863\ 7592818401965325156192*c_1100_0^10 + 24946179451056490270395375746679908558858427/2268045786637636911863\ 7592818401965325156192*c_1100_0^9 - 47417619306823771612944807108592939484406945/1134022893318818455931\ 8796409200982662578096*c_1100_0^8 + 206196389222047524421636174018656681683907021/226804578663763691186\ 37592818401965325156192*c_1100_0^7 - 29562468923924229832326200289396463678123657/1134022893318818455931\ 8796409200982662578096*c_1100_0^6 - 80571557028250943162214382224302356505286133/5670114466594092279659\ 398204600491331289048*c_1100_0^5 + 125120850258032834667648366614057413395059325/226804578663763691186\ 37592818401965325156192*c_1100_0^4 + 396592855047642741945306666838826191170363305/226804578663763691186\ 37592818401965325156192*c_1100_0^3 - 152720491691193910586604787694653497753299019/226804578663763691186\ 37592818401965325156192*c_1100_0^2 - 45102427513773613065246212640678280902274451/5670114466594092279659\ 398204600491331289048*c_1100_0 + 6444942398920651495681626167028344\ 38125323/1417528616648523069914849551150122832822262, c_0011_13 + 66210966695451749982303501805284713663847/90721831465505476\ 474550371273607861300624768*c_1100_0^18 + 30138346221695448364974988198249779101479/9072183146550547647455037\ 1273607861300624768*c_1100_0^17 + 642442023502809632755117302415724\ 00959209/11340228933188184559318796409200982662578096*c_1100_0^16 - 877409365296966679837192400541732196190319/907218314655054764745503\ 71273607861300624768*c_1100_0^15 - 3039910047023036610031212073416661638825299/90721831465505476474550\ 371273607861300624768*c_1100_0^14 + 6164105547440000835397311774843406208226319/45360915732752738237275\ 185636803930650312384*c_1100_0^13 - 17272876707824402268732115293621564811384987/9072183146550547647455\ 0371273607861300624768*c_1100_0^12 - 13706936007631578357321460361935431633782449/4536091573275273823727\ 5185636803930650312384*c_1100_0^11 + 152614358594966846765777040954800439402263081/907218314655054764745\ 50371273607861300624768*c_1100_0^10 - 23739259833205426381903898596618832620566613/5670114466594092279659\ 398204600491331289048*c_1100_0^9 + 596774722519003435204446929702924568636312157/453609157327527382372\ 75185636803930650312384*c_1100_0^8 - 2971297614245518893428985285255453114805976177/90721831465505476474\ 550371273607861300624768*c_1100_0^7 + 3199664574073440283416106012845549637674156385/90721831465505476474\ 550371273607861300624768*c_1100_0^6 + 911728703592435823149247417140323275031238373/907218314655054764745\ 50371273607861300624768*c_1100_0^5 - 2010760737903538853558145283747101982619780903/45360915732752738237\ 275185636803930650312384*c_1100_0^4 + 1178194283374074676983784024040167444798613327/90721831465505476474\ 550371273607861300624768*c_1100_0^3 + 142689904666947480305986810151221744514548323/113402289331881845593\ 18796409200982662578096*c_1100_0^2 - 3589913521459648567787287056067727617955013/14175286166485230699148\ 49551150122832822262*c_1100_0 + 13549676641081597276859646121537994\ 48759917/1417528616648523069914849551150122832822262, c_0011_3 + 19996401557914749139752597532979930888345/907218314655054764\ 74550371273607861300624768*c_1100_0^18 - 10288379403045233532270380519234424042443/9072183146550547647455037\ 1273607861300624768*c_1100_0^17 + 321273479990277898079058617628598\ 82004753/22680457866376369118637592818401965325156192*c_1100_0^16 - 431177372095824939073040334989940785975201/907218314655054764745503\ 71273607861300624768*c_1100_0^15 - 810384511537674938024901881087152818031081/907218314655054764745503\ 71273607861300624768*c_1100_0^14 + 2393187362064907996858560057628856210988883/45360915732752738237275\ 185636803930650312384*c_1100_0^13 - 7960690130062778013918320627217896916335741/90721831465505476474550\ 371273607861300624768*c_1100_0^12 - 3063690217689360421513063951512009942794901/45360915732752738237275\ 185636803930650312384*c_1100_0^11 + 57745013505566747842419573904469932695435679/9072183146550547647455\ 0371273607861300624768*c_1100_0^10 - 37808921738511443592872246798531137275678611/2268045786637636911863\ 7592818401965325156192*c_1100_0^9 + 217410494899578386524457016319917073424995483/453609157327527382372\ 75185636803930650312384*c_1100_0^8 - 1158363335225449280488867519657463301795523495/90721831465505476474\ 550371273607861300624768*c_1100_0^7 + 1542294018424144281988293157140713966933155579/90721831465505476474\ 550371273607861300624768*c_1100_0^6 + 39473578774279260849875752534327217633203343/9072183146550547647455\ 0371273607861300624768*c_1100_0^5 - 1059230270063136437852540206089676907880214199/45360915732752738237\ 275185636803930650312384*c_1100_0^4 + 1194245086095469743250786316137905022438573449/90721831465505476474\ 550371273607861300624768*c_1100_0^3 + 191920302991504922022786381486765442271780681/226804578663763691186\ 37592818401965325156192*c_1100_0^2 - 30011093632576160573289309533223949525389749/5670114466594092279659\ 398204600491331289048*c_1100_0 - 2383449543003630987832374468415860\ 20716268/708764308324261534957424775575061416411131, c_0101_0 + 3576732842731518760365886222780651/1491836037267283151646386\ 27238626231744*c_1100_0^18 + 63391169501935769787766968441021715/14\ 9183603726728315164638627238626231744*c_1100_0^17 + 723060571453387616805487784254173/233099380823012992444747855060353\ 4871*c_1100_0^16 + 441660081102243860194816834404978813/14918360372\ 6728315164638627238626231744*c_1100_0^15 - 1035737216793755723955371284623343951/14918360372672831516463862723\ 8626231744*c_1100_0^14 - 936231513173298661477334579112053961/74591\ 801863364157582319313619313115872*c_1100_0^13 + 11042448677227614183434133449924288049/1491836037267283151646386272\ 38626231744*c_1100_0^12 - 9825188260804415838943893057816910209/745\ 91801863364157582319313619313115872*c_1100_0^11 - 12852624383481425104516887092251394683/1491836037267283151646386272\ 38626231744*c_1100_0^10 + 15307011528772003401754880846843267089/18\ 647950465841039395579828404828278968*c_1100_0^9 - 157963595881748585043991056685055749407/745918018633641575823193136\ 19313115872*c_1100_0^8 + 1027050958348846692438030049192070241379/1\ 49183603726728315164638627238626231744*c_1100_0^7 - 2848736308551808408526953046220499579899/14918360372672831516463862\ 7238626231744*c_1100_0^6 + 3705914226125283878799658347797289270841\ /149183603726728315164638627238626231744*c_1100_0^5 - 193198526550956779025574255012674946423/745918018633641575823193136\ 19313115872*c_1100_0^4 - 3101795167397190919414536380307927876685/1\ 49183603726728315164638627238626231744*c_1100_0^3 + 37397030933285182541158145225106290769/4661987616460259848894957101\ 207069742*c_1100_0^2 + 60467042640157093272271733459435881245/93239\ 75232920519697789914202414139484*c_1100_0 - 1546432167461504834136143600495635445/23309938082301299244474785506\ 03534871, c_0101_10 + 43868023117130988374143712973363402114201/90721831465505476\ 474550371273607861300624768*c_1100_0^18 + 19998218609850763425376321552662536573185/9072183146550547647455037\ 1273607861300624768*c_1100_0^17 + 267180966716876982383108574238712\ 0358711/708764308324261534957424775575061416411131*c_1100_0^16 - 573776780033801279176746817860308918299441/907218314655054764745503\ 71273607861300624768*c_1100_0^15 - 1987175385451091208699095774283826451730325/90721831465505476474550\ 371273607861300624768*c_1100_0^14 + 4113013306050880698099620431371340958820221/45360915732752738237275\ 185636803930650312384*c_1100_0^13 - 11451278157283015722502566144860876793428533/9072183146550547647455\ 0371273607861300624768*c_1100_0^12 - 9074762056570303766763669877285189893825843/45360915732752738237275\ 185636803930650312384*c_1100_0^11 + 101428006680039423532827515131463525391956743/907218314655054764745\ 50371273607861300624768*c_1100_0^10 - 31550426168895513735008761134320998791380371/1134022893318818455931\ 8796409200982662578096*c_1100_0^9 + 395187739091759884011994144589759818035543123/453609157327527382372\ 75185636803930650312384*c_1100_0^8 - 1968339169800432098122329478255950657562850335/90721831465505476474\ 550371273607861300624768*c_1100_0^7 + 2124632554612352339885486338901792956629586631/90721831465505476474\ 550371273607861300624768*c_1100_0^6 + 616415983208377691653749899919200820216543187/907218314655054764745\ 50371273607861300624768*c_1100_0^5 - 1366015159890430871507539972951727423369892717/45360915732752738237\ 275185636803930650312384*c_1100_0^4 + 811982872071757367441168018430607750425958465/907218314655054764745\ 50371273607861300624768*c_1100_0^3 + 54301222866283248398145160190886932620968009/5670114466594092279659\ 398204600491331289048*c_1100_0^2 - 5639050919602826833990834533652372902694971/28350572332970461398296\ 99102300245665644524*c_1100_0 + 10204479271175805172152375481611083\ 99074853/1417528616648523069914849551150122832822262, c_0101_13 - 43245691895335937391646509462569124084469/90721831465505476\ 474550371273607861300624768*c_1100_0^18 - 11425817581786066440682924332355364629317/9072183146550547647455037\ 1273607861300624768*c_1100_0^17 - 398052876226309011547410790099211\ 42605845/11340228933188184559318796409200982662578096*c_1100_0^16 + 670670264415866106336454237663527708740045/907218314655054764745503\ 71273607861300624768*c_1100_0^15 + 2035052772944456594694342143751903575508809/90721831465505476474550\ 371273607861300624768*c_1100_0^14 - 4153832541407434560555846815261180771705381/45360915732752738237275\ 185636803930650312384*c_1100_0^13 + 12300873495901810786743231778047933045205041/9072183146550547647455\ 0371273607861300624768*c_1100_0^12 + 8600701036172026335287460171969359463273787/45360915732752738237275\ 185636803930650312384*c_1100_0^11 - 103306489294667293695032085425175093946398107/907218314655054764745\ 50371273607861300624768*c_1100_0^10 + 2023572813485816326482683384972565088773107/70876430832426153495742\ 4775575061416411131*c_1100_0^9 - 4048701073767545110400010030728531\ 59914805111/45360915732752738237275185636803930650312384*c_1100_0^8 + 2051869417156685444357693187538312350205080371/907218314655054764\ 74550371273607861300624768*c_1100_0^7 - 2316690566642894361355642295684965089914398579/90721831465505476474\ 550371273607861300624768*c_1100_0^6 - 443325988520005607910292311847173434475814559/907218314655054764745\ 50371273607861300624768*c_1100_0^5 + 1336039303993350220587832416603893837647533629/45360915732752738237\ 275185636803930650312384*c_1100_0^4 - 728976386700016526440416159258808796187020749/907218314655054764745\ 50371273607861300624768*c_1100_0^3 - 104888586312590986203213541856932230636100619/113402289331881845593\ 18796409200982662578096*c_1100_0^2 + 760464446719455380196459059648140319102088/708764308324261534957424\ 775575061416411131*c_1100_0 + 1392609718187240448212547689790207431\ 245963/1417528616648523069914849551150122832822262, c_0101_14 + 52062583947833292406773526111990131649465/45360915732752738\ 237275185636803930650312384*c_1100_0^18 + 11616821224315433989403209853270514051437/4536091573275273823727518\ 5636803930650312384*c_1100_0^17 + 977449170267501904219378276077141\ 21713311/11340228933188184559318796409200982662578096*c_1100_0^16 - 799683038910838442020725489432434592647873/453609157327527382372751\ 85636803930650312384*c_1100_0^15 - 2300569289563832273443637462190858509461537/45360915732752738237275\ 185636803930650312384*c_1100_0^14 + 5124568041129237623951719502135141681998503/22680457866376369118637\ 592818401965325156192*c_1100_0^13 - 15340684712012599064389595211309409638736493/4536091573275273823727\ 5185636803930650312384*c_1100_0^12 - 9574832928618196774125770365511792067261233/22680457866376369118637\ 592818401965325156192*c_1100_0^11 + 125147698597200982557415540996413866882156431/453609157327527382372\ 75185636803930650312384*c_1100_0^10 - 80185306239583751803519158655995726746052577/1134022893318818455931\ 8796409200982662578096*c_1100_0^9 + 498075674734323983295583353824036767708142107/226804578663763691186\ 37592818401965325156192*c_1100_0^8 - 2535072586571335453966650697061643248124159479/45360915732752738237\ 275185636803930650312384*c_1100_0^7 + 2980071102519051754509406370413438107881926131/45360915732752738237\ 275185636803930650312384*c_1100_0^6 + 270457939655514888340095969634219039718417399/453609157327527382372\ 75185636803930650312384*c_1100_0^5 - 1605396774319688585491962760392001572521194515/22680457866376369118\ 637592818401965325156192*c_1100_0^4 + 1120147280438305897594907550321310560735077145/45360915732752738237\ 275185636803930650312384*c_1100_0^3 + 239056233380778366659139912390522916385700391/113402289331881845593\ 18796409200982662578096*c_1100_0^2 - 9973659171193504281026498861348774874146061/28350572332970461398296\ 99102300245665644524*c_1100_0 + 64106430060261521849725492880466679\ 6091000/708764308324261534957424775575061416411131, c_0101_5 + 88855052595283331894028599503280655/745918018633641575823193\ 13619313115872*c_1100_0^18 + 66101037551063698195064618693677577/74\ 591801863364157582319313619313115872*c_1100_0^17 + 343715877629360109469200752613987513/372959009316820787911596568096\ 56557936*c_1100_0^16 - 982552338405960142262015680920667127/7459180\ 1863364157582319313619313115872*c_1100_0^15 - 4501837925651975323341177852975549381/74591801863364157582319313619\ 313115872*c_1100_0^14 + 3912415125127197859800744058706787423/18647\ 950465841039395579828404828278968*c_1100_0^13 - 17436211941338836732699858165444455071/7459180186336415758231931361\ 9313115872*c_1100_0^12 - 11426317332346749535181626291235603289/186\ 47950465841039395579828404828278968*c_1100_0^11 + 197539822597406159930610743569190252453/745918018633641575823193136\ 19313115872*c_1100_0^10 - 221679907146142752480460893116684402613/3\ 7295900931682078791159656809656557936*c_1100_0^9 + 711226944741943575655766859011651932541/372959009316820787911596568\ 09656557936*c_1100_0^8 - 3454627567551246445983994907946029892589/7\ 4591801863364157582319313619313115872*c_1100_0^7 + 2897828327954095049546044042723672890563/74591801863364157582319313\ 619313115872*c_1100_0^6 + 3072420597603159003852299557319539672771/\ 74591801863364157582319313619313115872*c_1100_0^5 - 174722632063784012573349300976643807735/233099380823012992444747855\ 0603534871*c_1100_0^4 - 358789280629557968362937426075326554381/745\ 91801863364157582319313619313115872*c_1100_0^3 + 1256314075113028572479123962082675802689/37295900931682078791159656\ 809656557936*c_1100_0^2 + 13567819415167776506157172281046739948/23\ 30993808230129924447478550603534871*c_1100_0 - 1017182495094284685584253399332027277/23309938082301299244474785506\ 03534871, c_0101_9 + 10078456322605258967570058366305835326959/453609157327527382\ 37275185636803930650312384*c_1100_0^18 + 242201891278266247803208678576512759563/453609157327527382372751856\ 36803930650312384*c_1100_0^17 + 18976430799746844536499506131223789\ 270693/11340228933188184559318796409200982662578096*c_1100_0^16 - 162052134928520719744281901106225506188695/453609157327527382372751\ 85636803930650312384*c_1100_0^15 - 393100153430831091471945934812914227192119/453609157327527382372751\ 85636803930650312384*c_1100_0^14 + 1075890521630767483751635135135509481416601/22680457866376369118637\ 592818401965325156192*c_1100_0^13 - 3348774440686471511829064191935746753616779/45360915732752738237275\ 185636803930650312384*c_1100_0^12 - 1627243463884792832236021598711262158419791/22680457866376369118637\ 592818401965325156192*c_1100_0^11 + 25656435086690697375061979966341575247796041/4536091573275273823727\ 5185636803930650312384*c_1100_0^10 - 16952007500968778919433579268431869225704063/1134022893318818455931\ 8796409200982662578096*c_1100_0^9 + 101478058097969436748710574264325495467419685/226804578663763691186\ 37592818401965325156192*c_1100_0^8 - 523144839561445333152186408047893159460372257/453609157327527382372\ 75185636803930650312384*c_1100_0^7 + 660069459092447095948039488891107114912221973/453609157327527382372\ 75185636803930650312384*c_1100_0^6 + 3617169683296523886012180233304543441109937/45360915732752738237275\ 185636803930650312384*c_1100_0^5 - 394268280079684935627770431553740981435303669/226804578663763691186\ 37592818401965325156192*c_1100_0^4 + 440756173212218444436474560676511350215346255/453609157327527382372\ 75185636803930650312384*c_1100_0^3 + 52467269708434770535076923547867050433483105/1134022893318818455931\ 8796409200982662578096*c_1100_0^2 - 2528586440620051099671655477648102885681049/14175286166485230699148\ 49551150122832822262*c_1100_0 + 15001338852285580393633992575307826\ 6076393/708764308324261534957424775575061416411131, c_0110_13 + 4335022218979038667552482428266179079597/567011446659409227\ 9659398204600491331289048*c_1100_0^18 + 3020757931544791325776191059294435564475/11340228933188184559318796\ 409200982662578096*c_1100_0^17 + 6945272641481449809554512351399486\ 9509645/11340228933188184559318796409200982662578096*c_1100_0^16 - 58743967892034101587865192794045505473057/5670114466594092279659398\ 204600491331289048*c_1100_0^15 - 3580761134551747522067540211098198\ 11421467/11340228933188184559318796409200982662578096*c_1100_0^14 + 1659488954486254606970425163595173907393187/11340228933188184559318\ 796409200982662578096*c_1100_0^13 - 158586513499932206952856853494327107097732/708764308324261534957424\ 775575061416411131*c_1100_0^12 - 3038519499634946532403516705994303\ 973768657/11340228933188184559318796409200982662578096*c_1100_0^11 + 5006665844271520793064982051683618458155125/28350572332970461398296\ 99102300245665644524*c_1100_0^10 - 53082186898157599241737725981407251177706629/1134022893318818455931\ 8796409200982662578096*c_1100_0^9 + 41341497519041705388946023317399278920287713/2835057233297046139829\ 699102300245665644524*c_1100_0^8 - 52004200757912018249527700677767856454776177/1417528616648523069914\ 849551150122832822262*c_1100_0^7 + 497104341476486057824979847025512783147487711/113402289331881845593\ 18796409200982662578096*c_1100_0^6 - 2912042138599862244320649021983724128677343/11340228933188184559318\ 796409200982662578096*c_1100_0^5 - 484125785095287335586268732210949148637159673/113402289331881845593\ 18796409200982662578096*c_1100_0^4 + 57622170130959059266487243045843573411030821/2835057233297046139829\ 699102300245665644524*c_1100_0^3 + 117754255709488940924073679362555037350020469/113402289331881845593\ 18796409200982662578096*c_1100_0^2 - 5976988765209970578233961258832759104957547/14175286166485230699148\ 49551150122832822262*c_1100_0 + 28224623650656966977873675226616196\ 2766290/708764308324261534957424775575061416411131, c_1001_13 - 2085310726495638730357818308899794/233099380823012992444747\ 8550603534871*c_1100_0^18 - 1858637661818469836033869782973899/3729\ 5900931682078791159656809656557936*c_1100_0^17 - 241089788888085378595634350923212327/372959009316820787911596568096\ 56557936*c_1100_0^16 + 143127836287432487903405157187483011/9323975\ 232920519697789914202414139484*c_1100_0^15 + 1478437429105132083508903227772124243/37295900931682078791159656809\ 656557936*c_1100_0^14 - 6774021558359925288891023548472229197/37295\ 900931682078791159656809656557936*c_1100_0^13 + 5284582331362499351855036264730840915/18647950465841039395579828404\ 828278968*c_1100_0^12 + 11546557175843697092209737964633339991/3729\ 5900931682078791159656809656557936*c_1100_0^11 - 41313159179840231903320001262740533213/1864795046584103939557982840\ 4828278968*c_1100_0^10 + 214048995395483012498920596927324132083/37\ 295900931682078791159656809656557936*c_1100_0^9 - 165313607780675391292109309689914631993/932397523292051969778991420\ 2414139484*c_1100_0^8 + 853183443464846991817022179843465976327/186\ 47950465841039395579828404828278968*c_1100_0^7 - 2087232577347784485250635984089661148587/37295900931682078791159656\ 809656557936*c_1100_0^6 - 29810286520878853848913883223797296793/37\ 295900931682078791159656809656557936*c_1100_0^5 + 2085167215401834284907972950855909669499/37295900931682078791159656\ 809656557936*c_1100_0^4 - 368157348402654739642384101352455278887/1\ 8647950465841039395579828404828278968*c_1100_0^3 - 661889933356865472903024867037316204667/372959009316820787911596568\ 09656557936*c_1100_0^2 + 19192497279006609417971265594094214367/932\ 3975232920519697789914202414139484*c_1100_0 + 2409794056275171328950444884964979540/23309938082301299244474785506\ 03534871, c_1100_0^19 + c_1100_0^18 + 8*c_1100_0^17 - 9*c_1100_0^16 - 53*c_1100_0^15 + 162*c_1100_0^14 - 157*c_1100_0^13 - 558*c_1100_0^12 + 2079*c_1100_0^11 - 4464*c_1100_0^10 + 14854*c_1100_0^9 - 35047*c_1100_0^8 + 23767*c_1100_0^7 + 40419*c_1100_0^6 - 52658*c_1100_0^5 - 18487*c_1100_0^4 + 28584*c_1100_0^3 + 8880*c_1100_0^2 - 896*c_1100_0 + 256 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_10, c_0101_13, c_0101_14, c_0101_5, c_0101_9, c_0110_13, c_1001_13, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 73618162537136592070/387441207099848853*c_0110_13*c_1100_0^13 - 76309613997487233455/387441207099848853*c_0110_13*c_1100_0^12 - 203033823913547322568/129147069033282951*c_0110_13*c_1100_0^11 + 638994137666155757651/387441207099848853*c_0110_13*c_1100_0^10 - 165135931710568902442/14349674337031439*c_0110_13*c_1100_0^9 + 4097258891682127918825/387441207099848853*c_0110_13*c_1100_0^8 - 4381591900113511212131/129147069033282951*c_0110_13*c_1100_0^7 + 5647726276952017666628/387441207099848853*c_0110_13*c_1100_0^6 - 15802397215751930039783/387441207099848853*c_0110_13*c_1100_0^5 + 6791280035263537736225/387441207099848853*c_0110_13*c_1100_0^4 - 212127412202680910267/129147069033282951*c_0110_13*c_1100_0^3 - 8277066547942177486901/387441207099848853*c_0110_13*c_1100_0^2 + 1084471859889310933520/129147069033282951*c_0110_13*c_1100_0 - 885247246026197069755/387441207099848853*c_0110_13 - 106975549179734355506/129147069033282951*c_1100_0^13 - 26951175756755760487/129147069033282951*c_1100_0^12 - 287136619366367333210/43049023011094317*c_1100_0^11 + 1602419866556338414381/129147069033282951*c_1100_0^10 - 857389128553958245989/14349674337031439*c_1100_0^9 + 11949606895147072561583/129147069033282951*c_1100_0^8 - 9418062641093055201073/43049023011094317*c_1100_0^7 + 29906798983938486673582/129147069033282951*c_1100_0^6 - 45471455048985805978351/129147069033282951*c_1100_0^5 + 44177015534016954644968/129147069033282951*c_1100_0^4 - 11273375515629801494110/43049023011094317*c_1100_0^3 + 12458247193265145858833/129147069033282951*c_1100_0^2 - 1086179827982327487305/43049023011094317*c_1100_0 + 310910839320000244762/129147069033282951, c_0011_0 - 1, c_0011_10 - c_0110_13 - 425771856395874/292850496674111*c_1100_0^13 - 121394774228442/292850496674111*c_1100_0^12 - 3412242443184058/292850496674111*c_1100_0^11 + 6271561594589385/292850496674111*c_1100_0^10 - 30344440533395493/292850496674111*c_1100_0^9 + 46262000088939649/292850496674111*c_1100_0^8 - 109522583617293093/292850496674111*c_1100_0^7 + 113312288840665517/292850496674111*c_1100_0^6 - 172355094164292230/292850496674111*c_1100_0^5 + 165310295312800381/292850496674111*c_1100_0^4 - 122155075228140494/292850496674111*c_1100_0^3 + 39065708904707432/292850496674111*c_1100_0^2 - 8054715401800937/292850496674111*c_1100_0 + 611297359993178/292850496674111, c_0011_11 + 449064858189860/292850496674111*c_0110_13*c_1100_0^13 + 108054243549422/292850496674111*c_0110_13*c_1100_0^12 + 3597806980027072/292850496674111*c_0110_13*c_1100_0^11 - 6773214670349665/292850496674111*c_0110_13*c_1100_0^10 + 32334679893936696/292850496674111*c_0110_13*c_1100_0^9 - 50285690343748621/292850496674111*c_0110_13*c_1100_0^8 + 117992314924388563/292850496674111*c_0110_13*c_1100_0^7 - 125138648982300836/292850496674111*c_0110_13*c_1100_0^6 + 188178114407318162/292850496674111*c_0110_13*c_1100_0^5 - 183586501642662414/292850496674111*c_0110_13*c_1100_0^4 + 137964950452452214/292850496674111*c_0110_13*c_1100_0^3 - 48312182636226193/292850496674111*c_0110_13*c_1100_0^2 + 10260356281991679/292850496674111*c_0110_13*c_1100_0 - 862821197144698/292850496674111*c_0110_13 - 76158312421611/292850496674111*c_1100_0^13 - 1113034090396/292850496674111*c_1100_0^12 - 594086743360354/292850496674111*c_1100_0^11 + 1291130795617205/292850496674111*c_1100_0^10 - 5652110794065225/292850496674111*c_1100_0^9 + 9594866668164322/292850496674111*c_1100_0^8 - 21139342269775402/292850496674111*c_1100_0^7 + 24564315322225616/292850496674111*c_1100_0^6 - 34006844116308056/292850496674111*c_1100_0^5 + 35608551666600323/292850496674111*c_1100_0^4 - 26383784007789696/292850496674111*c_1100_0^3 + 9113658210022639/292850496674111*c_1100_0^2 - 914067618063034/292850496674111*c_1100_0 + 42606387542380/292850496674111, c_0011_12 + 434988761357881/292850496674111*c_1100_0^13 + 62831087038869/292850496674111*c_1100_0^12 + 3475788853373680/292850496674111*c_1100_0^11 - 6896789150524141/292850496674111*c_1100_0^10 + 31956614827435112/292850496674111*c_1100_0^9 - 51743260211393010/292850496674111*c_1100_0^8 + 119032942477193587/292850496674111*c_1100_0^7 - 132345887765928988/292850496674111*c_1100_0^6 + 194119451136290521/292850496674111*c_1100_0^5 - 195654754971243878/292850496674111*c_1100_0^4 + 150803504196523189/292850496674111*c_1100_0^3 - 59804333941701224/292850496674111*c_1100_0^2 + 14303002296567114/292850496674111*c_1100_0 - 1503289861202345/292850496674111, c_0011_13 - 449064858189860/292850496674111*c_0110_13*c_1100_0^13 - 108054243549422/292850496674111*c_0110_13*c_1100_0^12 - 3597806980027072/292850496674111*c_0110_13*c_1100_0^11 + 6773214670349665/292850496674111*c_0110_13*c_1100_0^10 - 32334679893936696/292850496674111*c_0110_13*c_1100_0^9 + 50285690343748621/292850496674111*c_0110_13*c_1100_0^8 - 117992314924388563/292850496674111*c_0110_13*c_1100_0^7 + 125138648982300836/292850496674111*c_0110_13*c_1100_0^6 - 188178114407318162/292850496674111*c_0110_13*c_1100_0^5 + 183586501642662414/292850496674111*c_0110_13*c_1100_0^4 - 137964950452452214/292850496674111*c_0110_13*c_1100_0^3 + 48312182636226193/292850496674111*c_0110_13*c_1100_0^2 - 10260356281991679/292850496674111*c_0110_13*c_1100_0 + 862821197144698/292850496674111*c_0110_13 + 248910369460778/292850496674111*c_1100_0^13 + 60775246917949/292850496674111*c_1100_0^12 + 1990276677033410/292850496674111*c_1100_0^11 - 3747513966147715/292850496674111*c_1100_0^10 + 17879478010708185/292850496674111*c_1100_0^9 - 27735527271940878/292850496674111*c_1100_0^8 + 65017541927467980/292850496674111*c_1100_0^7 - 68629212286969737/292850496674111*c_1100_0^6 + 103038587947826066/292850496674111*c_1100_0^5 - 100057734008147363/292850496674111*c_1100_0^4 + 74421284581119157/292850496674111*c_1100_0^3 - 24223273209572696/292850496674111*c_1100_0^2 + 4224938392698654/292850496674111*c_1100_0 + 41590592950626/292850496674111, c_0011_3 + 247981497835538/292850496674111*c_1100_0^13 + 44367933575244/292850496674111*c_1100_0^12 + 1978080129481219/292850496674111*c_1100_0^11 - 3871464044050511/292850496674111*c_1100_0^10 + 18041012499203729/292850496674111*c_1100_0^9 - 28855716250049483/292850496674111*c_1100_0^8 + 66590945560975873/292850496674111*c_1100_0^7 - 73043224783072261/292850496674111*c_1100_0^6 + 107441561813721105/292850496674111*c_1100_0^5 - 107936091249774987/292850496674111*c_1100_0^4 + 81481055025962334/292850496674111*c_1100_0^3 - 31396309237513625/292850496674111*c_1100_0^2 + 7410854781736484/292850496674111*c_1100_0 - 1000253361986212/292850496674111, c_0101_0 - 315115320242617/292850496674111*c_1100_0^13 - 13167644909842/292850496674111*c_1100_0^12 - 2497726220679964/292850496674111*c_1100_0^11 + 5261255164195462/292850496674111*c_1100_0^10 - 23539887036973261/292850496674111*c_1100_0^9 + 39642555734930600/292850496674111*c_1100_0^8 - 89023912456783435/292850496674111*c_1100_0^7 + 103182688029104669/292850496674111*c_1100_0^6 - 146791324912717924/292850496674111*c_1100_0^5 + 152494739382714816/292850496674111*c_1100_0^4 - 118325724341914650/292850496674111*c_1100_0^3 + 49168871383891635/292850496674111*c_1100_0^2 - 11770527476218661/292850496674111*c_1100_0 + 1161957770759504/292850496674111, c_0101_10 + 488031530758914/292850496674111*c_0110_13*c_1100_0^13 + 125376793669085/292850496674111*c_0110_13*c_1100_0^12 + 3908540472987106/292850496674111*c_0110_13*c_1100_0^11 - 7301436320859072/292850496674111*c_0110_13*c_1100_0^10 + 34988918255946438/292850496674111*c_0110_13*c_1100_0^9 - 54056901415618901/292850496674111*c_0110_13*c_1100_0^8 + 127116181495296359/292850496674111*c_0110_13*c_1100_0^7 - 133732919591511113/292850496674111*c_0110_13*c_1100_0^6 + 201553824221644905/292850496674111*c_0110_13*c_1100_0^5 - 195853773838461098/292850496674111*c_0110_13*c_1100_0^4 + 145467136135085653/292850496674111*c_0110_13*c_1100_0^3 - 49447001506865572/292850496674111*c_0110_13*c_1100_0^2 + 9715950154151801/292850496674111*c_0110_13*c_1100_0 - 616417092215429/292850496674111*c_0110_13 - 76158312421611/292850496674111*c_1100_0^13 - 1113034090396/292850496674111*c_1100_0^12 - 594086743360354/292850496674111*c_1100_0^11 + 1291130795617205/292850496674111*c_1100_0^10 - 5652110794065225/292850496674111*c_1100_0^9 + 9594866668164322/292850496674111*c_1100_0^8 - 21139342269775402/292850496674111*c_1100_0^7 + 24564315322225616/292850496674111*c_1100_0^6 - 34006844116308056/292850496674111*c_1100_0^5 + 35608551666600323/292850496674111*c_1100_0^4 - 26383784007789696/292850496674111*c_1100_0^3 + 9113658210022639/292850496674111*c_1100_0^2 - 914067618063034/292850496674111*c_1100_0 + 42606387542380/292850496674111, c_0101_13 + 69450082743738/292850496674111*c_0110_13*c_1100_0^13 + 67311281180487/292850496674111*c_0110_13*c_1100_0^12 + 572492515145302/292850496674111*c_0110_13*c_1100_0^11 - 636775902348715/292850496674111*c_0110_13*c_1100_0^10 + 4273245717901131/292850496674111*c_0110_13*c_1100_0^9 - 4159204223929104/292850496674111*c_0110_13*c_1100_0^8 + 12819569968163576/292850496674111*c_0110_13*c_1100_0^7 - 6252583760846684/292850496674111*c_0110_13*c_1100_0^6 + 15797601315357288/292850496674111*c_0110_13*c_1100_0^5 - 7652630881162157/292850496674111*c_0110_13*c_1100_0^4 + 2021513419926153/292850496674111*c_0110_13*c_1100_0^3 + 7113826005032942/292850496674111*c_0110_13*c_1100_0^2 - 3242140102926724/292850496674111*c_0110_13*c_1100_0 + 593093400687565/292850496674111*c_0110_13 - 8847031241124/292850496674111*c_1100_0^13 + 15778819105002/292850496674111*c_1100_0^12 - 50211239065523/292850496674111*c_1100_0^11 + 286170224994248/292850496674111*c_1100_0^10 - 782804261308389/292850496674111*c_1100_0^9 + 2065562392412664/292850496674111*c_1100_0^8 - 3292747318545000/292850496674111*c_1100_0^7 + 5775775431201380/292850496674111*c_1100_0^6 - 5406531805238977/292850496674111*c_1100_0^5 + 8183230003181564/292850496674111*c_1100_0^4 - 5449391536752892/292850496674111*c_1100_0^3 + 1565612976984159/292850496674111*c_1100_0^2 + 442976692805649/292850496674111*c_1100_0 + 266006801472753/292850496674111, c_0101_14 + 105440775858680/292850496674111*c_1100_0^13 + 42770359632155/292850496674111*c_1100_0^12 + 852314429378225/292850496674111*c_1100_0^11 - 1451422599907553/292850496674111*c_1100_0^10 + 7358060683886124/292850496674111*c_1100_0^9 - 10611356328024898/292850496674111*c_1100_0^8 + 26031604706462176/292850496674111*c_1100_0^7 - 25276357073719885/292850496674111*c_1100_0^6 + 40431431520448931/292850496674111*c_1100_0^5 - 37023860678128281/292850496674111*c_1100_0^4 + 27103108102292657/292850496674111*c_1100_0^3 - 7561569766511577/292850496674111*c_1100_0^2 + 1953826463766937/292850496674111*c_1100_0 - 139203433437367/292850496674111, c_0101_5 - 379614775446122/292850496674111*c_1100_0^13 - 40742962368935/292850496674111*c_1100_0^12 - 3025314464881770/292850496674111*c_1100_0^11 + 6136438768000950/292850496674111*c_1100_0^10 - 28061434176035565/292850496674111*c_1100_0^9 + 46126486119819517/292850496674111*c_1100_0^8 - 105172744956224987/292850496674111*c_1100_0^7 + 118886065221454152/292850496674111*c_1100_0^6 - 172380513091960874/292850496674111*c_1100_0^5 + 175933870761500257/292850496674111*c_1100_0^4 - 135943437032526061/292850496674111*c_1100_0^3 + 55426008641259135/292850496674111*c_1100_0^2 - 13795346881592514/292850496674111*c_1100_0 + 1455914597832263/292850496674111, c_0101_9 + 47375263370082/292850496674111*c_0110_13*c_1100_0^13 + 55373985911759/292850496674111*c_0110_13*c_1100_0^12 + 401090231630590/292850496674111*c_0110_13*c_1100_0^11 - 354905088799484/292850496674111*c_0110_13*c_1100_0^10 + 2840169633603041/292850496674111*c_0110_13*c_1100_0^9 - 2263603586711113/292850496674111*c_0110_13*c_1100_0^8 + 8264178075860533/292850496674111*c_0110_13*c_1100_0^7 - 2579018868449854/292850496674111*c_0110_13*c_1100_0^6 + 10133058613826000/292850496674111*c_0110_13*c_1100_0^5 - 2990949434853157/292850496674111*c_0110_13*c_1100_0^4 + 366227459171147/292850496674111*c_0110_13*c_1100_0^3 + 5432389753350810/292850496674111*c_0110_13*c_1100_0^2 - 1441058971497005/292850496674111*c_0110_13*c_1100_0 - 13472482096302/292850496674111*c_0110_13 + 23293001793986/292850496674111*c_1100_0^13 - 13340530679020/292850496674111*c_1100_0^12 + 185564536843014/292850496674111*c_1100_0^11 - 501653075760280/292850496674111*c_1100_0^10 + 1990239360541203/292850496674111*c_1100_0^9 - 4023690254808972/292850496674111*c_1100_0^8 + 8469731307095470/292850496674111*c_1100_0^7 - 11826360141635319/292850496674111*c_1100_0^6 + 15823020243025932/292850496674111*c_1100_0^5 - 18276206329862033/292850496674111*c_1100_0^4 + 15809875224311720/292850496674111*c_1100_0^3 - 9246473731518761/292850496674111*c_1100_0^2 + 2498491376864853/292850496674111*c_1100_0 - 251523837151520/292850496674111, c_0110_13^2 + 425771856395874/292850496674111*c_0110_13*c_1100_0^13 + 121394774228442/292850496674111*c_0110_13*c_1100_0^12 + 3412242443184058/292850496674111*c_0110_13*c_1100_0^11 - 6271561594589385/292850496674111*c_0110_13*c_1100_0^10 + 30344440533395493/292850496674111*c_0110_13*c_1100_0^9 - 46262000088939649/292850496674111*c_0110_13*c_1100_0^8 + 109522583617293093/292850496674111*c_0110_13*c_1100_0^7 - 113312288840665517/292850496674111*c_0110_13*c_1100_0^6 + 172355094164292230/292850496674111*c_0110_13*c_1100_0^5 - 165310295312800381/292850496674111*c_0110_13*c_1100_0^4 + 122155075228140494/292850496674111*c_0110_13*c_1100_0^3 - 39065708904707432/292850496674111*c_0110_13*c_1100_0^2 + 8054715401800937/292850496674111*c_0110_13*c_1100_0 - 611297359993178/292850496674111*c_0110_13 - 123035401090718/292850496674111*c_1100_0^13 - 33694564216117/292850496674111*c_1100_0^12 - 977861001157942/292850496674111*c_1100_0^11 + 1830863878597671/292850496674111*c_1100_0^10 - 8727109000558898/292850496674111*c_1100_0^9 + 13396417290156777/292850496674111*c_1100_0^8 - 31335614072790536/292850496674111*c_1100_0^7 + 32666334095026696/292850496674111*c_1100_0^6 - 48905040368481144/292850496674111*c_1100_0^5 + 47891951080236877/292850496674111*c_1100_0^4 - 34582431160527954/292850496674111*c_1100_0^3 + 10998389189412473/292850496674111*c_1100_0^2 - 2077287535202881/292850496674111*c_1100_0 + 191026725941754/292850496674111, c_1001_13 + 172752057039167/292850496674111*c_1100_0^13 + 59662212827553/292850496674111*c_1100_0^12 + 1396189933673056/292850496674111*c_1100_0^11 - 2456383170530510/292850496674111*c_1100_0^10 + 12227367216642960/292850496674111*c_1100_0^9 - 18140660603776556/292850496674111*c_1100_0^8 + 43878199657692578/292850496674111*c_1100_0^7 - 44064896964744121/292850496674111*c_1100_0^6 + 69031743831518010/292850496674111*c_1100_0^5 - 64449182341547040/292850496674111*c_1100_0^4 + 48037500573329461/292850496674111*c_1100_0^3 - 15109614999550057/292850496674111*c_1100_0^2 + 3310870774635620/292850496674111*c_1100_0 + 84196980493006/292850496674111, c_1100_0^14 + 8*c_1100_0^12 - 17*c_1100_0^11 + 76*c_1100_0^10 - 130*c_1100_0^9 + 293*c_1100_0^8 - 347*c_1100_0^7 + 498*c_1100_0^6 - 522*c_1100_0^5 + 424*c_1100_0^4 - 199*c_1100_0^3 + 62*c_1100_0^2 - 11*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 30.810 Total time: 31.010 seconds, Total memory usage: 153.06MB