Magma V2.19-8 Tue Aug 20 2013 18:22:22 on localhost [Seed = 1444407324] Type ? for help. Type -D to quit. Loading file "11_430__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_430 geometric_solution 12.38480609 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.943387571141 1.448990489698 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.943387571141 1.448990489698 7 0 8 5 1230 0132 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 -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.423480665494 0.330183027854 7 5 9 0 0132 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 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.306129078904 0.748043696420 10 11 0 6 0132 0132 0132 3201 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 0 0 0 7 0 -1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.028464464992 0.606269798919 3 1 11 2 1230 0132 3120 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 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.423480665494 0.330183027854 9 4 1 12 2310 2310 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 0 0 1 -1 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770371863074 1.086434916188 3 2 9 1 0132 3012 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306129078904 0.748043696420 12 11 13 2 0321 0321 0132 0132 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 6 0 -7 1 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.259006694995 1.588868607142 10 7 6 3 3120 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.051741988300 0.883699194262 4 12 13 9 0132 1302 2103 3120 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 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449823336095 1.173253486234 13 4 5 8 1230 0132 3120 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.241085191869 0.516944877127 8 13 6 10 0321 3201 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726968639569 0.300159462610 10 11 12 8 2103 3012 2310 0132 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 0 0 0 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534171405586 0.490541483737 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_13'], 'c_1001_13' : negation(d['c_0011_10']), 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : negation(d['c_1001_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : d['c_0011_12'], 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_0']), 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_13' : negation(d['c_0101_11']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_9']), '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' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : d['c_0011_9'], 'c_1100_1' : d['c_0011_9'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : d['c_0101_12'], 'c_1100_13' : d['c_0011_12'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : negation(d['c_0101_11']), 'c_1010_2' : negation(d['c_0101_11']), 'c_1010_1' : negation(d['c_1001_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_10'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_9'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_13'], 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0011_13'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : negation(d['c_0101_12']), 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 5858210180563046946509934801994181448497534717/12523354822541285767\ 2936027612857242780391940949*c_1001_2^15 - 32215623482046241967811214087705380139941508779/1252335482254128576\ 72936027612857242780391940949*c_1001_2^14 - 157161519984283675488772902674849844228811700099/125233548225412857\ 672936027612857242780391940949*c_1001_2^13 - 331830903436041994969647936113728137654388238920/125233548225412857\ 672936027612857242780391940949*c_1001_2^12 - 1321922821622224295391517914767055241941276273925/12523354822541285\ 7672936027612857242780391940949*c_1001_2^11 - 3898592646920137896370364500476612509914239977793/12523354822541285\ 7672936027612857242780391940949*c_1001_2^10 - 9900253497261158677363462060770563219765719668006/12523354822541285\ 7672936027612857242780391940949*c_1001_2^9 - 27997732213080756760881432768900788132196381382656/1252335482254128\ 57672936027612857242780391940949*c_1001_2^8 - 33848787467444834245981592531050429185586318538287/1252335482254128\ 57672936027612857242780391940949*c_1001_2^7 - 66819643141899441994606621986859238432867865367845/1252335482254128\ 57672936027612857242780391940949*c_1001_2^6 - 73167660695557422588398924894378072732864766672398/1252335482254128\ 57672936027612857242780391940949*c_1001_2^5 - 2669579200811833823728394229619295002611790217694/25557866984778134\ 21896653624752188628171264101*c_1001_2^4 - 52274096459108635572754650500774972638434858848139/1252335482254128\ 57672936027612857242780391940949*c_1001_2^3 - 111363954216390588002717731975741072448326773914036/125233548225412\ 857672936027612857242780391940949*c_1001_2^2 - 46915242016078566762045428244168234549854290424380/1252335482254128\ 57672936027612857242780391940949*c_1001_2 - 5259154760006672024485597855521753555790500355748/12523354822541285\ 7672936027612857242780391940949, c_0011_0 - 1, c_0011_10 - 2156614136411777570203034729703/325399521311850602480974175\ 61293*c_1001_2^15 - 6000231869072372479401774319268/325399521311850\ 60248097417561293*c_1001_2^14 - 41802318820272926533964884345177/32\ 539952131185060248097417561293*c_1001_2^13 - 10265024080136640045248801083066/32539952131185060248097417561293*c\ _1001_2^12 - 467519648230493754059577744546278/32539952131185060248\ 097417561293*c_1001_2^11 - 189680488523860310295505661178497/325399\ 52131185060248097417561293*c_1001_2^10 - 3212380520383552561017411227713801/32539952131185060248097417561293\ *c_1001_2^9 - 1833064270676296379136364176651800/325399521311850602\ 48097417561293*c_1001_2^8 - 8162025624371084206729566752302166/3253\ 9952131185060248097417561293*c_1001_2^7 - 4340426361953422142772027094785719/32539952131185060248097417561293\ *c_1001_2^6 - 18455017503511205131692160328729819/32539952131185060\ 248097417561293*c_1001_2^5 - 3857804815144703318350507325961190/325\ 39952131185060248097417561293*c_1001_2^4 - 15563368246262077305793139376360549/3253995213118506024809741756129\ 3*c_1001_2^3 - 7375191741892596062206426044182595/32539952131185060\ 248097417561293*c_1001_2^2 - 2580864756725788925863977189142612/325\ 39952131185060248097417561293*c_1001_2 - 488288204163647961886957569028326/32539952131185060248097417561293, c_0011_12 + 285092076631171334100491498850/3253995213118506024809741756\ 1293*c_1001_2^15 + 798375955373226244513241704220/32539952131185060\ 248097417561293*c_1001_2^14 + 5530145490351001149083483126973/32539\ 952131185060248097417561293*c_1001_2^13 + 1415436399551105296352009659774/32539952131185060248097417561293*c_\ 1001_2^12 + 61594673944607225676589662315311/3253995213118506024809\ 7417561293*c_1001_2^11 + 25918016625550026456008287296145/325399521\ 31185060248097417561293*c_1001_2^10 + 422954838050969302018532257236616/32539952131185060248097417561293*\ c_1001_2^9 + 246642324945983243540065840076066/32539952131185060248\ 097417561293*c_1001_2^8 + 1067909860836499304065541776713450/325399\ 52131185060248097417561293*c_1001_2^7 + 568348852649751225388509028383140/32539952131185060248097417561293*\ c_1001_2^6 + 2410319160824069588498781217380409/3253995213118506024\ 8097417561293*c_1001_2^5 + 507968379861478763120617524880702/325399\ 52131185060248097417561293*c_1001_2^4 + 1998189615809517430829889002870668/32539952131185060248097417561293\ *c_1001_2^3 + 25147649869411093048762400934614/87945816570770433102\ 9659934089*c_1001_2^2 + 314040131720942375151622616145054/325399521\ 31185060248097417561293*c_1001_2 + 48481680865292443879869948501578/32539952131185060248097417561293, c_0011_13 - 260515532023555507119679016358/3253995213118506024809741756\ 1293*c_1001_2^15 - 730937329505093607739306606445/32539952131185060\ 248097417561293*c_1001_2^14 - 5048203061675542561544885096583/32539\ 952131185060248097417561293*c_1001_2^13 - 1306449437521522097797039489810/32539952131185060248097417561293*c_\ 1001_2^12 - 56152400642969951257557231758634/3253995213118506024809\ 7417561293*c_1001_2^11 - 24175820608933386240619379788687/325399521\ 31185060248097417561293*c_1001_2^10 - 384787186291131042054204040862273/32539952131185060248097417561293*\ c_1001_2^9 - 229091541508679909874074458219392/32539952131185060248\ 097417561293*c_1001_2^8 - 965362340945773772276236988043433/3253995\ 2131185060248097417561293*c_1001_2^7 - 534063157852981858011508964215012/32539952131185060248097417561293*\ c_1001_2^6 - 2185895992844780144924081218965973/3253995213118506024\ 8097417561293*c_1001_2^5 - 500469426788147245065394265207103/325399\ 52131185060248097417561293*c_1001_2^4 - 1783247630186852832386408311896195/32539952131185060248097417561293\ *c_1001_2^3 - 921323539048422281513660807848584/3253995213118506024\ 8097417561293*c_1001_2^2 - 278839111045680933618068636985432/325399\ 52131185060248097417561293*c_1001_2 - 86689370038890353122306353670393/32539952131185060248097417561293, c_0011_3 - 114956542190257030668283012990/32539952131185060248097417561\ 293*c_1001_2^15 - 316363880208820149376622790826/325399521311850602\ 48097417561293*c_1001_2^14 - 2197800201632629152160847890977/325399\ 52131185060248097417561293*c_1001_2^13 - 416902455423596768513695140757/32539952131185060248097417561293*c_1\ 001_2^12 - 24508786839455677397973188633528/32539952131185060248097\ 417561293*c_1001_2^11 - 9236764781725332955504109736656/32539952131\ 185060248097417561293*c_1001_2^10 - 166860026275624386525473052102571/32539952131185060248097417561293*\ c_1001_2^9 - 89984919402770940445418814768389/325399521311850602480\ 97417561293*c_1001_2^8 - 405223400345616929591003356562188/32539952\ 131185060248097417561293*c_1001_2^7 - 197811329269088497307498045039129/32539952131185060248097417561293*\ c_1001_2^6 - 925521514408594175452980009355806/32539952131185060248\ 097417561293*c_1001_2^5 - 151640737629279475090328839449683/3253995\ 2131185060248097417561293*c_1001_2^4 - 716576630213526103293454020641329/32539952131185060248097417561293*\ c_1001_2^3 - 335660366158696829884078902417833/32539952131185060248\ 097417561293*c_1001_2^2 - 121348153880741657889437631116925/3253995\ 2131185060248097417561293*c_1001_2 - 4649029207513135415417702804632/32539952131185060248097417561293, c_0011_6 + 142278198178904709924260887687/32539952131185060248097417561\ 293*c_1001_2^15 + 444902551618370421656022258199/325399521311850602\ 48097417561293*c_1001_2^14 + 2892527353625712309307022485763/325399\ 52131185060248097417561293*c_1001_2^13 + 1610397285682980962073675255499/32539952131185060248097417561293*c_\ 1001_2^12 + 30982305524794796256868935639782/3253995213118506024809\ 7417561293*c_1001_2^11 + 22825009805689685515709573571748/325399521\ 31185060248097417561293*c_1001_2^10 + 215348100775948565702370322818826/32539952131185060248097417561293*\ c_1001_2^9 + 191135801046120463374470754737976/32539952131185060248\ 097417561293*c_1001_2^8 + 571601393058846513641293693205632/3253995\ 2131185060248097417561293*c_1001_2^7 + 12173135733247051372696237190582/879458165707704331029659934089*c_1\ 001_2^6 + 34269967267769472671963693325786/879458165707704331029659\ 934089*c_1001_2^5 + 611606098955204961992609917437503/3253995213118\ 5060248097417561293*c_1001_2^4 + 1029655063047850402417060258882794\ /32539952131185060248097417561293*c_1001_2^3 + 727659193281854196016984541024626/32539952131185060248097417561293*\ c_1001_2^2 + 215029950659528547871752587436551/32539952131185060248\ 097417561293*c_1001_2 + 39610800782569912020871626370992/3253995213\ 1185060248097417561293, c_0011_9 - 641789400693406369043270334287/32539952131185060248097417561\ 293*c_1001_2^15 - 1877680015844036902884593865826/32539952131185060\ 248097417561293*c_1001_2^14 - 12696198083338123703199762748712/3253\ 9952131185060248097417561293*c_1001_2^13 - 4842836102669904632796439934023/32539952131185060248097417561293*c_\ 1001_2^12 - 139563065353233708942011864129078/325399521311850602480\ 97417561293*c_1001_2^11 - 76404207940140227449293854675557/32539952\ 131185060248097417561293*c_1001_2^10 - 963761708993831714621843188539024/32539952131185060248097417561293*\ c_1001_2^9 - 682919693636289480397944790388704/32539952131185060248\ 097417561293*c_1001_2^8 - 2504662705609428257547397743191514/325399\ 52131185060248097417561293*c_1001_2^7 - 1638912233939773747919962781070071/32539952131185060248097417561293\ *c_1001_2^6 - 5661123117756251554121007735840678/325399521311850602\ 48097417561293*c_1001_2^5 - 1905445675139180201998713879722615/3253\ 9952131185060248097417561293*c_1001_2^4 - 4761025654474821447473762430863755/32539952131185060248097417561293\ *c_1001_2^3 - 2811680324310277711649057748531223/325399521311850602\ 48097417561293*c_1001_2^2 - 1011264070705522860242141972610091/3253\ 9952131185060248097417561293*c_1001_2 - 187321387389805370122515782395091/32539952131185060248097417561293, c_0101_0 + 111192746898301554665129508317/32539952131185060248097417561\ 293*c_1001_2^15 + 364902962071255357347840742570/325399521311850602\ 48097417561293*c_1001_2^14 + 2285987166675220205062110377398/325399\ 52131185060248097417561293*c_1001_2^13 + 1556947649775474869137333815315/32539952131185060248097417561293*c_\ 1001_2^12 + 23978472400371008467023293699328/3253995213118506024809\ 7417561293*c_1001_2^11 + 22085229514127561979789788201789/325399521\ 31185060248097417561293*c_1001_2^10 + 165770823584576510307999775617504/32539952131185060248097417561293*\ c_1001_2^9 + 178522261351014634757395091751591/32539952131185060248\ 097417561293*c_1001_2^8 + 438184731000391155639112540352690/3253995\ 2131185060248097417561293*c_1001_2^7 + 437170659140232383474430308268161/32539952131185060248097417561293*\ c_1001_2^6 + 1012690501733641543733724102374378/3253995213118506024\ 8097417561293*c_1001_2^5 + 678962994299506447505230587381947/325399\ 52131185060248097417561293*c_1001_2^4 + 752044078745677839352549274165353/32539952131185060248097417561293*\ c_1001_2^3 + 851190966592140591400493854742303/32539952131185060248\ 097417561293*c_1001_2^2 + 248249421324327008363499361675361/3253995\ 2131185060248097417561293*c_1001_2 + 52351310625107135993684308487975/32539952131185060248097417561293, c_0101_1 + 6135303880653194690877857700/3253995213118506024809741756129\ 3*c_1001_2^15 + 72150796319320381068274568970/325399521311850602480\ 97417561293*c_1001_2^14 + 250332351732906820311120569270/3253995213\ 1185060248097417561293*c_1001_2^13 + 1026455488763147392134331038302/32539952131185060248097417561293*c_\ 1001_2^12 + 1144862449038222169663604100461/32539952131185060248097\ 417561293*c_1001_2^11 + 12209729872531895427500331135449/3253995213\ 1185060248097417561293*c_1001_2^10 + 9282162299646786240566607738559/32539952131185060248097417561293*c_\ 1001_2^9 + 83475260170390232232407655439355/32539952131185060248097\ 417561293*c_1001_2^8 + 37166721911801809306032008072110/32539952131\ 185060248097417561293*c_1001_2^7 + 190801734776823789086339846033652/32539952131185060248097417561293*\ c_1001_2^6 + 76200565019103530927301748979369/325399521311850602480\ 97417561293*c_1001_2^5 + 420900505146877322775390950875483/32539952\ 131185060248097417561293*c_1001_2^4 - 49052253571859152492645804204712/32539952131185060248097417561293*c\ _1001_2^3 + 9161653714445468945398087023643/87945816570770433102965\ 9934089*c_1001_2^2 + 51947849398347294678643473850297/3253995213118\ 5060248097417561293*c_1001_2 + 13916534432667057739886207564819/325\ 39952131185060248097417561293, c_0101_10 + 1403860293993836395126549170740/325399521311850602480974175\ 61293*c_1001_2^15 + 3879006712657125628494641541565/325399521311850\ 60248097417561293*c_1001_2^14 + 27155974079488298205068045347383/32\ 539952131185060248097417561293*c_1001_2^13 + 6193791038562901727376893146829/32539952131185060248097417561293*c_\ 1001_2^12 + 304530670139362601163538122002483/325399521311850602480\ 97417561293*c_1001_2^11 + 117340097818205282720578195573362/3253995\ 2131185060248097417561293*c_1001_2^10 + 2092974539175424698876545237775069/32539952131185060248097417561293\ *c_1001_2^9 + 1150175341095414508631252096826095/325399521311850602\ 48097417561293*c_1001_2^8 + 5319271799404342352815567925968193/3253\ 9952131185060248097417561293*c_1001_2^7 + 2706790354894493896434912277641399/32539952131185060248097417561293\ *c_1001_2^6 + 12028836554215979131974255322281671/32539952131185060\ 248097417561293*c_1001_2^5 + 2232836951365139164310112250048839/325\ 39952131185060248097417561293*c_1001_2^4 + 10243855113748791733170791067778195/3253995213118506024809741756129\ 3*c_1001_2^3 + 4477883840452219212218041590075237/32539952131185060\ 248097417561293*c_1001_2^2 + 1750220184420593786738190440655014/325\ 39952131185060248097417561293*c_1001_2 + 266320662377362424656943810209130/32539952131185060248097417561293, c_0101_11 - 285092076631171334100491498850/3253995213118506024809741756\ 1293*c_1001_2^15 - 798375955373226244513241704220/32539952131185060\ 248097417561293*c_1001_2^14 - 5530145490351001149083483126973/32539\ 952131185060248097417561293*c_1001_2^13 - 1415436399551105296352009659774/32539952131185060248097417561293*c_\ 1001_2^12 - 61594673944607225676589662315311/3253995213118506024809\ 7417561293*c_1001_2^11 - 25918016625550026456008287296145/325399521\ 31185060248097417561293*c_1001_2^10 - 422954838050969302018532257236616/32539952131185060248097417561293*\ c_1001_2^9 - 246642324945983243540065840076066/32539952131185060248\ 097417561293*c_1001_2^8 - 1067909860836499304065541776713450/325399\ 52131185060248097417561293*c_1001_2^7 - 568348852649751225388509028383140/32539952131185060248097417561293*\ c_1001_2^6 - 2410319160824069588498781217380409/3253995213118506024\ 8097417561293*c_1001_2^5 - 507968379861478763120617524880702/325399\ 52131185060248097417561293*c_1001_2^4 - 1998189615809517430829889002870668/32539952131185060248097417561293\ *c_1001_2^3 - 25147649869411093048762400934614/87945816570770433102\ 9659934089*c_1001_2^2 - 314040131720942375151622616145054/325399521\ 31185060248097417561293*c_1001_2 - 81021632996477504127967366062871/32539952131185060248097417561293, c_0101_12 - 495066809595741820116970086455/3253995213118506024809741756\ 1293*c_1001_2^15 - 1369195535956423178105183875258/3253995213118506\ 0248097417561293*c_1001_2^14 - 9586532848248545329072154610289/3253\ 9952131185060248097417561293*c_1001_2^13 - 2240352967668263354030714217880/32539952131185060248097417561293*c_\ 1001_2^12 - 107547209452121133380457213201431/325399521311850602480\ 97417561293*c_1001_2^11 - 41899003180919853179369394300605/32539952\ 131185060248097417561293*c_1001_2^10 - 739377693481626190483583401001821/32539952131185060248097417561293*\ c_1001_2^9 - 410749326803439912234342470715019/32539952131185060248\ 097417561293*c_1001_2^8 - 1884734675625969867040140790514960/325399\ 52131185060248097417561293*c_1001_2^7 - 982115743247731914534778291507219/32539952131185060248097417561293*\ c_1001_2^6 - 4259137197427080242055842085960141/3253995213118506024\ 8097417561293*c_1001_2^5 - 839733003074283859357585611165422/325399\ 52131185060248097417561293*c_1001_2^4 - 3640548642011956205439624006861284/32539952131185060248097417561293\ *c_1001_2^3 - 1665698339794597663309638769272386/325399521311850602\ 48097417561293*c_1001_2^2 - 609970102435186897362842683870992/32539\ 952131185060248097417561293*c_1001_2 - 99225792684198721283459651053925/32539952131185060248097417561293, c_1001_11 - 1715113513167739521687476285345/325399521311850602480974175\ 61293*c_1001_2^15 - 4740314368286909833068797207426/325399521311850\ 60248097417561293*c_1001_2^14 - 33155198948010894291538159612821/32\ 539952131185060248097417561293*c_1001_2^13 - 7554863813851983599119532935154/32539952131185060248097417561293*c_\ 1001_2^12 - 371659202035274754937318016871349/325399521311850602480\ 97417561293*c_1001_2^11 - 144170539106210225449116402375127/3253995\ 2131185060248097417561293*c_1001_2^10 - 2551853132996127344501696307210605/32539952131185060248097417561293\ *c_1001_2^9 - 1412217819215861617593865041681835/325399521311850602\ 48097417561293*c_1001_2^8 - 6464650827569143460302429084669256/3253\ 9952131185060248097417561293*c_1001_2^7 - 3341969888281372738219330964599915/32539952131185060248097417561293\ *c_1001_2^6 - 14628454621098429077073486276592035/32539952131185060\ 248097417561293*c_1001_2^5 - 2822480484481410528253414512395632/325\ 39952131185060248097417561293*c_1001_2^4 - 12354799186462920822905780061866510/3253995213118506024809741756129\ 3*c_1001_2^3 - 5668415751701186649697074112652824/32539952131185060\ 248097417561293*c_1001_2^2 - 2040066662935858947619305896285533/325\ 39952131185060248097417561293*c_1001_2 - 372055340729992555177409193893625/32539952131185060248097417561293, c_1001_2^16 + 3*c_1001_2^15 + 20*c_1001_2^14 + 9*c_1001_2^13 + 218*c_1001_2^12 + 135*c_1001_2^11 + 1511*c_1001_2^10 + 1173*c_1001_2^9 + 3985*c_1001_2^8 + 2830*c_1001_2^7 + 9029*c_1001_2^6 + 3635*c_1001_2^5 + 7690*c_1001_2^4 + 4932*c_1001_2^3 + 2018*c_1001_2^2 + 495*c_1001_2 + 49 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 11515300844611136089160399116467564/1425136140796666970815346430457\ 3*c_1001_2^17 - 80866635032914090803241086093565233/285027228159333\ 39416306928609146*c_1001_2^16 - 2472812496049553765191122369882514/\ 619624409042029117745802795851*c_1001_2^15 - 109345878070448426657350141057558693/285027228159333394163069286091\ 46*c_1001_2^14 - 109708878207741409568572403583252253/1425136140796\ 6669708153464304573*c_1001_2^13 - 457218203482203383188828002285185\ 315/28502722815933339416306928609146*c_1001_2^12 - 191512849719526963889411920747504514/142513614079666697081534643045\ 73*c_1001_2^11 + 17914991953461484056853869106052337/28502722815933\ 339416306928609146*c_1001_2^10 - 2236928122536054427338027475187582\ 01/28502722815933339416306928609146*c_1001_2^9 - 505539469436552629055541854962743651/285027228159333394163069286091\ 46*c_1001_2^8 + 128745772655180366471309877727943897/28502722815933\ 339416306928609146*c_1001_2^7 + 12670385946183830418317609161965823\ /1239248818084058235491605591702*c_1001_2^6 - 5132512156562442290844774708432871/838315376939215865185497900269*c\ _1001_2^5 - 44658267206950172289544265872621083/1425136140796666970\ 8153464304573*c_1001_2^4 + 92982027192938177465058863134068467/2850\ 2722815933339416306928609146*c_1001_2^3 + 3199837791350826324271635383118245/4071817545133334202329561229878*\ c_1001_2^2 - 13380730128968475040279147432476151/142513614079666697\ 08153464304573*c_1001_2 - 5410263703812899806767615133348729/285027\ 22815933339416306928609146, c_0011_0 - 1, c_0011_10 + 360883530512404713555149496/226388165525038040827841723*c_1\ 001_2^17 + 1437362905255178368118895445/226388165525038040827841723\ *c_1001_2^16 + 2362481490185700701199812014/22638816552503804082784\ 1723*c_1001_2^15 + 2550646093146512050019493865/2263881655250380408\ 27841723*c_1001_2^14 + 4343653047701076696838566576/226388165525038\ 040827841723*c_1001_2^13 + 8936782080313084684380323560/22638816552\ 5038040827841723*c_1001_2^12 + 9456874971493234591072500989/2263881\ 65525038040827841723*c_1001_2^11 + 2761018555856391514654117230/226388165525038040827841723*c_1001_2^1\ 0 + 4156629352475042865535697588/226388165525038040827841723*c_1001\ _2^9 + 10374521660065385593730831882/226388165525038040827841723*c_\ 1001_2^8 + 1585998356789001671247088427/226388165525038040827841723\ *c_1001_2^7 - 4901282490285241107961307207/226388165525038040827841\ 723*c_1001_2^6 + 1921146295216643306945771541/226388165525038040827\ 841723*c_1001_2^5 + 2494709442340944912237310023/226388165525038040\ 827841723*c_1001_2^4 - 1177498788684960003098028391/226388165525038\ 040827841723*c_1001_2^3 - 499768006601284113152380825/2263881655250\ 38040827841723*c_1001_2^2 + 464912484571625687906477109/22638816552\ 5038040827841723*c_1001_2 + 114588403505564483581498271/22638816552\ 5038040827841723, c_0011_12 + 759165004418712053553091320/226388165525038040827841723*c_1\ 001_2^17 + 2736831521939750182001117309/226388165525038040827841723\ *c_1001_2^16 + 3842334761466537890477610004/22638816552503804082784\ 1723*c_1001_2^15 + 3452163818186052836950484049/2263881655250380408\ 27841723*c_1001_2^14 + 6940977205336646820462065751/226388165525038\ 040827841723*c_1001_2^13 + 15152302376308885698647139811/2263881655\ 25038040827841723*c_1001_2^12 + 12649189347957425421881543473/22638\ 8165525038040827841723*c_1001_2^11 - 2172708867791012840183890177/226388165525038040827841723*c_1001_2^1\ 0 + 5441040751840281085855478222/226388165525038040827841723*c_1001\ _2^9 + 17785518565237643992476592279/226388165525038040827841723*c_\ 1001_2^8 - 4658541741917745797148366457/226388165525038040827841723\ *c_1001_2^7 - 12903374868376556524849524106/22638816552503804082784\ 1723*c_1001_2^6 + 6588628885069455114081391692/22638816552503804082\ 7841723*c_1001_2^5 + 4490540283765124450010127462/22638816552503804\ 0827841723*c_1001_2^4 - 4345428125405894251460421497/22638816552503\ 8040827841723*c_1001_2^3 - 1025751728223112884301631265/22638816552\ 5038040827841723*c_1001_2^2 + 1279449157429833178268066723/22638816\ 5525038040827841723*c_1001_2 + 124462962795109995250798387/22638816\ 5525038040827841723, c_0011_13 - 141880288675755634183946064/226388165525038040827841723*c_1\ 001_2^17 - 502722373068623651964696790/226388165525038040827841723*\ c_1001_2^16 - 730764461767525479615941433/2263881655250380408278417\ 23*c_1001_2^15 - 776163815327356256119500144/2263881655250380408278\ 41723*c_1001_2^14 - 1513849363701617412133459527/226388165525038040\ 827841723*c_1001_2^13 - 3001458550178576701974909617/22638816552503\ 8040827841723*c_1001_2^12 - 2686879287309993519036107888/2263881655\ 25038040827841723*c_1001_2^11 - 506104681654887810528996851/2263881\ 65525038040827841723*c_1001_2^10 - 2012045508049641187101251785/226388165525038040827841723*c_1001_2^9 - 3342903720969371653296909084/226388165525038040827841723*c_1001_2\ ^8 + 460998330722825455238963149/226388165525038040827841723*c_1001\ _2^7 + 852193142897550606270050223/226388165525038040827841723*c_10\ 01_2^6 - 1086738178604348690270359204/226388165525038040827841723*c\ _1001_2^5 - 300136299497616418790824819/226388165525038040827841723\ *c_1001_2^4 - 38670176553800069796016531/22638816552503804082784172\ 3*c_1001_2^3 + 15738914539419589794747655/2263881655250380408278417\ 23*c_1001_2^2 - 11480184591720821124827545/226388165525038040827841\ 723*c_1001_2 - 215750654594294062013042999/226388165525038040827841\ 723, c_0011_3 - 2069362049161142568994463520/226388165525038040827841723*c_1\ 001_2^17 - 7496989372747688551724229180/226388165525038040827841723\ *c_1001_2^16 - 10861655859509014003378538686/2263881655250380408278\ 41723*c_1001_2^15 - 10412296726513151992458971335/22638816552503804\ 0827841723*c_1001_2^14 - 20013089461268805029124215695/226388165525\ 038040827841723*c_1001_2^13 - 42375255554336030272023319062/2263881\ 65525038040827841723*c_1001_2^12 - 37261475090440894397503597847/226388165525038040827841723*c_1001_2^\ 11 + 1016745118172160039880582162/226388165525038040827841723*c_100\ 1_2^10 - 17117758571775491106360490612/226388165525038040827841723*\ c_1001_2^9 - 46920482774424309928691160843/226388165525038040827841\ 723*c_1001_2^8 + 8870141048809583277382034290/226388165525038040827\ 841723*c_1001_2^7 + 30138858569392359864996485359/22638816552503804\ 0827841723*c_1001_2^6 - 13174514761625428150288302746/2263881655250\ 38040827841723*c_1001_2^5 - 10268052112234356179357614519/226388165\ 525038040827841723*c_1001_2^4 + 7670465280027181035831769412/226388\ 165525038040827841723*c_1001_2^3 + 3126957941850665621403088310/226388165525038040827841723*c_1001_2^2 - 1935908156825980527075420546/226388165525038040827841723*c_1001_2 - 814528628398060195716927742/226388165525038040827841723, c_0011_6 + 2977529293499512800373154472/226388165525038040827841723*c_1\ 001_2^17 + 10637821302951043448907103231/22638816552503804082784172\ 3*c_1001_2^16 + 15206982172554690320498666416/226388165525038040827\ 841723*c_1001_2^15 + 14746852959554719016321761055/2263881655250380\ 40827841723*c_1001_2^14 + 29067538085288064928700863867/22638816552\ 5038040827841723*c_1001_2^13 + 60701012578198618621256046190/226388\ 165525038040827841723*c_1001_2^12 + 52293141522101176492586871988/226388165525038040827841723*c_1001_2^\ 11 - 604779613734982569400639307/226388165525038040827841723*c_1001\ _2^10 + 29078914387550095099234150766/226388165525038040827841723*c\ _1001_2^9 + 68172380894721719283920659643/2263881655250380408278417\ 23*c_1001_2^8 - 14990607944142241916819960431/226388165525038040827\ 841723*c_1001_2^7 - 38900016415956113588162945939/22638816552503804\ 0827841723*c_1001_2^6 + 22757800157296352695732613357/2263881655250\ 38040827841723*c_1001_2^5 + 11899494472896202992088092985/226388165\ 525038040827841723*c_1001_2^4 - 12042322106698361282415037971/22638\ 8165525038040827841723*c_1001_2^3 - 2946890282372792714942195116/226388165525038040827841723*c_1001_2^2 + 3206508964574455132625918646/226388165525038040827841723*c_1001_2 + 748107713830037588481305720/226388165525038040827841723, c_0011_9 + 2977529293499512800373154472/226388165525038040827841723*c_1\ 001_2^17 + 10637821302951043448907103231/22638816552503804082784172\ 3*c_1001_2^16 + 15206982172554690320498666416/226388165525038040827\ 841723*c_1001_2^15 + 14746852959554719016321761055/2263881655250380\ 40827841723*c_1001_2^14 + 29067538085288064928700863867/22638816552\ 5038040827841723*c_1001_2^13 + 60701012578198618621256046190/226388\ 165525038040827841723*c_1001_2^12 + 52293141522101176492586871988/226388165525038040827841723*c_1001_2^\ 11 - 604779613734982569400639307/226388165525038040827841723*c_1001\ _2^10 + 29078914387550095099234150766/226388165525038040827841723*c\ _1001_2^9 + 68172380894721719283920659643/2263881655250380408278417\ 23*c_1001_2^8 - 14990607944142241916819960431/226388165525038040827\ 841723*c_1001_2^7 - 38900016415956113588162945939/22638816552503804\ 0827841723*c_1001_2^6 + 22757800157296352695732613357/2263881655250\ 38040827841723*c_1001_2^5 + 11899494472896202992088092985/226388165\ 525038040827841723*c_1001_2^4 - 12042322106698361282415037971/22638\ 8165525038040827841723*c_1001_2^3 - 2946890282372792714942195116/226388165525038040827841723*c_1001_2^2 + 3206508964574455132625918646/226388165525038040827841723*c_1001_2 + 748107713830037588481305720/226388165525038040827841723, c_0101_0 - 4613338160658044244469535952/226388165525038040827841723*c_1\ 001_2^17 - 16290771640528230714746033278/22638816552503804082784172\ 3*c_1001_2^16 - 22766504496169011772574809258/226388165525038040827\ 841723*c_1001_2^15 - 21349556316812925410612164249/2263881655250380\ 40827841723*c_1001_2^14 - 43118648571791288236936823344/22638816552\ 5038040827841723*c_1001_2^13 - 91103093092599272471669057031/226388\ 165525038040827841723*c_1001_2^12 - 75589613300853397169782765735/226388165525038040827841723*c_1001_2^\ 11 + 7444234533607713275960779041/226388165525038040827841723*c_100\ 1_2^10 - 41256873192469382900520802797/226388165525038040827841723*\ c_1001_2^9 - 102453511917813016514576763302/22638816552503804082784\ 1723*c_1001_2^8 + 27961159642832838597406348409/2263881655250380408\ 27841723*c_1001_2^7 + 62094460092916586334323734401/226388165525038\ 040827841723*c_1001_2^6 - 37165460945182575346212695502/22638816552\ 5038040827841723*c_1001_2^5 - 19394594710351701415196771459/2263881\ 65525038040827841723*c_1001_2^4 + 18963438009504452466541978725/226\ 388165525038040827841723*c_1001_2^3 + 4157121706541851488165541848/226388165525038040827841723*c_1001_2^2 - 5422581517960174752746619429/226388165525038040827841723*c_1001_2 - 1025304019142568398548280618/226388165525038040827841723, c_0101_1 + 4613338160658044244469535952/226388165525038040827841723*c_1\ 001_2^17 + 16290771640528230714746033278/22638816552503804082784172\ 3*c_1001_2^16 + 22766504496169011772574809258/226388165525038040827\ 841723*c_1001_2^15 + 21349556316812925410612164249/2263881655250380\ 40827841723*c_1001_2^14 + 43118648571791288236936823344/22638816552\ 5038040827841723*c_1001_2^13 + 91103093092599272471669057031/226388\ 165525038040827841723*c_1001_2^12 + 75589613300853397169782765735/226388165525038040827841723*c_1001_2^\ 11 - 7444234533607713275960779041/226388165525038040827841723*c_100\ 1_2^10 + 41256873192469382900520802797/226388165525038040827841723*\ c_1001_2^9 + 102453511917813016514576763302/22638816552503804082784\ 1723*c_1001_2^8 - 27961159642832838597406348409/2263881655250380408\ 27841723*c_1001_2^7 - 62094460092916586334323734401/226388165525038\ 040827841723*c_1001_2^6 + 37165460945182575346212695502/22638816552\ 5038040827841723*c_1001_2^5 + 19394594710351701415196771459/2263881\ 65525038040827841723*c_1001_2^4 - 18963438009504452466541978725/226\ 388165525038040827841723*c_1001_2^3 - 4157121706541851488165541848/226388165525038040827841723*c_1001_2^2 + 5422581517960174752746619429/226388165525038040827841723*c_1001_2 + 1025304019142568398548280618/226388165525038040827841723, c_0101_10 + 1772691663257804157551652408/226388165525038040827841723*c_\ 1001_2^17 + 6254937448621522175190908261/22638816552503804082784172\ 3*c_1001_2^16 + 8726285169542051513707826590/2263881655250380408278\ 41723*c_1001_2^15 + 8131726646957043356123148980/226388165525038040\ 827841723*c_1001_2^14 + 16377586923661668437969200412/2263881655250\ 38040827841723*c_1001_2^13 + 34676404670660937189206348863/22638816\ 5525038040827841723*c_1001_2^12 + 28594194084982507081369403523/226\ 388165525038040827841723*c_1001_2^11 - 3540749798839236762553850108/226388165525038040827841723*c_1001_2^1\ 0 + 14752153560931336936606156971/226388165525038040827841723*c_100\ 1_2^9 + 38100373625523639178556676909/226388165525038040827841723*c\ _1001_2^8 - 11511496353910921322158204625/2263881655250380408278417\ 23*c_1001_2^7 - 24561614095112535602210705814/226388165525038040827\ 841723*c_1001_2^6 + 13020546072694645983011830732/22638816552503804\ 0827841723*c_1001_2^5 + 7060635246988340137772045107/22638816552503\ 8040827841723*c_1001_2^4 - 6952400988221385042108141524/22638816552\ 5038040827841723*c_1001_2^3 - 1794611761431301181839164642/22638816\ 5525038040827841723*c_1001_2^2 + 1927583844772929099331510561/22638\ 8165525038040827841723*c_1001_2 + 530578254356160178850161458/22638\ 8165525038040827841723, c_0101_11 + 759165004418712053553091320/226388165525038040827841723*c_1\ 001_2^17 + 2736831521939750182001117309/226388165525038040827841723\ *c_1001_2^16 + 3842334761466537890477610004/22638816552503804082784\ 1723*c_1001_2^15 + 3452163818186052836950484049/2263881655250380408\ 27841723*c_1001_2^14 + 6940977205336646820462065751/226388165525038\ 040827841723*c_1001_2^13 + 15152302376308885698647139811/2263881655\ 25038040827841723*c_1001_2^12 + 12649189347957425421881543473/22638\ 8165525038040827841723*c_1001_2^11 - 2172708867791012840183890177/226388165525038040827841723*c_1001_2^1\ 0 + 5441040751840281085855478222/226388165525038040827841723*c_1001\ _2^9 + 17785518565237643992476592279/226388165525038040827841723*c_\ 1001_2^8 - 4658541741917745797148366457/226388165525038040827841723\ *c_1001_2^7 - 12903374868376556524849524106/22638816552503804082784\ 1723*c_1001_2^6 + 6588628885069455114081391692/22638816552503804082\ 7841723*c_1001_2^5 + 4490540283765124450010127462/22638816552503804\ 0827841723*c_1001_2^4 - 4345428125405894251460421497/22638816552503\ 8040827841723*c_1001_2^3 - 1025751728223112884301631265/22638816552\ 5038040827841723*c_1001_2^2 + 1279449157429833178268066723/22638816\ 5525038040827841723*c_1001_2 + 124462962795109995250798387/22638816\ 5525038040827841723, c_0101_12 + 2069362049161142568994463520/226388165525038040827841723*c_\ 1001_2^17 + 7496989372747688551724229180/22638816552503804082784172\ 3*c_1001_2^16 + 10861655859509014003378538686/226388165525038040827\ 841723*c_1001_2^15 + 10412296726513151992458971335/2263881655250380\ 40827841723*c_1001_2^14 + 20013089461268805029124215695/22638816552\ 5038040827841723*c_1001_2^13 + 42375255554336030272023319062/226388\ 165525038040827841723*c_1001_2^12 + 37261475090440894397503597847/226388165525038040827841723*c_1001_2^\ 11 - 1016745118172160039880582162/226388165525038040827841723*c_100\ 1_2^10 + 17117758571775491106360490612/226388165525038040827841723*\ c_1001_2^9 + 46920482774424309928691160843/226388165525038040827841\ 723*c_1001_2^8 - 8870141048809583277382034290/226388165525038040827\ 841723*c_1001_2^7 - 30138858569392359864996485359/22638816552503804\ 0827841723*c_1001_2^6 + 13174514761625428150288302746/2263881655250\ 38040827841723*c_1001_2^5 + 10268052112234356179357614519/226388165\ 525038040827841723*c_1001_2^4 - 7670465280027181035831769412/226388\ 165525038040827841723*c_1001_2^3 - 3126957941850665621403088310/226388165525038040827841723*c_1001_2^2 + 2162296322351018567903262269/226388165525038040827841723*c_1001_2 + 814528628398060195716927742/226388165525038040827841723, c_1001_11 - c_1001_2, c_1001_2^18 + 89/24*c_1001_2^17 + 67/12*c_1001_2^16 + 67/12*c_1001_2^15 + 247/24*c_1001_2^14 + 517/24*c_1001_2^13 + 161/8*c_1001_2^12 + 7/4*c_1001_2^11 + 109/12*c_1001_2^10 + 191/8*c_1001_2^9 - 23/12*c_1001_2^8 - 341/24*c_1001_2^7 + 133/24*c_1001_2^6 + 65/12*c_1001_2^5 - 27/8*c_1001_2^4 - 5/3*c_1001_2^3 + c_1001_2^2 + 5/12*c_1001_2 + 1/24 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 25.750 Total time: 25.960 seconds, Total memory usage: 186.97MB