Magma V2.19-8 Tue Aug 20 2013 20:58:35 on localhost [Seed = 3069244497] Type ? for help. Type -D to quit. Loading file "9_34__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_34 geometric_solution 14.34458139 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 15 1 1 2 3 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215737421449 0.697632136801 0 4 5 0 0132 0132 0132 2031 0 0 0 0 0 0 -1 1 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 -1 1 1 0 0 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711828097136 0.633198841844 6 6 5 0 0132 1230 1302 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 -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.427119176927 0.860341331872 6 7 0 8 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456531525180 1.422944387623 9 1 9 7 0132 0132 3012 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476724585671 0.650581263723 2 10 8 1 2031 0132 2031 0132 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 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 1.198057478157 0.955100013487 2 11 2 3 0132 0132 3012 3120 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.537057398010 0.932500052192 4 3 12 10 3201 0132 0132 1302 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.329031057816 0.739224869829 13 14 3 5 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602405777495 0.709300055092 4 4 11 13 0132 1230 3120 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.750675050207 0.933304163422 13 5 7 14 3012 0132 2031 3012 0 0 0 0 0 0 -1 1 -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 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.580134764212 0.734509679838 12 6 9 12 2031 0132 3120 1230 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 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.149807346081 0.953527227055 11 14 11 7 3012 0321 1302 0132 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.520938063477 0.584254197969 8 9 14 10 0132 1302 2103 1230 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.951040278217 0.700169661357 13 8 10 12 2103 0132 1230 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.233234477307 0.907266438483 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_1001_14'], 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0110_7']), 'c_1001_13' : d['c_0011_13'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : negation(d['c_0101_13']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0110_7']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_1001_14'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : d['c_1001_7'], 'c_1010_13' : d['c_0101_10'], 'c_1010_12' : d['c_1001_7'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0101_13']), 'c_1010_14' : d['c_1001_7'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0101_13'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : 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_14' : d['c_0011_13'], 'c_0011_11' : d['c_0011_11'], '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_1001_14']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_1001_14']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_5'], 'c_1100_14' : d['c_0011_12'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : negation(d['c_1001_14']), 'c_1100_13' : d['c_0011_12'], 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_14'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_7']), 'c_1010_4' : negation(d['c_0110_7']), 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_14'], 'c_1010_9' : d['c_0011_13'], 'c_1010_8' : d['c_1001_14'], 'c_1100_8' : d['c_0101_5'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_11'], 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0011_12'], 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : d['c_0101_7'], 'c_0110_14' : negation(d['c_0011_12']), 's_0_13' : d['1'], 'c_0101_12' : negation(d['c_0011_11']), 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_13'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_13'], 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_10'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_7']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0011_10'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_5, c_0101_7, c_0110_7, c_1001_14, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 3113789681300725642994917109481/1542262213611939102286233088*c_1001\ _7^16 - 30052766429243839524656011645509/15422622136119391022862330\ 88*c_1001_7^15 + 19282719276422999878387484221785/77113110680596955\ 1143116544*c_1001_7^14 - 4425691834084587762638621035073/3586656310\ 7254397727586816*c_1001_7^13 + 9088034524040305389750292377229/1542\ 262213611939102286233088*c_1001_7^12 + 17943422480506119725636059516141/771131106805969551143116544*c_1001\ _7^11 - 341670869153115903698735206472005/3855655534029847755715582\ 72*c_1001_7^10 - 204600002077367825423906545739815/3855655534029847\ 75571558272*c_1001_7^9 + 153439095829219583686268041340243/38556555\ 3402984775571558272*c_1001_7^8 - 707015567307546398655078509905431/\ 771131106805969551143116544*c_1001_7^7 - 1716493008162449503104634900349033/771131106805969551143116544*c_10\ 01_7^6 - 2124300320852409372640186810604389/15422622136119391022862\ 33088*c_1001_7^5 - 56778792808575301589471616799163/192782776701492\ 387785779136*c_1001_7^4 - 233145859046368363387691326379331/1542262\ 213611939102286233088*c_1001_7^3 - 229808018602528722439533532962717/1542262213611939102286233088*c_10\ 01_7^2 - 77004901443916976389889675693915/1542262213611939102286233\ 088*c_1001_7 - 8103309984717863396110091593293/15422622136119391022\ 86233088, c_0011_0 - 1, c_0011_10 - 387443016994963986544/46732408985227648807*c_1001_7^16 - 3766813486728785530094/46732408985227648807*c_1001_7^15 + 4533439551064595334948/46732408985227648807*c_1001_7^14 - 23342859005026037850976/46732408985227648807*c_1001_7^13 - 502355577508730943370/46732408985227648807*c_1001_7^12 + 4432157986327639050628/46732408985227648807*c_1001_7^11 - 169465524252099572782688/46732408985227648807*c_1001_7^10 - 114044043282182367938581/46732408985227648807*c_1001_7^9 + 68897941438117284355317/46732408985227648807*c_1001_7^8 - 169083482161334345216450/46732408985227648807*c_1001_7^7 - 439706897636926925437442/46732408985227648807*c_1001_7^6 - 295738379478924873595948/46732408985227648807*c_1001_7^5 - 73640387659034760905859/46732408985227648807*c_1001_7^4 - 30934564823328072348672/46732408985227648807*c_1001_7^3 - 30523162920521205008084/46732408985227648807*c_1001_7^2 - 11827618000611447439938/46732408985227648807*c_1001_7 - 1409951777775820564458/46732408985227648807, c_0011_11 + 7019695188453483464/46732408985227648807*c_1001_7^16 + 53355891711524585525/46732408985227648807*c_1001_7^15 - 224465744290292563684/46732408985227648807*c_1001_7^14 + 620810138371932115861/46732408985227648807*c_1001_7^13 - 918364540304920619660/46732408985227648807*c_1001_7^12 + 47798561788294760554/46732408985227648807*c_1001_7^11 + 3235082977438133740117/46732408985227648807*c_1001_7^10 - 4476746492933218720545/46732408985227648807*c_1001_7^9 - 4589101319875133133933/46732408985227648807*c_1001_7^8 + 6427825165724400109445/46732408985227648807*c_1001_7^7 + 842368465946482870118/46732408985227648807*c_1001_7^6 - 10520501684429759847308/46732408985227648807*c_1001_7^5 - 7139944170043116207414/46732408985227648807*c_1001_7^4 - 720684942922505331123/46732408985227648807*c_1001_7^3 - 585945492614906319461/46732408985227648807*c_1001_7^2 - 844844624195902793164/46732408985227648807*c_1001_7 - 195243213821058939999/46732408985227648807, c_0011_12 - 14216541281393216885019/2009493586364788898701*c_1001_7^16 - 137963758568521241576630/2009493586364788898701*c_1001_7^15 + 168634404189261922985689/2009493586364788898701*c_1001_7^14 - 20023089160894198149236/46732408985227648807*c_1001_7^13 + 127562460012800536767/2009493586364788898701*c_1001_7^12 + 149993501729439485718059/2009493586364788898701*c_1001_7^11 - 6210312635427767320318421/2009493586364788898701*c_1001_7^10 - 4080284066470101588960144/2009493586364788898701*c_1001_7^9 + 2533404603432965340260669/2009493586364788898701*c_1001_7^8 - 6239495042957095045825721/2009493586364788898701*c_1001_7^7 - 15993211607818545546741896/2009493586364788898701*c_1001_7^6 - 10660169748933898737601534/2009493586364788898701*c_1001_7^5 - 2622235647011097491190048/2009493586364788898701*c_1001_7^4 - 1111466924480642006509267/2009493586364788898701*c_1001_7^3 - 1089848726193398859800797/2009493586364788898701*c_1001_7^2 - 420976417647620476406548/2009493586364788898701*c_1001_7 - 51045120006114441238044/2009493586364788898701, c_0011_13 - 12285260701348407122366/2009493586364788898701*c_1001_7^16 - 120212375213750952723018/2009493586364788898701*c_1001_7^15 + 136499208961981857730760/2009493586364788898701*c_1001_7^14 - 16945888969765368189746/46732408985227648807*c_1001_7^13 - 65886154765061018726008/2009493586364788898701*c_1001_7^12 + 155281042455889706883109/2009493586364788898701*c_1001_7^11 - 5365916856550472707028064/2009493586364788898701*c_1001_7^10 - 3959942870815443829189865/2009493586364788898701*c_1001_7^9 + 2075146315243513885235671/2009493586364788898701*c_1001_7^8 - 5170372183887211942133399/2009493586364788898701*c_1001_7^7 - 14347058649847227120525512/2009493586364788898701*c_1001_7^6 - 10119454046793346572751770/2009493586364788898701*c_1001_7^5 - 2650709757441281957214150/2009493586364788898701*c_1001_7^4 - 997632650444482907090517/2009493586364788898701*c_1001_7^3 - 1010791881921402876136574/2009493586364788898701*c_1001_7^2 - 412025718642063096963568/2009493586364788898701*c_1001_7 - 49968288998985624317517/2009493586364788898701, c_0011_3 - 3515024270664919761041/2009493586364788898701*c_1001_7^16 - 34439331842498788201848/2009493586364788898701*c_1001_7^15 + 38613106404776106659465/2009493586364788898701*c_1001_7^14 - 4837678105847555628020/46732408985227648807*c_1001_7^13 - 21154033347417526340660/2009493586364788898701*c_1001_7^12 + 43101712265286991173522/2009493586364788898701*c_1001_7^11 - 1531964722765048002367531/2009493586364788898701*c_1001_7^10 - 1155660403348346007709207/2009493586364788898701*c_1001_7^9 + 579785077936596559988506/2009493586364788898701*c_1001_7^8 - 1462581558920696882309396/2009493586364788898701*c_1001_7^7 - 4128719550793601551260278/2009493586364788898701*c_1001_7^6 - 2950061750050039971307954/2009493586364788898701*c_1001_7^5 - 783837735712735995718481/2009493586364788898701*c_1001_7^4 - 287207770564307141490598/2009493586364788898701*c_1001_7^3 - 293171296879223230654887/2009493586364788898701*c_1001_7^2 - 119016992139397201750437/2009493586364788898701*c_1001_7 - 13609745661654715218576/2009493586364788898701, c_0101_0 - 24073282635982501976575/2009493586364788898701*c_1001_7^16 - 234602821728874650905067/2009493586364788898701*c_1001_7^15 + 276500724445248488680879/2009493586364788898701*c_1001_7^14 - 33526740629887365989578/46732408985227648807*c_1001_7^13 - 67914558158429404900712/2009493586364788898701*c_1001_7^12 + 289395055672393785590590/2009493586364788898701*c_1001_7^11 - 10525870282041744557621917/2009493586364788898701*c_1001_7^10 - 7331259023728789651309058/2009493586364788898701*c_1001_7^9 + 4219556312607351209743323/2009493586364788898701*c_1001_7^8 - 10359386781629436295304992/2009493586364788898701*c_1001_7^7 - 27611481156873879647920381/2009493586364788898701*c_1001_7^6 - 18893075115133078775740335/2009493586364788898701*c_1001_7^5 - 4759673824085105990017375/2009493586364788898701*c_1001_7^4 - 1898464505017320223375085/2009493586364788898701*c_1001_7^3 - 1914637571931512268157607/2009493586364788898701*c_1001_7^2 - 758988456270599741800976/2009493586364788898701*c_1001_7 - 93325504546319389656644/2009493586364788898701, c_0101_1 - 896148776129114680434/46732408985227648807*c_1001_7^16 - 8735281886369218054544/46732408985227648807*c_1001_7^15 + 10270263050439306929672/46732408985227648807*c_1001_7^14 - 53674251382176989102042/46732408985227648807*c_1001_7^13 - 2590463571517920963148/46732408985227648807*c_1001_7^12 + 10530575679971392642264/46732408985227648807*c_1001_7^11 - 391670367439790004082520/46732408985227648807*c_1001_7^10 - 273843834322169998017151/46732408985227648807*c_1001_7^9 + 155059533586532540023843/46732408985227648807*c_1001_7^8 - 385432928626033200424438/46732408985227648807*c_1001_7^7 - 1028136263668638955910852/46732408985227648807*c_1001_7^6 - 707401771634570446009793/46732408985227648807*c_1001_7^5 - 181375521578391936720904/46732408985227648807*c_1001_7^4 - 72118221254533971605145/46732408985227648807*c_1001_7^3 - 71592468574806767230324/46732408985227648807*c_1001_7^2 - 28587339812288677503279/46732408985227648807*c_1001_7 - 3536384005480133371874/46732408985227648807, c_0101_10 + 60748019016033900577543/2009493586364788898701*c_1001_7^16 + 593265608523407889560984/2009493586364788898701*c_1001_7^15 - 685898521039110422740275/2009493586364788898701*c_1001_7^14 + 84183392638963287237428/46732408985227648807*c_1001_7^13 + 251658982254040098118194/2009493586364788898701*c_1001_7^12 - 749821093394518279813993/2009493586364788898701*c_1001_7^11 + 26547590818283393747382254/2009493586364788898701*c_1001_7^10 + 19061123166422397012399282/2009493586364788898701*c_1001_7^9 - 10445171236316000823193958/2009493586364788898701*c_1001_7^8 + 25846361018155288446519822/2009493586364788898701*c_1001_7^7 + 70332061842366532626701643/2009493586364788898701*c_1001_7^6 + 48906361056489175341217526/2009493586364788898701*c_1001_7^5 + 12590508791660715088447317/2009493586364788898701*c_1001_7^4 + 4868804641119797939710327/2009493586364788898701*c_1001_7^3 + 4917766193132738060012970/2009493586364788898701*c_1001_7^2 + 1985061539019484506319893/2009493586364788898701*c_1001_7 + 248066215719472770729989/2009493586364788898701, c_0101_13 + 7019695188453483464/46732408985227648807*c_1001_7^16 + 53355891711524585525/46732408985227648807*c_1001_7^15 - 224465744290292563684/46732408985227648807*c_1001_7^14 + 620810138371932115861/46732408985227648807*c_1001_7^13 - 918364540304920619660/46732408985227648807*c_1001_7^12 + 47798561788294760554/46732408985227648807*c_1001_7^11 + 3235082977438133740117/46732408985227648807*c_1001_7^10 - 4476746492933218720545/46732408985227648807*c_1001_7^9 - 4589101319875133133933/46732408985227648807*c_1001_7^8 + 6427825165724400109445/46732408985227648807*c_1001_7^7 + 842368465946482870118/46732408985227648807*c_1001_7^6 - 10520501684429759847308/46732408985227648807*c_1001_7^5 - 7139944170043116207414/46732408985227648807*c_1001_7^4 - 720684942922505331123/46732408985227648807*c_1001_7^3 - 585945492614906319461/46732408985227648807*c_1001_7^2 - 844844624195902793164/46732408985227648807*c_1001_7 - 195243213821058939999/46732408985227648807, c_0101_5 + 6234856493464900397222/2009493586364788898701*c_1001_7^16 + 60296384574411875410214/2009493586364788898701*c_1001_7^15 - 76056640841427624280174/2009493586364788898701*c_1001_7^14 + 8826790600051035168695/46732408985227648807*c_1001_7^13 - 10919753027298574492851/2009493586364788898701*c_1001_7^12 - 71955359839647810117480/2009493586364788898701*c_1001_7^11 + 2734337621440037507938946/2009493586364788898701*c_1001_7^10 + 1692456069153744736890352/2009493586364788898701*c_1001_7^9 - 1197424776799080749279644/2009493586364788898701*c_1001_7^8 + 2803270753244882989890823/2009493586364788898701*c_1001_7^7 + 6930106408335527832859804/2009493586364788898701*c_1001_7^6 + 4391310735404616784657686/2009493586364788898701*c_1001_7^5 + 983773369820117703144089/2009493586364788898701*c_1001_7^4 + 476768373180322856861029/2009493586364788898701*c_1001_7^3 + 474725566412577410679306/2009493586364788898701*c_1001_7^2 + 166840304665850011660880/2009493586364788898701*c_1001_7 + 16742867329587894407839/2009493586364788898701, c_0101_7 - 48462758314685493455177/2009493586364788898701*c_1001_7^16 - 473053233309656936837966/2009493586364788898701*c_1001_7^15 + 549399312077128565009515/2009493586364788898701*c_1001_7^14 - 67237503669197919047682/46732408985227648807*c_1001_7^13 - 185772827488979079392186/2009493586364788898701*c_1001_7^12 + 594540050938628572930884/2009493586364788898701*c_1001_7^11 - 21181673961732921040354190/2009493586364788898701*c_1001_7^10 - 15101180295606953183209417/2009493586364788898701*c_1001_7^9 + 8370024921072486937958287/2009493586364788898701*c_1001_7^8 - 20675988834268076504386423/2009493586364788898701*c_1001_7^7 - 55985003192519305506176131/2009493586364788898701*c_1001_7^6 - 38786907009695828768465756/2009493586364788898701*c_1001_7^5 - 9939799034219433131233167/2009493586364788898701*c_1001_7^4 - 3871171990675315032619810/2009493586364788898701*c_1001_7^3 - 3906974311211335183876396/2009493586364788898701*c_1001_7^2 - 1573035820377421409356325/2009493586364788898701*c_1001_7 - 196088433134122357513771/2009493586364788898701, c_0110_7 - 36358543337330909098941/2009493586364788898701*c_1001_7^16 - 354815196942625603628085/2009493586364788898701*c_1001_7^15 + 412999933407230346411639/2009493586364788898701*c_1001_7^14 - 50472629599652734179324/46732408985227648807*c_1001_7^13 - 133800712923490423626720/2009493586364788898701*c_1001_7^12 + 444676098128283492473699/2009493586364788898701*c_1001_7^11 - 15891787138592217264649981/2009493586364788898701*c_1001_7^10 - 11291201894544233480498923/2009493586364788898701*c_1001_7^9 + 6294702627850865094978994/2009493586364788898701*c_1001_7^8 - 15529758965516648237438391/2009493586364788898701*c_1001_7^7 - 41958539806721106768445893/2009493586364788898701*c_1001_7^6 - 29012529161926425348492105/2009493586364788898701*c_1001_7^5 - 7410383581526387947231525/2009493586364788898701*c_1001_7^4 - 2896097155461803130465602/2009493586364788898701*c_1001_7^3 - 2925429453852915144294181/2009493586364788898701*c_1001_7^2 - 1173023668499027627663245/2009493586364788898701*c_1001_7 - 143293793545305013974161/2009493586364788898701, c_1001_14 + 1, c_1001_7^17 + 10*c_1001_7^16 - 9*c_1001_7^15 + 57*c_1001_7^14 + 18*c_1001_7^13 - 11*c_1001_7^12 + 434*c_1001_7^11 + 416*c_1001_7^10 - 96*c_1001_7^9 + 386*c_1001_7^8 + 1256*c_1001_7^7 + 1079*c_1001_7^6 + 401*c_1001_7^5 + 131*c_1001_7^4 + 100*c_1001_7^3 + 52*c_1001_7^2 + 12*c_1001_7 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_5, c_0101_7, c_0110_7, c_1001_14, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1535300983462357750671958650669975156616632519628802/18592661421184\ 68567594264975192839919300972292243*c_1001_7^21 - 18169734937623488071401528093754228558378866327003316/1859266142118\ 468567594264975192839919300972292243*c_1001_7^20 - 113649465909564455594226480752697831494350941324393564/185926614211\ 8468567594264975192839919300972292243*c_1001_7^19 - 472167688306346768375482966719124647525810936604773340/185926614211\ 8468567594264975192839919300972292243*c_1001_7^18 - 1817490373019214894747864497469873052553110576339226030/18592661421\ 18468567594264975192839919300972292243*c_1001_7^17 - 6322006835032141509770117892933407132012526636106685508/18592661421\ 18468567594264975192839919300972292243*c_1001_7^16 - 17679116818104705172885420209434632718826673467685065509/1859266142\ 118468567594264975192839919300972292243*c_1001_7^15 - 39603475482259226191199693280882147665629534924229956708/1859266142\ 118468567594264975192839919300972292243*c_1001_7^14 - 77103975051121067821752449455303331076086531172352308542/1859266142\ 118468567594264975192839919300972292243*c_1001_7^13 - 131772758725015110814513008580139796197444779193494287980/185926614\ 2118468567594264975192839919300972292243*c_1001_7^12 - 209252018403406203668186818397350627331498083425546114229/185926614\ 2118468567594264975192839919300972292243*c_1001_7^11 - 297738787519569008046074994488430736018587186279445990097/185926614\ 2118468567594264975192839919300972292243*c_1001_7^10 - 365189798977654243704764467377596575130185460466567009294/185926614\ 2118468567594264975192839919300972292243*c_1001_7^9 - 367888770770277313228541540506202460959337747254464294673/185926614\ 2118468567594264975192839919300972292243*c_1001_7^8 - 296335516945876706102492248310098560827246776657111785536/185926614\ 2118468567594264975192839919300972292243*c_1001_7^7 - 186894231089493917510928785743796979779370765475553416540/185926614\ 2118468567594264975192839919300972292243*c_1001_7^6 - 90505197684329960868884205755367752007403185569355811208/1859266142\ 118468567594264975192839919300972292243*c_1001_7^5 - 32693551043736159928408647880698160181161599458171112619/1859266142\ 118468567594264975192839919300972292243*c_1001_7^4 - 8441494945116537511661336179461207870085823143733585756/18592661421\ 18468567594264975192839919300972292243*c_1001_7^3 - 1447994478798360545186670032649011104261595559933226126/18592661421\ 18468567594264975192839919300972292243*c_1001_7^2 - 146767321405769063349327169147958215835952546627233204/185926614211\ 8468567594264975192839919300972292243*c_1001_7 - 6956941701994941563319834916508459845376030403419102/18592661421184\ 68567594264975192839919300972292243, c_0011_0 - 1, c_0011_10 - 73093601937911831554262592106376550301584704/11473197917461\ 994332682918398257606581186231*c_1001_7^21 - 861528237394829763639605591804224410931353894/114731979174619943326\ 82918398257606581186231*c_1001_7^20 - 5371502122531192179347111777931031137185674090/11473197917461994332\ 682918398257606581186231*c_1001_7^19 - 22246345164383691077450350431053683232228374002/1147319791746199433\ 2682918398257606581186231*c_1001_7^18 - 85612699669026942138026054934954638739299669511/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 - 297489623143246726507055480571175601840868959607/114731979174619943\ 32682918398257606581186231*c_1001_7^16 - 829758801330640770818349925064375695653906979598/114731979174619943\ 32682918398257606581186231*c_1001_7^15 - 1853778179524359491727075368493202804937725464790/11473197917461994\ 332682918398257606581186231*c_1001_7^14 - 3604084335791828189881221243490942463423149110757/11473197917461994\ 332682918398257606581186231*c_1001_7^13 - 6148922565199243445188346639100124043684001968794/11473197917461994\ 332682918398257606581186231*c_1001_7^12 - 9759230979588306234767895031267761831941972551343/11473197917461994\ 332682918398257606581186231*c_1001_7^11 - 13860468837908119025541095526999927841019800474134/1147319791746199\ 4332682918398257606581186231*c_1001_7^10 - 16961917079210679605281071868997463650415318225398/1147319791746199\ 4332682918398257606581186231*c_1001_7^9 - 17035489596344116686145495937743169885913009766022/1147319791746199\ 4332682918398257606581186231*c_1001_7^8 - 13685395874915626169015696025250131024956064708506/1147319791746199\ 4332682918398257606581186231*c_1001_7^7 - 8615080736870006428252673558526127190220072238724/11473197917461994\ 332682918398257606581186231*c_1001_7^6 - 4171452932032860951540691647288255218111840615540/11473197917461994\ 332682918398257606581186231*c_1001_7^5 - 1511165813107520316874357432713199641523837344604/11473197917461994\ 332682918398257606581186231*c_1001_7^4 - 393206903903814366859503390127436415614040147052/114731979174619943\ 32682918398257606581186231*c_1001_7^3 - 68493260361500528686311694922808476022200410799/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 - 7093023351079447576876503349053045587674382708/11473197917461994332\ 682918398257606581186231*c_1001_7 - 335347762652772977523712414620268006152611660/114731979174619943326\ 82918398257606581186231, c_0011_11 - 52163069055988224404053879963209448877131386/11473197917461\ 994332682918398257606581186231*c_1001_7^21 - 624205883418889802492576292338519343075022658/114731979174619943326\ 82918398257606581186231*c_1001_7^20 - 3941114247445395679877487996645019728121545910/11473197917461994332\ 682918398257606581186231*c_1001_7^19 - 16532705940953362447403652038300781224076326588/1147319791746199433\ 2682918398257606581186231*c_1001_7^18 - 63750615084251653472835964567588515581729246028/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 - 222463912149836042957346899546110400740878433339/114731979174619943\ 32682918398257606581186231*c_1001_7^16 - 627169188277118260442952869508313490398062233573/114731979174619943\ 32682918398257606581186231*c_1001_7^15 - 1418481464997857291010358734192954619652399167610/11473197917461994\ 332682918398257606581186231*c_1001_7^14 - 2779728045877918272193158563160003581073770652826/11473197917461994\ 332682918398257606581186231*c_1001_7^13 - 4784174135347116135378886969529045699562023920695/11473197917461994\ 332682918398257606581186231*c_1001_7^12 - 7626101003652248522273443357928060788537538158850/11473197917461994\ 332682918398257606581186231*c_1001_7^11 - 10928836590834890921522458647585441019290243596588/1147319791746199\ 4332682918398257606581186231*c_1001_7^10 - 13545381177704355369199466475560744697840673018111/1147319791746199\ 4332682918398257606581186231*c_1001_7^9 - 13859771731733221596632722438672763138867870477090/1147319791746199\ 4332682918398257606581186231*c_1001_7^8 - 11385063005157846191998999470362006615296682192610/1147319791746199\ 4332682918398257606581186231*c_1001_7^7 - 7354464691686171444274089333646974715341610220790/11473197917461994\ 332682918398257606581186231*c_1001_7^6 - 3664262400937350269670328515044921985606624476253/11473197917461994\ 332682918398257606581186231*c_1001_7^5 - 1370154119244577497416330330963488268702260965416/11473197917461994\ 332682918398257606581186231*c_1001_7^4 - 368929693759514656016335891911272309216545593539/114731979174619943\ 32682918398257606581186231*c_1001_7^3 - 66721532061653114953559969536141456533875681580/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 - 7174640677012724413989719208630977374244549723/11473197917461994332\ 682918398257606581186231*c_1001_7 - 350232896666367465794820216830497003575130098/114731979174619943326\ 82918398257606581186231, c_0011_12 - 26510776424510782312965613568085497688780275/11473197917461\ 994332682918398257606581186231*c_1001_7^21 - 311624328148593131674015375046115919848555312/114731979174619943326\ 82918398257606581186231*c_1001_7^20 - 1938748494050951092957152924364961076478011356/11473197917461994332\ 682918398257606581186231*c_1001_7^19 - 8012384294209525460445666071040301867487448868/11473197917461994332\ 682918398257606581186231*c_1001_7^18 - 30830252922743557616795742396309254467183746461/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 - 107054562177801607127142418818220994236844607224/114731979174619943\ 32682918398257606581186231*c_1001_7^16 - 298071052128663346543787692877102093880964118244/114731979174619943\ 32682918398257606581186231*c_1001_7^15 - 664705920972923848980635454560813511447402290046/114731979174619943\ 32682918398257606581186231*c_1001_7^14 - 1291074109649052512700049799007513048724315791738/11473197917461994\ 332682918398257606581186231*c_1001_7^13 - 2200097915972043448561076799043281443833232261241/11473197917461994\ 332682918398257606581186231*c_1001_7^12 - 3490621209328644690109624807979901431743731965983/11473197917461994\ 332682918398257606581186231*c_1001_7^11 - 4951181985366137868076669984089337319411254525735/11473197917461994\ 332682918398257606581186231*c_1001_7^10 - 6049569558170543512268076841535001443607892260568/11473197917461994\ 332682918398257606581186231*c_1001_7^9 - 6062968254498221998564972407548523177906225043670/11473197917461994\ 332682918398257606581186231*c_1001_7^8 - 4861498148381725097511160618833774858863808599654/11473197917461994\ 332682918398257606581186231*c_1001_7^7 - 3056327117821389299725304564742136260205539246557/11473197917461994\ 332682918398257606581186231*c_1001_7^6 - 1479766786320116449716608172387906676576311400392/11473197917461994\ 332682918398257606581186231*c_1001_7^5 - 537184744252128338454009422481423592503291442507/114731979174619943\ 32682918398257606581186231*c_1001_7^4 - 140603818533991217634968246409351809326364143560/114731979174619943\ 32682918398257606581186231*c_1001_7^3 - 24813122871203789078068867648269963009139287048/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 - 2656771031960674659473932079620187608012390869/11473197917461994332\ 682918398257606581186231*c_1001_7 - 135455995433623118675594518446315250355755544/114731979174619943326\ 82918398257606581186231, c_0011_13 + 51787152964567614993265281028548509620065128/11473197917461\ 994332682918398257606581186231*c_1001_7^21 + 608077279765532079322115721530901127473046916/114731979174619943326\ 82918398257606581186231*c_1001_7^20 + 3776962327987298208869722243526550667241811584/11473197917461994332\ 682918398257606581186231*c_1001_7^19 + 15574897042285271678131713701571681384223409268/1147319791746199433\ 2682918398257606581186231*c_1001_7^18 + 59853053239377190520665266547032873425475849339/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 + 207666227342415526215036646656516551781934635917/114731979174619943\ 32682918398257606581186231*c_1001_7^16 + 576963435230603002043879090766728289598940212700/114731979174619943\ 32682918398257606581186231*c_1001_7^15 + 1281989388833525217783660718286320152876708005338/11473197917461994\ 332682918398257606581186231*c_1001_7^14 + 2481007155884553106615595936992269184397507634270/11473197917461994\ 332682918398257606581186231*c_1001_7^13 + 4213110401296585215305409614623578586841519588837/11473197917461994\ 332682918398257606581186231*c_1001_7^12 + 6664935780128079811261487498333615760265173923700/11473197917461994\ 332682918398257606581186231*c_1001_7^11 + 9421270571425800255587315543267191028601195229509/11473197917461994\ 332682918398257606581186231*c_1001_7^10 + 11439635668897473133259357880306581311444764538349/1147319791746199\ 4332682918398257606581186231*c_1001_7^9 + 11343215887060907239810383124862771462094161240688/1147319791746199\ 4332682918398257606581186231*c_1001_7^8 + 8941519285250066445794633750984345712935922313624/11473197917461994\ 332682918398257606581186231*c_1001_7^7 + 5478255116440573301177372613709184962301114725836/11473197917461994\ 332682918398257606581186231*c_1001_7^6 + 2553184776794277456427928286996890337494838185467/11473197917461994\ 332682918398257606581186231*c_1001_7^5 + 874921496815063393658768905487995796246612157288/114731979174619943\ 32682918398257606581186231*c_1001_7^4 + 209517577637832791049497883233833192145642820473/114731979174619943\ 32682918398257606581186231*c_1001_7^3 + 31916301249138072252140122783169098165786916834/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 + 2638218882863961255963939351388336656582487841/11473197917461994332\ 682918398257606581186231*c_1001_7 + 82279372090378793811720771359363926585341986/1147319791746199433268\ 2918398257606581186231, c_0011_3 + 62136716405664055653636589482334569126052929/114731979174619\ 94332682918398257606581186231*c_1001_7^21 + 728641724919719931168301086620297637792208074/114731979174619943326\ 82918398257606581186231*c_1001_7^20 + 4520627797965870533137451738828437604609684804/11473197917461994332\ 682918398257606581186231*c_1001_7^19 + 18619218186632592070691272866812192746225230636/1147319791746199433\ 2682918398257606581186231*c_1001_7^18 + 71538179744661347170668181432120763540726825711/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 + 248116062923969909107361062256470594635469490168/114731979174619943\ 32682918398257606581186231*c_1001_7^16 + 688637713181229741223350001700961775688133884750/114731979174619943\ 32682918398257606581186231*c_1001_7^15 + 1528285594632614465401699597373190433870770810949/11473197917461994\ 332682918398257606581186231*c_1001_7^14 + 2955457164434360527805022054794925532235542639032/11473197917461994\ 332682918398257606581186231*c_1001_7^13 + 5014789273563931570274219080080971831460111040018/11473197917461994\ 332682918398257606581186231*c_1001_7^12 + 7930023073311010321442923101484938263074203615601/11473197917461994\ 332682918398257606581186231*c_1001_7^11 + 11200358954672219809255371628982925378894273214631/1147319791746199\ 4332682918398257606581186231*c_1001_7^10 + 13582351732158382463027785574559102875600501556686/1147319791746199\ 4332682918398257606581186231*c_1001_7^9 + 13444326389589379664299360071170003247507556971110/1147319791746199\ 4332682918398257606581186231*c_1001_7^8 + 10576112066675483129672155501926504536944069609724/1147319791746199\ 4332682918398257606581186231*c_1001_7^7 + 6467042830456580177336834251981137025498552592143/11473197917461994\ 332682918398257606581186231*c_1001_7^6 + 3008904308766049637648074043325922545226458116938/11473197917461994\ 332682918398257606581186231*c_1001_7^5 + 1030372416077795163924592247385753999044276842270/11473197917461994\ 332682918398257606581186231*c_1001_7^4 + 247078424673236570957161852523562290653137365850/114731979174619943\ 32682918398257606581186231*c_1001_7^3 + 37891011311695317773711226926905393129756353104/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 + 3190539574577729031168443989578420306961833379/11473197917461994332\ 682918398257606581186231*c_1001_7 + 106933203654368401733628701828202239816654537/114731979174619943326\ 82918398257606581186231, c_0101_0 - 58547600666992441785779567803444382130875753/114731979174619\ 94332682918398257606581186231*c_1001_7^21 - 683824536770211841705468498828170563283653495/114731979174619943326\ 82918398257606581186231*c_1001_7^20 - 4229085994971183666357452042674709538345357030/11473197917461994332\ 682918398257606581186231*c_1001_7^19 - 17363178420266095643314230920969695452299240536/1147319791746199433\ 2682918398257606581186231*c_1001_7^18 - 66696706571246403852884727281458355990782218772/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 - 231075051328829849681548726062827122068954487653/114731979174619943\ 32682918398257606581186231*c_1001_7^16 - 639614504157919619399266408490544944472585503342/114731979174619943\ 32682918398257606581186231*c_1001_7^15 - 1415431575534964737118800501018523836429464592316/11473197917461994\ 332682918398257606581186231*c_1001_7^14 - 2732899029113821802717138927330080898661398347275/11473197917461994\ 332682918398257606581186231*c_1001_7^13 - 4627978177495001987119019719446306506232456098919/11473197917461994\ 332682918398257606581186231*c_1001_7^12 - 7313227269741770889479645142187176908857188527924/11473197917461994\ 332682918398257606581186231*c_1001_7^11 - 10306564940588030030475250731429410618959259938642/1147319791746199\ 4332682918398257606581186231*c_1001_7^10 - 12463720470372251349434623625770087808389043728729/1147319791746199\ 4332682918398257606581186231*c_1001_7^9 - 12287499523248911048209821006626755287809144173368/1147319791746199\ 4332682918398257606581186231*c_1001_7^8 - 9623981646372484306821042585124466400560730933175/11473197917461994\ 332682918398257606581186231*c_1001_7^7 - 5856889329170402367977526092408227037359723581963/11473197917461994\ 332682918398257606581186231*c_1001_7^6 - 2711437563592007008766039687184440462082454800608/11473197917461994\ 332682918398257606581186231*c_1001_7^5 - 923468270822107299004343384204476034283695927729/114731979174619943\ 32682918398257606581186231*c_1001_7^4 - 220078610257635605463463104414294209514382158780/114731979174619943\ 32682918398257606581186231*c_1001_7^3 - 33492073310780941753945173878729802343934564684/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 - 2812282217427402775143562134282147627514638100/11473197917461994332\ 682918398257606581186231*c_1001_7 - 96998640401349977943505325364673288473991857/1147319791746199433268\ 2918398257606581186231, c_0101_1 - 77081983260871559959318124900108865202860399/114731979174619\ 94332682918398257606581186231*c_1001_7^21 - 902973142134802679359488117876162598224757747/114731979174619943326\ 82918398257606581186231*c_1001_7^20 - 5600942484814341949361892689899650355446429617/11473197917461994332\ 682918398257606581186231*c_1001_7^19 - 23073355945481534014560744218753673379851822961/1147319791746199433\ 2682918398257606581186231*c_1001_7^18 - 88724492090078115414964892700425401196173172104/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 - 307743579419608345623520055617985193904408426062/114731979174619943\ 32682918398257606581186231*c_1001_7^16 - 854452063561433481655579976910982301061401439179/114731979174619943\ 32682918398257606581186231*c_1001_7^15 - 1898866678930874846513943889249290736100513220158/11473197917461994\ 332682918398257606581186231*c_1001_7^14 - 3678940017251874532823154008364947260116664373480/11473197917461994\ 332682918398257606581186231*c_1001_7^13 - 6251953545543268066036063803359726603065644608601/11473197917461994\ 332682918398257606581186231*c_1001_7^12 - 9903446332802633507062416827114713714786972886938/11473197917461994\ 332682918398257606581186231*c_1001_7^11 - 14006883492399220730174996602283685893891529781275/1147319791746199\ 4332682918398257606581186231*c_1001_7^10 - 17041051877602795563534629084565259122311484756309/1147319791746199\ 4332682918398257606581186231*c_1001_7^9 - 16963002289637010337122057961823517483866879235751/1147319791746199\ 4332682918398257606581186231*c_1001_7^8 - 13476604992987445783772248294019304152034896339257/1147319791746199\ 4332682918398257606581186231*c_1001_7^7 - 8367169260216647119758300557737790167160610242490/11473197917461994\ 332682918398257606581186231*c_1001_7^6 - 3984909129125163600119084828486703974636288696477/11473197917461994\ 332682918398257606581186231*c_1001_7^5 - 1414431518272349986825243940748530206794724596943/11473197917461994\ 332682918398257606581186231*c_1001_7^4 - 359182164350733100752221916438569948386634037466/114731979174619943\ 32682918398257606581186231*c_1001_7^3 - 60798992161605930359467161591421252907348703643/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 - 6183715036156213333554491531102272279305553364/11473197917461994332\ 682918398257606581186231*c_1001_7 - 297957751524156838079959384651903648747688176/114731979174619943326\ 82918398257606581186231, c_0101_10 + 19724063399334269985375032891112641740118188/11473197917461\ 994332682918398257606581186231*c_1001_7^21 + 228589899765081503127545877925399324617059916/114731979174619943326\ 82918398257606581186231*c_1001_7^20 + 1403585956096361147397517793353746685520659700/11473197917461994332\ 682918398257606581186231*c_1001_7^19 + 5717125445591731050597762976996013601465303298/11473197917461994332\ 682918398257606581186231*c_1001_7^18 + 21919853754881385278791738511889955285877355736/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 + 75735298123712728753636205082619442788532758607/1147319791746199433\ 2682918398257606581186231*c_1001_7^16 + 208137991300288068379938789134030337536715699161/114731979174619943\ 32682918398257606581186231*c_1001_7^15 + 456332574495306655988487621576948636832935997210/114731979174619943\ 32682918398257606581186231*c_1001_7^14 + 874885465422788849683568571895522787674377383460/114731979174619943\ 32682918398257606581186231*c_1001_7^13 + 1470372280353503228119714259306595228412729890222/11473197917461994\ 332682918398257606581186231*c_1001_7^12 + 2312717754825272176270857717414136329894567057407/11473197917461994\ 332682918398257606581186231*c_1001_7^11 + 3233337219540910309085496014513637668897169168944/11473197917461994\ 332682918398257606581186231*c_1001_7^10 + 3860398426314382465136331414881756883800663097563/11473197917461994\ 332682918398257606581186231*c_1001_7^9 + 3727462627777042577783856751376014862708977390143/11473197917461994\ 332682918398257606581186231*c_1001_7^8 + 2833182608152546786534619942484809520487198195344/11473197917461994\ 332682918398257606581186231*c_1001_7^7 + 1651763719131854939122839769329088418242927281500/11473197917461994\ 332682918398257606581186231*c_1001_7^6 + 718692915618264967808953179616629316635456112952/114731979174619943\ 32682918398257606581186231*c_1001_7^5 + 222093734391704898677023807437599398479176550493/114731979174619943\ 32682918398257606581186231*c_1001_7^4 + 44598434064038184694243828675968300494319823800/1147319791746199433\ 2682918398257606581186231*c_1001_7^3 + 4533417786312263376082788817101471465790599172/11473197917461994332\ 682918398257606581186231*c_1001_7^2 - 24549521967201125354580694918021426075892364/1147319791746199433268\ 2918398257606581186231*c_1001_7 - 300290016387235812431571844966010\ 80614171830/11473197917461994332682918398257606581186231, c_0101_13 - 56782149953124111958575024915020303789843883/11473197917461\ 994332682918398257606581186231*c_1001_7^21 - 663130957211483707627576940403062243656708283/114731979174619943326\ 82918398257606581186231*c_1001_7^20 - 4103168583310417114836527105863862302589308766/11473197917461994332\ 682918398257606581186231*c_1001_7^19 - 16862079809545558975383774869114835945799987268/1147319791746199433\ 2682918398257606581186231*c_1001_7^18 - 64830358054753438132957451764707577523313411027/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 - 224685717027437041858607664408994916841601407512/114731979174619943\ 32682918398257606581186231*c_1001_7^16 - 622571093628990426745855250654996835080394522007/114731979174619943\ 32682918398257606581186231*c_1001_7^15 - 1380625467083136765323829084660196907899277392068/11473197917461994\ 332682918398257606581186231*c_1001_7^14 - 2672038489783219234019718019026865639709358944574/11473197917461994\ 332682918398257606581186231*c_1001_7^13 - 4534862783184959859629635636406639349274585577950/11473197917461994\ 332682918398257606581186231*c_1001_7^12 - 7181058380040081772640195538937411595970205309726/11473197917461994\ 332682918398257606581186231*c_1001_7^11 - 10141835219570963501736402266836255400815009060694/1147319791746199\ 4332682918398257606581186231*c_1001_7^10 - 12317268244051459636188105732350487716706561206378/1147319791746199\ 4332682918398257606581186231*c_1001_7^9 - 12232647599665112645629635456471589656707796137240/1147319791746199\ 4332682918398257606581186231*c_1001_7^8 - 9702108712813190232934742075081146888257213099866/11473197917461994\ 332682918398257606581186231*c_1001_7^7 - 6020986156289967544936876998982532575762746183167/11473197917461994\ 332682918398257606581186231*c_1001_7^6 - 2874119513587869294448339792440431000947030887606/11473197917461994\ 332682918398257606581186231*c_1001_7^5 - 1027134329374087905813326241295702840811497859557/11473197917461994\ 332682918398257606581186231*c_1001_7^4 - 264766691242704822911792566795176542898223997402/114731979174619943\ 32682918398257606581186231*c_1001_7^3 - 46088141153813764093074057294968295361342775188/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 - 4908616086440762501741080449802925112484391208/11473197917461994332\ 682918398257606581186231*c_1001_7 - 243939961779912722945516146260881396950612089/114731979174619943326\ 82918398257606581186231, c_0101_5 - 1685638786227789135981375379651715189554384/1147319791746199\ 4332682918398257606581186231*c_1001_7^21 - 20983524611198778165030231147078696918892234/1147319791746199433268\ 2918398257606581186231*c_1001_7^20 - 136864161791450228475220374058884975123422938/114731979174619943326\ 82918398257606581186231*c_1001_7^19 - 592873480456026264329744358120520059635456456/114731979174619943326\ 82918398257606581186231*c_1001_7^18 - 2299165953868615793499958944676348272336967848/11473197917461994332\ 682918398257606581186231*c_1001_7^17 - 8100567426464079235661721744746689272390354496/11473197917461994332\ 682918398257606581186231*c_1001_7^16 - 23417587682832682839010047537541109228942847118/1147319791746199433\ 2682918398257606581186231*c_1001_7^15 - 54494773456259436125761855613392143391178325920/1147319791746199433\ 2682918398257606581186231*c_1001_7^14 - 108667518922051310880283971866621387210723476484/114731979174619943\ 32682918398257606581186231*c_1001_7^13 - 190276942454649613859676009971459834277537354184/114731979174619943\ 32682918398257606581186231*c_1001_7^12 - 305821094441147858477967134704568777208846497594/114731979174619943\ 32682918398257606581186231*c_1001_7^11 - 445497987580609331146499411412162753109650794879/114731979174619943\ 32682918398257606581186231*c_1001_7^10 - 565684591734107499460057577228180681571097963219/114731979174619943\ 32682918398257606581186231*c_1001_7^9 - 597342773329915077997753379177881086558246295354/114731979174619943\ 32682918398257606581186231*c_1001_7^8 - 505946668570420097010749314340713053350046024210/114731979174619943\ 32682918398257606581186231*c_1001_7^7 - 334147636590786897819718654903858468195772519840/114731979174619943\ 32682918398257606581186231*c_1001_7^6 - 166752673553171255183327163110256649981054930149/114731979174619943\ 32682918398257606581186231*c_1001_7^5 - 60260749531977929140677599985624795741974996218/1147319791746199433\ 2682918398257606581186231*c_1001_7^4 - 14485763807820374408683494418602952093383894359/1147319791746199433\ 2682918398257606581186231*c_1001_7^3 - 1949822604804903111733070831872229405062711836/11473197917461994332\ 682918398257606581186231*c_1001_7^2 - 67114966649666329204523306698486207126730022/1147319791746199433268\ 2918398257606581186231*c_1001_7 - 106769261717273637919419335220336\ 2119342930/11473197917461994332682918398257606581186231, c_0101_7 + 12339026165899075022515215246323226139828752/114731979174619\ 94332682918398257606581186231*c_1001_7^21 + 150897480235369073067023965680102478238927084/114731979174619943326\ 82918398257606581186231*c_1001_7^20 + 969790415794575914074686656819057296200492184/114731979174619943326\ 82918398257606581186231*c_1001_7^19 + 4140646151101809576936187747579654181292802672/11473197917461994332\ 682918398257606581186231*c_1001_7^18 + 16013345729614419963081789523252962853721137867/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 + 56195631094990068707764236491277666204869118703/1147319791746199433\ 2682918398257606581186231*c_1001_7^16 + 160687452630026865284001512498667614525508814378/114731979174619943\ 32682918398257606581186231*c_1001_7^15 + 369324239842911905806685475132422879210836010918/114731979174619943\ 32682918398257606581186231*c_1001_7^14 + 731236225038975407248458793201223609048752867350/114731979174619943\ 32682918398257606581186231*c_1001_7^13 + 1272365840589578759065981096010388130016059808393/11473197917461994\ 332682918398257606581186231*c_1001_7^12 + 2039500270477535458719772063505343100476039808886/11473197917461994\ 332682918398257606581186231*c_1001_7^11 + 2954596132343979637416323514239915690806856891621/11473197917461994\ 332682918398257606581186231*c_1001_7^10 + 3718838816268708202986695050543067543843438343223/11473197917461994\ 332682918398257606581186231*c_1001_7^9 + 3888290631506822084242669622110741736676206460402/11473197917461994\ 332682918398257606581186231*c_1001_7^8 + 3275154068944972872725393866014726671961525922936/11473197917461994\ 332682918398257606581186231*c_1001_7^7 + 2174727678176863422931693075051008125815260162836/11473197917461994\ 332682918398257606581186231*c_1001_7^6 + 1115798945557747520810021927763631704223925959563/11473197917461994\ 332682918398257606581186231*c_1001_7^5 + 430734028031653596304721290612796999288259056302/114731979174619943\ 32682918398257606581186231*c_1001_7^4 + 120320709509756421661010225881896591157003172873/114731979174619943\ 32682918398257606581186231*c_1001_7^3 + 22849465676513545499974545148966155234205718490/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 + 2675844728880901512340417822826121902153086338/11473197917461994332\ 682918398257606581186231*c_1001_7 + 142337375367825956298035140352566087813685646/114731979174619943326\ 82918398257606581186231, c_0110_7 + 95800984084989342502706591026941651176040547/114731979174619\ 94332682918398257606581186231*c_1001_7^21 + 1133826607675074250561958573224888315406437309/11473197917461994332\ 682918398257606581186231*c_1001_7^20 + 7090054959279581691190530568300013403231214666/11473197917461994332\ 682918398257606581186231*c_1001_7^19 + 29442300519488950618093973048935531291224437056/1147319791746199433\ 2682918398257606581186231*c_1001_7^18 + 113280711977374524158637441675404696491078951286/114731979174619943\ 32682918398257606581186231*c_1001_7^17 + 393979557463886243942977175504279678665953046681/114731979174619943\ 32682918398257606581186231*c_1001_7^16 + 1101200017765896553690117992799546059405751116666/11473197917461994\ 332682918398257606581186231*c_1001_7^15 + 2464393766004307301372279050232289878094523163731/11473197917461994\ 332682918398257606581186231*c_1001_7^14 + 4792813274684738298175225864243751726722437620584/11473197917461994\ 332682918398257606581186231*c_1001_7^13 + 8183479120412300894024577676549098649791595225243/11473197917461994\ 332682918398257606581186231*c_1001_7^12 + 12983659362420426953619305305031255739995494035208/1147319791746199\ 4332682918398257606581186231*c_1001_7^11 + 18458559761928180133671619922729803508825254004286/1147319791746199\ 4332682918398257606581186231*c_1001_7^10 + 22600045124442792496376797511624813924130301520314/1147319791746199\ 4332682918398257606581186231*c_1001_7^9 + 22701354413051886627357016061243459099624337382302/1147319791746199\ 4332682918398257606581186231*c_1001_7^8 + 18200414202219665517178502393732926705229343148878/1147319791746199\ 4332682918398257606581186231*c_1001_7^7 + 11401926309140208368118177360026795925982982805888/1147319791746199\ 4332682918398257606581186231*c_1001_7^6 + 5469095825836016872489164986978620513590824381556/11473197917461994\ 332682918398257606581186231*c_1001_7^5 + 1949468642650159572464202776100246961563960331751/11473197917461994\ 332682918398257606581186231*c_1001_7^4 + 493989631531102727608902084525620013199783843070/114731979174619943\ 32682918398257606581186231*c_1001_7^3 + 82488432767527640658352837922207907542905355752/1147319791746199433\ 2682918398257606581186231*c_1001_7^2 + 8048298330327366378476776471716169975816420042/11473197917461994332\ 682918398257606581186231*c_1001_7 + 364804825488244006530179302545263164101707223/114731979174619943326\ 82918398257606581186231, c_1001_14 + 19724063399334269985375032891112641740118188/11473197917461\ 994332682918398257606581186231*c_1001_7^21 + 228589899765081503127545877925399324617059916/114731979174619943326\ 82918398257606581186231*c_1001_7^20 + 1403585956096361147397517793353746685520659700/11473197917461994332\ 682918398257606581186231*c_1001_7^19 + 5717125445591731050597762976996013601465303298/11473197917461994332\ 682918398257606581186231*c_1001_7^18 + 21919853754881385278791738511889955285877355736/1147319791746199433\ 2682918398257606581186231*c_1001_7^17 + 75735298123712728753636205082619442788532758607/1147319791746199433\ 2682918398257606581186231*c_1001_7^16 + 208137991300288068379938789134030337536715699161/114731979174619943\ 32682918398257606581186231*c_1001_7^15 + 456332574495306655988487621576948636832935997210/114731979174619943\ 32682918398257606581186231*c_1001_7^14 + 874885465422788849683568571895522787674377383460/114731979174619943\ 32682918398257606581186231*c_1001_7^13 + 1470372280353503228119714259306595228412729890222/11473197917461994\ 332682918398257606581186231*c_1001_7^12 + 2312717754825272176270857717414136329894567057407/11473197917461994\ 332682918398257606581186231*c_1001_7^11 + 3233337219540910309085496014513637668897169168944/11473197917461994\ 332682918398257606581186231*c_1001_7^10 + 3860398426314382465136331414881756883800663097563/11473197917461994\ 332682918398257606581186231*c_1001_7^9 + 3727462627777042577783856751376014862708977390143/11473197917461994\ 332682918398257606581186231*c_1001_7^8 + 2833182608152546786534619942484809520487198195344/11473197917461994\ 332682918398257606581186231*c_1001_7^7 + 1651763719131854939122839769329088418242927281500/11473197917461994\ 332682918398257606581186231*c_1001_7^6 + 718692915618264967808953179616629316635456112952/114731979174619943\ 32682918398257606581186231*c_1001_7^5 + 222093734391704898677023807437599398479176550493/114731979174619943\ 32682918398257606581186231*c_1001_7^4 + 44598434064038184694243828675968300494319823800/1147319791746199433\ 2682918398257606581186231*c_1001_7^3 + 4533417786312263376082788817101471465790599172/11473197917461994332\ 682918398257606581186231*c_1001_7^2 - 24549521967201125354580694918021426075892364/1147319791746199433268\ 2918398257606581186231*c_1001_7 - 415021995561855755758401028948586\ 87195358061/11473197917461994332682918398257606581186231, c_1001_7^22 + 12*c_1001_7^21 + 76*c_1001_7^20 + 320*c_1001_7^19 + 1236*c_1001_7^18 + 4319*c_1001_7^17 + 12217*c_1001_7^16 + 27772*c_1001_7^15 + 54686*c_1001_7^14 + 94571*c_1001_7^13 + 151325*c_1001_7^12 + 217875*c_1001_7^11 + 272143*c_1001_7^10 + 282047*c_1001_7^9 + 236325*c_1001_7^8 + 157197*c_1001_7^7 + 81757*c_1001_7^6 + 32588*c_1001_7^5 + 9682*c_1001_7^4 + 2054*c_1001_7^3 + 292*c_1001_7^2 + 25*c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 89.560 Total time: 89.780 seconds, Total memory usage: 428.53MB