Magma V2.19-8 Tue Sep 10 2013 20:14:44 on localhost [Seed = 3584569965] Type ? for help. Type -D to quit. Loading file "11_404__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_404 geometric_solution 14.49695305 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 16 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 1 0 0 -1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032990133291 0.842196457315 0 5 2 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 5 0 0 -5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496590059552 0.543961436438 7 0 1 8 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.191724438241 0.921182489800 5 7 9 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 6 -6 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377394755951 1.147084579705 10 10 0 6 0132 1302 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586122606827 1.007864662421 3 1 11 12 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 6 -1 0 -5 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874670415489 0.737851019464 13 14 1 4 0132 0132 0132 2103 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.051190307430 0.769411278507 2 3 9 12 0132 0132 3012 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.200378915583 0.747532593218 12 9 2 11 0213 3012 0132 3012 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 0 -1 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.325778473191 1.085382523550 8 7 13 3 1230 1230 3120 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 0 0 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.558949000549 0.657339198968 4 14 11 4 0132 2310 2310 2031 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 -1 0 1 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348649977099 0.849024366320 13 10 8 5 3120 3201 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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 0 0 1.048251693044 1.309533996016 8 7 5 15 0213 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.456970029865 0.641590856601 6 15 9 11 0132 3120 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.305094136191 1.135231847283 15 6 15 10 3120 0132 2103 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 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.171991707618 1.036156074444 14 13 12 14 2103 3120 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844097515764 0.939227293568 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_13'], 'c_1001_15' : negation(d['c_1001_13']), 'c_1001_14' : d['c_0011_11'], 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_9']), 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_1001_13']), 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_13' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_1001_13']), 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_15' : negation(d['c_0011_13']), 'c_1010_14' : negation(d['c_1001_10']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : 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_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_15' : d['c_0101_14'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : negation(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_2_14' : d['1'], 's_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : d['c_0011_11'], 'c_0011_14' : d['c_0011_13'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_14']), 'c_1100_4' : negation(d['c_0101_13']), 'c_1100_7' : d['c_1001_13'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_13']), 'c_1100_3' : negation(d['c_0101_13']), 'c_1100_2' : d['c_0101_10'], 'c_1100_14' : negation(d['c_0011_10']), 'c_1100_15' : negation(d['c_0101_14']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_13']), 'c_1100_11' : negation(d['c_0101_14']), 'c_1100_10' : d['c_0011_11'], 'c_1100_13' : negation(d['c_0101_11']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : negation(d['c_0011_9']), 'c_1010_2' : negation(d['c_0011_9']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : d['c_0101_1'], 's_3_15' : d['1'], 'c_1010_9' : d['c_0011_12'], 's_0_15' : d['1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_14']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : 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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : negation(d['c_0011_13']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : d['c_0101_0'], 'c_0110_12' : d['c_0101_14'], 'c_0110_15' : d['c_0011_10'], 'c_0110_14' : d['c_0011_10'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0011_8'], 'c_0011_7' : d['c_0011_0'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0011_12'], 's_1_15' : d['1'], '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_8'], 'c_0110_8' : negation(d['c_0101_14']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_12'], 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_14, c_0101_2, c_1001_10, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 3379732783839865302525717198825525532496153343679797128060770109778\ 37/35026253317386446673668006029248879537113173986604748013958400*c\ _1001_13^21 - 14112698414829665394978708539618432059563036199725454\ 7286385813799947/17513126658693223336834003014624439768556586993302\ 374006979200*c_1001_13^20 + 129648307613198275262225350040897264009\ 915969265894171898430038084683/218914083233665291710425037682805497\ 1069573374162796750872400*c_1001_13^19 - 4479149488181970722929183487465472709169352690412658578247917218881\ 999/8756563329346611668417001507312219884278293496651187003489600*c\ _1001_13^18 + 34422325377594432810605294400022526424926239957343710\ 18879777865195797/8756563329346611668417001507312219884278293496651\ 187003489600*c_1001_13^17 + 676904804890607100732739919707157179604\ 67367243113518174551332819944207/3502625331738644667366800602924887\ 9537113173986604748013958400*c_1001_13^16 - 5035883619114118629040434128423454826181805571356173632767978103661\ 8917/4378281664673305834208500753656109942139146748325593501744800*\ c_1001_13^15 + 2218498808225490037487614795944325357193384621155575\ 8832277294451718501/10945704161683264585521251884140274855347866870\ 81398375436200*c_1001_13^14 - 1640178118534863861275017589960023516\ 91049975708310106370021978916966391/3502625331738644667366800602924\ 8879537113173986604748013958400*c_1001_13^13 - 4381480337070003412736599014989721186964283465289301774556820548720\ 13097/7005250663477289334733601205849775907422634797320949602791680\ *c_1001_13^12 + 812964396071908957284751759801917519482984950955751\ 661965345956041595289/875656332934661166841700150731221988427829349\ 6651187003489600*c_1001_13^11 + 54409462087320160488119201223580942\ 83304560886107133589115488480061965541/3502625331738644667366800602\ 9248879537113173986604748013958400*c_1001_13^10 - 1083574951605621098181007984577699105407864056711065201034823044762\ 342133/109457041616832645855212518841402748553478668708139837543620\ 0*c_1001_13^9 + 843632474480927775100576017611396290707340453446701\ 03056119242419632017561/3502625331738644667366800602924887953711317\ 3986604748013958400*c_1001_13^8 - 278692980013219412281292926665217\ 97112469951352931797534253939624955688579/7005250663477289334733601\ 205849775907422634797320949602791680*c_1001_13^7 + 1777121275324435322556236645074656848236770924025614079095418878498\ 07213073/3502625331738644667366800602924887953711317398660474801395\ 8400*c_1001_13^6 - 481186768448319554585785519934848675800379263697\ 7215936572753839746485101/87565633293466116684170015073122198842782\ 9349665118700348960*c_1001_13^5 + 184985616359425239253334798973317\ 149469901155304328320233424675509348910853/350262533173864466736680\ 06029248879537113173986604748013958400*c_1001_13^4 - 1504325222850211083100602586080080026676624451669174746426402110462\ 08450129/3502625331738644667366800602924887953711317398660474801395\ 8400*c_1001_13^3 + 538353102608898461955337455081608057042825644656\ 3074360767767028313245803/21891408323366529171042503768280549710695\ 73374162796750872400*c_1001_13^2 - 4191782735899114346252825911691058638795759226159717424024064334036\ 07203/547285208084163229276062594207013742767393343540699187718100*\ c_1001_13 - 4100053660591288718649926853410239605523627021989148218\ 491137710704846/136821302021040807319015648551753435691848335885174\ 796929525, c_0011_0 - 1, c_0011_10 - 343821722146674499766955115715785572638250326817678307/2475\ 353591334731213686784878392146963753581200466766644096*c_1001_13^21 - 449345366734408699548637129923843732274318356224923547/2475353591\ 334731213686784878392146963753581200466766644096*c_1001_13^20 + 909666256804508470640721738539296684546919862655462413/123767679566\ 7365606843392439196073481876790600233383322048*c_1001_13^19 - 4363397346173069063494995385891642080290088072922899123/61883839783\ 3682803421696219598036740938395300116691661024*c_1001_13^18 + 49090354601470002026508191224337479188656397365136055/1933869993230\ 2587606928006862438648154324853128646614407*c_1001_13^17 + 67809350829375207939016262225816913698130561838697548301/2475353591\ 334731213686784878392146963753581200466766644096*c_1001_13^16 - 375895407294459455420068907188187928870312701413675279597/247535359\ 1334731213686784878392146963753581200466766644096*c_1001_13^15 + 70485346618029231831564078517248534990467435834252513145/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 + 8886493646361689521383423090904672794597232643165538239/24753535913\ 34731213686784878392146963753581200466766644096*c_1001_13^13 - 1044839655753597027888082126787589421957994134760660329927/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^12 + 2383069277338190581198443061766267702060922160508836718379/24753535\ 91334731213686784878392146963753581200466766644096*c_1001_13^11 + 6087736824964103136621746676772491855426288981556293196439/24753535\ 91334731213686784878392146963753581200466766644096*c_1001_13^10 - 31787890438872635644728264133994345911394843873557575638007/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^9 + 72704289607417257674705263655636463168631649859828514304447/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^8 - 28868788318211610273574633291021017272143864587465472847715/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^7 + 35739890787949044436451807176682843642625699199034130523471/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^6 - 151331989028480714450397186222380973211197716176582711792747/247535\ 3591334731213686784878392146963753581200466766644096*c_1001_13^5 + 142156022948732036310346176266032893986213935483312892539075/247535\ 3591334731213686784878392146963753581200466766644096*c_1001_13^4 - 55195413257931507274868563700167556981260482632850135643311/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^3 + 59006759253014981194695861545562807885528880986215582962987/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^2 - 2073866773520580180574304025106939308374495741625233299051/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13 - 51564862677237610348902177177336897191634756700558455655/3867739986\ 4605175213856013724877296308649706257293228814, c_0011_11 + 126198665366963513239330930817125868853991572505200015/2475\ 353591334731213686784878392146963753581200466766644096*c_1001_13^21 + 157944579160477800280245510887564573468147199268619255/2475353591\ 334731213686784878392146963753581200466766644096*c_1001_13^20 - 357975722318046240492953162305971420917591356167554945/123767679566\ 7365606843392439196073481876790600233383322048*c_1001_13^19 + 1582900394463605557426835754743615353300180530008828303/61883839783\ 3682803421696219598036740938395300116691661024*c_1001_13^18 - 20911655147421184474538125516257707534850077721099802/1933869993230\ 2587606928006862438648154324853128646614407*c_1001_13^17 - 26874280149987948659595470697025543907893811318631684961/2475353591\ 334731213686784878392146963753581200466766644096*c_1001_13^16 + 137108549957422010263096078198076043088724131539819165265/247535359\ 1334731213686784878392146963753581200466766644096*c_1001_13^15 - 26525834450981649661779232531440416828629759813789664513/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 - 32054363608877684159194239388393227212979871144727267739/2475353591\ 334731213686784878392146963753581200466766644096*c_1001_13^13 + 392255346713390947855997810104172880484327182156210118299/123767679\ 5667365606843392439196073481876790600233383322048*c_1001_13^12 - 923342562646699044671043007859493452513934161099922636871/247535359\ 1334731213686784878392146963753581200466766644096*c_1001_13^11 - 2414833028361514316176086272076245974020673199877107629107/24753535\ 91334731213686784878392146963753581200466766644096*c_1001_13^10 + 11864646048938259768418144454741552099348768849250402422691/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^9 - 26767347509362223526790361973745783466249070133538107554747/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^8 + 10257205299660127504472138476134329955280653687217892194347/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^7 - 12336380518657808159980015574192511465708389003312895232343/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^6 + 50695014680424709822352819681402919735323709572156880581063/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^5 - 47208731979154328838762941403168051014040842157544457036879/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^4 + 18282591667645469514515120091386638212110618239564230907907/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^3 - 18834596814496111334055959450150910145173439969726843568263/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^2 + 617623806157088860743205012428751871529242005665150843819/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13 + 32003456906510583881767366371212417337963382315154155511/3867739986\ 4605175213856013724877296308649706257293228814, c_0011_12 + 170912071408567152843386752703781985377447239614790733/1237\ 676795667365606843392439196073481876790600233383322048*c_1001_13^21 + 169304132843402697057353807213011867818329460760484673/1237676795\ 667365606843392439196073481876790600233383322048*c_1001_13^20 - 530755328436071186147714292922953884950110709739785601/618838397833\ 682803421696219598036740938395300116691661024*c_1001_13^19 + 2195998540376717690436223401823439520551893476293155423/30941919891\ 6841401710848109799018370469197650058345830512*c_1001_13^18 - 346478175498891500281519313291807396474146287027765705/773547997292\ 10350427712027449754592617299412514586457628*c_1001_13^17 - 36911673017788664003527210207466593559749508187272315939/1237676795\ 667365606843392439196073481876790600233383322048*c_1001_13^16 + 195897909140538411634880139418897244855353861500116277103/123767679\ 5667365606843392439196073481876790600233383322048*c_1001_13^15 - 80717686569383269764442017445132400617635441308470881971/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 + 798877133993000386308332863880480771331960637939121423/123767679566\ 7365606843392439196073481876790600233383322048*c_1001_13^13 + 560363691539008525515719254069479834107796286140389903483/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^12 - 1425211786811635204024214846108150643642132472977792072677/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^11 - 3144464681149073464626379895836093808053520264784476394125/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^10 + 17035326984828764229189074642881730154099302525580052456637/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^9 - 39212727410807556226815866718727081565505385421832524644589/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^8 + 7751313545012476564454960437616814293088987822151647419839/15470959\ 9458420700855424054899509185234598825029172915256*c_1001_13^7 - 19047947736533071472126476164793392112238659287570466824715/3094191\ 98916841401710848109799018370469197650058345830512*c_1001_13^6 + 80292669760931079918810573645254060609758801887479448059485/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^5 - 75540235117097089672964418966723154806668996419291582708313/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^4 + 29566033716977467423457268588345316582236748880273229929851/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^3 - 30247504724822063169312951947864133723891476384962470973637/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^2 + 1742822443954262205884351628039191389157317250735069486005/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13 + 25241603817715378966473948106097945451967206118405819129/1933869993\ 2302587606928006862438648154324853128646614407, c_0011_13 + 150200338715035451575782770891454706715563152569891351/2475\ 353591334731213686784878392146963753581200466766644096*c_1001_13^21 + 7546078472525502195209178278926806672837167298650239/247535359133\ 4731213686784878392146963753581200466766644096*c_1001_13^20 - 595433589607501856495282830577458199308628805919221673/123767679566\ 7365606843392439196073481876790600233383322048*c_1001_13^19 + 2127718367706379037038228010497344780878277867750577863/61883839783\ 3682803421696219598036740938395300116691661024*c_1001_13^18 - 86654195977777368156191445850246520243765280135773816/1933869993230\ 2587606928006862438648154324853128646614407*c_1001_13^17 - 33355630129228026470459026554889349081659123390781174873/2475353591\ 334731213686784878392146963753581200466766644096*c_1001_13^16 + 207230952583317016120496774554578775896929707401712822281/247535359\ 1334731213686784878392146963753581200466766644096*c_1001_13^15 - 51268338054565289995266345860561581162868156673514200277/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 + 137354824420929846547536657742163737431346493579576112317/247535359\ 1334731213686784878392146963753581200466766644096*c_1001_13^13 + 592358001937651804513058325898111406229377145743294479779/123767679\ 5667365606843392439196073481876790600233383322048*c_1001_13^12 - 2056866724335960952076120438939377446835192120874507527279/24753535\ 91334731213686784878392146963753581200466766644096*c_1001_13^11 - 2452093054754978032207936749745683238767276944202834461051/24753535\ 91334731213686784878392146963753581200466766644096*c_1001_13^10 + 18290765353277721548623456990322477012927056401019883418059/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^9 - 45624274017987076400699859035951723342559512061583185457283/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^8 + 18759049288319552991013655417778943319231129089374875886563/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^7 - 23453120705959289686001425753114809730163127720591616540279/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^6 + 98865986032327156263761734103503712015750326707434441009839/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^5 - 93673536148927829190997444521715006984110537051622665175287/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^4 + 37934922425630479910674024375517830919385301120719390158283/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^3 - 40591554284796550815373934942408877814803172304440830340911/2475353\ 591334731213686784878392146963753581200466766644096*c_1001_13^2 + 1183164001485734490759889724264451867566093815837860011335/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13 + 40158384580147084618577043889190440137180098325802910727/3867739986\ 4605175213856013724877296308649706257293228814, c_0011_8 + 149119906671326375969755295316067146540677234522966899/12376\ 76795667365606843392439196073481876790600233383322048*c_1001_13^21 + 135252704978260743051184101524733114926311556935656695/123767679566\ 7365606843392439196073481876790600233383322048*c_1001_13^20 - 495796539468325327034332372104247091205919305932341667/618838397833\ 682803421696219598036740938395300116691661024*c_1001_13^19 + 1912743821880925150347431854842421587725824273408191081/30941919891\ 6841401710848109799018370469197650058345830512*c_1001_13^18 - 79894841286400205793707847963434935162882393753038445/1933869993230\ 2587606928006862438648154324853128646614407*c_1001_13^17 - 33972716657627647123973357996848403529567763004595582413/1237676795\ 667365606843392439196073481876790600233383322048*c_1001_13^16 + 173524151552252810326027758052614328316913781091133981337/123767679\ 5667365606843392439196073481876790600233383322048*c_1001_13^15 - 70193669052892954808987111459029211718045115668729614135/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 - 20578433392678749451591005193485192559724694538328634831/1237676795\ 667365606843392439196073481876790600233383322048*c_1001_13^13 + 513093816635137158897154282064751780913025924088848128825/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^12 - 1231460507368336682586688960063399072790006124351270634859/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^11 - 2937182231509364761390590143599248969414978080478939900955/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^10 + 15156294375114138403721407639473183899280342272756709137835/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^9 - 34116140084724347753482922176853015286846506679110185864443/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^8 + 826238225594186640936906350824936479382777288317481508197/193386999\ 32302587606928006862438648154324853128646614407*c_1001_13^7 - 15925217531629771497768858206039131073685496739369979755881/3094191\ 98916841401710848109799018370469197650058345830512*c_1001_13^6 + 66531574843053261805127402978560951846719656408237847488867/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^5 - 62399357855200918269227554478935271722858776267917240172095/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^4 + 24065939838117829286510871460093441618117863079400793485065/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^3 - 22735696599209623452288664809976133911512647891488178559947/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^2 + 1085250709678708734148662787331977824585648699741921663665/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13 + 21012385997259857596257531622234425575007818581995036409/1933869993\ 2302587606928006862438648154324853128646614407, c_0011_9 - 149119906671326375969755295316067146540677234522966899/12376\ 76795667365606843392439196073481876790600233383322048*c_1001_13^21 - 135252704978260743051184101524733114926311556935656695/123767679566\ 7365606843392439196073481876790600233383322048*c_1001_13^20 + 495796539468325327034332372104247091205919305932341667/618838397833\ 682803421696219598036740938395300116691661024*c_1001_13^19 - 1912743821880925150347431854842421587725824273408191081/30941919891\ 6841401710848109799018370469197650058345830512*c_1001_13^18 + 79894841286400205793707847963434935162882393753038445/1933869993230\ 2587606928006862438648154324853128646614407*c_1001_13^17 + 33972716657627647123973357996848403529567763004595582413/1237676795\ 667365606843392439196073481876790600233383322048*c_1001_13^16 - 173524151552252810326027758052614328316913781091133981337/123767679\ 5667365606843392439196073481876790600233383322048*c_1001_13^15 + 70193669052892954808987111459029211718045115668729614135/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 + 20578433392678749451591005193485192559724694538328634831/1237676795\ 667365606843392439196073481876790600233383322048*c_1001_13^13 - 513093816635137158897154282064751780913025924088848128825/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^12 + 1231460507368336682586688960063399072790006124351270634859/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^11 + 2937182231509364761390590143599248969414978080478939900955/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^10 - 15156294375114138403721407639473183899280342272756709137835/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^9 + 34116140084724347753482922176853015286846506679110185864443/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^8 - 826238225594186640936906350824936479382777288317481508197/193386999\ 32302587606928006862438648154324853128646614407*c_1001_13^7 + 15925217531629771497768858206039131073685496739369979755881/3094191\ 98916841401710848109799018370469197650058345830512*c_1001_13^6 - 66531574843053261805127402978560951846719656408237847488867/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^5 + 62399357855200918269227554478935271722858776267917240172095/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^4 - 24065939838117829286510871460093441618117863079400793485065/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^3 + 22735696599209623452288664809976133911512647891488178559947/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^2 - 1085250709678708734148662787331977824585648699741921663665/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13 - 21012385997259857596257531622234425575007818581995036409/1933869993\ 2302587606928006862438648154324853128646614407, c_0101_0 - 67889662284337920972436638996817775317315883883441957/618838\ 397833682803421696219598036740938395300116691661024*c_1001_13^21 - 97661355644512250231111926867990997792860946678668647/6188383978336\ 82803421696219598036740938395300116691661024*c_1001_13^20 + 11886556226182613445061506871295949292224704726260993/1933869993230\ 2587606928006862438648154324853128646614407*c_1001_13^19 - 103273693393527136719780779983998645447177219037478122/193386999323\ 02587606928006862438648154324853128646614407*c_1001_13^18 + 88906040937668831434915129914087295338731474372872977/7735479972921\ 0350427712027449754592617299412514586457628*c_1001_13^17 + 14954811792428963839881098884910762321472722541763215611/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^16 - 70792665641688674512929813693142220093322810933063083045/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^15 + 47717475109115201038899773134053532657675174595414873115/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 + 40081319642319757531671669022791729649417017084964570169/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^13 - 26354722951480105928869000777579682225479273842661379549/3867739986\ 4605175213856013724877296308649706257293228814*c_1001_13^12 + 361408722345162260344353579628661523187674607412348748325/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^11 + 1396244366185184863437636133445224574615334252142578874991/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^10 - 6083343739956720970318858962944271528317568198277039234655/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^9 + 12791780418867602902890520636641391039843461176144261332771/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^8 - 9515332621028613331536928682018256781156676972248657887905/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13^7 + 2777842065046823386476338252568924599557867161300540543137/77354799\ 729210350427712027449754592617299412514586457628*c_1001_13^6 - 22891392935260265970642854512054917909932067730709523471721/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^5 + 20959252455045449034913906276648191237712369610354985753095/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^4 - 1923661176954555349737732085524009202982488882241925179523/77354799\ 729210350427712027449754592617299412514586457628*c_1001_13^3 + 6642271218790319250379793518283512278428587260586121860885/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^2 - 683204780214003876524215062404093058809137611119759649213/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13 - 14208758336592925414979822170154952227047205913208896470/1933869993\ 2302587606928006862438648154324853128646614407, c_0101_1 + 67889662284337920972436638996817775317315883883441957/618838\ 397833682803421696219598036740938395300116691661024*c_1001_13^21 + 97661355644512250231111926867990997792860946678668647/6188383978336\ 82803421696219598036740938395300116691661024*c_1001_13^20 - 11886556226182613445061506871295949292224704726260993/1933869993230\ 2587606928006862438648154324853128646614407*c_1001_13^19 + 103273693393527136719780779983998645447177219037478122/193386999323\ 02587606928006862438648154324853128646614407*c_1001_13^18 - 88906040937668831434915129914087295338731474372872977/7735479972921\ 0350427712027449754592617299412514586457628*c_1001_13^17 - 14954811792428963839881098884910762321472722541763215611/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^16 + 70792665641688674512929813693142220093322810933063083045/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^15 - 47717475109115201038899773134053532657675174595414873115/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 - 40081319642319757531671669022791729649417017084964570169/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^13 + 26354722951480105928869000777579682225479273842661379549/3867739986\ 4605175213856013724877296308649706257293228814*c_1001_13^12 - 361408722345162260344353579628661523187674607412348748325/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^11 - 1396244366185184863437636133445224574615334252142578874991/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^10 + 6083343739956720970318858962944271528317568198277039234655/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^9 - 12791780418867602902890520636641391039843461176144261332771/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^8 + 9515332621028613331536928682018256781156676972248657887905/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13^7 - 2777842065046823386476338252568924599557867161300540543137/77354799\ 729210350427712027449754592617299412514586457628*c_1001_13^6 + 22891392935260265970642854512054917909932067730709523471721/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^5 - 20959252455045449034913906276648191237712369610354985753095/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^4 + 1923661176954555349737732085524009202982488882241925179523/77354799\ 729210350427712027449754592617299412514586457628*c_1001_13^3 - 6642271218790319250379793518283512278428587260586121860885/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^2 + 683204780214003876524215062404093058809137611119759649213/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13 + 14208758336592925414979822170154952227047205913208896470/1933869993\ 2302587606928006862438648154324853128646614407, c_0101_10 - 19572900922038700932720911060073466748642622333637113/61883\ 8397833682803421696219598036740938395300116691661024*c_1001_13^21 - 50816052463225122570095841877786689390318017215130985/6188383978336\ 82803421696219598036740938395300116691661024*c_1001_13^20 + 27920948303291602064300032820082956632206029577964553/3094191989168\ 41401710848109799018370469197650058345830512*c_1001_13^19 - 213157629694836743914541710625662870220666459995280143/154709599458\ 420700855424054899509185234598825029172915256*c_1001_13^18 - 46320832243100991558401770392954669772449056311428403/3867739986460\ 5175213856013724877296308649706257293228814*c_1001_13^17 + 3595172248209537999957356076750743289684023632211454663/61883839783\ 3682803421696219598036740938395300116691661024*c_1001_13^16 - 15047570859219417912124011182706218054945394474554813919/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^15 + 2504450825864184847699479938925052672647203671366338759/15470959945\ 8420700855424054899509185234598825029172915256*c_1001_13^14 + 22570606415839134689728920008997927799823508563983701101/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^13 - 39492367887835909358398308416285937013819566750821530761/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^12 - 3409001912565338610931029345551012179552446906964012491/61883839783\ 3682803421696219598036740938395300116691661024*c_1001_13^11 + 386771309689968084051398836766289202063977953117874293449/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^10 - 1190808201994074640502230189001492163408836586566281790925/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^9 + 2217588375161399032443846709830357725204574969550941762809/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^8 - 782726232294975453577508058759649397091172092224100802107/154709599\ 458420700855424054899509185234598825029172915256*c_1001_13^7 + 464660672600839601122067604038021467696505647270538065605/773547997\ 29210350427712027449754592617299412514586457628*c_1001_13^6 - 4000154848240994968973433183969684132756813635506603701437/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^5 + 3518230180617584444727075096582000789273152136686789880677/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^4 - 1255887809129535516384298168328079674169818863451465123641/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13^3 + 1245906420778456605551362919598055885309807837611181585893/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^2 - 293339578407814255049425801636248323587126104784919999897/154709599\ 458420700855424054899509185234598825029172915256*c_1001_13 - 19341955091730267224358984918840146022921342116913274213/3867739986\ 4605175213856013724877296308649706257293228814, c_0101_11 - 5780849428844303823285317293371184906196674310244879/154709\ 599458420700855424054899509185234598825029172915256*c_1001_13^21 - 996935032101394518467851184213355532128955538194923/386773998646051\ 75213856013724877296308649706257293228814*c_1001_13^20 + 44959202560493495222745860593916609614133095804845797/1547095994584\ 20700855424054899509185234598825029172915256*c_1001_13^19 - 147558695279025448511957136184878524379593891375906969/773547997292\ 10350427712027449754592617299412514586457628*c_1001_13^18 + 58974883244924814576980419742981412064025409713027295/3867739986460\ 5175213856013724877296308649706257293228814*c_1001_13^17 + 1529267546361491592814727408693232138903711659892573553/15470959945\ 8420700855424054899509185234598825029172915256*c_1001_13^16 - 3473184259458729318975615693280634946705090078228490199/77354799729\ 210350427712027449754592617299412514586457628*c_1001_13^15 + 11183240871281378511497067518520122500596471964801914509/1547095994\ 58420700855424054899509185234598825029172915256*c_1001_13^14 + 3782329932898626264845816969026643278783008787794907463/15470959945\ 8420700855424054899509185234598825029172915256*c_1001_13^13 - 44719611307555871073723219840603755721188335597488540429/1547095994\ 58420700855424054899509185234598825029172915256*c_1001_13^12 + 50774102642026461886419955565979229645948728784339200757/1547095994\ 58420700855424054899509185234598825029172915256*c_1001_13^11 + 34379530146980980257220454113017072788990315956037691281/3867739986\ 4605175213856013724877296308649706257293228814*c_1001_13^10 - 310801229896892379907690751974159803219412753856629701775/773547997\ 29210350427712027449754592617299412514586457628*c_1001_13^9 + 664434261416408914840939454009939951784662887057906370481/773547997\ 29210350427712027449754592617299412514586457628*c_1001_13^8 - 1892515840095165193849709204535775735425030652118283434183/15470959\ 9458420700855424054899509185234598825029172915256*c_1001_13^7 + 266564837809605330399903497443811283828688265687675187158/193386999\ 32302587606928006862438648154324853128646614407*c_1001_13^6 - 2011602641504354155639397989303133602108903864191720703431/15470959\ 9458420700855424054899509185234598825029172915256*c_1001_13^5 + 904733498062788443643208996882356528965230696566476782963/773547997\ 29210350427712027449754592617299412514586457628*c_1001_13^4 - 1089718444377899576641344822309409524780241487630516027781/15470959\ 9458420700855424054899509185234598825029172915256*c_1001_13^3 + 174097929461198351195827185629352175241754900236302200237/154709599\ 458420700855424054899509185234598825029172915256*c_1001_13^2 + 316556145638190651503882471408005395977103004878695934817/154709599\ 458420700855424054899509185234598825029172915256*c_1001_13 + 7960424237204227697154313950309515606583280748144850933/38677399864\ 605175213856013724877296308649706257293228814, c_0101_13 - 10740588653761114520477466718510671661567736704990577/30941\ 9198916841401710848109799018370469197650058345830512*c_1001_13^21 - 17480340461015310874886663290361068874971782537723775/3094191989168\ 41401710848109799018370469197650058345830512*c_1001_13^20 + 4254039356234055238321786042997878896460316129539032/19338699932302\ 587606928006862438648154324853128646614407*c_1001_13^19 - 60095245935719476226799516823799073247376810921635095/3867739986460\ 5175213856013724877296308649706257293228814*c_1001_13^18 - 1591461710445563695863034947188141441723652422140637/38677399864605\ 175213856013724877296308649706257293228814*c_1001_13^17 + 2856778752259619585786887264643569027473935585779264031/30941919891\ 6841401710848109799018370469197650058345830512*c_1001_13^16 - 10159850917590291364511051560854823929880700992825969989/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^15 + 5523240011064937983053916609250752210874566616609712019/15470959945\ 8420700855424054899509185234598825029172915256*c_1001_13^14 + 17465046722216945463804619599834233554586754529853403485/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^13 - 16706768534562976361857733838413651924637252058633387919/7735479972\ 9210350427712027449754592617299412514586457628*c_1001_13^12 + 28534780314137774698699792053548971802340751248416306709/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^11 + 279488021550573722921952815832814560493016776752868850227/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13^10 - 892016362140760353917575596645207727428557503432607130967/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13^9 + 1604512204771018291240905926324739021630426793590435870815/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13^8 - 1004318803282818353716617450993427847633871211422988531431/15470959\ 9458420700855424054899509185234598825029172915256*c_1001_13^7 + 508819469303232626549143695079091353133772293626011626801/773547997\ 29210350427712027449754592617299412514586457628*c_1001_13^6 - 1852828271842137776928509403549030113553011059515681527985/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13^5 + 1530631777774382139556601882673309106138625638504277348875/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13^4 - 129732425426533236412880098417775451917344974844289290703/773547997\ 29210350427712027449754592617299412514586457628*c_1001_13^3 - 463312687712363556351544598804366803981075582924579777051/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13^2 + 184064389510884296069759897182866526553676379079156083375/154709599\ 458420700855424054899509185234598825029172915256*c_1001_13 + 9052304835288599676362279839220392265628388739324833097/38677399864\ 605175213856013724877296308649706257293228814, c_0101_14 - 41054078229560929973675844497094810071778095743618267/61883\ 8397833682803421696219598036740938395300116691661024*c_1001_13^21 - 85776733385255744319869168458508827140261582290578535/6188383978336\ 82803421696219598036740938395300116691661024*c_1001_13^20 + 95985578003036485877448609508049018975571087650589065/3094191989168\ 41401710848109799018370469197650058345830512*c_1001_13^19 - 453538613437714648821739777920859163210173703681820523/154709599458\ 420700855424054899509185234598825029172915256*c_1001_13^18 - 23956146976773277627132402670071405607086354366784520/1933869993230\ 2587606928006862438648154324853128646614407*c_1001_13^17 + 9308729752728777171531130606037881344631894803769982725/61883839783\ 3682803421696219598036740938395300116691661024*c_1001_13^16 - 35367272694400000641146114304415865914706796460206753897/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^15 + 4013845418464561415376698274087902441760885143988025389/77354799729\ 210350427712027449754592617299412514586457628*c_1001_13^14 + 57500699860273025617338159208666394908997017623690508071/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^13 - 106319442026087814805829243769940544712368574985355082437/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13^12 + 53660558715710210786468554761546931425129055589868600927/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^11 + 945747352791115529895304468431918323050011506623611993903/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^10 - 2974840926275595348337381382291907618265951593431496052859/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^9 + 5426612784703435614925658562479835768465428556731813504439/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^8 - 893522517788896903647062754876538622362521651823544666769/773547997\ 29210350427712027449754592617299412514586457628*c_1001_13^7 + 486740070952036113835605649558556410415138970448274846203/386773998\ 64605175213856013724877296308649706257293228814*c_1001_13^6 - 7705811391925270522830451991067744359862835754537966757407/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^5 + 6579493736166348723840278861928619001550403413695344578427/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^4 - 1774817510835668462035818561999181481839198762828622286453/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13^3 + 319281045353729492848273721989322277347656671762022031791/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^2 + 22717205280745370937879075223063694100574549661704499367/7735479972\ 9210350427712027449754592617299412514586457628*c_1001_13 - 5144825128220833773998352539809876878646476688794220558/19338699932\ 302587606928006862438648154324853128646614407, c_0101_2 + 122622776175237458846837291465653670097019162465822463/12376\ 76795667365606843392439196073481876790600233383322048*c_1001_13^21 + 68880614374701268336650435317305734844615899058179419/1237676795667\ 365606843392439196073481876790600233383322048*c_1001_13^20 - 407252160155178679185120263239099379594218828637205895/618838397833\ 682803421696219598036740938395300116691661024*c_1001_13^19 + 1668599445417259179691168201328284084243571827892541761/30941919891\ 6841401710848109799018370469197650058345830512*c_1001_13^18 - 410178449624657320716294503077030256328357315870172071/773547997292\ 10350427712027449754592617299412514586457628*c_1001_13^17 - 24995010729596244101442881086166021068743177343913477873/1237676795\ 667365606843392439196073481876790600233383322048*c_1001_13^16 + 153886343328885629869175780596929945305562246388368295957/123767679\ 5667365606843392439196073481876790600233383322048*c_1001_13^15 - 72632995731964386140304149317999752367229452410323812671/3094191989\ 16841401710848109799018370469197650058345830512*c_1001_13^14 + 88739643163082318084061047586819759084441389844561748405/1237676795\ 667365606843392439196073481876790600233383322048*c_1001_13^13 + 420184124628661892549292859528247146994212537668484958089/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^12 - 1400848131317613723594996314732283303568611545563757281903/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^11 - 1896131846306368414310443374370524713015224794607918708695/12376767\ 95667365606843392439196073481876790600233383322048*c_1001_13^10 + 13401067563499267560455491675424329416938721381295050520079/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^9 - 33424328681642168030851238152433671642756790936946707781895/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^8 + 6930283402078728888656883204870282696806316786159477678913/15470959\ 9458420700855424054899509185234598825029172915256*c_1001_13^7 - 17611677878713823714620676159014888999582184078771016324275/3094191\ 98916841401710848109799018370469197650058345830512*c_1001_13^6 + 75147894391873621436510496349190686629383065407930808854151/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^5 - 71685741362788687133229318340435755271321748663366402204875/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^4 + 29170707513039979499102877731651393265496776456228321426985/6188383\ 97833682803421696219598036740938395300116691661024*c_1001_13^3 - 33151726570123750064858520719659996840203160971622815252591/1237676\ 795667365606843392439196073481876790600233383322048*c_1001_13^2 + 2206929682797016143366119889321104883077238120029754937785/30941919\ 8916841401710848109799018370469197650058345830512*c_1001_13 + 28616711959935656949161314708554525008922779760516525057/1933869993\ 2302587606928006862438648154324853128646614407, c_1001_10 - 3770518453286598626979173294349413149672679133908515/618838\ 397833682803421696219598036740938395300116691661024*c_1001_13^21 - 18945645860007546737788828272106630783109320552096429/6188383978336\ 82803421696219598036740938395300116691661024*c_1001_13^20 - 4560193068950681430064608094031262703196594887739345/77354799729210\ 350427712027449754592617299412514586457628*c_1001_13^19 - 6276913097634489159331288107954138813483989179862259/19338699932302\ 587606928006862438648154324853128646614407*c_1001_13^18 - 62893406112196994328016949279666839884810016646311085/7735479972921\ 0350427712027449754592617299412514586457628*c_1001_13^17 - 778162323364810393465286932687421595532363895209864371/618838397833\ 682803421696219598036740938395300116691661024*c_1001_13^16 - 2268167428852757016772788151315457463250334495347584447/61883839783\ 3682803421696219598036740938395300116691661024*c_1001_13^15 - 932596708441952322962196781607364204387577596674604099/309419198916\ 841401710848109799018370469197650058345830512*c_1001_13^14 - 11355142971782092928695995858096285368941501984100086817/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^13 + 1910092540068093703271410365589807803109624731425821771/15470959945\ 8420700855424054899509185234598825029172915256*c_1001_13^12 - 20466328395593991443288707703062289564532639171837542377/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^11 - 32322233985020196258416477278013293451025422508789687959/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^10 - 22484865861950317850462177101159186466378696760995047869/6188383978\ 33682803421696219598036740938395300116691661024*c_1001_13^9 + 303203792907757624490006462698566044687840409368537918869/618838397\ 833682803421696219598036740938395300116691661024*c_1001_13^8 - 534960660511415879281875111164972290767679536131232158625/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13^7 + 549952473346754006579901288252750325749573368074012204349/154709599\ 458420700855424054899509185234598825029172915256*c_1001_13^6 - 3218003990366531737049508019802413588917863487077801798675/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^5 + 3627043961643357153220782680540452921549917446880875933585/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^4 - 846395684493282989770220186203091462727229770731846049007/154709599\ 458420700855424054899509185234598825029172915256*c_1001_13^3 + 3056260661776098709797878755107343571823871385775946375831/61883839\ 7833682803421696219598036740938395300116691661024*c_1001_13^2 - 887698074874305959925860684699088028692100257328399354019/309419198\ 916841401710848109799018370469197650058345830512*c_1001_13 + 8100509958571997116461637917647516044557430006101386086/19338699932\ 302587606928006862438648154324853128646614407, c_1001_13^22 + c_1001_13^21 - 6*c_1001_13^20 + 52*c_1001_13^19 - 32*c_1001_13^18 - 207*c_1001_13^17 + 1159*c_1001_13^16 - 1904*c_1001_13^15 + 139*c_1001_13^14 + 6562*c_1001_13^13 - 8553*c_1001_13^12 - 17685*c_1001_13^11 + 99941*c_1001_13^10 - 232701*c_1001_13^9 + 371148*c_1001_13^8 - 457844*c_1001_13^7 + 482809*c_1001_13^6 - 453449*c_1001_13^5 + 354866*c_1001_13^4 - 181481*c_1001_13^3 + 37360*c_1001_13^2 + 16192*c_1001_13 + 512 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_14, c_0101_2, c_1001_10, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1632954226051766800249778092948149/34911558331607792982631433546696\ *c_0101_2*c_1001_10^2*c_1001_13^3 - 129680703517037070165364609538535/34911558331607792982631433546696*\ c_0101_2*c_1001_10^2*c_1001_13^2 + 35898127036011238926316615374880615/3491155833160779298263143354669\ 6*c_0101_2*c_1001_10^2*c_1001_13 + 10226280874240443603657747260399363/3491155833160779298263143354669\ 6*c_0101_2*c_1001_10^2 + 102350297974477579074881481401008/43639447\ 91450974122828929193337*c_0101_2*c_1001_10*c_1001_13^3 + 89210325248820242970505519588535/17455779165803896491315716773348*c\ _0101_2*c_1001_10*c_1001_13^2 + 2238977598538059649515807741422453/\ 4363944791450974122828929193337*c_0101_2*c_1001_10*c_1001_13 + 5252278048156422492333134814478273/17455779165803896491315716773348\ *c_0101_2*c_1001_10 + 176682971278292540663696158796817/17455779165\ 803896491315716773348*c_0101_2*c_1001_13^3 - 29311415010275850046482891226941/8727889582901948245657858386674*c_\ 0101_2*c_1001_13^2 + 3900303169905379025052830469360423/17455779165\ 803896491315716773348*c_0101_2*c_1001_13 + 60797845397300818742706938725149/8727889582901948245657858386674*c_\ 0101_2 + 4431391035242582086067032188773965/34911558331607792982631\ 433546696*c_1001_10^2*c_1001_13^3 - 597279235659327189349690870041431/34911558331607792982631433546696*\ c_1001_10^2*c_1001_13^2 + 97506750804475927961256261745231495/34911\ 558331607792982631433546696*c_1001_10^2*c_1001_13 + 22332164199243190837128542196032491/3491155833160779298263143354669\ 6*c_1001_10^2 + 1086868482116800171206108423084245/1745577916580389\ 6491315716773348*c_1001_10*c_1001_13^3 - 17631639397706108134824064018983/4363944791450974122828929193337*c_\ 1001_10*c_1001_13^2 + 23887495081085366871243290087803101/174557791\ 65803896491315716773348*c_1001_10*c_1001_13 + 3577563652789180711943154549731459/8727889582901948245657858386674*\ c_1001_10 + 183062146251061851158177370595991/436394479145097412282\ 8929193337*c_1001_13^3 - 35045916127380905298749229691504/436394479\ 1450974122828929193337*c_1001_13^2 + 8063597742579568985931935297604737/8727889582901948245657858386674*\ c_1001_13 + 1386931989670806632570015989482503/87278895829019482456\ 57858386674, c_0011_0 - 1, c_0011_10 - 3/8*c_1001_10^2*c_1001_13^3 + 1/8*c_1001_10^2*c_1001_13^2 - 65/8*c_1001_10^2*c_1001_13 - 5/8*c_1001_10^2 + c_1001_10 + 1/4*c_1001_13^3 + 21/4*c_1001_13 + 3/2, c_0011_11 - c_0101_2*c_1001_10^2*c_1001_13^3 + 1/4*c_0101_2*c_1001_10^2*c_1001_13^2 - 22*c_0101_2*c_1001_10^2*c_1001_13 - 9/4*c_0101_2*c_1001_10^2 + 1/2*c_0101_2*c_1001_13^3 + 11*c_0101_2*c_1001_13 + 7/2*c_0101_2 - 9/8*c_1001_10^2*c_1001_13^3 + 1/8*c_1001_10^2*c_1001_13^2 - 199/8*c_1001_10^2*c_1001_13 - 41/8*c_1001_10^2 - 5/8*c_1001_10*c_1001_13^3 + 1/8*c_1001_10*c_1001_13^2 - 111/8*c_1001_10*c_1001_13 - 13/8*c_1001_10 - 1/8*c_1001_13^3 + 1/8*c_1001_13^2 - 19/8*c_1001_13 + 11/8, c_0011_12 + 3/8*c_0101_2*c_1001_13^3 - 1/8*c_0101_2*c_1001_13^2 + 65/8*c_0101_2*c_1001_13 + 5/8*c_0101_2 - c_1001_10, c_0011_13 - c_0101_2*c_1001_10^2*c_1001_13^3 + 1/4*c_0101_2*c_1001_10^2*c_1001_13^2 - 22*c_0101_2*c_1001_10^2*c_1001_13 - 9/4*c_0101_2*c_1001_10^2 + 1/2*c_0101_2*c_1001_13^3 + 11*c_0101_2*c_1001_13 + 7/2*c_0101_2 - 7/8*c_1001_10^2*c_1001_13^3 + 1/8*c_1001_10^2*c_1001_13^2 - 153/8*c_1001_10^2*c_1001_13 - 33/8*c_1001_10^2 - 1/2*c_1001_10*c_1001_13^3 - 11*c_1001_10*c_1001_13 - 3/2*c_1001_10 - 1/8*c_1001_13^3 + 1/8*c_1001_13^2 - 23/8*c_1001_13 + 7/8, c_0011_8 - 5/8*c_0101_2*c_1001_13^3 + 1/8*c_0101_2*c_1001_13^2 - 111/8*c_0101_2*c_1001_13 - 13/8*c_0101_2 + 1/2*c_1001_10*c_1001_13^3 + 11*c_1001_10*c_1001_13 + 7/2*c_1001_10, c_0011_9 - 5/8*c_0101_2*c_1001_13^3 + 1/8*c_0101_2*c_1001_13^2 - 111/8*c_0101_2*c_1001_13 - 13/8*c_0101_2 + 1/8*c_1001_10*c_1001_13^3 + 1/8*c_1001_10*c_1001_13^2 + 19/8*c_1001_10*c_1001_13 + 19/8*c_1001_10, c_0101_0 - 1/2*c_0101_2*c_1001_13^3 - 11*c_0101_2*c_1001_13 - 7/2*c_0101_2 - 3/4*c_1001_10*c_1001_13^3 + 1/4*c_1001_10*c_1001_13^2 - 67/4*c_1001_10*c_1001_13 - 7/4*c_1001_10, c_0101_1 - 1/2*c_0101_2*c_1001_13^3 - 11*c_0101_2*c_1001_13 - 7/2*c_0101_2 - 5/8*c_1001_10*c_1001_13^3 + 1/8*c_1001_10*c_1001_13^2 - 111/8*c_1001_10*c_1001_13 - 13/8*c_1001_10, c_0101_10 - 1/8*c_0101_2*c_1001_10*c_1001_13^3 + 1/8*c_0101_2*c_1001_10*c_1001_13^2 - 23/8*c_0101_2*c_1001_10*c_1001_13 + 15/8*c_0101_2*c_1001_10 + 9/8*c_1001_10^2*c_1001_13^3 - 1/8*c_1001_10^2*c_1001_13^2 + 199/8*c_1001_10^2*c_1001_13 + 41/8*c_1001_10^2 - 1/2*c_1001_13 - 1/2, c_0101_11 + 3/8*c_1001_10^2*c_1001_13^3 - 1/8*c_1001_10^2*c_1001_13^2 + 65/8*c_1001_10^2*c_1001_13 + 5/8*c_1001_10^2 + c_1001_13 - 1, c_0101_13 - 3/8*c_0101_2*c_1001_10*c_1001_13^3 + 1/8*c_0101_2*c_1001_10*c_1001_13^2 - 65/8*c_0101_2*c_1001_10*c_1001_13 - 5/8*c_0101_2*c_1001_10 + 5/8*c_1001_10^2*c_1001_13^3 - 1/8*c_1001_10^2*c_1001_13^2 + 111/8*c_1001_10^2*c_1001_13 + 21/8*c_1001_10^2 - 1, c_0101_14 - 1/2*c_1001_13 - 1/2, c_0101_2^2 + 7/8*c_0101_2*c_1001_10*c_1001_13^3 - 1/8*c_0101_2*c_1001_10*c_1001_13^2 + 149/8*c_0101_2*c_1001_10*c_1001_13 + 29/8*c_0101_2*c_1001_10 - c_1001_10^2 - c_1001_13, c_1001_10^3 + 1/4*c_1001_10^2*c_1001_13^3 + 21/4*c_1001_10^2*c_1001_13 + 3/2*c_1001_10^2 + 1/2*c_1001_10*c_1001_13^3 + 23/2*c_1001_10*c_1001_13 + 2*c_1001_10 + 1/8*c_1001_13^3 - 1/8*c_1001_13^2 + 23/8*c_1001_13 + 1/8, c_1001_13^4 + 22*c_1001_13^2 + 8*c_1001_13 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 873.920 Total time: 874.120 seconds, Total memory usage: 4238.66MB