Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 2118116110] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2928 geometric_solution 6.12684110 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 -1 0 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 -1 0 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 1.246248291643 1.272412925849 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.258268337889 0.212127478290 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.716700781917 1.127540863531 5 6 4 1 0132 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716700781917 1.127540863531 2 3 4 4 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411961229894 1.526444500222 3 5 5 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.709937409899 0.809451180764 6 3 2 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771181194924 0.480229171234 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], '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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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_0'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 6687425246721511531788959073604448989992611018137580333919955172722\ 41988512807018252412423962835681224881/1214852617600400831582020231\ 2624126356590666118228687992233175848813263422049329764126740410307\ 20295466976128*c_1001_1^24 + 20928085225979335017801109323271211610\ 6077565815941037254353746941469042640540111890675017880112503160006\ 43/2429705235200801663164040462524825271318133223645737598446635169\ 762652684409865952825348082061440590933952256*c_1001_1^23 + 4410832016935415589189748318645453093049723263630083542929805957057\ 919280755541895823291435308665535614645/506188590666833679825841763\ 0260052648579444215928619996763823270338859759187220735052808504294\ 6678977790672*c_1001_1^22 - 804016526910059690973551598780441441293\ 9637602614889381703538089285409410558567478623926163732288344309244\ 1/40495087253346694386067341042080421188635553727428959974110586162\ 7108780734977658804224680343573431822325376*c_1001_1^21 + 1664477024667597590280531417423189555555681401980849772687377049423\ 91838413535796997282251933583088366692475/1735503739429144045117171\ 7589463037652272380168898125703190251212590376317213328234466772014\ 7245756495282304*c_1001_1^20 - 212995039714716014528785579905615285\ 7152768923743929140525928652405200442766092928670441499997714366420\ 166893/242970523520080166316404046252482527131813322364573759844663\ 5169762652684409865952825348082061440590933952256*c_1001_1^19 - 2368823032070079318600779099825539956049271042767819121318628552856\ 793522107971931307979847831026902360399/296993672558464938658359670\ 2756173171150388978909347999568066458577988857608930390936741329985\ 87042040576*c_1001_1^18 + 67473589000523386112196475146334957215734\ 3364167997092044482396128172312293240514539987955617932135639737703\ /433875934857286011279292939736575941306809504222453142579756280314\ 75940793033320586166930036811439123820576*c_1001_1^17 + 1154297920794076584119376355073833417190096671232738130606134132356\ 53436181660951655667981805134757213568480313/1214852617600400831582\ 0202312624126356590666118228687992233175848813263422049329764126740\ 41030720295466976128*c_1001_1^16 - 8356361298659070129800249974698656563392354533857575853168227868198\ 06662648091915973942371227423275724069356455/2429705235200801663164\ 0404625248252713181332236457375984466351697626526844098659528253480\ 82061440590933952256*c_1001_1^15 - 3465842129928080037725867708543420885181554247979580321378712466613\ 234570873935180681147478417844221829334115/108468983714321502819823\ 2349341439853267023760556132856449390700786898519825833014654173250\ 9202859780955144*c_1001_1^14 + 156245720547258981968699182552051906\ 4399103640941732952906467505231794285065852505853689761235250819196\ 13853061/8998908278521487641348298009351204708585678606095324438691\ 2413694913062385550590845383262298571873738294528*c_1001_1^13 + 2148279502018795047753344252462547767184037189590762516652709347418\ 038626321703766880369313594508936080004077961/242970523520080166316\ 4040462524825271318133223645737598446635169762652684409865952825348\ 082061440590933952256*c_1001_1^12 - 4775093104290936505989970628771790857533019840349604931237943228453\ 02159145041742803463782646758695648586881199/8998908278521487641348\ 2980093512047085856786060953244386912413694913062385550590845383262\ 298571873738294528*c_1001_1^11 - 2231240321192668330346000908817273\ 5340940181903060357257872951643113900141034396012195131768989312125\ 50040508679/2429705235200801663164040462524825271318133223645737598\ 446635169762652684409865952825348082061440590933952256*c_1001_1^10 + 1942251086925241011364531340091860642271035701617310164203114830384\ 544813944877528005223540888289070785634012885/202475436266733471930\ 3367052104021059431777686371447998705529308135543903674888294021123\ 40171786715911162688*c_1001_1^9 - 359298878304190805314098928104968\ 2587801721667611459001370562381040052643439002940021365581014616291\ 68710803361/8099017450669338877213468208416084237727110745485791994\ 82211723254217561469955317608449360687146863644650752*c_1001_1^8 - 2495750724553139080479273656040251952290378210705836286815876679829\ 9544893498611178838386858091447081916311614889/24297052352008016631\ 6404046252482527131813322364573759844663516976265268440986595282534\ 8082061440590933952256*c_1001_1^7 + 2305181900722004588175356951093181033076405342183532987869135428607\ 23240081093843778140509713951079151623923633/1349836241778223146202\ 2447014026807062878517909142986658036862054236959357832588626807489\ 3447857810607441792*c_1001_1^6 + 1593774763316123080609610558490508\ 6667844371428083574281865160764601620781601225776461113338976130606\ 524014069395/242970523520080166316404046252482527131813322364573759\ 8446635169762652684409865952825348082061440590933952256*c_1001_1^5 - 1159325684269598258537459882228972322923224533277096033395368851109\ 84262779018779983946869822849386516730534017/8677518697145720225585\ 8587947315188261361900844490628515951256062951881586066641172333860\ 073622878247641152*c_1001_1^4 - 17301377274338884101375294131140022\ 4950526506092800394728603808106715624153404969566301699983210567246\ 3750729823/80990174506693388772134682084160842377271107454857919948\ 2211723254217561469955317608449360687146863644650752*c_1001_1^3 + 1162768475541060866278686347134706356145271677382507681448940801604\ 30692707590281898119806792596685763714588959/2699672483556446292404\ 4894028053614125757035818285973316073724108473918715665177253614978\ 6895715621214883584*c_1001_1^2 + 1332971410767180797490346103667208\ 5365321708795849849795939995501217020696645890695350479085978214778\ 5050796953/60742630880020041579101011563120631782953330591143439961\ 1658792440663171102466488206337020515360147733488064*c_1001_1 - 2456608972120260096694539612424840930846305622432676204059113879667\ 8619384226678038216420630590022899010652147/80990174506693388772134\ 6820841608423772711074548579199482211723254217561469955317608449360\ 687146863644650752, c_0011_0 - 1, c_0011_3 + 101623654750067495446920079453048841229785898536101970091975\ 9520675737201933023375836327562340097/16342159675952841050217010273\ 8392112472862887285262022727278761504302254738985121101710073618687\ 299763*c_1001_1^24 - 1416425756649691093072140867687388001778303515\ 2373624642930227668210159396397650579303748377005818/16342159675952\ 8410502170102738392112472862887285262022727278761504302254738985121\ 101710073618687299763*c_1001_1^23 - 1891016140551025713098459628227737232922817274063884638845104373850\ 86776840259124634319908161477741/1634215967595284105021701027383921\ 1247286288728526202272727876150430225473898512110171007361868729976\ 3*c_1001_1^22 + 108804514072153489669018642847542998548184636059872\ 680431072133767139875617994909556266894788648345/163421596759528410\ 5021701027383921124728628872852620227272787615043022547389851211017\ 10073618687299763*c_1001_1^21 - 14150447309333965084761391407207449\ 9068975019815422438991977895723671994796513817332972386115014452/23\ 3459423942183443574528718197703017818375553264660032467541087863288\ 93534140731585958581945526757109*c_1001_1^20 - 1894143022837321472042348556745172224806582171047822945643972133085\ 470855005628213078481792471464756/163421596759528410502170102738392\ 1124728628872852620227272787615043022547389851211017100736186872997\ 63*c_1001_1^19 + 19557832926875902274947197304026702867525818245610\ 5506347075956801527120366851202130173980185327180/16180356114804793\ 1190267428453853576705804838896299032403246298519111143305925862476\ 9406669491953463*c_1001_1^18 - 100602770686047844978409705840903449\ 0983682127327247009430958592978220500296167425977883803863317760/23\ 3459423942183443574528718197703017818375553264660032467541087863288\ 93534140731585958581945526757109*c_1001_1^17 - 2363301846349756941644366977880907547746837398137387460428559971293\ 86737917155821569529035375219917613/1634215967595284105021701027383\ 9211247286288728526202272727876150430225473898512110171007361868729\ 9763*c_1001_1^16 + 372677920802931490230171532745810804611605722410\ 843877364651941772645424366338873204628309086879697450/163421596759\ 5284105021701027383921124728628872852620227272787615043022547389851\ 21101710073618687299763*c_1001_1^15 + 2604794491470580510261907734173751929527848646596505870369361172718\ 93005575868978364704732264199363466/2334594239421834435745287181977\ 0301781837555326466003246754108786328893534140731585958581945526757\ 109*c_1001_1^14 - 2952259822076431563120043296371752110957122102545\ 324856517915269382457039309637583845899638752093373184/163421596759\ 5284105021701027383921124728628872852620227272787615043022547389851\ 21101710073618687299763*c_1001_1^13 - 7093402039129639762298340542393106336266317716372523332166374143230\ 067970605465558545067474885050112084/163421596759528410502170102738\ 3921124728628872852620227272787615043022547389851211017100736186872\ 99763*c_1001_1^12 + 10043158290893044779892035904772265012863249760\ 473101044122478383448664062837540530022557098081533665979/163421596\ 7595284105021701027383921124728628872852620227272787615043022547389\ 85121101710073618687299763*c_1001_1^11 + 1768927596498301880141679715276735976744271247608803209935020427852\ 4832815242187756645120852147213740226/16342159675952841050217010273\ 8392112472862887285262022727278761504302254738985121101710073618687\ 299763*c_1001_1^10 - 2321879159010794199010064911386209278422792971\ 0841496677017922768871700010985624210492612186966302745170/16342159\ 6759528410502170102738392112472862887285262022727278761504302254738\ 985121101710073618687299763*c_1001_1^9 - 2440225654708373847958019954619465174751666954945586148061815455800\ 5444729469801119665261195796590740119/16342159675952841050217010273\ 8392112472862887285262022727278761504302254738985121101710073618687\ 299763*c_1001_1^8 + 31686823419956226951805000688991430766137366988\ 564464267890881886409180078608794037226499529829259968991/163421596\ 7595284105021701027383921124728628872852620227272787615043022547389\ 85121101710073618687299763*c_1001_1^7 + 1959319369724653464723994951233995408045175441105044160312530522419\ 2014791328897296173517115065601021712/16342159675952841050217010273\ 8392112472862887285262022727278761504302254738985121101710073618687\ 299763*c_1001_1^6 - 25086759917662044167549895271246019038657605644\ 837857505238382515132925558906264390819864175684899957683/163421596\ 7595284105021701027383921124728628872852620227272787615043022547389\ 85121101710073618687299763*c_1001_1^5 - 1361481766785210616595939656385183956923317138548104998410738928893\ 714059925854738163484668320293686559/233459423942183443574528718197\ 7030178183755532646600324675410878632889353414073158595858194552675\ 7109*c_1001_1^4 + 1032678749306910709446011897991268727565903202127\ 8006568759524691006852017896746933492795279670081074012/16342159675\ 9528410502170102738392112472862887285262022727278761504302254738985\ 121101710073618687299763*c_1001_1^3 + 2199632174326100020647021135907699464070363251437296859491616419077\ 022466386313411193450909664676664936/163421596759528410502170102738\ 3921124728628872852620227272787615043022547389851211017100736186872\ 99763*c_1001_1^2 - 138293851104057778084149118876010011594492960653\ 0917051064695456695070631195018210834272455768433611146/16342159675\ 9528410502170102738392112472862887285262022727278761504302254738985\ 121101710073618687299763*c_1001_1 - 1483102514567558123959827416126446121660568533663136451292464102277\ 83788609009549442181772780444975795/1634215967595284105021701027383\ 9211247286288728526202272727876150430225473898512110171007361868729\ 9763, c_0101_0 + 274509510356291866121981470704033845898549000092940104129689\ 5335447479180265478473756/29426131270256939514322953537007091019255\ 044605010679649444866650761981246403620200436419*c_1001_1^24 - 4179771215819514371431514280871027763563790159145471035242073385803\ 6079160574543340026/29426131270256939514322953537007091019255044605\ 010679649444866650761981246403620200436419*c_1001_1^23 - 5028684750041455622963544943493227045205826790439724514160679599564\ 7614497330757115466/32695701411396599460358837263341212243616716227\ 78964405493874072306886805155957800048491*c_1001_1^22 + 2689264455956361386299299964078092786686872330814613635568815051825\ 17626834459730822786/9808710423418979838107651179002363673085014868\ 336893216481622216920660415467873400145473*c_1001_1^21 - 6253083538647882602001567319467254241463465804948854137011583876539\ 55739274587338644210/4203733038608134216331850505286727288465006372\ 144382807063552378680283035200517171490917*c_1001_1^20 + 2328746160129279920976055282913930651983076405546273483775124470448\ 884447069071969434690/294261312702569395143229535370070910192550446\ 05010679649444866650761981246403620200436419*c_1001_1^19 + 1374470237153017194112247632025621146898076570029001509464131923373\ 13019357503032098152/9711594478632653305057080375249865022856450364\ 6899932836451705118026340747206667328173*c_1001_1^18 - 8752160532113254905836293005305669757583232906697847824439331648026\ 420916277334524940618/420373303860813421633185050528672728846500637\ 2144382807063552378680283035200517171490917*c_1001_1^17 - 5052875738058885078825553817729660003815716035985461681125864825813\ 45780089445420161628039/2942613127025693951432295353700709101925504\ 4605010679649444866650761981246403620200436419*c_1001_1^16 + 1518235645471652484298298841513979488334312180057455712397878860869\ 839609433508742885740050/294261312702569395143229535370070910192550\ 44605010679649444866650761981246403620200436419*c_1001_1^15 + 3285624670209557117550966179351062455695424124493381509294445326380\ 85657112443633920957908/4203733038608134216331850505286727288465006\ 372144382807063552378680283035200517171490917*c_1001_1^14 - 2669265421635451416269866914662297908356463201763067652680643324435\ 589889168561376291855688/980871042341897983810765117900236367308501\ 4868336893216481622216920660415467873400145473*c_1001_1^13 - 7849918701025379481664679277077237092243056399752477968504626060015\ 769216431228806661301315/294261312702569395143229535370070910192550\ 44605010679649444866650761981246403620200436419*c_1001_1^12 + 8199506558504716298014409612272404315828066664983949423509555309848\ 171481872253583430096401/980871042341897983810765117900236367308501\ 4868336893216481622216920660415467873400145473*c_1001_1^11 + 1481929668060502528606030605318729719410216785287304655165836411391\ 0412452571059122072667597/29426131270256939514322953537007091019255\ 044605010679649444866650761981246403620200436419*c_1001_1^10 - 5093476243098293826012698937824829890900666334581721757348703922666\ 078899775887793065345869/326957014113965994603588372633412122436167\ 1622778964405493874072306886805155957800048491*c_1001_1^9 - 5143646059861048527050370836856988913353832332315413730793473409331\ 671870208275825790715276/980871042341897983810765117900236367308501\ 4868336893216481622216920660415467873400145473*c_1001_1^8 + 5158658633594229679067935773553763859213050051709974270439594950086\ 8726198487250123395375970/29426131270256939514322953537007091019255\ 044605010679649444866650761981246403620200436419*c_1001_1^7 + 3046137041057490385124758270162282498338916754904376113595798593643\ 121046902351772636962899/980871042341897983810765117900236367308501\ 4868336893216481622216920660415467873400145473*c_1001_1^6 - 3504205815133531385188066901915258428096981850272587641768591279969\ 3435569795745159528642999/29426131270256939514322953537007091019255\ 044605010679649444866650761981246403620200436419*c_1001_1^5 - 5057854980541561598222796333986609476917067060346434448828969842221\ 64788750862891795579037/4203733038608134216331850505286727288465006\ 372144382807063552378680283035200517171490917*c_1001_1^4 + 1353555796707106699154858247925391344969453005288688683894922408688\ 205988766958571994831432/326957014113965994603588372633412122436167\ 1622778964405493874072306886805155957800048491*c_1001_1^3 + 4952118266574486325754260025170179068716010585617095901310533278164\ 3897651565578816041102/32695701411396599460358837263341212243616716\ 22778964405493874072306886805155957800048491*c_1001_1^2 - 1435781099463693362847997158366510980691293447034172470811366713756\ 056677352067185728138880/294261312702569395143229535370070910192550\ 44605010679649444866650761981246403620200436419*c_1001_1 + 1144611067258844883866899328993983633838142582737414848262911472575\ 5220515066946385213749/32695701411396599460358837263341212243616716\ 22778964405493874072306886805155957800048491, c_0101_1 + 149090581825738140016925419735450310305817387746440594544132\ 157480199099846050383033/326957014113965994603588372633412122436167\ 1622778964405493874072306886805155957800048491*c_1001_1^24 - 2262068037748718293532961289288906719595731601936963427236825838077\ 544143348677417820/326957014113965994603588372633412122436167162277\ 8964405493874072306886805155957800048491*c_1001_1^23 - 2471853971866504191983418243323743276519891674885220518597972305589\ 9381927400311571362/32695701411396599460358837263341212243616716227\ 78964405493874072306886805155957800048491*c_1001_1^22 + 4274965282878105533994351185028888825188996670336023253298057227599\ 7384050091501569289/32695701411396599460358837263341212243616716227\ 78964405493874072306886805155957800048491*c_1001_1^21 - 3329068052860246436790432296749917095843388766249856402179924058977\ 6432971310004010213/46708144873423713514798338947630303205166737468\ 2709200784839153186698115022279685721213*c_1001_1^20 + 1065352508666009676060259901800550206082999493833338469222148833100\ 52766587844751373248/3269570141139659946035883726334121224361671622\ 778964405493874072306886805155957800048491*c_1001_1^19 + 2277876534189161577626873524900159112509648584875483536874622937230\ 3694697815137494926/32371981595442177683523601250832883409521501215\ 633310945483901706008780249068889109391*c_1001_1^18 - 4646226290550499177903043610719698296783563171903109425073416943458\ 28363734079725481022/4670814487342371351479833894763030320516673746\ 82709200784839153186698115022279685721213*c_1001_1^17 - 2781868019453642973112928124001119132394826235134341522325362296788\ 8708401447888574030201/32695701411396599460358837263341212243616716\ 22778964405493874072306886805155957800048491*c_1001_1^16 + 8153143923559161940846973322630027987183396298688191767830733982057\ 4319170840966812663262/32695701411396599460358837263341212243616716\ 22778964405493874072306886805155957800048491*c_1001_1^15 + 1881748766601899196413729226539187566200339330566396699476657469278\ 8623536923831595667084/46708144873423713514798338947630303205166737\ 4682709200784839153186698115022279685721213*c_1001_1^14 - 4394066743089337853559619334703448652256081434206971236298525042276\ 71522280460379733892674/3269570141139659946035883726334121224361671\ 622778964405493874072306886805155957800048491*c_1001_1^13 - 4518927563953155560663489706308644298683927626864434020955327651388\ 42450700681764438829235/3269570141139659946035883726334121224361671\ 622778964405493874072306886805155957800048491*c_1001_1^12 + 1362228760362651649925431373123528939934263153284149341449786399470\ 688088892978062924951059/326957014113965994603588372633412122436167\ 1622778964405493874072306886805155957800048491*c_1001_1^11 + 8743881589285782432448574685916940407348806629899459781114169316961\ 09715128602087808665277/3269570141139659946035883726334121224361671\ 622778964405493874072306886805155957800048491*c_1001_1^10 - 2588564659437649491647659666291676607241752004254001041722595856901\ 325116574830438016143967/326957014113965994603588372633412122436167\ 1622778964405493874072306886805155957800048491*c_1001_1^9 - 9218585312733749629135138439311060881118923606126645276638687160323\ 72887579359817368083917/3269570141139659946035883726334121224361671\ 622778964405493874072306886805155957800048491*c_1001_1^8 + 2975265237880377879801657532560488044931143406747690228508977488806\ 359166570995109126924779/326957014113965994603588372633412122436167\ 1622778964405493874072306886805155957800048491*c_1001_1^7 + 5318168744706281885985899315939834467847547802253091430777270930048\ 65187564240034416531671/3269570141139659946035883726334121224361671\ 622778964405493874072306886805155957800048491*c_1001_1^6 - 2064894635404843716963989128919773056421943073168363527822990179961\ 704813047738996498627836/326957014113965994603588372633412122436167\ 1622778964405493874072306886805155957800048491*c_1001_1^5 - 2564687409589936509094944114790133584701195647310240008487092482636\ 0826782099056675257762/46708144873423713514798338947630303205166737\ 4682709200784839153186698115022279685721213*c_1001_1^4 + 7452806941453432915775204015867343808290740830728862926543846045542\ 44130826468255094493111/3269570141139659946035883726334121224361671\ 622778964405493874072306886805155957800048491*c_1001_1^3 + 5644762582291130958616152197565398655534509139954739253819665380152\ 566965610962728968430/326957014113965994603588372633412122436167162\ 2778964405493874072306886805155957800048491*c_1001_1^2 - 9786958446328733907274929266071844982854007062641441654933878298720\ 9978575091921177885089/32695701411396599460358837263341212243616716\ 22778964405493874072306886805155957800048491*c_1001_1 + 9091750895143825783488393967553314428871201677321749441081608944190\ 103869147804427594567/326957014113965994603588372633412122436167162\ 2778964405493874072306886805155957800048491, c_0101_2 - 105220061505659746835103378902763560194915871241075283366036\ 8159955821644809746015603762647387/79706187757659079404072624854115\ 06241665262999817686325283068892567051394380584358469983593556421*c\ _1001_1^24 + 161081477208838164532147440478958784267871448334287479\ 27975753037338239761545256500848856030746/7970618775765907940407262\ 4854115062416652629998176863252830688925670513943805843584699835935\ 56421*c_1001_1^23 + 17201986847297545745695768957369204027304976192\ 4992332935504473156479381213154417523676525498527/79706187757659079\ 4040726248541150624166526299981768632528306889256705139438058435846\ 9983593556421*c_1001_1^22 - 321457951062075273206178668137224167209\ 500405158241333238871777352387681671603824815819372870845/797061877\ 5765907940407262485411506241665262999817686325283068892567051394380\ 584358469983593556421*c_1001_1^21 + 1722798000992846037043608528307067656707554135668768839285036422742\ 760544399623869262200822554286/797061877576590794040726248541150624\ 1665262999817686325283068892567051394380584358469983593556421*c_100\ 1_1^20 - 1089547820288908130082941649542891866725798568520597013679\ 452591068824664867971450989088280280893/797061877576590794040726248\ 5411506241665262999817686325283068892567051394380584358469983593556\ 421*c_1001_1^19 - 1562376506554476390860098550080739468604212843832\ 0715148900892255325832900533547054476600951913068/79706187757659079\ 4040726248541150624166526299981768632528306889256705139438058435846\ 9983593556421*c_1001_1^18 + 244239538167321435038794369804472968810\ 66751147389376887857501455776872802733241045252257112340636/7970618\ 7757659079404072624854115062416652629998176863252830688925670513943\ 80584358469983593556421*c_1001_1^17 + 1901176349729609741372853431245117881254356576535221340817329260318\ 93802285824797107036364598965170/7970618775765907940407262485411506\ 241665262999817686325283068892567051394380584358469983593556421*c_1\ 001_1^16 - 59342443666575098372006434746067780986541245220906833134\ 0705965834943974304875053707621338572120651/79706187757659079404072\ 6248541150624166526299981768632528306889256705139438058435846998359\ 3556421*c_1001_1^15 - 813787680543724250742516806938773222481055697\ 733614478991051291236990432617977697044857600668446562/797061877576\ 5907940407262485411506241665262999817686325283068892567051394380584\ 358469983593556421*c_1001_1^14 + 3050066800784948799645355941947283\ 282361918065455585377342918746145042998769010884540030416187306767/\ 7970618775765907940407262485411506241665262999817686325283068892567\ 051394380584358469983593556421*c_1001_1^13 + 2736399229048708335520519840477634547270619204700811879909044471263\ 766155490623282178585086129291915/797061877576590794040726248541150\ 6241665262999817686325283068892567051394380584358469983593556421*c_\ 1001_1^12 - 9274527327181333573331977969673435249284258664079690426\ 964952379772920311930910431902487457537833626/797061877576590794040\ 7262485411506241665262999817686325283068892567051394380584358469983\ 593556421*c_1001_1^11 - 4918272871760660190997152291768554517687806\ 591843736518182389791395025093557935011612787912959476932/797061877\ 5765907940407262485411506241665262999817686325283068892567051394380\ 584358469983593556421*c_1001_1^10 + 1687541163324055415192839350160868594671482415541188193824432694731\ 9667070366301902222897799580812258/79706187757659079404072624854115\ 06241665262999817686325283068892567051394380584358469983593556421*c\ _1001_1^9 + 4877346347293458912539421629510785426084203631194682102\ 686232830093150277634782399311841727851815325/797061877576590794040\ 7262485411506241665262999817686325283068892567051394380584358469983\ 593556421*c_1001_1^8 - 18473616285899136039120898373185609934685170\ 492203654257449862602438103224875465300237444651294532985/797061877\ 5765907940407262485411506241665262999817686325283068892567051394380\ 584358469983593556421*c_1001_1^7 - 2821956246150121921690274093765169835215196523723224902068752099207\ 545130196104838571566027078974070/797061877576590794040726248541150\ 6241665262999817686325283068892567051394380584358469983593556421*c_\ 1001_1^6 + 12192011574982814717304955745792015057081704555699437550\ 720877134852182050328979064498883864588432671/797061877576590794040\ 7262485411506241665262999817686325283068892567051394380584358469983\ 593556421*c_1001_1^5 + 12132141636917644563130667226992298564413524\ 57625287086960221175484558014005444294286658745375837456/7970618775\ 7659079404072624854115062416652629998176863252830688925670513943805\ 84358469983593556421*c_1001_1^4 - 406538824945611847330767117087828\ 2752759992636279356653274217316778467348598354128347882114030380536\ /797061877576590794040726248541150624166526299981768632528306889256\ 7051394380584358469983593556421*c_1001_1^3 - 2486663682256069803517381860472548161413828517713852807141151936724\ 86440129649854526422614703066099/7970618775765907940407262485411506\ 241665262999817686325283068892567051394380584358469983593556421*c_1\ 001_1^2 + 453451912758341717382529110752860616077765360120135740368\ 344658053607408217026238943204516582886202/797061877576590794040726\ 2485411506241665262999817686325283068892567051394380584358469983593\ 556421*c_1001_1 - 1888985879465748012506968460800821014119418301893\ 3079392184173782439826264452685619284326040481549/79706187757659079\ 4040726248541150624166526299981768632528306889256705139438058435846\ 9983593556421, c_0101_4 - 158761292756703389713087120403024439562907174971329248141631\ 199769114859782014641733358232117493/161803561148047931190267428453\ 8535767058048388962990324032462985191111433059258624769406669491953\ 463*c_1001_1^24 + 4789012508784043697517801445409813086454541234623\ 107043620777275956486547443550613409410537083437/323607122296095862\ 3805348569077071534116096777925980648064925970382222866118517249538\ 813338983906926*c_1001_1^23 + 2652905589629901767747511632939939907\ 5936889535165043895131794829030935830922926224854809319005527/16180\ 3561148047931190267428453853576705804838896299032403246298519111143\ 3059258624769406669491953463*c_1001_1^22 - 4300051718519978703121382581248830871843386574978494782749203151306\ 1059362172848243301502461501137/16180356114804793119026742845385357\ 67058048388962990324032462985191111433059258624769406669491953463*c\ _1001_1^21 + 350790824523149871869913971627325087593160030902705489\ 23819644466543275799490091933158252032716302/2311479444972113302718\ 1061207693368100829262699471290343320899788444449043703694639562952\ 4213136209*c_1001_1^20 - 189664175731217493176236774402699460486588\ 114131653493514222775369231528667558554365753725441501417/323607122\ 2960958623805348569077071534116096777925980648064925970382222866118\ 517249538813338983906926*c_1001_1^19 - 4884996907810981606429502573780662090391214152369241047260215511750\ 935027760746249670172429226362291/323607122296095862380534856907707\ 1534116096777925980648064925970382222866118517249538813338983906926\ *c_1001_1^18 + 4603964409887682004375598892377758914272904167831151\ 22409396039774364356740453825880620886555651711/2311479444972113302\ 7181061207693368100829262699471290343320899788444449043703694639562\ 9524213136209*c_1001_1^17 + 298025768990277563441103429664667180989\ 77242926941493021885264519392617721146900680044336372607168500/1618\ 0356114804793119026742845385357670580483889629903240324629851911114\ 33059258624769406669491953463*c_1001_1^16 - 1677436608784942866012825200160759436580090714227784586213900620603\ 26445038628491262508784582767972903/3236071222960958623805348569077\ 0715341160967779259806480649259703822228661185172495388133389839069\ 26*c_1001_1^15 - 20924955288492259298558828859959209224359057881138\ 053650485678600188799941185495888286638206421902981/231147944497211\ 3302718106120769336810082926269947129034332089978844444904370369463\ 95629524213136209*c_1001_1^14 + 89815636294303748959138092843521770\ 4383736852665871262314253437552483133229784649174686919498057640723\ /323607122296095862380534856907707153411609677792598064806492597038\ 2222866118517249538813338983906926*c_1001_1^13 + 1037792804594401403745635962996596484984980942401785843929105916657\ 300887898154831056166387225137497593/323607122296095862380534856907\ 7071534116096777925980648064925970382222866118517249538813338983906\ 926*c_1001_1^12 - 2755805225488941828784548739184352761013220139390\ 578254297059460605445995235094246325918671395778462485/323607122296\ 0958623805348569077071534116096777925980648064925970382222866118517\ 249538813338983906926*c_1001_1^11 - 2097360932952001287743082729164290566127781106460898753979078959079\ 175223578677159920730383034620284093/323607122296095862380534856907\ 7071534116096777925980648064925970382222866118517249538813338983906\ 926*c_1001_1^10 + 2584660380899334158186468107156160776531671970631\ 355495761788103613236251782308584388386951724390075413/161803561148\ 0479311902674284538535767058048388962990324032462985191111433059258\ 624769406669491953463*c_1001_1^9 + 2434900806551165639094819469141251862139635073178865831646010845263\ 953907824308066470364318485769720575/323607122296095862380534856907\ 7071534116096777925980648064925970382222866118517249538813338983906\ 926*c_1001_1^8 - 58626418062656540032803570603505067134492141674051\ 50614080388891397380871708785377368426892663441162601/3236071222960\ 9586238053485690770715341160967779259806480649259703822228661185172\ 49538813338983906926*c_1001_1^7 - 850925883563446986728825187732853\ 8957839902377946814826744935373229442886321236362096835398579905645\ 52/1618035611480479311902674284538535767058048388962990324032462985\ 191111433059258624769406669491953463*c_1001_1^6 + 3993048625975859270985332253045965980035351357595445164753384113134\ 899666861516236845959656341438175437/323607122296095862380534856907\ 7071534116096777925980648064925970382222866118517249538813338983906\ 926*c_1001_1^5 + 56439754468540408130256831671912117163212214775900\ 663646118217742078994347752480446807378577869781020/231147944497211\ 3302718106120769336810082926269947129034332089978844444904370369463\ 95629524213136209*c_1001_1^4 - 136405981351767376830146072226742849\ 0753136111666904175693575313418851919555819703021444107803591385207\ /323607122296095862380534856907707153411609677792598064806492597038\ 2222866118517249538813338983906926*c_1001_1^3 - 1569166267727513575361305361890833526458777568687667461044183787639\ 97827940607047450960574744128650273/3236071222960958623805348569077\ 0715341160967779259806480649259703822228661185172495388133389839069\ 26*c_1001_1^2 + 750686709044213359806094501343092126163922949085527\ 19333271834808649781158104479575354642087877025511/1618035611480479\ 3119026742845385357670580483889629903240324629851911114330592586247\ 69406669491953463*c_1001_1 - 40895364817591091400472993757791207989\ 76388323804901033163659057752944559266079234230981470155066785/3236\ 0712229609586238053485690770715341160967779259806480649259703822228\ 66118517249538813338983906926, c_1001_1^25 - 16*c_1001_1^24 - 153*c_1001_1^23 + 420*c_1001_1^22 - 1835*c_1001_1^21 + 2123*c_1001_1^20 + 14331*c_1001_1^19 - 33785*c_1001_1^18 - 165713*c_1001_1^17 + 692242*c_1001_1^16 + 396826*c_1001_1^15 - 3500913*c_1001_1^14 - 595826*c_1001_1^13 + 10891428*c_1001_1^12 - 1487455*c_1001_1^11 - 20058012*c_1001_1^10 + 6903255*c_1001_1^9 + 21877681*c_1001_1^8 - 10337322*c_1001_1^7 - 14268514*c_1001_1^6 + 7669484*c_1001_1^5 + 4962267*c_1001_1^4 - 2797695*c_1001_1^3 - 595690*c_1001_1^2 + 358038*c_1001_1 - 19359 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB