Magma V2.19-8 Wed Aug 21 2013 00:22:07 on localhost [Seed = 3937204404] Type ? for help. Type -D to quit. Loading file "K14n11807__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11807 geometric_solution 11.62088930 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483324864246 0.829581727613 0 5 3 5 0132 0132 1302 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -11 0 11 -1 -11 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645562879715 0.535180337241 4 0 7 6 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 12 -12 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.090430563127 0.801571011730 1 8 9 0 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -12 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475677731163 0.899949921440 8 2 0 10 0213 1023 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 1 0 0 -1 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991505495219 1.270491928777 11 1 10 1 0132 0132 1302 1023 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 -12 0 0 11 0 -11 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852806743292 0.595570544658 12 10 2 12 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.307745217582 0.982978945879 8 9 12 2 3201 2103 1023 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 0 0 0 -1 0 0 1 -1 0 0 1 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.456319337505 0.415222136202 4 3 11 7 0213 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.005262290638 0.787061512787 12 7 11 3 1302 2103 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 11 0 -11 0 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.017185722435 0.862301321834 5 6 4 11 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331271940333 0.538008460343 5 8 10 9 0132 0213 0132 0132 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 0 0 0 -12 0 1 11 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907795789174 0.730344431909 6 9 7 6 0132 2031 1023 1023 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 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.167266160493 1.563017956481 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_0101_6'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_9'], 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_1001_0'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0011_7'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1100_12']), 'c_1100_6' : negation(d['c_1100_12']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_12']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0101_2']), 'c_1010_8' : negation(d['c_0101_2']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_1100_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), '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_0011_10']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0011_9'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : negation(d['c_0101_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' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0011_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_6, c_1001_0, c_1100_0, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 8450804491342646123839092304885187254185523/77001773236374649986670\ 464368705176765408*c_1100_12^17 - 144853965093477895743607675918115\ 949101079819/211754876400030287463343777013939236104872*c_1100_12^1\ 6 + 74171379668192292334033770384643339984502709/529387191000075718\ 65835944253484809026218*c_1100_12^15 - 19182590769377482799868450634483105270528133/1058774382000151437316\ 71888506969618052436*c_1100_12^14 - 2127071369007111742722975430235492448231039065/84701950560012114985\ 3375108055756944419488*c_1100_12^13 - 3717991698970586631686762403374209495025681075/16940390112002422997\ 06750216111513888838976*c_1100_12^12 + 14676046938407445017728642481357888135015356329/8470195056001211498\ 53375108055756944419488*c_1100_12^11 - 235281816702342410804637710019211244476854053/126420821731361365649\ 75747881429208125664*c_1100_12^10 - 13806036386599344837839886491684075087885128331/8470195056001211498\ 53375108055756944419488*c_1100_12^9 + 88139049719407898405847902390029830504755089177/1694039011200242299\ 706750216111513888838976*c_1100_12^8 - 684474574453859262481815065907807547376446999/264693595500037859329\ 17972126742404513109*c_1100_12^7 - 15935700607901480724645869721198825172617407149/4235097528000605749\ 26687554027878472209744*c_1100_12^6 + 109568952037194458760329393257932160722056397373/169403901120024229\ 9706750216111513888838976*c_1100_12^5 - 29817010092420948180658612136320687859984973343/8470195056001211498\ 53375108055756944419488*c_1100_12^4 + 4538332620656785275718068057591987043212949315/84701950560012114985\ 3375108055756944419488*c_1100_12^3 + 901926064457581551528369605309519264245525103/211754876400030287463\ 343777013939236104872*c_1100_12^2 - 2939548827549496620649154989268724086533979299/16940390112002422997\ 06750216111513888838976*c_1100_12 + 10083985163876913820861085074484275218070465/5293871910000757186583\ 5944253484809026218, c_0011_0 - 1, c_0011_10 + 38034561233356607425769332146803115379/71830012347364412300\ 998567508120500714*c_1100_12^17 - 935285433454366075290591444935973\ 93384/35915006173682206150499283754060250357*c_1100_12^16 + 97585349636527347837990576699609208814/3591500617368220615049928375\ 4060250357*c_1100_12^15 + 224391669986792861558308796756808846014/3\ 5915006173682206150499283754060250357*c_1100_12^14 - 717837999219347168022856532395675974211/718300123473644123009985675\ 08120500714*c_1100_12^13 - 3733151656096482294490996653152119569177\ /143660024694728824601997135016241001428*c_1100_12^12 + 4516671536352225415615234892858158078837/71830012347364412300998567\ 508120500714*c_1100_12^11 + 872368435455544506691292659212476520501\ /71830012347364412300998567508120500714*c_1100_12^10 - 10896213860099446272579121977608246611367/7183001234736441230099856\ 7508120500714*c_1100_12^9 + 159045212387804714836481673219940842823\ 79/143660024694728824601997135016241001428*c_1100_12^8 + 5322056277187488888733910798453081996942/35915006173682206150499283\ 754060250357*c_1100_12^7 - 7904945766006040903493170873004456089011\ /35915006173682206150499283754060250357*c_1100_12^6 + 6265191619830436697801700415162668480463/14366002469472882460199713\ 5016241001428*c_1100_12^5 + 895037597896449656693330729504705858302\ 9/71830012347364412300998567508120500714*c_1100_12^4 - 4134922552236821336704147488046891569641/71830012347364412300998567\ 508120500714*c_1100_12^3 + 241995507948201662442547410041548566215/\ 35915006173682206150499283754060250357*c_1100_12^2 + 2275730755288725196783191705614158421707/14366002469472882460199713\ 5016241001428*c_1100_12 - 2964586755780318351584505794797974480/359\ 15006173682206150499283754060250357, c_0011_3 + 11629348712264342400801290585431245899/718300123473644123009\ 98567508120500714*c_1100_12^17 - 4341569052406518286432104851986153\ 8108/35915006173682206150499283754060250357*c_1100_12^16 + 113978795838343531514176904847841415034/359150061736822061504992837\ 54060250357*c_1100_12^15 - 72201752414605789540063669873540090482/3\ 5915006173682206150499283754060250357*c_1100_12^14 - 345023282340417249959579705283787186179/718300123473644123009985675\ 08120500714*c_1100_12^13 + 129983627731275598304951070704772405015/\ 143660024694728824601997135016241001428*c_1100_12^12 + 2347191299128430199342268627276163249561/71830012347364412300998567\ 508120500714*c_1100_12^11 - 393987665921385421331947635772080627771\ 9/71830012347364412300998567508120500714*c_1100_12^10 - 770635986976518515476175526242444000315/718300123473644123009985675\ 08120500714*c_1100_12^9 + 17386860599304333492690962334198555559195\ /143660024694728824601997135016241001428*c_1100_12^8 - 3742971054669110294469391269748048891803/35915006173682206150499283\ 754060250357*c_1100_12^7 - 2269374629034941328003788641126311841529\ /35915006173682206150499283754060250357*c_1100_12^6 + 24466298853847386789433281204118409158967/1436600246947288246019971\ 35016241001428*c_1100_12^5 - 82385973564940430892529230925392290479\ 05/71830012347364412300998567508120500714*c_1100_12^4 + 1065719363956194166055928532607002524403/71830012347364412300998567\ 508120500714*c_1100_12^3 + 406397175275443247033332057293140138861/\ 35915006173682206150499283754060250357*c_1100_12^2 - 1179764276230052761958044962951390107581/14366002469472882460199713\ 5016241001428*c_1100_12 + 14197165063439764398208596825397448784/35\ 915006173682206150499283754060250357, c_0011_7 + 44968866637920533481500893312408487826/359150061736822061504\ 99283754060250357*c_1100_12^17 - 2564176010871749759340979255242316\ 32186/35915006173682206150499283754060250357*c_1100_12^16 + 427957690992258065853975238190839865784/359150061736822061504992837\ 54060250357*c_1100_12^15 + 213494859684270384819088232727474176664/\ 35915006173682206150499283754060250357*c_1100_12^14 - 1032118049396143969407512633461256651362/35915006173682206150499283\ 754060250357*c_1100_12^13 - 145346173640074428631360632039313115338\ 9/35915006173682206150499283754060250357*c_1100_12^12 + 6558793922150020694394842827168272955765/35915006173682206150499283\ 754060250357*c_1100_12^11 - 390163199385726629730991020736844258142\ 6/35915006173682206150499283754060250357*c_1100_12^10 - 10291070098219699882490723607664678344810/3591500617368220615049928\ 3754060250357*c_1100_12^9 + 172650518908001474442824604042553039597\ 47/35915006173682206150499283754060250357*c_1100_12^8 + 349232074106111015288444420427684389707/359150061736822061504992837\ 54060250357*c_1100_12^7 - 19686905454493726176800773121436165312654\ /35915006173682206150499283754060250357*c_1100_12^6 + 17560803353479486987826712353352468247018/3591500617368220615049928\ 3754060250357*c_1100_12^5 - 128199283990628158871817054821752404625\ 2/35915006173682206150499283754060250357*c_1100_12^4 - 3744027743918577772256432383820142910804/35915006173682206150499283\ 754060250357*c_1100_12^3 + 1932973853673032099434870633566815955523\ /35915006173682206150499283754060250357*c_1100_12^2 + 379919410850253858357721853552254272355/359150061736822061504992837\ 54060250357*c_1100_12 - 167196075550963171942661728006783166325/359\ 15006173682206150499283754060250357, c_0011_9 + 84968552910121786371783172499335768703/718300123473644123009\ 98567508120500714*c_1100_12^17 - 2368071086683130511783262846282326\ 32868/35915006173682206150499283754060250357*c_1100_12^16 + 374026624257480779808432917292374063446/359150061736822061504992837\ 54060250357*c_1100_12^15 + 249359369820435376315078960085710283804/\ 35915006173682206150499283754060250357*c_1100_12^14 - 1885874705973215064670684794466956161895/71830012347364412300998567\ 508120500714*c_1100_12^13 - 597141926953739135299420599431303678857\ 3/143660024694728824601997135016241001428*c_1100_12^12 + 12004537045306630787783160588262870754169/7183001234736441230099856\ 7508120500714*c_1100_12^11 - 58342364229660779617282902419237022534\ 51/71830012347364412300998567508120500714*c_1100_12^10 - 20173853210034295765350031111948068108901/7183001234736441230099856\ 7508120500714*c_1100_12^9 + 600513890586865118481342309771779078692\ 95/143660024694728824601997135016241001428*c_1100_12^8 + 2221374362330456239120204543754768161564/35915006173682206150499283\ 754060250357*c_1100_12^7 - 1825267371504637610807528119564846793032\ 8/35915006173682206150499283754060250357*c_1100_12^6 + 57072646370240448678807689223992830299703/1436600246947288246019971\ 35016241001428*c_1100_12^5 + 96316838418972242157853686169499047926\ 1/71830012347364412300998567508120500714*c_1100_12^4 - 6759779379171930606551232577977270246455/71830012347364412300998567\ 508120500714*c_1100_12^3 + 1500330695533998302282671753969255030464\ /35915006173682206150499283754060250357*c_1100_12^2 + 1551952745447652647637446146581927110367/14366002469472882460199713\ 5016241001428*c_1100_12 - 109482052336517331304830571621911408531/3\ 5915006173682206150499283754060250357, c_0101_0 - 49887461213720690944983661466682005959/718300123473644123009\ 98567508120500714*c_1100_12^17 + 1406629562497093325257175897837574\ 73750/35915006173682206150499283754060250357*c_1100_12^16 - 229355120781770480736950813701469178370/359150061736822061504992837\ 54060250357*c_1100_12^15 - 127165759437070245007233284520050245366/\ 35915006173682206150499283754060250357*c_1100_12^14 + 1102107281721442795403352884557994346607/71830012347364412300998567\ 508120500714*c_1100_12^13 + 338289152149251287054452499574343733371\ 7/143660024694728824601997135016241001428*c_1100_12^12 - 7118472269934748832416674237643816403043/71830012347364412300998567\ 508120500714*c_1100_12^11 + 388787042935153204676219898309611252849\ 5/71830012347364412300998567508120500714*c_1100_12^10 + 11344729423295519418506152617741503122335/7183001234736441230099856\ 7508120500714*c_1100_12^9 - 360130107822849218756431892499965359354\ 39/143660024694728824601997135016241001428*c_1100_12^8 - 630316868985709500254276672147731857068/359150061736822061504992837\ 54060250357*c_1100_12^7 + 10307893291854634826548712579488009884855\ /35915006173682206150499283754060250357*c_1100_12^6 - 35045025126711968123686732283593772087339/1436600246947288246019971\ 35016241001428*c_1100_12^5 + 12587735667703068557596232398730354131\ 37/71830012347364412300998567508120500714*c_1100_12^4 + 2702794136636304057902303765963289298061/71830012347364412300998567\ 508120500714*c_1100_12^3 - 708989326279431448839381003981651225761/\ 35915006173682206150499283754060250357*c_1100_12^2 - 592972185045113637031930683380955294375/143660024694728824601997135\ 016241001428*c_1100_12 - 13502895278553435523370618066330365200/359\ 15006173682206150499283754060250357, c_0101_10 + 49887461213720690944983661466682005959/71830012347364412300\ 998567508120500714*c_1100_12^17 - 140662956249709332525717589783757\ 473750/35915006173682206150499283754060250357*c_1100_12^16 + 229355120781770480736950813701469178370/359150061736822061504992837\ 54060250357*c_1100_12^15 + 127165759437070245007233284520050245366/\ 35915006173682206150499283754060250357*c_1100_12^14 - 1102107281721442795403352884557994346607/71830012347364412300998567\ 508120500714*c_1100_12^13 - 338289152149251287054452499574343733371\ 7/143660024694728824601997135016241001428*c_1100_12^12 + 7118472269934748832416674237643816403043/71830012347364412300998567\ 508120500714*c_1100_12^11 - 388787042935153204676219898309611252849\ 5/71830012347364412300998567508120500714*c_1100_12^10 - 11344729423295519418506152617741503122335/7183001234736441230099856\ 7508120500714*c_1100_12^9 + 360130107822849218756431892499965359354\ 39/143660024694728824601997135016241001428*c_1100_12^8 + 630316868985709500254276672147731857068/359150061736822061504992837\ 54060250357*c_1100_12^7 - 10307893291854634826548712579488009884855\ /35915006173682206150499283754060250357*c_1100_12^6 + 35045025126711968123686732283593772087339/1436600246947288246019971\ 35016241001428*c_1100_12^5 - 12587735667703068557596232398730354131\ 37/71830012347364412300998567508120500714*c_1100_12^4 - 2702794136636304057902303765963289298061/71830012347364412300998567\ 508120500714*c_1100_12^3 + 708989326279431448839381003981651225761/\ 35915006173682206150499283754060250357*c_1100_12^2 + 592972185045113637031930683380955294375/143660024694728824601997135\ 016241001428*c_1100_12 - 22412110895128770627128665687729885157/359\ 15006173682206150499283754060250357, c_0101_11 - 24831954972810474913285311366117180639/35915006173682206150\ 499283754060250357*c_1100_12^17 + 136944233869501790393380193013458\ 931492/35915006173682206150499283754060250357*c_1100_12^16 - 211564145474870879352167481547450623848/359150061736822061504992837\ 54060250357*c_1100_12^15 - 152189917572187072018245126883268755532/\ 35915006173682206150499283754060250357*c_1100_12^14 + 531430640779882208991218118839731580195/359150061736822061504992837\ 54060250357*c_1100_12^13 + 1801584014182603348093022791223673582081\ /71830012347364412300998567508120500714*c_1100_12^12 - 3431931417740327807478751760067160664199/35915006173682206150499283\ 754060250357*c_1100_12^11 + 153375411187915485331409184925416487860\ 9/35915006173682206150499283754060250357*c_1100_12^10 + 5833424923537982394027648751925345305841/35915006173682206150499283\ 754060250357*c_1100_12^9 - 1664569091904240248816956482809631992078\ 7/71830012347364412300998567508120500714*c_1100_12^8 - 1579085222518378594264519528705033105139/35915006173682206150499283\ 754060250357*c_1100_12^7 + 1017432039504098223149695951413076793054\ 0/35915006173682206150499283754060250357*c_1100_12^6 - 15365745236838911743617490809640538819715/7183001234736441230099856\ 7508120500714*c_1100_12^5 - 355889311235226738840192101253914767562\ /35915006173682206150499283754060250357*c_1100_12^4 + 1534601594140313585324109477719944522619/35915006173682206150499283\ 754060250357*c_1100_12^3 - 648392683223644909475879467334688705076/\ 35915006173682206150499283754060250357*c_1100_12^2 - 619813251876700629713571938839504657777/718300123473644123009985675\ 08120500714*c_1100_12 - 11232578307659446046624091030599474304/3591\ 5006173682206150499283754060250357, c_0101_2 - 10826659600870745884094485989941794705/359150061736822061504\ 99283754060250357*c_1100_12^17 + 6266130830089998142923976360073185\ 3794/35915006173682206150499283754060250357*c_1100_12^16 - 108982567601360820794780780788223358432/359150061736822061504992837\ 54060250357*c_1100_12^15 - 38504098100010026017753597843740091204/3\ 5915006173682206150499283754060250357*c_1100_12^14 + 244896644333772007657229808142907024981/359150061736822061504992837\ 54060250357*c_1100_12^13 + 657274215265904355922962555381301294467/\ 71830012347364412300998567508120500714*c_1100_12^12 - 1593407823796659096950660319569445220748/35915006173682206150499283\ 754060250357*c_1100_12^11 + 108854290743549260071390159390441597807\ 3/35915006173682206150499283754060250357*c_1100_12^10 + 2295355738019276439253532416679821158629/35915006173682206150499283\ 754060250357*c_1100_12^9 - 8531945657256524309576478749120990675841\ /71830012347364412300998567508120500714*c_1100_12^8 + 379232879357264504704267790552326058810/359150061736822061504992837\ 54060250357*c_1100_12^7 + 4428539835797082949544721069881881381891/\ 35915006173682206150499283754060250357*c_1100_12^6 - 8968838288292921981419322603295399341097/71830012347364412300998567\ 508120500714*c_1100_12^5 + 938710290084879436931661981829993663107/\ 35915006173682206150499283754060250357*c_1100_12^4 + 440511179670072926380576960066285401141/359150061736822061504992837\ 54060250357*c_1100_12^3 - 349416692940875073385947550936342201582/3\ 5915006173682206150499283754060250357*c_1100_12^2 + 26720479357452833714227158503314972921/7183001234736441230099856750\ 8120500714*c_1100_12 - 7864968184998969668735738374070293856/359150\ 06173682206150499283754060250357, c_0101_6 + 103360280411885908816614624831316941535/71830012347364412300\ 998567508120500714*c_1100_12^17 - 286355085968351045675370281459906\ 072412/35915006173682206150499283754060250357*c_1100_12^16 + 444420340721110041930188815149311222276/359150061736822061504992837\ 54060250357*c_1100_12^15 + 324568591282884152642204770857353586654/\ 35915006173682206150499283754060250357*c_1100_12^14 - 2298627045223080386063780691546634724879/71830012347364412300998567\ 508120500714*c_1100_12^13 - 740923938120293351341880898862025401706\ 1/143660024694728824601997135016241001428*c_1100_12^12 + 14527097823269307807791523706632284881897/7183001234736441230099856\ 7508120500714*c_1100_12^11 - 65782732464156406738011711005018360998\ 41/71830012347364412300998567508120500714*c_1100_12^10 - 25082530413313326505813721783545579287891/7183001234736441230099856\ 7508120500714*c_1100_12^9 + 721243067760442249765696778670558781030\ 63/143660024694728824601997135016241001428*c_1100_12^8 + 3452260775582947463487135487632963614999/35915006173682206150499283\ 754060250357*c_1100_12^7 - 2261221138551009946663404586596565495274\ 4/35915006173682206150499283754060250357*c_1100_12^6 + 67452727995260140155433345942410279725811/1436600246947288246019971\ 35016241001428*c_1100_12^5 + 30937384583948704864349467228724910032\ 27/71830012347364412300998567508120500714*c_1100_12^4 - 9513761769640099489191541449029912170133/71830012347364412300998567\ 508120500714*c_1100_12^3 + 1941800697527425171705161098906966022183\ /35915006173682206150499283754060250357*c_1100_12^2 + 2181863189181262197875319453654902481339/14366002469472882460199713\ 5016241001428*c_1100_12 - 172078969776459256732076166275411168661/3\ 5915006173682206150499283754060250357, c_1001_0 + 100381819618233857759493750720123874059/71830012347364412300\ 998567508120500714*c_1100_12^17 - 277883169088128499946160100637756\ 736032/35915006173682206150499283754060250357*c_1100_12^16 + 428594607557126723810292626721649421898/359150061736822061504992837\ 54060250357*c_1100_12^15 + 326768935398238770774873681065377718612/\ 35915006173682206150499283754060250357*c_1100_12^14 - 2258609073701437650696492457216410093195/71830012347364412300998567\ 508120500714*c_1100_12^13 - 725441282803545038932164049341067108208\ 1/143660024694728824601997135016241001428*c_1100_12^12 + 14156182073312351726729392726134799663729/7183001234736441230099856\ 7508120500714*c_1100_12^11 - 61959551035481234221069398925067522290\ 47/71830012347364412300998567508120500714*c_1100_12^10 - 24838528535676981353524507847300634003489/7183001234736441230099856\ 7508120500714*c_1100_12^9 + 702519889974835242540958386672554667629\ 71/143660024694728824601997135016241001428*c_1100_12^8 + 3779343962649893746108135692553814624030/35915006173682206150499283\ 754060250357*c_1100_12^7 - 2247658582264418432936142072433975943049\ 4/35915006173682206150499283754060250357*c_1100_12^6 + 64978595784585348124150610530256748728383/1436600246947288246019971\ 35016241001428*c_1100_12^5 + 42895199195527641096954682720829078035\ 69/71830012347364412300998567508120500714*c_1100_12^4 - 10321999168830224124956654071980727404597/7183001234736441230099856\ 7508120500714*c_1100_12^3 + 197101227918523155322089456306453279690\ 5/35915006173682206150499283754060250357*c_1100_12^2 + 2276073523189576389337827844636002984475/14366002469472882460199713\ 5016241001428*c_1100_12 - 193790630022191366217581870084323179731/3\ 5915006173682206150499283754060250357, c_1100_0 + 48157636849473548610054897065908258977/359150061736822061504\ 99283754060250357*c_1100_12^17 - 2720005358974270254093516856804108\ 03518/35915006173682206150499283754060250357*c_1100_12^16 + 443422939193105836744159384499100828262/359150061736822061504992837\ 54060250357*c_1100_12^15 + 254521474576192312912217677302039622794/\ 35915006173682206150499283754060250357*c_1100_12^14 - 1098420772874944123836271920857203234427/35915006173682206150499283\ 754060250357*c_1100_12^13 - 321607132127406955733258106112135629389\ 1/71830012347364412300998567508120500714*c_1100_12^12 + 6946223581757599166933458904388221569908/35915006173682206150499283\ 754060250357*c_1100_12^11 - 381981712581712147518060252269758137681\ 4/35915006173682206150499283754060250357*c_1100_12^10 - 11285990097208047468345156412798200704436/3591500617368220615049928\ 3754060250357*c_1100_12^9 + 360714396754198627501205692741203503728\ 35/71830012347364412300998567508120500714*c_1100_12^8 + 1325178342337236210930870705152779240022/35915006173682206150499283\ 754060250357*c_1100_12^7 - 2132103965505711030203052316453000374191\ 8/35915006173682206150499283754060250357*c_1100_12^6 + 35953524802478766199660994869842309579525/7183001234736441230099856\ 7508120500714*c_1100_12^5 - 243791302139148842265969390738960516347\ /35915006173682206150499283754060250357*c_1100_12^4 - 4490064374098639900475250086282633314548/35915006173682206150499283\ 754060250357*c_1100_12^3 + 2066545841919372853325917826920651623076\ /35915006173682206150499283754060250357*c_1100_12^2 + 1064647891377191191311363904155169398995/71830012347364412300998567\ 508120500714*c_1100_12 - 187027616998735122611997470643722941859/35\ 915006173682206150499283754060250357, c_1100_12^18 - 64/11*c_1100_12^17 + 112/11*c_1100_12^16 + 40/11*c_1100_12^15 - 259/11*c_1100_12^14 - 59/2*c_1100_12^13 + 1645/11*c_1100_12^12 - 1145/11*c_1100_12^11 - 2405/11*c_1100_12^10 + 9067/22*c_1100_12^9 - 430/11*c_1100_12^8 - 4838/11*c_1100_12^7 + 893/2*c_1100_12^6 - 843/11*c_1100_12^5 - 915/11*c_1100_12^4 + 640/11*c_1100_12^3 + 15/22*c_1100_12^2 - 54/11*c_1100_12 + 8/11 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_6, c_1001_0, c_1100_0, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 338818219569143183563014928192954732259292814457/241239017158306015\ 01234146733784669491999134080*c_1100_12^18 + 953184839803844771591515632597394208571940882319/241239017158306015\ 01234146733784669491999134080*c_1100_12^17 - 243172495520854911465528654728472428192360088227/482478034316612030\ 0246829346756933898399826816*c_1100_12^16 - 1155876952771362267667942888202222251737318019189/86156791842252148\ 2186933811920881053285683360*c_1100_12^15 - 46590473665559449862483090045407298366294449831/6381984580907566534\ 7180282364509707650791360*c_1100_12^14 + 8725156696702751255556378793120208223826898988473/11487572245633619\ 76249245082561174737714244480*c_1100_12^13 + 1089683870563270467495618528914013454594310006671/18846798215492657\ 4228391771357692730406243235*c_1100_12^12 - 20444366535990526343687014478583238360160733122401/2680433523981177\ 944581571859309407721333237120*c_1100_12^11 - 76011374198165956182469225839008244801041615679913/2010325142985883\ 458436178894482055790999927840*c_1100_12^10 + 308980673415805529015950864646200009682957146463/957297687136134980\ 20770423546764561476187040*c_1100_12^9 + 99821482199848251291242410542550620188900301675903/8934778413270593\ 14860523953103135907111079040*c_1100_12^8 - 12555092696162606869327822429935337905863890872239/5360867047962355\ 88916314371861881544266647424*c_1100_12^7 - 281038457797433881522355590964053141317588289329979/804130057194353\ 3833744715577928223163999711360*c_1100_12^6 - 80806616201411389800091146438413396312262476291431/8934778413270593\ 14860523953103135907111079040*c_1100_12^5 + 299745833933931734964141136734710100976984271803571/603097542895765\ 0375308536683446167372999783520*c_1100_12^4 + 492522100664314271289223089791352507596189032489343/241239017158306\ 01501234146733784669491999134080*c_1100_12^3 + 703422101481565107038014424733677024246779960765453/241239017158306\ 01501234146733784669491999134080*c_1100_12^2 - 32419541639627282459586659692389765114825404098447/4020650285971766\ 916872357788964111581999855680*c_1100_12 + 10823003704729613352338537314812794393652497059123/2412390171583060\ 1501234146733784669491999134080, c_0011_0 - 1, c_0011_10 + 4414016295759807001162979403102360965225/398874036306722908\ 419876764778185672817446*c_1100_12^18 + 7017949567163545341755029767070137768401/19943701815336145420993838\ 2389092836408723*c_1100_12^17 - 10799485224592115960902408314843100\ 264469/398874036306722908419876764778185672817446*c_1100_12^16 - 60840286761482676983938868746589381580963/5698200518667470120283953\ 7825455096116778*c_1100_12^15 - 55014359301796214566616003753108054\ 730925/56982005186674701202839537825455096116778*c_1100_12^14 + 161143782250637471009248803039030652536594/284910025933373506014197\ 68912727548058389*c_1100_12^13 + 1324363949547400262402920545101969\ 184003222/199437018153361454209938382389092836408723*c_1100_12^12 - 1488294136833929996765764619885146941634707/39887403630672290841987\ 6764778185672817446*c_1100_12^11 - 12469641529167420146352471113691766354610825/3988740363067229084198\ 76764778185672817446*c_1100_12^10 - 496496420084680596512981696272847478216355/569820051866747012028395\ 37825455096116778*c_1100_12^9 + 17061097564539166998590814230721900\ 315821280/199437018153361454209938382389092836408723*c_1100_12^8 + 5121832640627464346029436828162748244552605/39887403630672290841987\ 6764778185672817446*c_1100_12^7 - 500596044367430857896236373618185\ 0633478272/199437018153361454209938382389092836408723*c_1100_12^6 - 31854512067335339700807774553176780283384745/3988740363067229084198\ 76764778185672817446*c_1100_12^5 + 4348875768932467025973520324204568490467447/39887403630672290841987\ 6764778185672817446*c_1100_12^4 + 415606570920456606809532113133824\ 5390609090/199437018153361454209938382389092836408723*c_1100_12^3 + 12399787040064577684391210343796712255127375/3988740363067229084198\ 76764778185672817446*c_1100_12^2 + 1724513479268458139290490402135174439768871/39887403630672290841987\ 6764778185672817446*c_1100_12 + 20817520356133444261965074639387095\ 5249118/199437018153361454209938382389092836408723, c_0011_3 + 1222389252408240596846813427283678030239/1994370181533614542\ 09938382389092836408723*c_1100_12^18 + 4203287950403999542112169536316577756155/19943701815336145420993838\ 2389092836408723*c_1100_12^17 - 20405853882635180267845158101730001\ 07141/199437018153361454209938382389092836408723*c_1100_12^16 - 16997600831555981051277677200658909338744/2849100259333735060141976\ 8912727548058389*c_1100_12^15 - 19628240465986849193061924884906531\ 281205/28491002593337350601419768912727548058389*c_1100_12^14 + 86077007904618771601809947123607017808549/2849100259333735060141976\ 8912727548058389*c_1100_12^13 + 90908256514846199746606317454631018\ 6355402/199437018153361454209938382389092836408723*c_1100_12^12 - 235561268252028184938888524269086858596199/199437018153361454209938\ 382389092836408723*c_1100_12^11 - 363644404537339785255293683069966\ 4689972640/199437018153361454209938382389092836408723*c_1100_12^10 - 275292927156900192204353680754120235385344/284910025933373506014197\ 68912727548058389*c_1100_12^9 + 93728698468457148301951879690309715\ 64596473/199437018153361454209938382389092836408723*c_1100_12^8 + 4170629774271684109674923196002034659969266/19943701815336145420993\ 8382389092836408723*c_1100_12^7 - 264563655758486108398688207281224\ 0525682002/199437018153361454209938382389092836408723*c_1100_12^6 - 10331359397568819732881412150356963116066624/1994370181533614542099\ 38382389092836408723*c_1100_12^5 - 1409512357896752466018326593797173634226319/19943701815336145420993\ 8382389092836408723*c_1100_12^4 + 364834335100050410170162575281721\ 6135703385/199437018153361454209938382389092836408723*c_1100_12^3 + 4171517267628133869394372604928472155979913/19943701815336145420993\ 8382389092836408723*c_1100_12^2 + 122020120412414595314095788199177\ 3949946027/199437018153361454209938382389092836408723*c_1100_12 + 127663901222085895097056043084898835734287/199437018153361454209938\ 382389092836408723, c_0011_7 - 2680265168357112665814455277227329374141/7977480726134458168\ 39753529556371345634892*c_1100_12^18 - 4178559615094946032058954242711321354517/39887403630672290841987676\ 4778185672817446*c_1100_12^17 + 71274461057526392441931740883390016\ 06265/797748072613445816839753529556371345634892*c_1100_12^16 + 36873900638627218779167288197229730409917/1139640103733494024056790\ 75650910192233556*c_1100_12^15 + 3100967226618149807054514406922393\ 0831489/113964010373349402405679075650910192233556*c_1100_12^14 - 49566608069341298251725163743575607712632/2849100259333735060141976\ 8912727548058389*c_1100_12^13 - 37661076892350424469455145198400752\ 4658701/199437018153361454209938382389092836408723*c_1100_12^12 + 1042782759313671791302730448063680543899525/79774807261344581683975\ 3529556371345634892*c_1100_12^11 + 7425416531223381252277968605918578192980639/79774807261344581683975\ 3529556371345634892*c_1100_12^10 + 214976197466421084496119413967604269585351/113964010373349402405679\ 075650910192233556*c_1100_12^9 - 1043681689181522832271768280691045\ 7902084157/398874036306722908419876764778185672817446*c_1100_12^8 - 1278514353187266731803909815188545233837043/79774807261344581683975\ 3529556371345634892*c_1100_12^7 + 169449742043404150392244268395365\ 0424541044/199437018153361454209938382389092836408723*c_1100_12^6 + 17341915313081966767894101809240701511871845/7977480726134458168397\ 53529556371345634892*c_1100_12^5 - 3945147050830092299703503584383696894222753/79774807261344581683975\ 3529556371345634892*c_1100_12^4 - 229587736902426563611251270551975\ 0431946327/398874036306722908419876764778185672817446*c_1100_12^3 - 6684836718517746475224011932184533051933995/79774807261344581683975\ 3529556371345634892*c_1100_12^2 + 736618940493149286376588952077030\ 23056785/797748072613445816839753529556371345634892*c_1100_12 - 141264135883943182069142909375947375862092/199437018153361454209938\ 382389092836408723, c_0011_9 + 864618256126525532164399540536157207831/79774807261344581683\ 9753529556371345634892*c_1100_12^18 + 668428740483675920948042661745334509271/199437018153361454209938382\ 389092836408723*c_1100_12^17 - 240671698320627048467945930547812133\ 8713/797748072613445816839753529556371345634892*c_1100_12^16 - 11885982910164160889449552438078031750031/1139640103733494024056790\ 75650910192233556*c_1100_12^15 - 9623549593561816400374454557951107\ 426101/113964010373349402405679075650910192233556*c_1100_12^14 + 16177105654407702035378571639975497782608/2849100259333735060141976\ 8912727548058389*c_1100_12^13 + 11641660551254994139519266108326598\ 5748751/199437018153361454209938382389092836408723*c_1100_12^12 - 381424931286139537508343435747570311851375/797748072613445816839753\ 529556371345634892*c_1100_12^11 - 234568260127939567695007862738749\ 5474988351/797748072613445816839753529556371345634892*c_1100_12^10 - 47867922980285123031844140569209797029065/1139640103733494024056790\ 75650910192233556*c_1100_12^9 + 16990643371386712100707365515147823\ 24876726/199437018153361454209938382389092836408723*c_1100_12^8 - 44632361397754818855062066336549975231289/7977480726134458168397535\ 29556371345634892*c_1100_12^7 - 63680903229907165152226972546966681\ 4789035/199437018153361454209938382389092836408723*c_1100_12^6 - 4492035829030183356220364291897947303308111/79774807261344581683975\ 3529556371345634892*c_1100_12^5 + 153263663267925682502136548242710\ 0887774157/797748072613445816839753529556371345634892*c_1100_12^4 + 500858192190971594748334673039888402405381/398874036306722908419876\ 764778185672817446*c_1100_12^3 + 1618075808815997796964099634855558\ 917145177/797748072613445816839753529556371345634892*c_1100_12^2 - 101293526721246626765419097847516954332889/797748072613445816839753\ 529556371345634892*c_1100_12 + 172958628521357342069112120125217091\ 797010/199437018153361454209938382389092836408723, c_0101_0 - 9206990990669109191391381049485071232705/3988740363067229084\ 19876764778185672817446*c_1100_12^18 - 13630042684166667491266237995385269722076/1994370181533614542099383\ 82389092836408723*c_1100_12^17 + 2871549382213101364122181211706036\ 5955101/398874036306722908419876764778185672817446*c_1100_12^16 + 126053938741372779197203087556231418860845/569820051866747012028395\ 37825455096116778*c_1100_12^15 + 8696081313424915506656783159356379\ 4268979/56982005186674701202839537825455096116778*c_1100_12^14 - 347000594817428435721845174434848652398206/284910025933373506014197\ 68912727548058389*c_1100_12^13 - 2223391392548276410355021429455008\ 110626879/199437018153361454209938382389092836408723*c_1100_12^12 + 4182460924705408810151339446435143062179109/39887403630672290841987\ 6764778185672817446*c_1100_12^11 + 25014289356193605090664408375955042600198445/3988740363067229084198\ 76764778185672817446*c_1100_12^10 + 241790817076115089241650105919712617287003/569820051866747012028395\ 37825455096116778*c_1100_12^9 - 35925058586388539099101155923198234\ 612598105/199437018153361454209938382389092836408723*c_1100_12^8 + 5700883133130709155301836686991577574749647/39887403630672290841987\ 6764778185672817446*c_1100_12^7 + 103125299270651163802475228135009\ 90418267976/199437018153361454209938382389092836408723*c_1100_12^6 + 59360684469514743669706804177118110546311155/3988740363067229084198\ 76764778185672817446*c_1100_12^5 - 19962207570974404862589389217582261067395763/3988740363067229084198\ 76764778185672817446*c_1100_12^4 - 7177356816101518848935804222466608517400665/19943701815336145420993\ 8382389092836408723*c_1100_12^3 - 211011181431698084309598908777531\ 56129689581/398874036306722908419876764778185672817446*c_1100_12^2 + 148011929255253824528829471737165839461115/398874036306722908419876\ 764778185672817446*c_1100_12 - 228932371229989877079958775905861153\ 771562/199437018153361454209938382389092836408723, c_0101_10 + 1, c_0101_11 + 8660089941013628863826805421353002275101/398874036306722908\ 419876764778185672817446*c_1100_12^18 + 13251070752850275611151618514968525111847/1994370181533614542099383\ 82389092836408723*c_1100_12^17 - 2472337557160765699307048405822339\ 4442297/398874036306722908419876764778185672817446*c_1100_12^16 - 119145311368897199928360984487897969452201/569820051866747012028395\ 37825455096116778*c_1100_12^15 - 9368222221890840920878861462101995\ 5819149/56982005186674701202839537825455096116778*c_1100_12^14 + 324303875602665377151389611571632609964276/284910025933373506014197\ 68912727548058389*c_1100_12^13 + 2354713885997290073888648605322544\ 993773858/199437018153361454209938382389092836408723*c_1100_12^12 - 3642824369400868136789731326754954545397803/39887403630672290841987\ 6764778185672817446*c_1100_12^11 - 24363118992548376348336172490400738397025959/3988740363067229084198\ 76764778185672817446*c_1100_12^10 - 562116299138626209566372403661109613979189/569820051866747012028395\ 37825455096116778*c_1100_12^9 + 34243867169407277647778528785589633\ 499677744/199437018153361454209938382389092836408723*c_1100_12^8 + 2711582682736384542269016702406706410773921/39887403630672290841987\ 6764778185672817446*c_1100_12^7 - 113016626647298526069669936431834\ 94298495098/199437018153361454209938382389092836408723*c_1100_12^6 - 61851185287665400534403731981904029229249561/3988740363067229084198\ 76764778185672817446*c_1100_12^5 + 16723614123975294165504424944773653076965905/3988740363067229084198\ 76764778185672817446*c_1100_12^4 + 8716423659673373713639899537545730911387470/19943701815336145420993\ 8382389092836408723*c_1100_12^3 + 222765203069641096887633893469740\ 59515119569/398874036306722908419876764778185672817446*c_1100_12^2 - 318331891182546538137122001535887432258547/398874036306722908419876\ 764778185672817446*c_1100_12 + 264537325487959582576670726348019922\ 178923/199437018153361454209938382389092836408723, c_0101_2 + 213246442255324585348532130324148569671/79774807261344581683\ 9753529556371345634892*c_1100_12^18 - 11038551544451835601896054174791004643/1994370181533614542099383823\ 89092836408723*c_1100_12^17 - 2376852091484400557095871319261728996\ 237/797748072613445816839753529556371345634892*c_1100_12^16 - 2557872249976613334573986182047590237887/11396401037334940240567907\ 5650910192233556*c_1100_12^15 + 69458312180013372850206173374419129\ 86715/113964010373349402405679075650910192233556*c_1100_12^14 + 4691069566585734397901306923905707426863/28491002593337350601419768\ 912727548058389*c_1100_12^13 - 579656052102288892283117468707712653\ 32602/199437018153361454209938382389092836408723*c_1100_12^12 - 256854715106002419217566013608366400286171/797748072613445816839753\ 529556371345634892*c_1100_12^11 - 371530282399416697462055752601108\ 818321799/797748072613445816839753529556371345634892*c_1100_12^10 + 220026018070480492541237423377675880402127/113964010373349402405679\ 075650910192233556*c_1100_12^9 + 3187535619494039172554318777235380\ 29746027/199437018153361454209938382389092836408723*c_1100_12^8 - 4395989292260112846369692277188659046236453/79774807261344581683975\ 3529556371345634892*c_1100_12^7 + 478058295989986731805497055308452\ 913277152/199437018153361454209938382389092836408723*c_1100_12^6 - 3360992601968412298178031763506617942410975/79774807261344581683975\ 3529556371345634892*c_1100_12^5 + 581917897933712477072758308538492\ 2976657253/797748072613445816839753529556371345634892*c_1100_12^4 - 1175082079551065267004938070423841503580469/39887403630672290841987\ 6764778185672817446*c_1100_12^3 + 169708604055448728695822662740525\ 2815478897/797748072613445816839753529556371345634892*c_1100_12^2 - 1864171927292168128005330165969114019236185/79774807261344581683975\ 3529556371345634892*c_1100_12 + 30609777802467799513680128798978404\ 116775/199437018153361454209938382389092836408723, c_0101_6 + 2680265168357112665814455277227329374141/7977480726134458168\ 39753529556371345634892*c_1100_12^18 + 4178559615094946032058954242711321354517/39887403630672290841987676\ 4778185672817446*c_1100_12^17 - 71274461057526392441931740883390016\ 06265/797748072613445816839753529556371345634892*c_1100_12^16 - 36873900638627218779167288197229730409917/1139640103733494024056790\ 75650910192233556*c_1100_12^15 - 3100967226618149807054514406922393\ 0831489/113964010373349402405679075650910192233556*c_1100_12^14 + 49566608069341298251725163743575607712632/2849100259333735060141976\ 8912727548058389*c_1100_12^13 + 37661076892350424469455145198400752\ 4658701/199437018153361454209938382389092836408723*c_1100_12^12 - 1042782759313671791302730448063680543899525/79774807261344581683975\ 3529556371345634892*c_1100_12^11 - 7425416531223381252277968605918578192980639/79774807261344581683975\ 3529556371345634892*c_1100_12^10 - 214976197466421084496119413967604269585351/113964010373349402405679\ 075650910192233556*c_1100_12^9 + 1043681689181522832271768280691045\ 7902084157/398874036306722908419876764778185672817446*c_1100_12^8 + 1278514353187266731803909815188545233837043/79774807261344581683975\ 3529556371345634892*c_1100_12^7 - 169449742043404150392244268395365\ 0424541044/199437018153361454209938382389092836408723*c_1100_12^6 - 17341915313081966767894101809240701511871845/7977480726134458168397\ 53529556371345634892*c_1100_12^5 + 3945147050830092299703503584383696894222753/79774807261344581683975\ 3529556371345634892*c_1100_12^4 + 229587736902426563611251270551975\ 0431946327/398874036306722908419876764778185672817446*c_1100_12^3 + 6684836718517746475224011932184533051933995/79774807261344581683975\ 3529556371345634892*c_1100_12^2 - 736618940493149286376588952077030\ 23056785/797748072613445816839753529556371345634892*c_1100_12 + 141264135883943182069142909375947375862092/199437018153361454209938\ 382389092836408723, c_1001_0 + 4893595045234736969665832346551145195071/7977480726134458168\ 39753529556371345634892*c_1100_12^18 + 3709274249838341242873523059175803597019/19943701815336145420993838\ 2389092836408723*c_1100_12^17 - 14141209769625743093701062531752469\ 097765/797748072613445816839753529556371345634892*c_1100_12^16 - 67123016379346031001003058004634980011779/1139640103733494024056790\ 75650910192233556*c_1100_12^15 - 5104292832801330219651003394113425\ 1369225/113964010373349402405679075650910192233556*c_1100_12^14 + 91098660040985618849847674488049594549705/2849100259333735060141976\ 8912727548058389*c_1100_12^13 + 63665392875481600872508158653955462\ 6051260/199437018153361454209938382389092836408723*c_1100_12^12 - 2007206224347034449615821841821446158099531/79774807261344581683975\ 3529556371345634892*c_1100_12^11 - 13449429033197379657040727361730863067714239/7977480726134458168397\ 53529556371345634892*c_1100_12^10 - 274091476934601430632806509935894630879353/113964010373349402405679\ 075650910192233556*c_1100_12^9 + 9486686432002608401545647574768609\ 189299790/199437018153361454209938382389092836408723*c_1100_12^8 - 66205519111160031855895587871772704930501/7977480726134458168397535\ 29556371345634892*c_1100_12^7 - 26256223433810023807892255220336231\ 99988103/199437018153361454209938382389092836408723*c_1100_12^6 - 33042308390340423379179930097846694380249235/7977480726134458168397\ 53529556371345634892*c_1100_12^5 + 8064597783318540196119597271038622420929609/79774807261344581683975\ 3529556371345634892*c_1100_12^4 + 428172075728353038620615104783614\ 4253622051/398874036306722908419876764778185672817446*c_1100_12^3 + 13499810287433884768060547487701721062948233/7977480726134458168397\ 53529556371345634892*c_1100_12^2 - 79174458249895006952698187731965162285981/7977480726134458168397535\ 29556371345634892*c_1100_12 + 1041928909752378587804408991753487056\ 65358/199437018153361454209938382389092836408723, c_1100_0 - 4893595045234736969665832346551145195071/7977480726134458168\ 39753529556371345634892*c_1100_12^18 - 3709274249838341242873523059175803597019/19943701815336145420993838\ 2389092836408723*c_1100_12^17 + 14141209769625743093701062531752469\ 097765/797748072613445816839753529556371345634892*c_1100_12^16 + 67123016379346031001003058004634980011779/1139640103733494024056790\ 75650910192233556*c_1100_12^15 + 5104292832801330219651003394113425\ 1369225/113964010373349402405679075650910192233556*c_1100_12^14 - 91098660040985618849847674488049594549705/2849100259333735060141976\ 8912727548058389*c_1100_12^13 - 63665392875481600872508158653955462\ 6051260/199437018153361454209938382389092836408723*c_1100_12^12 + 2007206224347034449615821841821446158099531/79774807261344581683975\ 3529556371345634892*c_1100_12^11 + 13449429033197379657040727361730863067714239/7977480726134458168397\ 53529556371345634892*c_1100_12^10 + 274091476934601430632806509935894630879353/113964010373349402405679\ 075650910192233556*c_1100_12^9 - 9486686432002608401545647574768609\ 189299790/199437018153361454209938382389092836408723*c_1100_12^8 + 66205519111160031855895587871772704930501/7977480726134458168397535\ 29556371345634892*c_1100_12^7 + 26256223433810023807892255220336231\ 99988103/199437018153361454209938382389092836408723*c_1100_12^6 + 33042308390340423379179930097846694380249235/7977480726134458168397\ 53529556371345634892*c_1100_12^5 - 8064597783318540196119597271038622420929609/79774807261344581683975\ 3529556371345634892*c_1100_12^4 - 428172075728353038620615104783614\ 4253622051/398874036306722908419876764778185672817446*c_1100_12^3 - 13499810287433884768060547487701721062948233/7977480726134458168397\ 53529556371345634892*c_1100_12^2 + 79174458249895006952698187731965162285981/7977480726134458168397535\ 29556371345634892*c_1100_12 - 1041928909752378587804408991753487056\ 65358/199437018153361454209938382389092836408723, c_1100_12^19 + 3*c_1100_12^18 - 3*c_1100_12^17 - 96*c_1100_12^16 - 70*c_1100_12^15 + 525*c_1100_12^14 + 508*c_1100_12^13 - 433*c_1100_12^12 - 2760*c_1100_12^11 - 300*c_1100_12^10 + 7821*c_1100_12^9 - 207*c_1100_12^8 - 2301*c_1100_12^7 - 6897*c_1100_12^6 + 2176*c_1100_12^5 + 1671*c_1100_12^4 + 2473*c_1100_12^3 - 62*c_1100_12^2 + 83*c_1100_12 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.730 Total time: 11.939 seconds, Total memory usage: 118.22MB