Magma V2.19-8 Wed Aug 21 2013 00:16:09 on localhost [Seed = 1275732342] Type ? for help. Type -D to quit. Loading file "K13n4975__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4975 geometric_solution 11.92366074 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.398491273018 0.722247254818 2 3 4 0 1302 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537862238609 1.242957779106 5 1 0 6 0132 2031 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 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.714695631059 0.565370001358 7 1 5 7 0132 0132 2031 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.025508706904 0.555596071869 8 9 10 1 0132 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 1 0 -1 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.020010483815 1.200737139149 2 11 11 3 0132 0132 0321 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528984112196 0.722367176386 9 7 2 10 0132 2103 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 0 0 0 -1 0 1 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.090713030780 0.792995263713 3 6 8 3 0132 2103 3012 2103 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.025508706904 0.555596071869 4 7 12 12 0132 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 4 -5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482649335569 0.665819407392 6 4 10 12 0132 0132 0213 0213 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 0 1 1 0 -1 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210183956296 0.592858350879 11 9 6 4 3120 0213 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 0 0 0 0 0 0 -1 1 0 0 -1 -4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306351122227 0.441107683754 12 5 5 10 0132 0132 0321 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 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.528984112196 0.722367176386 11 8 8 9 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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.727671641314 0.936498074336 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_3'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_1001_4'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_4'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1100_0'], 's_3_10' : negation(d['1']), 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0011_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0101_7'], 'c_1100_8' : d['c_1001_4'], '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_1001_4'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_1'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_11'], 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_11']), 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : d['c_0101_12'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0011_11']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0011_10']})} 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_1, c_0011_10, c_0011_11, c_0011_4, c_0101_0, c_0101_11, c_0101_12, c_0101_3, c_0101_7, c_1001_1, c_1001_4, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 7797748028900745286997553837332465611768237661468025161/66675647550\ 00477113505342198708149061658501698377678760*c_1100_0^18 + 21272484604753900119813496932526866216666643797340911467/7408405283\ 33386345945038022078683229073166855375297640*c_1100_0^17 + 509660349400209367714102148491068038577196009751546371/168372847348\ 4968968056904595633370975166288307671131*c_1100_0^16 + 659980174354354491020501427025019885577298523991300985087/370420264\ 166693172972519011039341614536583427687648820*c_1100_0^15 + 42089144125513417093473613177029761155199059988043039297013/6667564\ 755000477113505342198708149061658501698377678760*c_1100_0^14 + 21979054253873163190878013638860669061464213065124707553983/1666891\ 188750119278376335549677037265414625424594419690*c_1100_0^13 + 29186430527436295559547729986421852722704956220693117112833/2222521\ 585000159037835114066236049687219500566125892920*c_1100_0^12 - 32205908627124484594099871002514689685830431323367939662249/6667564\ 755000477113505342198708149061658501698377678760*c_1100_0^11 - 215464079938290485667838264861690018776574448267125583759881/666756\ 4755000477113505342198708149061658501698377678760*c_1100_0^10 - 5028264191712185706392706658398858188472225818967839518771/22991602\ 6034499210810529041334763760746844886150954440*c_1100_0^9 + 62249513862151270622359370396322915871596632588805465714761/5556303\ 96250039759458778516559012421804875141531473230*c_1100_0^8 + 3233942123375679979137926708733067774698307351706793980761/12393243\ 039034344077147476205777228739142196465386020*c_1100_0^7 + 407100086557428797344863971734720765773214364359362700081879/666756\ 4755000477113505342198708149061658501698377678760*c_1100_0^6 - 114069979199413996304316470898532998996377844668460261509/277676359\ 945047356051363576491260580612131505013230*c_1100_0^5 - 7743635075182513321622931497769334516580061206839628923549/15327735\ 068966614054035269422317584049789659076730296*c_1100_0^4 - 325084831776115350236034297805806005966740338404133002066197/333378\ 2377500238556752671099354074530829250849188839380*c_1100_0^3 + 199469299149548043112597683579379277009133646093306702051389/740840\ 528333386345945038022078683229073166855375297640*c_1100_0^2 + 201356729060680302967362460395657225083789590623749293451683/740840\ 528333386345945038022078683229073166855375297640*c_1100_0 + 67597104939269244991459333379811106240972332309839130602699/7408405\ 28333386345945038022078683229073166855375297640, c_0011_0 - 1, c_0011_1 + 26218840556584156994156843940964559658948997831/204540251128\ 828878118902677862453164968002122792064*c_1100_0^18 + 152914779369890840874769919326739384188172890515/681800837096096260\ 39634225954151054989334040930688*c_1100_0^17 + 50187252400440492374118836360789967308393469819/3099094714073164819\ 983373907006866135878820042304*c_1100_0^16 + 4110388188859045308938017839229975522215880695873/68180083709609626\ 039634225954151054989334040930688*c_1100_0^15 + 22999347089311556296066777692128400782443130490311/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^14 + 11552947295622996524169522475365107246440805731019/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^13 - 8503860017754111290598150918360747704117599430221/68180083709609626\ 039634225954151054989334040930688*c_1100_0^12 - 12322039924696595941448590475555921834261464276627/5113506278220721\ 9529725669465613291242000530698016*c_1100_0^11 + 289965520570201718671619909018981898265617654511/204540251128828878\ 118902677862453164968002122792064*c_1100_0^10 + 353389480729947195800516782815374060850407848131905/204540251128828\ 878118902677862453164968002122792064*c_1100_0^9 + 71110412738957862566152160464837281564470268899995/3409004185480481\ 3019817112977075527494667020465344*c_1100_0^8 - 1756054282774142391253444858146793115291006091197/76037268077631553\ 2040530400975662323301123133056*c_1100_0^7 - 851709466654376498316157028865478968388449228467167/204540251128828\ 878118902677862453164968002122792064*c_1100_0^6 + 1098844370027952584014510486370649164924243320483/14821757328176005\ 66079004912046762064985522628928*c_1100_0^5 + 75581950464334704968126916987823158335656291561559/3409004185480481\ 3019817112977075527494667020465344*c_1100_0^4 - 52238585178966839643858410400135455689146429864811/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^3 - 45348260459549994854172243309955922062963305507699/6818008370960962\ 6039634225954151054989334040930688*c_1100_0^2 - 38028834093321294423108212710366868751216818181573/6818008370960962\ 6039634225954151054989334040930688*c_1100_0 + 18417747794156805098774731133361186368938187896663/6818008370960962\ 6039634225954151054989334040930688, c_0011_10 - 21928878019497042065479215501852151856427467935/20454025112\ 8828878118902677862453164968002122792064*c_1100_0^18 - 352768739342845514605018632529748763015783767201/204540251128828878\ 118902677862453164968002122792064*c_1100_0^17 - 33667331314964725700982305948951820656133381683/3099094714073164819\ 983373907006866135878820042304*c_1100_0^16 - 2083280474153395843496835298248838730946770956201/68180083709609626\ 039634225954151054989334040930688*c_1100_0^15 - 3252330227909867594866420112890094542678862562911/20454025112882887\ 8118902677862453164968002122792064*c_1100_0^14 + 8250928155648394849239657786592162026274408840767/68180083709609626\ 039634225954151054989334040930688*c_1100_0^13 + 56589095672263726774324858022321078198421271360127/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^12 + 11667433695874832013858015893393035174853639912203/5113506278220721\ 9529725669465613291242000530698016*c_1100_0^11 - 36124618997550805769054436148794545875035222052871/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^10 - 317003598969522765104179714584357158270466957075049/204540251128828\ 878118902677862453164968002122792064*c_1100_0^9 + 6270382206746867404560794611724642522149821453319/10227012556441443\ 9059451338931226582484001061396032*c_1100_0^8 + 3627080951464573098240340059476256422149129692293/76037268077631553\ 2040530400975662323301123133056*c_1100_0^7 + 210091947122123239983053721010666304236997408404285/681800837096096\ 26039634225954151054989334040930688*c_1100_0^6 - 14138825411319537361653179309545652262228528762577/4446527198452801\ 698237014736140286194956567886784*c_1100_0^5 - 111138318221389151183854659824552621370569367449455/340900418548048\ 13019817112977075527494667020465344*c_1100_0^4 - 179262440798740647672895990084476868755854253529373/204540251128828\ 878118902677862453164968002122792064*c_1100_0^3 + 88108050615339126168513435287176575151129009774145/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^2 - 19340631479260807624012341147179918702028148453299/6818008370960962\ 6039634225954151054989334040930688*c_1100_0 - 35393988897707918082221742420463293340963053119471/6818008370960962\ 6039634225954151054989334040930688, c_0011_11 - 709296744543385885309060949503728792934583351/6198189428146\ 329639966747814013732271757640084608*c_1100_0^18 - 36365721489340587675337142484894220971751244507/1859456828443898891\ 9900243442041196815272920253824*c_1100_0^17 - 41994090012620704247603126560330129384069469643/3099094714073164819\ 983373907006866135878820042304*c_1100_0^16 - 286869995589507196102257675727499193523993734387/619818942814632963\ 9966747814013732271757640084608*c_1100_0^15 - 409284267646208763712052452500033684809442946871/619818942814632963\ 9966747814013732271757640084608*c_1100_0^14 + 749961964518698093491010153567817875923596712079/185945682844389889\ 19900243442041196815272920253824*c_1100_0^13 + 4500605138018900844998027568410947673401517227397/18594568284438988\ 919900243442041196815272920253824*c_1100_0^12 + 442406847153846614506984682019127588681913286115/154954735703658240\ 9991686953503433067939410021152*c_1100_0^11 - 1477457809447921854904157312024422639063214789533/18594568284438988\ 919900243442041196815272920253824*c_1100_0^10 - 31400802384413806414679402236357827451028523048179/1859456828443898\ 8919900243442041196815272920253824*c_1100_0^9 - 12528451489098198803161430554696922670962655742307/9297284142219494\ 459950121721020598407636460126912*c_1100_0^8 + 90096918073549316798680079161604549201363555853/2304159638716107672\ 8500921241686737069731004032*c_1100_0^7 + 89247835431218862673153474125769628332445504412269/1859456828443898\ 8919900243442041196815272920253824*c_1100_0^6 - 933093206628403761243061481364711758190428810923/404229745313891063\ 476092248740026017723324353344*c_1100_0^5 - 12500136061632130616017639342319648147063124079189/3099094714073164\ 819983373907006866135878820042304*c_1100_0^4 - 3609578291078388059049173101402661712004353390309/61981894281463296\ 39966747814013732271757640084608*c_1100_0^3 + 8892989623221148910919163622061869892720896288315/18594568284438988\ 919900243442041196815272920253824*c_1100_0^2 + 235518072045504594910340378145367370801847210559/619818942814632963\ 9966747814013732271757640084608*c_1100_0 - 5753172632290913643794546237602635076891815472469/61981894281463296\ 39966747814013732271757640084608, c_0011_4 + 34453453422520053279141391140914126341862470921/409080502257\ 657756237805355724906329936004245584128*c_1100_0^18 + 572531492513951269374654781056694251373209051479/409080502257657756\ 237805355724906329936004245584128*c_1100_0^17 + 57708999232230791534464382623696477666062759381/6198189428146329639\ 966747814013732271757640084608*c_1100_0^16 + 4032623951553539241346701828272095573870399969199/13636016741921925\ 2079268451908302109978668081861376*c_1100_0^15 + 13574283446066805041121103026032966245832933238569/4090805022576577\ 56237805355724906329936004245584128*c_1100_0^14 - 7574653881381281876210111511631152831940608562537/13636016741921925\ 2079268451908302109978668081861376*c_1100_0^13 - 77787823448484822539847090336058663289226365500169/4090805022576577\ 56237805355724906329936004245584128*c_1100_0^12 - 20093039647562431127484800266560987347768234434621/1022701255644144\ 39059451338931226582484001061396032*c_1100_0^11 + 36913994156570575918432177804988141316539977662305/4090805022576577\ 56237805355724906329936004245584128*c_1100_0^10 + 500571929240888973327522704330240131310662656713935/409080502257657\ 756237805355724906329936004245584128*c_1100_0^9 + 104664799833538231006462932439264765214826769391711/204540251128828\ 878118902677862453164968002122792064*c_1100_0^8 - 4732658824955183537291943219253659312106590577523/15207453615526310\ 64081060801951324646602246266112*c_1100_0^7 - 413274115791948193155791865966237624299876027087643/136360167419219\ 252079268451908302109978668081861376*c_1100_0^6 + 16336790487108953499236030086873743085020724426471/8893054396905603\ 396474029472280572389913135773568*c_1100_0^5 + 201430312045571551840593647413748801678112385697721/681800837096096\ 26039634225954151054989334040930688*c_1100_0^4 + 179168029271591751978357825290468329091305634284571/409080502257657\ 756237805355724906329936004245584128*c_1100_0^3 - 394248351214918251426702256479777698973902929268855/409080502257657\ 756237805355724906329936004245584128*c_1100_0^2 + 41565340902922493351331614269876748745505179589269/1363601674192192\ 52079268451908302109978668081861376*c_1100_0 + 58390841675182480687011510690644417809676297133849/1363601674192192\ 52079268451908302109978668081861376, c_0101_0 + 82656346993843412138049019703/202728482217752595838850936331\ 3008*c_1100_0^18 + 1598356334563589897174215772009/2027284822177525\ 958388509363313008*c_1100_0^17 + 591841740448631398427918960153/921\ 49310098978452654023152877864*c_1100_0^16 + 56926647910731188485689571473011/2027284822177525958388509363313008\ *c_1100_0^15 + 138346867137848684803482529219815/202728482217752595\ 8388509363313008*c_1100_0^14 + 162624062876576687444206528826539/20\ 27284822177525958388509363313008*c_1100_0^13 + 17731660849665498172935076038841/2027284822177525958388509363313008\ *c_1100_0^12 - 47494232360821646851463168624791/5068212055443814895\ 97127340828252*c_1100_0^11 - 212789425457935908265206197341025/2027\ 284822177525958388509363313008*c_1100_0^10 + 1046747224573172268810275902569601/20272848221775259583885093633130\ 08*c_1100_0^9 + 1540955628110167266037060958192777/1013642411088762\ 979194254681656504*c_1100_0^8 + 143680929181931209552441521331/7536\ 374803633925495868064547632*c_1100_0^7 - 3160546418237985278573225962817919/20272848221775259583885093633130\ 08*c_1100_0^6 - 43920502081254409333630312641583/440714091777723034\ 43228464419848*c_1100_0^5 - 18607727016544617774106949536363/101364\ 2411088762979194254681656504*c_1100_0^4 + 325388236076653647486543330370085/202728482217752595838850936331300\ 8*c_1100_0^3 - 643385154552745683627612276732137/202728482217752595\ 8388509363313008*c_1100_0^2 - 1584185845697453205806071390032815/20\ 27284822177525958388509363313008*c_1100_0 + 2173827707944513683550296222194197/20272848221775259583885093633130\ 08, c_0101_11 + 426997817535787962676750712149547245524444205/2556753139110\ 3609764862834732806645621000265349008*c_1100_0^18 + 2764580353485937446526241791375840367847566725/85225104637012032549\ 54278244268881873666755116336*c_1100_0^17 + 1036899804631453225242073758451491487515565697/38738683925914560249\ 7921738375858266984852505288*c_1100_0^16 + 101874680723745790779222606035563853272308346019/852251046370120325\ 4954278244268881873666755116336*c_1100_0^15 + 759175037015291486925170490263301605458346464337/255675313911036097\ 64862834732806645621000265349008*c_1100_0^14 + 848822030562573122759882310387430217648780026697/255675313911036097\ 64862834732806645621000265349008*c_1100_0^13 - 125992470777258093777644559988383807984324696923/852251046370120325\ 4954278244268881873666755116336*c_1100_0^12 - 600214196506225908717156741745060491539531764945/639188284777590244\ 1215708683201661405250066337252*c_1100_0^11 - 2366947101081586636923105966716985009837475284587/25567531391103609\ 764862834732806645621000265349008*c_1100_0^10 + 5758044737399985670287883899390646018066585443431/25567531391103609\ 764862834732806645621000265349008*c_1100_0^9 + 3223242934622325710345763913325211796711563017857/42612552318506016\ 27477139122134440936833377558168*c_1100_0^8 + 30221717772064469280291611521916817048928064089/9504658509703944150\ 5066300121957790412640391632*c_1100_0^7 - 36374188140134979435271600219428565464235000988209/2556753139110360\ 9764862834732806645621000265349008*c_1100_0^6 - 293081967890231059588125984795174502136409355699/185271966602200070\ 759875614005845258123190328616*c_1100_0^5 + 2469175241337628325223956444422388445604801321365/42612552318506016\ 27477139122134440936833377558168*c_1100_0^4 + 24805061846876834738584276449371604416369883555599/2556753139110360\ 9764862834732806645621000265349008*c_1100_0^3 + 536601682981480554997142397255100807022023024707/852251046370120325\ 4954278244268881873666755116336*c_1100_0^2 + 1543842143268959049652362013243084942770579645345/85225104637012032\ 54954278244268881873666755116336*c_1100_0 + 3023533069939624554332694098651334985514825258561/85225104637012032\ 54954278244268881873666755116336, c_0101_12 + 56217887756337499282215062530036277704674966115/40908050225\ 7657756237805355724906329936004245584128*c_1100_0^18 + 933051858937232688692799618670476136036885862077/409080502257657756\ 237805355724906329936004245584128*c_1100_0^17 + 93613843422940068362706482394867422414342943271/6198189428146329639\ 966747814013732271757640084608*c_1100_0^16 + 6445076899722410759896637634230564145551004099717/13636016741921925\ 2079268451908302109978668081861376*c_1100_0^15 + 19943138674402708553607199064749446036948026380739/4090805022576577\ 56237805355724906329936004245584128*c_1100_0^14 - 43280770509157881523609835563151506932143755022729/4090805022576577\ 56237805355724906329936004245584128*c_1100_0^13 - 134403680932458449598759232213624341922449556222819/409080502257657\ 756237805355724906329936004245584128*c_1100_0^12 - 32440679656341109457692220533487503854945322273375/1022701255644144\ 39059451338931226582484001061396032*c_1100_0^11 + 22613105215461772142522718452379416164307063937721/1363601674192192\ 52079268451908302109978668081861376*c_1100_0^10 + 274750973718420099334594524679448796384299588165367/136360167419219\ 252079268451908302109978668081861376*c_1100_0^9 + 158420368513128407853966950540618248502052014032405/204540251128828\ 878118902677862453164968002122792064*c_1100_0^8 - 8467899670828217567901622124364753779481663493361/15207453615526310\ 64081060801951324646602246266112*c_1100_0^7 - 1984181714843709839240323158932216775836157466232699/40908050225765\ 7756237805355724906329936004245584128*c_1100_0^6 + 32468910881355003971417681122241220119625766938989/8893054396905603\ 396474029472280572389913135773568*c_1100_0^5 + 295849317753113624079503737766388700298415078943347/681800837096096\ 26039634225954151054989334040930688*c_1100_0^4 + 417589019537063155264679579571061081412690196534569/409080502257657\ 756237805355724906329936004245584128*c_1100_0^3 + 22386478273374723049453786220063411031785191377635/4090805022576577\ 56237805355724906329936004245584128*c_1100_0^2 - 8065475529401979191334420294714993499089521314969/13636016741921925\ 2079268451908302109978668081861376*c_1100_0 + 138966934030633455640911991377540140563869749499411/136360167419219\ 252079268451908302109978668081861376, c_0101_3 + 8448286853261115255631073733016176606874340525/6818008370960\ 9626039634225954151054989334040930688*c_1100_0^18 + 419118667826508013321648435522768931844125368601/204540251128828878\ 118902677862453164968002122792064*c_1100_0^17 + 41962529752016351502918896016563752556257907259/3099094714073164819\ 983373907006866135878820042304*c_1100_0^16 + 2898277919943362169730616146533349557125237724353/68180083709609626\ 039634225954151054989334040930688*c_1100_0^15 + 3108576841344066496755928011665502462115211425869/68180083709609626\ 039634225954151054989334040930688*c_1100_0^14 - 17962208222444599565639914876677044337632986308725/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^13 - 59612914970917921024988327462042289590045064086279/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^12 - 5489715755974879761198423275784506369056631343921/17045020927402406\ 509908556488537763747333510232672*c_1100_0^11 + 17189042188898112673669588415058665796335419776175/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^10 + 363067956868722650466482785779482326414999640622497/204540251128828\ 878118902677862453164968002122792064*c_1100_0^9 + 71087448224188949643737539308080440598927690975249/1022701255644144\ 39059451338931226582484001061396032*c_1100_0^8 - 1128435736429352447999335722433640628585901726527/25345756025877184\ 4013510133658554107767041044352*c_1100_0^7 - 921269346487449555431333964787427436424872233118527/204540251128828\ 878118902677862453164968002122792064*c_1100_0^6 + 7104858181953991931538155674461464210954704225801/44465271984528016\ 98237014736140286194956567886784*c_1100_0^5 + 130891720152090177785646311379931728935407778020375/340900418548048\ 13019817112977075527494667020465344*c_1100_0^4 + 125900978524585108527190067226483234695604440658055/681800837096096\ 26039634225954151054989334040930688*c_1100_0^3 - 75229610223783592848582017753054155782600457181177/2045402511288288\ 78118902677862453164968002122792064*c_1100_0^2 + 31691368625412480021231237253124598244192785616059/6818008370960962\ 6039634225954151054989334040930688*c_1100_0 + 59582253457224914516883295209673973225081655187959/6818008370960962\ 6039634225954151054989334040930688, c_0101_7 - 1566939349618248252473257461554833782184032049/1278376569555\ 1804882431417366403322810500132674504*c_1100_0^18 - 27131227719291693976215020208780458034206845385/1278376569555180488\ 2431417366403322810500132674504*c_1100_0^17 - 2942441397731249339926478398133733530171963313/19369341962957280124\ 8960869187929133492426252644*c_1100_0^16 - 240774932853431175033837078913240740568092371723/426125523185060162\ 7477139122134440936833377558168*c_1100_0^15 - 1393934556539490854906266409283985175332087464335/12783765695551804\ 882431417366403322810500132674504*c_1100_0^14 - 336894920117089481306746799339161180019707341943/426125523185060162\ 7477139122134440936833377558168*c_1100_0^13 + 565511886465198453919535710626475964907812317511/127837656955518048\ 82431417366403322810500132674504*c_1100_0^12 + 490753580428637850551866323688764542915922896755/319594142388795122\ 0607854341600830702625033168626*c_1100_0^11 + 99410570215467821060319768822954228167417157319/1278376569555180488\ 2431417366403322810500132674504*c_1100_0^10 - 19448003772789816318802281558604665088040513165641/1278376569555180\ 4882431417366403322810500132674504*c_1100_0^9 - 10829549653176915019703027752822508582493490063235/6391882847775902\ 441215708683201661405250066337252*c_1100_0^8 + 63589282758458029655202717554434215084039917855/4752329254851972075\ 2533150060978895206320195816*c_1100_0^7 + 9140532225369794906021167760443815035581449622633/42612552318506016\ 27477139122134440936833377558168*c_1100_0^6 - 36320191202150435261461617643446116639220363709/2779079499033001061\ 39813421008767887184785492924*c_1100_0^5 - 300832976756585021701457905445675501724914893829/213062761592530081\ 3738569561067220468416688779084*c_1100_0^4 + 3257814623147417474343792176763810241635378033505/12783765695551804\ 882431417366403322810500132674504*c_1100_0^3 + 6327662013928427248043721326183083101028891175093/12783765695551804\ 882431417366403322810500132674504*c_1100_0^2 + 1457980924485416852226324869869417235212328609335/42612552318506016\ 27477139122134440936833377558168*c_1100_0 - 784948826002878517134381423036890105948004451031/426125523185060162\ 7477139122134440936833377558168, c_1001_1 + 1566939349618248252473257461554833782184032049/1278376569555\ 1804882431417366403322810500132674504*c_1100_0^18 + 27131227719291693976215020208780458034206845385/1278376569555180488\ 2431417366403322810500132674504*c_1100_0^17 + 2942441397731249339926478398133733530171963313/19369341962957280124\ 8960869187929133492426252644*c_1100_0^16 + 240774932853431175033837078913240740568092371723/426125523185060162\ 7477139122134440936833377558168*c_1100_0^15 + 1393934556539490854906266409283985175332087464335/12783765695551804\ 882431417366403322810500132674504*c_1100_0^14 + 336894920117089481306746799339161180019707341943/426125523185060162\ 7477139122134440936833377558168*c_1100_0^13 - 565511886465198453919535710626475964907812317511/127837656955518048\ 82431417366403322810500132674504*c_1100_0^12 - 490753580428637850551866323688764542915922896755/319594142388795122\ 0607854341600830702625033168626*c_1100_0^11 - 99410570215467821060319768822954228167417157319/1278376569555180488\ 2431417366403322810500132674504*c_1100_0^10 + 19448003772789816318802281558604665088040513165641/1278376569555180\ 4882431417366403322810500132674504*c_1100_0^9 + 10829549653176915019703027752822508582493490063235/6391882847775902\ 441215708683201661405250066337252*c_1100_0^8 - 63589282758458029655202717554434215084039917855/4752329254851972075\ 2533150060978895206320195816*c_1100_0^7 - 9140532225369794906021167760443815035581449622633/42612552318506016\ 27477139122134440936833377558168*c_1100_0^6 + 36320191202150435261461617643446116639220363709/2779079499033001061\ 39813421008767887184785492924*c_1100_0^5 + 300832976756585021701457905445675501724914893829/213062761592530081\ 3738569561067220468416688779084*c_1100_0^4 - 3257814623147417474343792176763810241635378033505/12783765695551804\ 882431417366403322810500132674504*c_1100_0^3 - 6327662013928427248043721326183083101028891175093/12783765695551804\ 882431417366403322810500132674504*c_1100_0^2 - 1457980924485416852226324869869417235212328609335/42612552318506016\ 27477139122134440936833377558168*c_1100_0 + 784948826002878517134381423036890105948004451031/426125523185060162\ 7477139122134440936833377558168, c_1001_4 - 236175974097210228453311991087629872830835427/12396378856292\ 659279933495628027464543515280169216*c_1100_0^18 - 12415313565615088838906191528239884764854249271/3718913656887797783\ 9800486884082393630545840507648*c_1100_0^17 - 15100055198654192942947155637014987960336965255/6198189428146329639\ 966747814013732271757640084608*c_1100_0^16 - 115803107792318732035773138606172365246516030479/123963788562926592\ 79933495628027464543515280169216*c_1100_0^15 - 233674364538566870217257539281751258658892760771/123963788562926592\ 79933495628027464543515280169216*c_1100_0^14 - 513753222063526648825268736072416922534969823205/371891365688779778\ 39800486884082393630545840507648*c_1100_0^13 + 591592467809411590277946298212006074632880735017/371891365688779778\ 39800486884082393630545840507648*c_1100_0^12 + 155395750730481215636324775807551969624783926815/309909471407316481\ 9983373907006866135878820042304*c_1100_0^11 + 673801093626093845669547880643388840043594811647/371891365688779778\ 39800486884082393630545840507648*c_1100_0^10 - 9557479665919731979418470145428247340781963020463/37189136568877977\ 839800486884082393630545840507648*c_1100_0^9 - 6593808426194743647529607436434113679173215440191/18594568284438988\ 919900243442041196815272920253824*c_1100_0^8 + 4841055142564486560547898866413809748045423729/46083192774322153457\ 001842483373474139462008064*c_1100_0^7 + 30946880655798149811886833706631253389498126194801/3718913656887797\ 7839800486884082393630545840507648*c_1100_0^6 + 394167614049346344355435470212293810974655630393/808459490627782126\ 952184497480052035446648706688*c_1100_0^5 - 4875253133661224387857501059158860069583840414169/61981894281463296\ 39966747814013732271757640084608*c_1100_0^4 - 7647785907949046296673007644852061724009070196393/12396378856292659\ 279933495628027464543515280169216*c_1100_0^3 + 16599776562113513780711965199698666826954282014807/3718913656887797\ 7839800486884082393630545840507648*c_1100_0^2 + 6490281521178696180135761106247618985508249389131/12396378856292659\ 279933495628027464543515280169216*c_1100_0 - 543000844086561939619132249703907973470617367609/123963788562926592\ 79933495628027464543515280169216, c_1100_0^19 + 18*c_1100_0^18 + 135*c_1100_0^17 + 531*c_1100_0^16 + 1088*c_1100_0^15 + 752*c_1100_0^14 - 1146*c_1100_0^13 - 3079*c_1100_0^12 - 1571*c_1100_0^11 + 13586*c_1100_0^10 + 23907*c_1100_0^9 - 10837*c_1100_0^8 - 48886*c_1100_0^7 - 20313*c_1100_0^6 + 22620*c_1100_0^5 + 22421*c_1100_0^4 + 666*c_1100_0^3 - 5958*c_1100_0^2 + 3096*c_1100_0 + 4905 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_10, c_0011_11, c_0011_4, c_0101_0, c_0101_11, c_0101_12, c_0101_3, c_0101_7, c_1001_1, c_1001_4, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 834997258807258635471800165/30173740895474667397731*c_1001_4^3*c_11\ 00_0^5 - 1447445023216445845808590642/10057913631824889132577*c_100\ 1_4^3*c_1100_0^4 - 4759717976227511358004582057/3017374089547466739\ 7731*c_1001_4^3*c_1100_0^3 + 5307952442558654861564268368/301737408\ 95474667397731*c_1001_4^3*c_1100_0^2 + 278125957008359717674983171/10057913631824889132577*c_1001_4^3*c_11\ 00_0 - 3813718059716969552694235891/30173740895474667397731*c_1001_\ 4^3 - 519848334402498325306480394/30173740895474667397731*c_1001_4^\ 2*c_1100_0^5 - 794480000731175674025987377/10057913631824889132577*\ c_1001_4^2*c_1100_0^4 - 1560330110730805367321970235/30173740895474\ 667397731*c_1001_4^2*c_1100_0^3 + 3983661831385748639057504963/3017\ 3740895474667397731*c_1001_4^2*c_1100_0^2 - 689720109622978664898542307/10057913631824889132577*c_1001_4^2*c_11\ 00_0 - 581502268758045197739894277/30173740895474667397731*c_1001_4\ ^2 + 62409451454008798494685766/10057913631824889132577*c_1001_4*c_\ 1100_0^5 + 298791981360445800461232940/10057913631824889132577*c_10\ 01_4*c_1100_0^4 + 242761079199527138415844752/100579136318248891325\ 77*c_1001_4*c_1100_0^3 - 451552436395373675520350130/10057913631824\ 889132577*c_1001_4*c_1100_0^2 + 146000169532995983386726579/1005791\ 3631824889132577*c_1001_4*c_1100_0 + 141095864434070268916284508/10057913631824889132577*c_1001_4 - 21759055962051478483817905/30173740895474667397731*c_1100_0^5 - 55076493182095857228918075/10057913631824889132577*c_1100_0^4 - 352213109519296464677894585/30173740895474667397731*c_1100_0^3 + 28596383917015057356704980/30173740895474667397731*c_1100_0^2 + 148151723363399363606815108/10057913631824889132577*c_1100_0 - 390653474148264796799944610/30173740895474667397731, c_0011_0 - 1, c_0011_1 - 1469/1517*c_1001_4^3*c_1100_0^5 - 6967/1517*c_1001_4^3*c_1100_0^4 - 5133/1517*c_1001_4^3*c_1100_0^3 + 12195/1517*c_1001_4^3*c_1100_0^2 - 2711/1517*c_1001_4^3*c_1100_0 - 5135/1517*c_1001_4^3 - 302/1517*c_1001_4^2*c_1100_0^5 - 1992/1517*c_1001_4^2*c_1100_0^4 - 3544/1517*c_1001_4^2*c_1100_0^3 + 1209/1517*c_1001_4^2*c_1100_0^2 + 4099/1517*c_1001_4^2*c_1100_0 - 3405/1517*c_1001_4^2 + 84/1517*c_1001_4*c_1100_0^5 + 323/1517*c_1001_4*c_1100_0^4 - 260/1517*c_1001_4*c_1100_0^3 - 1793/1517*c_1001_4*c_1100_0^2 + 186/1517*c_1001_4*c_1100_0 + 495/1517*c_1001_4 - 194/1517*c_1100_0^5 - 1360/1517*c_1100_0^4 - 2578/1517*c_1100_0^3 + 204/1517*c_1100_0^2 + 654/1517*c_1100_0 - 168/1517, c_0011_10 + 680/1517*c_1001_4^3*c_1100_0^5 + 4204/1517*c_1001_4^3*c_1100_0^4 + 6925/1517*c_1001_4^3*c_1100_0^3 - 2451/1517*c_1001_4^3*c_1100_0^2 - 6296/1517*c_1001_4^3*c_1100_0 + 4874/1517*c_1001_4^3 + 1210/1517*c_1001_4^2*c_1100_0^5 + 5339/1517*c_1001_4^2*c_1100_0^4 + 2395/1517*c_1001_4^2*c_1100_0^3 - 11344/1517*c_1001_4^2*c_1100_0^2 + 4413/1517*c_1001_4^2*c_1100_0 + 954/1517*c_1001_4^2 - 216/1517*c_1001_4*c_1100_0^5 - 1264/1517*c_1001_4*c_1100_0^4 - 1932/1517*c_1001_4*c_1100_0^3 + 493/1517*c_1001_4*c_1100_0^2 + 822/1517*c_1001_4*c_1100_0 - 406/1517*c_1001_4 - 368/1517*c_1100_0^5 - 1704/1517*c_1100_0^4 - 1606/1517*c_1100_0^3 + 2076/1517*c_1100_0^2 + 52/1517*c_1100_0 + 432/1517, c_0011_11 + 5135/1517*c_1001_4^3*c_1100_0^5 + 24206/1517*c_1001_4^3*c_1100_0^4 + 18708/1517*c_1001_4^3*c_1100_0^3 - 35943/1517*c_1001_4^3*c_1100_0^2 + 17330/1517*c_1001_4^3*c_1100_0 + 7559/1517*c_1001_4^3 - 406/1517*c_1001_4^2*c_1100_0^5 - 1814/1517*c_1001_4^2*c_1100_0^4 - 766/1517*c_1001_4^2*c_1100_0^3 + 4368/1517*c_1001_4^2*c_1100_0^2 - 899/1517*c_1001_4^2*c_1100_0 - 1634/1517*c_1001_4^2 - 495/1517*c_1001_4*c_1100_0^5 - 2391/1517*c_1001_4*c_1100_0^4 - 2152/1517*c_1001_4*c_1100_0^3 + 2710/1517*c_1001_4*c_1100_0^2 - 2288/1517*c_1001_4*c_1100_0 - 804/1517*c_1001_4 + 168/1517*c_1100_0^5 + 646/1517*c_1100_0^4 - 520/1517*c_1100_0^3 - 3586/1517*c_1100_0^2 + 372/1517*c_1100_0 + 990/1517, c_0011_4 + 4455/1517*c_1001_4^3*c_1100_0^5 + 20002/1517*c_1001_4^3*c_1100_0^4 + 11783/1517*c_1001_4^3*c_1100_0^3 - 33492/1517*c_1001_4^3*c_1100_0^2 + 23626/1517*c_1001_4^3*c_1100_0 + 2685/1517*c_1001_4^3 - 1875/1517*c_1001_4^2*c_1100_0^5 - 8781/1517*c_1001_4^2*c_1100_0^4 - 5899/1517*c_1001_4^2*c_1100_0^3 + 16563/1517*c_1001_4^2*c_1100_0^2 - 3610/1517*c_1001_4^2*c_1100_0 - 6769/1517*c_1001_4^2 - 612/1517*c_1001_4*c_1100_0^5 - 2570/1517*c_1001_4*c_1100_0^4 - 923/1517*c_1001_4*c_1100_0^3 + 4178/1517*c_1001_4*c_1100_0^2 - 6773/1517*c_1001_4*c_1100_0 - 139/1517*c_1001_4 + 869/1517*c_1100_0^5 + 3793/1517*c_1100_0^4 + 1789/1517*c_1100_0^3 - 9140/1517*c_1100_0^2 + 949/1517*c_1100_0 + 299/1517, c_0101_0 + 7/41*c_1100_0^5 + 44/41*c_1100_0^4 + 74/41*c_1100_0^3 - 23/41*c_1100_0^2 - 46/41*c_1100_0 + 31/41, c_0101_11 + 7/41*c_1001_4^2*c_1100_0^5 + 44/41*c_1001_4^2*c_1100_0^4 + 74/41*c_1001_4^2*c_1100_0^3 - 23/41*c_1001_4^2*c_1100_0^2 - 46/41*c_1001_4^2*c_1100_0 + 113/41*c_1001_4^2, c_0101_12 + 680/1517*c_1001_4^3*c_1100_0^5 + 4204/1517*c_1001_4^3*c_1100_0^4 + 6925/1517*c_1001_4^3*c_1100_0^3 - 2451/1517*c_1001_4^3*c_1100_0^2 - 6296/1517*c_1001_4^3*c_1100_0 + 4874/1517*c_1001_4^3 + 1210/1517*c_1001_4^2*c_1100_0^5 + 5339/1517*c_1001_4^2*c_1100_0^4 + 2395/1517*c_1001_4^2*c_1100_0^3 - 11344/1517*c_1001_4^2*c_1100_0^2 + 4413/1517*c_1001_4^2*c_1100_0 + 954/1517*c_1001_4^2 - 216/1517*c_1001_4*c_1100_0^5 - 1264/1517*c_1001_4*c_1100_0^4 - 1932/1517*c_1001_4*c_1100_0^3 + 493/1517*c_1001_4*c_1100_0^2 + 822/1517*c_1001_4*c_1100_0 - 406/1517*c_1001_4 - 257/1517*c_1100_0^5 - 1223/1517*c_1100_0^4 - 866/1517*c_1100_0^3 + 1928/1517*c_1100_0^2 - 244/1517*c_1100_0 - 160/1517, c_0101_3 - 6/41*c_1100_0^5 - 26/41*c_1100_0^4 + 1/41*c_1100_0^3 + 90/41*c_1100_0^2 - 25/41*c_1100_0 - 9/41, c_0101_7 - 1469/1517*c_1001_4^3*c_1100_0^5 - 6967/1517*c_1001_4^3*c_1100_0^4 - 5133/1517*c_1001_4^3*c_1100_0^3 + 12195/1517*c_1001_4^3*c_1100_0^2 - 2711/1517*c_1001_4^3*c_1100_0 - 5135/1517*c_1001_4^3 - 1634/1517*c_1001_4^2*c_1100_0^5 - 7764/1517*c_1001_4^2*c_1100_0^4 - 6356/1517*c_1001_4^2*c_1100_0^3 + 10570/1517*c_1001_4^2*c_1100_0^2 - 6002/1517*c_1001_4^2*c_1100_0 - 2369/1517*c_1001_4^2 + 84/1517*c_1001_4*c_1100_0^5 + 323/1517*c_1001_4*c_1100_0^4 - 260/1517*c_1001_4*c_1100_0^3 - 1793/1517*c_1001_4*c_1100_0^2 + 186/1517*c_1001_4*c_1100_0 + 495/1517*c_1001_4 - 194/1517*c_1100_0^5 - 1360/1517*c_1100_0^4 - 2578/1517*c_1100_0^3 + 204/1517*c_1100_0^2 + 654/1517*c_1100_0 - 168/1517, c_1001_1 - 3838/1517*c_1001_4^3*c_1100_0^5 - 17178/1517*c_1001_4^3*c_1100_0^4 - 9214/1517*c_1001_4^3*c_1100_0^3 + 32765/1517*c_1001_4^3*c_1100_0^2 - 15650/1517*c_1001_4^3*c_1100_0 - 3871/1517*c_1001_4^3 + 378/1517*c_1001_4^2*c_1100_0^5 + 2212/1517*c_1001_4^2*c_1100_0^4 + 3381/1517*c_1001_4^2*c_1100_0^3 - 1242/1517*c_1001_4^2*c_1100_0^2 - 2197/1517*c_1001_4^2*c_1100_0 + 1469/1517*c_1001_4^2 + 406/1517*c_1001_4*c_1100_0^5 + 1814/1517*c_1001_4*c_1100_0^4 + 766/1517*c_1001_4*c_1100_0^3 - 4368/1517*c_1001_4*c_1100_0^2 + 899/1517*c_1001_4*c_1100_0 + 117/1517*c_1001_4 - 432/1517*c_1100_0^5 - 2528/1517*c_1100_0^4 - 3864/1517*c_1100_0^3 + 986/1517*c_1100_0^2 - 1390/1517*c_1100_0 - 812/1517, c_1001_4^4 + c_1001_4^3*c_1100_0 + 11/41*c_1001_4^2*c_1100_0^5 + 34/41*c_1001_4^2*c_1100_0^4 + 5/41*c_1001_4^2*c_1100_0^3 + 40/41*c_1001_4^2*c_1100_0^2 - 2/41*c_1001_4^2*c_1100_0 - 4/41*c_1001_4^2 - 63/41*c_1001_4*c_1100_0^5 - 150/41*c_1001_4*c_1100_0^4 + 236/41*c_1001_4*c_1100_0^3 - 39/41*c_1001_4*c_1100_0^2 - 78/41*c_1001_4*c_1100_0 - 33/41*c_1001_4 - 102/41*c_1100_0^5 - 114/41*c_1100_0^4 + 181/41*c_1100_0^3 - 28/41*c_1100_0^2 - 56/41*c_1100_0 - 30/41, c_1100_0^6 + 5*c_1100_0^5 + 5*c_1100_0^4 - 6*c_1100_0^3 + c_1100_0^2 + 2*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.310 Total time: 5.519 seconds, Total memory usage: 64.12MB