Magma V2.19-8 Wed Aug 21 2013 00:14:49 on localhost [Seed = 593842089] Type ? for help. Type -D to quit. Loading file "K13n4269__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4269 geometric_solution 12.39219627 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.307848702690 0.990298506400 0 4 6 5 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548507552071 0.452187872401 0 0 8 7 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474152696228 0.678396051131 5 9 10 0 1023 0132 0132 0132 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 -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.329191124705 1.339636521595 6 1 10 7 0321 0132 1302 1023 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 1 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582056664879 0.576726742903 5 3 1 5 3201 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.397285510020 0.744291654558 4 11 9 1 0321 0132 3201 0132 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 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375063247280 1.042762694423 11 12 2 4 2031 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.480395783807 0.631249036418 9 12 11 2 3012 0213 2103 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.081820145246 1.246410014918 6 3 12 8 2310 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.826292326797 0.994251554163 4 12 11 3 2031 2031 0132 0132 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512287665064 0.395658599932 8 6 7 10 2103 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545871500069 0.653362220566 10 7 8 9 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701035797092 0.664902802942 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_7'], 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_0110_7'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : d['c_0011_12'], '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_0011_12'], 'c_0101_10' : d['c_0101_10'], '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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_2'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0110_7'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0110_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0101_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_2'], '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' : 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_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_11']), '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_10'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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' : d['c_0011_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : negation(d['c_0011_0'])})} 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_11, c_0011_12, c_0011_3, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_7, c_0101_9, c_0110_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 128732960167492005700754386541148394360437966102118/324346083475271\ 218997909627727191910092648247856983*c_1001_0^19 - 1367036964581771438054234221397246405958303662931659/32434608347527\ 1218997909627727191910092648247856983*c_1001_0^18 + 2489836982385593223976889060854231292461307033707624/10811536115842\ 3739665969875909063970030882749285661*c_1001_0^17 - 26139957254423049923564795124981495539073565920280252/3243460834752\ 71218997909627727191910092648247856983*c_1001_0^16 + 72149917798356754549549269233727962654350631410027240/3243460834752\ 71218997909627727191910092648247856983*c_1001_0^15 - 58957807114857976811943773478016056518731493258408775/1081153611584\ 23739665969875909063970030882749285661*c_1001_0^14 + 56656785567558822891135032711203880592563163441999494/4633515478218\ 1602713987089675313130013235463979569*c_1001_0^13 - 101275171276170450250910143944551541835077731684436272/463351547821\ 81602713987089675313130013235463979569*c_1001_0^12 + 390032628052409960302347933162759215701742896422559749/108115361158\ 423739665969875909063970030882749285661*c_1001_0^11 - 1553125973593361461581037022213042442355049894584249031/32434608347\ 5271218997909627727191910092648247856983*c_1001_0^10 + 2910104972087461611339861818622417358839787126028106983/32434608347\ 5271218997909627727191910092648247856983*c_1001_0^9 + 16463295030852691572796339791156635572845657144589771/8316566242955\ 672281997682762235690002375596098897*c_1001_0^8 + 5125228957884850109014467349693343739338077664024807672/32434608347\ 5271218997909627727191910092648247856983*c_1001_0^7 + 966012917163146142078375079025199880350488745872193873/108115361158\ 423739665969875909063970030882749285661*c_1001_0^6 + 3988265390011779949287385327767999412569941951962470970/32434608347\ 5271218997909627727191910092648247856983*c_1001_0^5 + 2019474057446418080888230014115300124124155479382314180/32434608347\ 5271218997909627727191910092648247856983*c_1001_0^4 + 104804380867190982707059705035291337461369198853687288/249496987288\ 67016845993048286707070007126788296691*c_1001_0^3 + 21795794254963040049364361510234099613330852033880969/1544505159406\ 0534237995696558437710004411821326523*c_1001_0^2 + 55560582286208377867513488316174530041405138904697406/1081153611584\ 23739665969875909063970030882749285661*c_1001_0 + 4765099129136713536566614608293144632807039990189702/10811536115842\ 3739665969875909063970030882749285661, c_0011_0 - 1, c_0011_10 - 33683578341408835194388212955611367489916/59061576043850250\ 6217532123001610163635843*c_1001_0^19 + 379560025339461083190203257259294670118888/590615760438502506217532\ 123001610163635843*c_1001_0^18 - 2178165393634706058411532997569707\ 630851712/590615760438502506217532123001610163635843*c_1001_0^17 + 7995597282151040882563091234559784390810632/59061576043850250621753\ 2123001610163635843*c_1001_0^16 - 225749924885178961074389399423858\ 47783293508/590615760438502506217532123001610163635843*c_1001_0^15 + 55402178387554762793662877559220019009787679/5906157604385025062175\ 32123001610163635843*c_1001_0^14 - 124027633018321627762586897176823838646362233/590615760438502506217\ 532123001610163635843*c_1001_0^13 + 227377983986613287994652803851796518195637525/590615760438502506217\ 532123001610163635843*c_1001_0^12 - 367203965145114397686059096148568028797354359/590615760438502506217\ 532123001610163635843*c_1001_0^11 + 485155000665559117860018562674251007191011889/590615760438502506217\ 532123001610163635843*c_1001_0^10 - 818465254966796586182582103790794169684062886/590615760438502506217\ 532123001610163635843*c_1001_0^9 + 21621707798979558699503593692105787763500576/5906157604385025062175\ 32123001610163635843*c_1001_0^8 - 788247752430964801044704021684448\ 972513551074/590615760438502506217532123001610163635843*c_1001_0^7 - 293127535574963771071623937162214132280915011/590615760438502506217\ 532123001610163635843*c_1001_0^6 - 362820946974450129123076074722621194774810603/590615760438502506217\ 532123001610163635843*c_1001_0^5 - 124914313325811332504843114328075650611571734/590615760438502506217\ 532123001610163635843*c_1001_0^4 - 62754794988686517800120839568787301019660370/5906157604385025062175\ 32123001610163635843*c_1001_0^3 - 629999626238266349048481459895464\ 6629866793/590615760438502506217532123001610163635843*c_1001_0^2 + 699281130151501710245354061944635942029455/590615760438502506217532\ 123001610163635843*c_1001_0 + 8455868863746428862912561013116788780\ 36975/590615760438502506217532123001610163635843, c_0011_11 - 19677608348238260428096200866432605437051/59061576043850250\ 6217532123001610163635843*c_1001_0^19 + 223975132417490468948866396934118272862902/590615760438502506217532\ 123001610163635843*c_1001_0^18 - 1297476726356292309085573169124290\ 943759897/590615760438502506217532123001610163635843*c_1001_0^17 + 4813483136181709007134656585820726738628546/59061576043850250621753\ 2123001610163635843*c_1001_0^16 - 137082174002571734780259303218861\ 91465552897/590615760438502506217532123001610163635843*c_1001_0^15 + 33832547424464981371416915540060496794337102/5906157604385025062175\ 32123001610163635843*c_1001_0^14 - 76068529443540754916699846496319230370362685/5906157604385025062175\ 32123001610163635843*c_1001_0^13 + 140950539003430246750056239757497083240297364/590615760438502506217\ 532123001610163635843*c_1001_0^12 - 229416610705697951636857842509318204783272489/590615760438502506217\ 532123001610163635843*c_1001_0^11 + 307698634642596293174584086553968839768494784/590615760438502506217\ 532123001610163635843*c_1001_0^10 - 510620484335584493356332808915425396080545362/590615760438502506217\ 532123001610163635843*c_1001_0^9 + 68197185583123667865462253478884391163909934/5906157604385025062175\ 32123001610163635843*c_1001_0^8 - 462354245992307688167259394707309\ 122511888568/590615760438502506217532123001610163635843*c_1001_0^7 - 110625316666796553925488434976991365426223475/590615760438502506217\ 532123001610163635843*c_1001_0^6 - 191986307403063062166169458348953724670310113/590615760438502506217\ 532123001610163635843*c_1001_0^5 - 46892464416460345099364137652161296001807787/5906157604385025062175\ 32123001610163635843*c_1001_0^4 - 240848784584962909406595743325952\ 89397079499/590615760438502506217532123001610163635843*c_1001_0^3 + 136973961927545704584940596479050029938410/590615760438502506217532\ 123001610163635843*c_1001_0^2 + 27145673858275549899885885603281692\ 72658321/590615760438502506217532123001610163635843*c_1001_0 + 612303129493420681267997425362529648145201/590615760438502506217532\ 123001610163635843, c_0011_12 - 14278712414784932221976395822561796472670/59061576043850250\ 6217532123001610163635843*c_1001_0^19 + 148975768635206271498112537921745026949349/590615760438502506217532\ 123001610163635843*c_1001_0^18 - 7982759295712744803517260351993453\ 39619398/590615760438502506217532123001610163635843*c_1001_0^17 + 2723015645131819471395959272483765653915165/59061576043850250621753\ 2123001610163635843*c_1001_0^16 - 733854738148476067722088333765203\ 2911379327/590615760438502506217532123001610163635843*c_1001_0^15 + 17683110177122934470173323583668374910948992/5906157604385025062175\ 32123001610163635843*c_1001_0^14 - 39099377309945124818177597066472887264337318/5906157604385025062175\ 32123001610163635843*c_1001_0^13 + 67425958741083374708615020259516468549142726/5906157604385025062175\ 32123001610163635843*c_1001_0^12 - 108423685436774333967530005410268833802542928/590615760438502506217\ 532123001610163635843*c_1001_0^11 + 136054565110878491921701242438942582422368205/590615760438502506217\ 532123001610163635843*c_1001_0^10 - 271300405489596073282365932542246604702629346/590615760438502506217\ 532123001610163635843*c_1001_0^9 - 156318846744949686713400601847657469265430674/590615760438502506217\ 532123001610163635843*c_1001_0^8 - 536867693362769924120548718216409934262832832/590615760438502506217\ 532123001610163635843*c_1001_0^7 - 417420597276665007803063204968632448741281108/590615760438502506217\ 532123001610163635843*c_1001_0^6 - 442552216271166809599682257611885215685643123/590615760438502506217\ 532123001610163635843*c_1001_0^5 - 267228286094848901153953190554891961005007660/590615760438502506217\ 532123001610163635843*c_1001_0^4 - 151088351302566466757218617638878128418872123/590615760438502506217\ 532123001610163635843*c_1001_0^3 - 58022550747124701007256317809157169181694514/5906157604385025062175\ 32123001610163635843*c_1001_0^2 - 162605034083662022459936514800136\ 64520169010/590615760438502506217532123001610163635843*c_1001_0 - 1590399356924076901333513968730766432775943/59061576043850250621753\ 2123001610163635843, c_0011_3 + 7114509297052244033998008192175098636/1420090792109888209227\ 05487617602828477*c_1001_0^19 - 75068832610749497561952849294270031\ 853/142009079210988820922705487617602828477*c_1001_0^18 + 404922397313497658153994243797565290992/142009079210988820922705487\ 617602828477*c_1001_0^17 - 1385659957901237471832872177591196551736\ /142009079210988820922705487617602828477*c_1001_0^16 + 3712975245005827423475954318909694132595/14200907921098882092270548\ 7617602828477*c_1001_0^15 - 886444702724430021446254368134273793599\ 2/142009079210988820922705487617602828477*c_1001_0^14 + 19472665132518979794580560653178153599933/1420090792109888209227054\ 87617602828477*c_1001_0^13 - 33370394552331915152884398763965762264\ 769/142009079210988820922705487617602828477*c_1001_0^12 + 52422287158359672434570260676431144302026/1420090792109888209227054\ 87617602828477*c_1001_0^11 - 64185792020061849547054844361551556013\ 519/142009079210988820922705487617602828477*c_1001_0^10 + 127728066702489374141131794224079548104449/142009079210988820922705\ 487617602828477*c_1001_0^9 + 81185542093193050851551915703750356946\ 436/142009079210988820922705487617602828477*c_1001_0^8 + 225849714430986149892935344067075054421607/142009079210988820922705\ 487617602828477*c_1001_0^7 + 17005750530274156442245473592227433319\ 7796/142009079210988820922705487617602828477*c_1001_0^6 + 176411104460534976369894255531098035319438/142009079210988820922705\ 487617602828477*c_1001_0^5 + 96349468187740789037346790482718822086\ 919/142009079210988820922705487617602828477*c_1001_0^4 + 56859598572598463336893330619975700201361/1420090792109888209227054\ 87617602828477*c_1001_0^3 + 190845528999810558359105504690938775474\ 55/142009079210988820922705487617602828477*c_1001_0^2 + 5697389039959998438889790135442290367480/14200907921098882092270548\ 7617602828477*c_1001_0 + 487775203876036609458267802910370833975/14\ 2009079210988820922705487617602828477, c_0101_0 - 6233130550916283213464033720265532335/1420090792109888209227\ 05487617602828477*c_1001_0^19 + 68352556460542572545444499129254141\ 128/142009079210988820922705487617602828477*c_1001_0^18 - 384228587330407065472521985763994576018/142009079210988820922705487\ 617602828477*c_1001_0^17 + 1384799221417634949883551626601164043636\ /142009079210988820922705487617602828477*c_1001_0^16 - 3885925110872508132551655704493964706385/14200907921098882092270548\ 7617602828477*c_1001_0^15 + 956203297314192022012971791001513235622\ 4/142009079210988820922705487617602828477*c_1001_0^14 - 21470267836604397010867521902787028716927/1420090792109888209227054\ 87617602828477*c_1001_0^13 + 39107226756899264506485766692467275911\ 032/142009079210988820922705487617602828477*c_1001_0^12 - 64110463206145084050962353861749497569380/1420090792109888209227054\ 87617602828477*c_1001_0^11 + 85514210029164238196214493226721733132\ 515/142009079210988820922705487617602828477*c_1001_0^10 - 150552840871108172728981462997745682368874/142009079210988820922705\ 487617602828477*c_1001_0^9 - 72390997510068019760561910805909971522\ 06/142009079210988820922705487617602828477*c_1001_0^8 - 202693167017370923011256211636520065746736/142009079210988820922705\ 487617602828477*c_1001_0^7 - 96949577739312328682820448774169038301\ 369/142009079210988820922705487617602828477*c_1001_0^6 - 137312826157477772685139346659533335477289/142009079210988820922705\ 487617602828477*c_1001_0^5 - 65010236320679962150337226206264212070\ 403/142009079210988820922705487617602828477*c_1001_0^4 - 43803434639014396358193705181050305698081/1420090792109888209227054\ 87617602828477*c_1001_0^3 - 142428170738943080289907606441453186950\ 48/142009079210988820922705487617602828477*c_1001_0^2 - 5354936351461984878040269855027372805998/14200907921098882092270548\ 7617602828477*c_1001_0 - 539229403197173490064761731159190965273/14\ 2009079210988820922705487617602828477, c_0101_10 + 24233933515611399710487245004671049714422/59061576043850250\ 6217532123001610163635843*c_1001_0^19 - 271657832826923638300095972816708664663454/590615760438502506217532\ 123001610163635843*c_1001_0^18 + 1552136940981389475458988710457464\ 741349974/590615760438502506217532123001610163635843*c_1001_0^17 - 5673475820344383054588036217582560113588659/59061576043850250621753\ 2123001610163635843*c_1001_0^16 + 159847542761947875399737751369970\ 35109400513/590615760438502506217532123001610163635843*c_1001_0^15 - 39230786505352296220062158378431817194592243/5906157604385025062175\ 32123001610163635843*c_1001_0^14 + 87881578632863522273653414889172322256218147/5906157604385025062175\ 32123001610163635843*c_1001_0^13 - 160893765344343617549914093909741672203689253/590615760438502506217\ 532123001610163635843*c_1001_0^12 + 260455206786223977187562523377208504254514955/590615760438502506217\ 532123001610163635843*c_1001_0^11 - 345124326865113851184976966895429481954180948/590615760438502506217\ 532123001610163635843*c_1001_0^10 + 588176906644113592165716310618705572823687673/590615760438502506217\ 532123001610163635843*c_1001_0^9 - 9558866265796587362329427688649862189259514/59061576043850250621753\ 2123001610163635843*c_1001_0^8 + 6093360983202697868351453812639934\ 11688150554/590615760438502506217532123001610163635843*c_1001_0^7 + 214848065279195477243598756873724714213482329/590615760438502506217\ 532123001610163635843*c_1001_0^6 + 303141270893832199478879493482644661610512124/590615760438502506217\ 532123001610163635843*c_1001_0^5 + 99682303426045556751935475342191548177637514/5906157604385025062175\ 32123001610163635843*c_1001_0^4 + 620652389659606259862932997946229\ 02906643904/590615760438502506217532123001610163635843*c_1001_0^3 + 11494761163852580917520657221178763909146289/5906157604385025062175\ 32123001610163635843*c_1001_0^2 + 285360285720373996798982601203542\ 0001809996/590615760438502506217532123001610163635843*c_1001_0 + 561813315305149186172315973718131285194579/590615760438502506217532\ 123001610163635843, c_0101_2 - 19311251437221663440056867904662916096890/590615760438502506\ 217532123001610163635843*c_1001_0^19 + 211955968716921979891996382618848284223793/590615760438502506217532\ 123001610163635843*c_1001_0^18 - 1184355386010264886957244359285638\ 254108168/590615760438502506217532123001610163635843*c_1001_0^17 + 4210841047878054389990078647236316857928924/59061576043850250621753\ 2123001610163635843*c_1001_0^16 - 115602729979657802637520323855212\ 94752455739/590615760438502506217532123001610163635843*c_1001_0^15 + 27839432792122907388315922439981010984794880/5906157604385025062175\ 32123001610163635843*c_1001_0^14 - 61458007593566669062512167902343212097816956/5906157604385025062175\ 32123001610163635843*c_1001_0^13 + 108717409812823177889187484015277195967566719/590615760438502506217\ 532123001610163635843*c_1001_0^12 - 170549977006457782490783476020108919574141742/590615760438502506217\ 532123001610163635843*c_1001_0^11 + 213485110344333677053965305249694819328173641/590615760438502506217\ 532123001610163635843*c_1001_0^10 - 383133014048929015597853138325659447797572267/590615760438502506217\ 532123001610163635843*c_1001_0^9 - 130700035872531114050163579250021946079051693/590615760438502506217\ 532123001610163635843*c_1001_0^8 - 435806046122505023132730440007892141646974095/590615760438502506217\ 532123001610163635843*c_1001_0^7 - 291291385039920580709972248610283938089456668/590615760438502506217\ 532123001610163635843*c_1001_0^6 - 233830734750878483364875521147162873754952453/590615760438502506217\ 532123001610163635843*c_1001_0^5 - 125179128516362349565803509220657339360252366/590615760438502506217\ 532123001610163635843*c_1001_0^4 - 46326189472855667571482415006823633622095197/5906157604385025062175\ 32123001610163635843*c_1001_0^3 - 149559854639166279201013050017452\ 07391599133/590615760438502506217532123001610163635843*c_1001_0^2 + 125558043045013711499671903666201643174163/590615760438502506217532\ 123001610163635843*c_1001_0 - 1246297076278862376939287144523366328\ 99064/590615760438502506217532123001610163635843, c_0101_3 - 1483019071910194453174485158521226957/1420090792109888209227\ 05487617602828477*c_1001_0^19 + 18666497690235713627817742212036741\ 166/142009079210988820922705487617602828477*c_1001_0^18 - 116713058532310211874830900553009155176/142009079210988820922705487\ 617602828477*c_1001_0^17 + 464461051223133079970820417957254780781/\ 142009079210988820922705487617602828477*c_1001_0^16 - 1376251944528940377085918158835322422828/14200907921098882092270548\ 7617602828477*c_1001_0^15 + 344354244104860565054484640942057529256\ 5/142009079210988820922705487617602828477*c_1001_0^14 - 7799530489497569725879512477075712671197/14200907921098882092270548\ 7617602828477*c_1001_0^13 + 150402734410425490796186131263290729125\ 44/142009079210988820922705487617602828477*c_1001_0^12 - 24481245010526489527167184651734563368093/1420090792109888209227054\ 87617602828477*c_1001_0^11 + 33575643579969441294277126253414530906\ 785/142009079210988820922705487617602828477*c_1001_0^10 - 49362862917208887524936611321297207265042/1420090792109888209227054\ 87617602828477*c_1001_0^9 + 285164049275058534643603880441336678272\ 03/142009079210988820922705487617602828477*c_1001_0^8 - 3377415308649765232344423413617008664176/14200907921098882092270548\ 7617602828477*c_1001_0^7 + 2692701446553785300833571565499210276670\ 7/142009079210988820922705487617602828477*c_1001_0^6 + 28033745020166081060014925081161750613488/1420090792109888209227054\ 87617602828477*c_1001_0^5 + 220487221668622948367254870163684740321\ 58/142009079210988820922705487617602828477*c_1001_0^4 + 15289266705869429758879961982470687117896/1420090792109888209227054\ 87617602828477*c_1001_0^3 + 677800117911660399219630917247217469225\ 7/142009079210988820922705487617602828477*c_1001_0^2 + 2240545774773276210853380797797859505901/14200907921098882092270548\ 7617602828477*c_1001_0 + 297799257764866191115526920481134062317/14\ 2009079210988820922705487617602828477, c_0101_7 - 18643923787699905356394872/1105133051274623539392163339*c_10\ 01_0^19 + 231168147272853824506538563/1105133051274623539392163339*\ c_1001_0^18 - 1446566955217575762648722496/110513305127462353939216\ 3339*c_1001_0^17 + 5823868521578434811727594727/1105133051274623539\ 392163339*c_1001_0^16 - 17683013669113549276028025855/1105133051274\ 623539392163339*c_1001_0^15 + 45394966656370315997107324996/1105133\ 051274623539392163339*c_1001_0^14 - 104856400749909252487574492292/1105133051274623539392163339*c_1001_\ 0^13 + 207001002266903674781342240617/1105133051274623539392163339*\ c_1001_0^12 - 353074185623282096989966754550/1105133051274623539392\ 163339*c_1001_0^11 + 510247538006682427094052990661/110513305127462\ 3539392163339*c_1001_0^10 - 773913473155809430285591729169/11051330\ 51274623539392163339*c_1001_0^9 + 542149640780627954849506442737/11\ 05133051274623539392163339*c_1001_0^8 - 493302770375068619090199448751/1105133051274623539392163339*c_1001_\ 0^7 + 266128808523947690920846922852/1105133051274623539392163339*c\ _1001_0^6 - 110896447344152874939514202219/110513305127462353939216\ 3339*c_1001_0^5 + 72288262886379702540259257550/1105133051274623539\ 392163339*c_1001_0^4 - 26211690251862161131234398203/11051330512746\ 23539392163339*c_1001_0^3 + 6197383808628401000725549419/1105133051\ 274623539392163339*c_1001_0^2 - 10969697624379526987637746647/11051\ 33051274623539392163339*c_1001_0 - 1901726551537031394270157162/1105133051274623539392163339, c_0101_9 - 26084985608154865586194971/1105133051274623539392163339*c_10\ 01_0^19 + 290643680380181630552240432/1105133051274623539392163339*\ c_1001_0^18 - 1647629593133656011895143399/110513305127462353939216\ 3339*c_1001_0^17 + 5955985606650308806855651367/1105133051274623539\ 392163339*c_1001_0^16 - 16571460480586262316120852884/1105133051274\ 623539392163339*c_1001_0^15 + 40236560901741380522309865940/1105133\ 051274623539392163339*c_1001_0^14 - 89376487090304971887846993169/1105133051274623539392163339*c_1001_0\ ^13 + 160967194914822272197673993462/1105133051274623539392163339*c\ _1001_0^12 - 255590182990489419831055434013/11051330512746235393921\ 63339*c_1001_0^11 + 328342338553569392173110683241/1105133051274623\ 539392163339*c_1001_0^10 - 568940959263552718846645873801/110513305\ 1274623539392163339*c_1001_0^9 - 84304632491662148756270080681/1105\ 133051274623539392163339*c_1001_0^8 - 571031538147991943119328659540/1105133051274623539392163339*c_1001_\ 0^7 - 286797090971273806217744812413/1105133051274623539392163339*c\ _1001_0^6 - 280596823366350745087259162406/110513305127462353939216\ 3339*c_1001_0^5 - 110131324407587246740081300733/110513305127462353\ 9392163339*c_1001_0^4 - 56293607026178046693358570483/1105133051274\ 623539392163339*c_1001_0^3 - 8816647062170401718862078436/110513305\ 1274623539392163339*c_1001_0^2 - 1416891882673551759168130054/11051\ 33051274623539392163339*c_1001_0 - 1347504060514722309025296675/1105133051274623539392163339, c_0110_7 + 1483019071910194453174485158521226957/1420090792109888209227\ 05487617602828477*c_1001_0^19 - 18666497690235713627817742212036741\ 166/142009079210988820922705487617602828477*c_1001_0^18 + 116713058532310211874830900553009155176/142009079210988820922705487\ 617602828477*c_1001_0^17 - 464461051223133079970820417957254780781/\ 142009079210988820922705487617602828477*c_1001_0^16 + 1376251944528940377085918158835322422828/14200907921098882092270548\ 7617602828477*c_1001_0^15 - 344354244104860565054484640942057529256\ 5/142009079210988820922705487617602828477*c_1001_0^14 + 7799530489497569725879512477075712671197/14200907921098882092270548\ 7617602828477*c_1001_0^13 - 150402734410425490796186131263290729125\ 44/142009079210988820922705487617602828477*c_1001_0^12 + 24481245010526489527167184651734563368093/1420090792109888209227054\ 87617602828477*c_1001_0^11 - 33575643579969441294277126253414530906\ 785/142009079210988820922705487617602828477*c_1001_0^10 + 49362862917208887524936611321297207265042/1420090792109888209227054\ 87617602828477*c_1001_0^9 - 285164049275058534643603880441336678272\ 03/142009079210988820922705487617602828477*c_1001_0^8 + 3377415308649765232344423413617008664176/14200907921098882092270548\ 7617602828477*c_1001_0^7 - 2692701446553785300833571565499210276670\ 7/142009079210988820922705487617602828477*c_1001_0^6 - 28033745020166081060014925081161750613488/1420090792109888209227054\ 87617602828477*c_1001_0^5 - 220487221668622948367254870163684740321\ 58/142009079210988820922705487617602828477*c_1001_0^4 - 15289266705869429758879961982470687117896/1420090792109888209227054\ 87617602828477*c_1001_0^3 - 677800117911660399219630917247217469225\ 7/142009079210988820922705487617602828477*c_1001_0^2 - 2240545774773276210853380797797859505901/14200907921098882092270548\ 7617602828477*c_1001_0 - 297799257764866191115526920481134062317/14\ 2009079210988820922705487617602828477, c_1001_0^20 - 11*c_1001_0^19 + 62*c_1001_0^18 - 224*c_1001_0^17 + 629*c_1001_0^16 - 1546*c_1001_0^15 + 3466*c_1001_0^14 - 6309*c_1001_0^13 + 10304*c_1001_0^12 - 13659*c_1001_0^11 + 23899*c_1001_0^10 + 1437*c_1001_0^9 + 30981*c_1001_0^8 + 16354*c_1001_0^7 + 21331*c_1001_0^6 + 11173*c_1001_0^5 + 7313*c_1001_0^4 + 2687*c_1001_0^3 + 1002*c_1001_0^2 + 178*c_1001_0 + 13 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_7, c_0101_9, c_0110_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 2492906000317335755673281020034383828270759769/22395396733281244530\ 303169005573816542789376*c_1001_0^22 + 40038230233304527804359959633383007099695103659/4479079346656248906\ 0606338011147633085578752*c_1001_0^21 + 279365989466715651543848555627687081143162736245/895815869331249781\ 21212676022295266171157504*c_1001_0^20 + 223796097971230204334275147104938978709867418783/447907934665624890\ 60606338011147633085578752*c_1001_0^19 + 28227721200647512656249485692330196087487523115/8958158693312497812\ 1212676022295266171157504*c_1001_0^18 - 1101500278739829155187512069324404482979947040001/89581586933124978\ 121212676022295266171157504*c_1001_0^17 - 659955853342679098789603264296150202693671885197/447907934665624890\ 60606338011147633085578752*c_1001_0^16 + 216793001796677295789756681476050895807395475141/149302644888541630\ 20202112670382544361859584*c_1001_0^15 + 860664922616579713411067907172278507058738424837/149302644888541630\ 20202112670382544361859584*c_1001_0^14 + 2861574242368672970770301921299214534198216613763/44790793466562489\ 060606338011147633085578752*c_1001_0^13 + 57997987414901981031488010298608881583091504261/2035945157571022230\ 027560818688528776617216*c_1001_0^12 + 12123490519946340644494785128139834580022869195/1357296771714014820\ 018373879125685851078144*c_1001_0^11 + 1458715790313914915966523719788479848121281349253/44790793466562489\ 060606338011147633085578752*c_1001_0^10 + 5752889132346469818356773167673267196102025919189/89581586933124978\ 121212676022295266171157504*c_1001_0^9 + 3809544358423663071683273683439524191311422085225/44790793466562489\ 060606338011147633085578752*c_1001_0^8 + 6792424962681488965300189801844902378116069486247/89581586933124978\ 121212676022295266171157504*c_1001_0^7 + 1172295427135896657024370216051804358124489397303/29860528977708326\ 040404225340765088723719168*c_1001_0^6 + 1182743751304712509969552691653642041827774636743/89581586933124978\ 121212676022295266171157504*c_1001_0^5 - 956183073412551948763050204044728068017542319953/447907934665624890\ 60606338011147633085578752*c_1001_0^4 + 892278926234256572204744114547695938985584302547/895815869331249781\ 21212676022295266171157504*c_1001_0^3 - 2081269742086590462240392216137192878042347237/12724657234818888937\ 6722551168033048538576*c_1001_0^2 + 216630580505395051745907811829537262292567740575/298605289777083260\ 40404225340765088723719168*c_1001_0 - 76138978379111379984756592790805323212672240003/8958158693312497812\ 1212676022295266171157504, c_0011_0 - 1, c_0011_10 - 655012198258310225348436211/3234680275937776227671789196*c_\ 1001_0^22 - 18014481965441518211617024783/1293872110375110491068715\ 6784*c_1001_0^21 - 106186244860385691058914085687/25877442207502209\ 821374313568*c_1001_0^20 - 236820953129442604481915813371/517548844\ 15004419642748627136*c_1001_0^19 + 213327449705917861984259824463/51754884415004419642748627136*c_1001\ _0^18 + 20048375154899761182570153293/1176247373068282264607923344*\ c_1001_0^17 + 389548171052323941370156047317/5175488441500441964274\ 8627136*c_1001_0^16 - 579643998153162946230965917799/17251628138334\ 806547582875712*c_1001_0^15 - 34309210870743116298649127957/5227766\ 10252569895381299264*c_1001_0^14 - 2216386903782749341767966469417/51754884415004419642748627136*c_100\ 1_0^13 - 441621179449769322466545408331/517548844150044196427486271\ 36*c_1001_0^12 - 264981764212905324215231283385/1725162813833480654\ 7582875712*c_1001_0^11 - 2758920046382738811373067227957/5175488441\ 5004419642748627136*c_1001_0^10 - 3172834554354354170311801723319/5\ 1754884415004419642748627136*c_1001_0^9 - 279731222580195613713531692639/3234680275937776227671789196*c_1001_\ 0^8 - 1107759976765311395413342944607/25877442207502209821374313568\ *c_1001_0^7 - 771539272429959594493685868979/1725162813833480654758\ 2875712*c_1001_0^6 + 540783440256064726585777963025/258774422075022\ 09821374313568*c_1001_0^5 - 294238847366935278300178690229/51754884\ 415004419642748627136*c_1001_0^4 + 110159760396628742034761872381/51754884415004419642748627136*c_1001\ _0^3 + 294772525374644990162813037523/25877442207502209821374313568\ *c_1001_0^2 - 24067938377814572932753102283/28752713563891344245971\ 45952*c_1001_0 + 12239621918030089462792126099/47049894922731290584\ 31693376, c_0011_11 + 655012198258310225348436211/3234680275937776227671789196*c_\ 1001_0^22 + 18014481965441518211617024783/1293872110375110491068715\ 6784*c_1001_0^21 + 106186244860385691058914085687/25877442207502209\ 821374313568*c_1001_0^20 + 236820953129442604481915813371/517548844\ 15004419642748627136*c_1001_0^19 - 213327449705917861984259824463/51754884415004419642748627136*c_1001\ _0^18 - 20048375154899761182570153293/1176247373068282264607923344*\ c_1001_0^17 - 389548171052323941370156047317/5175488441500441964274\ 8627136*c_1001_0^16 + 579643998153162946230965917799/17251628138334\ 806547582875712*c_1001_0^15 + 34309210870743116298649127957/5227766\ 10252569895381299264*c_1001_0^14 + 2216386903782749341767966469417/51754884415004419642748627136*c_100\ 1_0^13 + 441621179449769322466545408331/517548844150044196427486271\ 36*c_1001_0^12 + 264981764212905324215231283385/1725162813833480654\ 7582875712*c_1001_0^11 + 2758920046382738811373067227957/5175488441\ 5004419642748627136*c_1001_0^10 + 3172834554354354170311801723319/5\ 1754884415004419642748627136*c_1001_0^9 + 279731222580195613713531692639/3234680275937776227671789196*c_1001_\ 0^8 + 1107759976765311395413342944607/25877442207502209821374313568\ *c_1001_0^7 + 771539272429959594493685868979/1725162813833480654758\ 2875712*c_1001_0^6 - 540783440256064726585777963025/258774422075022\ 09821374313568*c_1001_0^5 + 294238847366935278300178690229/51754884\ 415004419642748627136*c_1001_0^4 - 110159760396628742034761872381/51754884415004419642748627136*c_1001\ _0^3 - 294772525374644990162813037523/25877442207502209821374313568\ *c_1001_0^2 + 24067938377814572932753102283/28752713563891344245971\ 45952*c_1001_0 - 12239621918030089462792126099/47049894922731290584\ 31693376, c_0011_12 + 30645053320339982280325087907/25877442207502209821374313568\ *c_1001_0^22 + 436820028006598059568411831705/517548844150044196427\ 48627136*c_1001_0^21 + 2786085678955321106512856205031/103509768830\ 008839285497254272*c_1001_0^20 + 2002435159869402041738047419361/51\ 754884415004419642748627136*c_1001_0^19 - 15779289432704640507357393631/103509768830008839285497254272*c_1001\ _0^18 - 815253529997810646327555578161/9409978984546258116863386752\ *c_1001_0^17 - 4426674015130659802051624998035/51754884415004419642\ 748627136*c_1001_0^16 + 2011586387471268037606111389931/17251628138\ 334806547582875712*c_1001_0^15 + 632679489585116923180047672881/156\ 8329830757709686143897792*c_1001_0^14 + 24971996804982074495513661918253/51754884415004419642748627136*c_10\ 01_0^13 + 9865995472170927858298725290411/2587744220750220982137431\ 3568*c_1001_0^12 + 1650695237946951924750834919829/5750542712778268\ 849194291904*c_1001_0^11 + 20340945781117537558756228055707/5175488\ 4415004419642748627136*c_1001_0^10 + 53526026534289559288879892154463/103509768830008839285497254272*c_1\ 001_0^9 + 43047259480612487812188225302723/517548844150044196427486\ 27136*c_1001_0^8 + 66741282118412052864599006856493/103509768830008\ 839285497254272*c_1001_0^7 + 24645147012124878819247504195877/34503\ 256276669613095165751424*c_1001_0^6 + 12471333196866592154017474271677/103509768830008839285497254272*c_1\ 001_0^5 + 13055255355106557315965279350241/517548844150044196427486\ 27136*c_1001_0^4 - 10419613495013313640957886011367/103509768830008\ 839285497254272*c_1001_0^3 + 107119319226386395004827637383/3234680\ 275937776227671789196*c_1001_0^2 - 922731935653430826590629055323/34503256276669613095165751424*c_1001\ _0 + 24277791930762175848334504261/9409978984546258116863386752, c_0011_3 - 11024522443018593457270662103/12938721103751104910687156784*\ c_1001_0^22 - 148549714180611927991546371167/2587744220750220982137\ 4313568*c_1001_0^21 - 918746773858151434360388089469/51754884415004\ 419642748627136*c_1001_0^20 - 1324170696387672288888111362701/51754\ 884415004419642748627136*c_1001_0^19 - 139784575470977725353075433067/25877442207502209821374313568*c_1001\ _0^18 + 193072374705767512849995059081/4704989492273129058431693376\ *c_1001_0^17 + 2326051561568653021663426411967/51754884415004419642\ 748627136*c_1001_0^16 - 797151634388436578419492352837/172516281383\ 34806547582875712*c_1001_0^15 - 110616896240943960295788605083/5227\ 76610252569895381299264*c_1001_0^14 - 17273814347200203361930956353983/51754884415004419642748627136*c_10\ 01_0^13 - 20811181474547449941194911869067/517548844150044196427486\ 27136*c_1001_0^12 - 5992201554448950567425631335143/172516281383348\ 06547582875712*c_1001_0^11 - 17107423075175873512796068370107/51754\ 884415004419642748627136*c_1001_0^10 - 8986023713046108458671787154829/25877442207502209821374313568*c_100\ 1_0^9 - 16895777663344661625137201904541/25877442207502209821374313\ 568*c_1001_0^8 - 26563009438361848772954793043271/51754884415004419\ 642748627136*c_1001_0^7 - 3306386332142129722702038842563/431290703\ 4583701636895718928*c_1001_0^6 - 8122276964419273379419019152739/51\ 754884415004419642748627136*c_1001_0^5 - 22165445017583592723615202195403/51754884415004419642748627136*c_10\ 01_0^4 + 594538921356049060946721041221/323468027593777622767178919\ 6*c_1001_0^3 - 3155569287972943249222602528149/25877442207502209821\ 374313568*c_1001_0^2 + 490110679905850860708955439399/5750542712778\ 268849194291904*c_1001_0 - 26433331395867657419540703817/2352494746\ 136564529215846688, c_0101_0 + 210213425493643164972167923/179704459774320901537321622*c_10\ 01_0^22 + 34494796587529592635383599641/431290703458370163689571892\ 8*c_1001_0^21 + 71375216418302630304148540395/287527135638913442459\ 7145952*c_1001_0^20 + 605732043965149944875324962943/17251628138334\ 806547582875712*c_1001_0^19 + 52426109545542013167404661383/1725162\ 8138334806547582875712*c_1001_0^18 - 26165577124836688573859507549/392082457689427421535974448*c_1001_0^\ 17 - 376485024210532879201717492163/5750542712778268849194291904*c_\ 1001_0^16 + 1502396839960320844134975013039/17251628138334806547582\ 875712*c_1001_0^15 + 508833096693517199758370606209/156832983075770\ 9686143897792*c_1001_0^14 + 7665915620677670022854510556355/1725162\ 8138334806547582875712*c_1001_0^13 + 2673603665034168476724413625493/5750542712778268849194291904*c_1001\ _0^12 + 6827740422250536164720712912613/172516281383348065475828757\ 12*c_1001_0^11 + 7454913563679666789255439606733/172516281383348065\ 47582875712*c_1001_0^10 + 8379299733266327241816424404845/172516281\ 38334806547582875712*c_1001_0^9 + 611989086022817253508181525759/71\ 8817839097283606149286488*c_1001_0^8 + 5572083342801517174768040913109/8625814069167403273791437856*c_1001\ _0^7 + 5212132343051305486785232619395/5750542712778268849194291904\ *c_1001_0^6 + 120256719407612637754427761103/7188178390972836061492\ 86488*c_1001_0^5 + 8267716426946702508120401104751/1725162813833480\ 6547582875712*c_1001_0^4 - 1102437800208996780082463967071/57505427\ 12778268849194291904*c_1001_0^3 + 556008586677917392161200187143/43\ 12907034583701636895718928*c_1001_0^2 - 46059608224846160277341931971/539113379322962704611964866*c_1001_0 + 16147920912759056772356126279/1568329830757709686143897792, c_0101_10 + 8191314141837051987867154405/8625814069167403273791437856*c\ _1001_0^22 + 36032797650331184252837599209/575054271277826884919429\ 1904*c_1001_0^21 + 629541089773552968022571908301/34503256276669613\ 095165751424*c_1001_0^20 + 46046338400934347724220405811/2156453517\ 291850818447859464*c_1001_0^19 - 378353290681074128031438890923/345\ 03256276669613095165751424*c_1001_0^18 - 64357341769039557221092324877/1045553220505139790762598528*c_1001_0\ ^17 - 141317466454207691009739565921/4312907034583701636895718928*c\ _1001_0^16 + 949981398504381440266647764843/86258140691674032737914\ 37856*c_1001_0^15 + 100367885257748631482450992867/3920824576894274\ 21535974448*c_1001_0^14 + 701657889658314747179576027969/2875271356\ 389134424597145952*c_1001_0^13 + 3261329681670441223578573231155/17\ 251628138334806547582875712*c_1001_0^12 + 705441469764307227037803568939/4312907034583701636895718928*c_1001_\ 0^11 + 1101755531273279581179960734107/4312907034583701636895718928\ *c_1001_0^10 + 3367830616216719167770363531561/11501085425556537698\ 388583808*c_1001_0^9 + 8995557055065765889749529588717/172516281383\ 34806547582875712*c_1001_0^8 + 3047243261001360909144189786541/1150\ 1085425556537698388583808*c_1001_0^7 + 5230937601796938235939373707293/11501085425556537698388583808*c_100\ 1_0^6 - 2938207880592595590172414232809/345032562766696130951657514\ 24*c_1001_0^5 + 770714234204390148432428902921/28752713563891344245\ 97145952*c_1001_0^4 - 5996321390081655460458226988599/3450325627666\ 9613095165751424*c_1001_0^3 + 781979004404030626843806302039/862581\ 4069167403273791437856*c_1001_0^2 - 1626176609070491478645909917099/34503256276669613095165751424*c_100\ 1_0 + 6463476850337303464422421491/1045553220505139790762598528, c_0101_2 + 29303130360140106014894795057/25877442207502209821374313568*\ c_1001_0^22 + 389462281630375319424562187443/5175488441500441964274\ 8627136*c_1001_0^21 + 2303057858919382336045327035469/1035097688300\ 08839285497254272*c_1001_0^20 + 1421709180153415049310662685823/517\ 54884415004419642748627136*c_1001_0^19 - 915124715282223496480050196453/103509768830008839285497254272*c_100\ 1_0^18 - 659030565577062701636381511763/940997898454625811686338675\ 2*c_1001_0^17 - 2264763828462907800328707878993/5175488441500441964\ 2748627136*c_1001_0^16 + 2041273407249407794271564836357/1725162813\ 8334806547582875712*c_1001_0^15 + 474650457903801314671361221895/15\ 68329830757709686143897792*c_1001_0^14 + 16699145703716547914690016336007/51754884415004419642748627136*c_10\ 01_0^13 + 7441760806863824726541654135797/2587744220750220982137431\ 3568*c_1001_0^12 + 1461816469657595583838794506907/5750542712778268\ 849194291904*c_1001_0^11 + 17672483154739302443053111241485/5175488\ 4415004419642748627136*c_1001_0^10 + 39235750933979657383834800298021/103509768830008839285497254272*c_1\ 001_0^9 + 34800983784417994439080044384005/517548844150044196427486\ 27136*c_1001_0^8 + 41199886521517943684693388988327/103509768830008\ 839285497254272*c_1001_0^7 + 22197901587870919450819198280807/34503\ 256276669613095165751424*c_1001_0^6 - 2458624891775077296299926164833/103509768830008839285497254272*c_10\ 01_0^5 + 19181242745085564790759138719899/5175488441500441964274862\ 7136*c_1001_0^4 - 21022387120498790846640240865469/1035097688300088\ 39285497254272*c_1001_0^3 + 746117687355911524300587400715/64693605\ 51875552455343578392*c_1001_0^2 - 2287968413760434018692314259633/3\ 4503256276669613095165751424*c_1001_0 + 89476092794491754198251634143/9409978984546258116863386752, c_0101_3 - 10466161786506158073381785069/12938721103751104910687156784*\ c_1001_0^22 - 145404115361649567523666654147/2587744220750220982137\ 4313568*c_1001_0^21 - 927768660257261453818343882749/51754884415004\ 419642748627136*c_1001_0^20 - 351406946595830050102682256215/129387\ 21103751104910687156784*c_1001_0^19 - 385571117005072869659765110835/51754884415004419642748627136*c_1001\ _0^18 + 206003934932398111214104791235/4704989492273129058431693376\ *c_1001_0^17 + 714071388810421154934777334285/129387211037511049106\ 87156784*c_1001_0^16 - 123352717571769638684437655641/2875271356389\ 134424597145952*c_1001_0^15 - 90243040686972315544320484619/3920824\ 57689427421535974448*c_1001_0^14 - 9347636369552001847243677716713/25877442207502209821374313568*c_100\ 1_0^13 - 10296724013961692676568340382229/2587744220750220982137431\ 3568*c_1001_0^12 - 2764113968213890303333565291717/8625814069167403\ 273791437856*c_1001_0^11 - 1013101063000714657312383080039/32346802\ 75937776227671789196*c_1001_0^10 - 18959633006670569264555830268497/51754884415004419642748627136*c_10\ 01_0^9 - 17119054517572555858596453610253/2587744220750220982137431\ 3568*c_1001_0^8 - 28331057087528329983595018893751/5175488441500441\ 9642748627136*c_1001_0^7 - 12451744138618799828091975337841/1725162\ 8138334806547582875712*c_1001_0^6 - 9051944486944198267267010532649/51754884415004419642748627136*c_100\ 1_0^5 - 9310112720773385205913968008345/258774422075022098213743135\ 68*c_1001_0^4 + 7201355361826118372371078882787/5175488441500441964\ 2748627136*c_1001_0^3 - 2486637505704018158887796814301/25877442207\ 502209821374313568*c_1001_0^2 + 1088707354052416944153606352811/172\ 51628138334806547582875712*c_1001_0 - 40534643669926920312287771059/4704989492273129058431693376, c_0101_7 + 5473705539227441225396613493/6469360551875552455343578392*c_\ 1001_0^22 + 36761382988635605477901320665/6469360551875552455343578\ 392*c_1001_0^21 + 55388933353844427809907238657/3234680275937776227\ 671789196*c_1001_0^20 + 1159642058624936489207816403065/51754884415\ 004419642748627136*c_1001_0^19 - 154141617842569241454735814039/517\ 54884415004419642748627136*c_1001_0^18 - 117413433950881892685818209109/2352494746136564529215846688*c_1001_\ 0^17 - 1916880188697795907413113876395/5175488441500441964274862713\ 6*c_1001_0^16 + 452527562916939405658277239347/57505427127782688491\ 94291904*c_1001_0^15 + 355201820111738588801012671805/1568329830757\ 709686143897792*c_1001_0^14 + 13887791067023340836902691145419/5175\ 4884415004419642748627136*c_1001_0^13 + 13681130616750269257254101126273/51754884415004419642748627136*c_10\ 01_0^12 + 4144765997093699008126350219583/1725162813833480654758287\ 5712*c_1001_0^11 + 15244354869377180212660178549399/517548844150044\ 19642748627136*c_1001_0^10 + 16570200843309502341921684705703/51754\ 884415004419642748627136*c_1001_0^9 + 1778025960431827492914920286457/3234680275937776227671789196*c_1001\ _0^8 + 2390373532908073792687607386799/6469360551875552455343578392\ *c_1001_0^7 + 9769215491642815670140789774019/172516281383348065475\ 82875712*c_1001_0^6 + 49146826286459501784726666232/808670068984444\ 056917947299*c_1001_0^5 + 16851315811991502918149398772311/51754884\ 415004419642748627136*c_1001_0^4 - 6897976823070651813659029622069/51754884415004419642748627136*c_100\ 1_0^3 + 2410919769649232353188249237529/258774422075022098213743135\ 68*c_1001_0^2 - 59087019210388695323857800947/107822675864592540922\ 3929732*c_1001_0 + 31896516785251521706067536153/470498949227312905\ 8431693376, c_0101_9 - 2364593967314475025646665921/12938721103751104910687156784*c\ _1001_0^22 - 32583551388697330574511897281/258774422075022098213743\ 13568*c_1001_0^21 - 207217294799361715988805655283/5175488441500441\ 9642748627136*c_1001_0^20 - 316597058530990703929372946359/51754884\ 415004419642748627136*c_1001_0^19 - 54983789190249721903566619079/25877442207502209821374313568*c_1001_\ 0^18 + 39907244827853343323275293935/4704989492273129058431693376*c\ _1001_0^17 + 568954231012415508211833087941/51754884415004419642748\ 627136*c_1001_0^16 - 47103536746881637912756435557/5750542712778268\ 849194291904*c_1001_0^15 - 73178916872806788741557250427/1568329830\ 757709686143897792*c_1001_0^14 - 4069303689866882465457647832565/51\ 754884415004419642748627136*c_1001_0^13 - 5099532568716325782347588578129/51754884415004419642748627136*c_100\ 1_0^12 - 1563683529915557843365169244965/17251628138334806547582875\ 712*c_1001_0^11 - 4451416779459947468893582432201/51754884415004419\ 642748627136*c_1001_0^10 - 2231318847007296218475382128493/25877442\ 207502209821374313568*c_1001_0^9 - 3907156309610348384915727808927/25877442207502209821374313568*c_100\ 1_0^8 - 6887348586252847751197840454729/517548844150044196427486271\ 36*c_1001_0^7 - 406568048905006546437567322433/21564535172918508184\ 47859464*c_1001_0^6 - 3177999375001354737108658266797/5175488441500\ 4419642748627136*c_1001_0^5 - 5308386529406542118975418467321/51754\ 884415004419642748627136*c_1001_0^4 + 379177868781728058158194987459/12938721103751104910687156784*c_1001\ _0^3 - 638533736211554216670930696743/25877442207502209821374313568\ *c_1001_0^2 + 313644274206636463475619295555/1725162813833480654758\ 2875712*c_1001_0 - 7826200285364005754612460181/2352494746136564529\ 215846688, c_0110_7 - 4930023990152823656434385165/3234680275937776227671789196*c_\ 1001_0^22 - 136921139547613077197046083045/129387211037511049106871\ 56784*c_1001_0^21 - 860659046371095195844289911457/2587744220750220\ 9821374313568*c_1001_0^20 - 2470318144315558788758566911821/5175488\ 4415004419642748627136*c_1001_0^19 - 200150713519495555911031716077/51754884415004419642748627136*c_1001\ _0^18 + 111205850468832838939573829683/1176247373068282264607923344\ *c_1001_0^17 + 4988747407965807832137213559543/51754884415004419642\ 748627136*c_1001_0^16 - 2075095023158049061633288119959/17251628138\ 334806547582875712*c_1001_0^15 - 714946672129309078650395584921/156\ 8329830757709686143897792*c_1001_0^14 - 31470057526865569592926420376285/51754884415004419642748627136*c_10\ 01_0^13 - 30440893374086856011837154150113/517548844150044196427486\ 27136*c_1001_0^12 - 2727165950881840470643617468983/575054271277826\ 8849194291904*c_1001_0^11 - 27797198965543204288802537535023/517548\ 84415004419642748627136*c_1001_0^10 - 33169399109754255279556096007551/51754884415004419642748627136*c_10\ 01_0^9 - 14363053353114224604512410772095/1293872110375110491068715\ 6784*c_1001_0^8 - 22213046378071648808023680186467/2587744220750220\ 9821374313568*c_1001_0^7 - 19210005107678768333553822669929/1725162\ 8138334806547582875712*c_1001_0^6 - 2551302812740018671535294632271/12938721103751104910687156784*c_100\ 1_0^5 - 26958792169547798367832618224889/51754884415004419642748627\ 136*c_1001_0^4 + 11795871060552590662357524000119/51754884415004419\ 642748627136*c_1001_0^3 - 1640727207136420916432910352601/129387211\ 03751104910687156784*c_1001_0^2 + 194125288219431022866871429049/21\ 56453517291850818447859464*c_1001_0 - 59439116828262848531284322257/4704989492273129058431693376, c_1001_0^23 + 13/2*c_1001_0^22 + 75/4*c_1001_0^21 + 87/4*c_1001_0^20 - 43/4*c_1001_0^19 - 123/2*c_1001_0^18 - 135/4*c_1001_0^17 + 106*c_1001_0^16 + 258*c_1001_0^15 + 262*c_1001_0^14 + 439/2*c_1001_0^13 + 335/2*c_1001_0^12 + 241*c_1001_0^11 + 1107/4*c_1001_0^10 + 2191/4*c_1001_0^9 + 1033/4*c_1001_0^8 + 512*c_1001_0^7 - 151*c_1001_0^6 + 1249/4*c_1001_0^5 - 1115/4*c_1001_0^4 + 579/4*c_1001_0^3 - 371/4*c_1001_0^2 + 59/2*c_1001_0 - 11/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.400 Total time: 5.610 seconds, Total memory usage: 64.12MB