Magma V2.19-8 Tue Aug 20 2013 16:16:44 on localhost [Seed = 1208603781] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1023 geometric_solution 4.90665135 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 -1 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.834489087208 0.555499110850 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.097034385921 0.665775871282 4 1 3 3 0132 0132 1302 3201 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290586885773 0.745044081495 2 2 4 1 2031 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.290586885773 0.745044081495 2 5 5 3 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351588829663 0.217030998383 6 4 4 6 0132 0132 1023 3201 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.071013968956 0.738524797622 5 5 6 6 0132 2310 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 0 0 0 0 0 0 0 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.684650475612 0.318669216679 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_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' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0011_3, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 5830870647703452366121926869525958785591267362192094200184995867101\ 0411810561407/14682195749583546399622127941136812039689188080664292\ 0596043071114369413895416*c_0101_6^30 + 9661167688167289513284387697358960275943530533677141338261480866350\ 67998619791807/1468219574958354639962212794113681203968918808066429\ 20596043071114369413895416*c_0101_6^29 - 2542213263123564237030155168251581904242963814415145545897058919728\ 858888349959933/146821957495835463996221279411368120396891880806642\ 920596043071114369413895416*c_0101_6^28 - 1076846837633320682420967009863249275483377749454458612863757844236\ 8345850443204435/73410978747917731998110639705684060198445940403321\ 460298021535557184706947708*c_0101_6^27 + 5197740202852941351398845955214689525856134978986397604049780604577\ 2481476992433865/73410978747917731998110639705684060198445940403321\ 460298021535557184706947708*c_0101_6^26 + 1064157077677967728380024914597331095327458185873630093102846686423\ 47279079255060755/7341097874791773199811063970568406019844594040332\ 1460298021535557184706947708*c_0101_6^25 - 1473722760098628082592050606462704460074191673874487257551049554259\ 102950181538759011/146821957495835463996221279411368120396891880806\ 642920596043071114369413895416*c_0101_6^24 - 1632867029595185012410319610690556039726878267262771775822155980636\ 635485777049473479/146821957495835463996221279411368120396891880806\ 642920596043071114369413895416*c_0101_6^23 + 1025295744580056482150666040265745512519266736707610093757635491919\ 8623420461996700985/14682195749583546399622127941136812039689188080\ 6642920596043071114369413895416*c_0101_6^22 + 1009975608412363545101226770253126035464029490220854745569777222494\ 7188327567993257337/14682195749583546399622127941136812039689188080\ 6642920596043071114369413895416*c_0101_6^21 - 3471751277839651108863552977073126911407810121156291193399877875814\ 8901496446569795909/14682195749583546399622127941136812039689188080\ 6642920596043071114369413895416*c_0101_6^20 - 6675921421113652794328834099122956868991752122019660888119226472626\ 770544747969677893/367054893739588659990553198528420300992229702016\ 60730149010767778592353473854*c_0101_6^19 + 7020901997697857540530722128235308550740356451177235582980635599931\ 0852580771887683619/14682195749583546399622127941136812039689188080\ 6642920596043071114369413895416*c_0101_6^18 + 3215760115136472302204439119392497261398341327407968719669950754180\ 804121957310373119/734109787479177319981106397056840601984459404033\ 21460298021535557184706947708*c_0101_6^17 - 1447438094601495509807493988246376911048771104752339291252010576232\ 16935762530826383951/1468219574958354639962212794113681203968918808\ 06642920596043071114369413895416*c_0101_6^16 + 2440470162381154027031950561376953958548123502411147170299707201816\ 4331438430914692933/14682195749583546399622127941136812039689188080\ 6642920596043071114369413895416*c_0101_6^15 + 1011399448620978280629645554452481874259384611158378591087461324893\ 61431364935533640899/7341097874791773199811063970568406019844594040\ 3321460298021535557184706947708*c_0101_6^14 - 1571907813246086752044253101551612674952593134330396846581672223846\ 1854543472219029651/14682195749583546399622127941136812039689188080\ 6642920596043071114369413895416*c_0101_6^13 - 1537847599971824116091146060064193139139215221558049415013671697614\ 04402821899367428819/1468219574958354639962212794113681203968918808\ 06642920596043071114369413895416*c_0101_6^12 + 1518102783524954818370145739102943399490024723235933639286459856748\ 241532646383356905/734109787479177319981106397056840601984459404033\ 21460298021535557184706947708*c_0101_6^11 + 3211130025771027532259945626720338439709856457480966431964778555615\ 1383761343535349225/73410978747917731998110639705684060198445940403\ 321460298021535557184706947708*c_0101_6^10 - 1598424040813624275929320204504438009958333419378292289278279102247\ 989947959560521157/146821957495835463996221279411368120396891880806\ 642920596043071114369413895416*c_0101_6^9 - 1471319909212500879434362832673814672618091651056679306001981120440\ 7287908541222521863/14682195749583546399622127941136812039689188080\ 6642920596043071114369413895416*c_0101_6^8 + 9187124836663917097913827408825542841976953359706294959415553005759\ 00920121607086869/1468219574958354639962212794113681203968918808066\ 42920596043071114369413895416*c_0101_6^7 + 2187256201209186161848070462654294501542463934311190593732089008787\ 24401169436013642/1835274468697943299952765992642101504961148510083\ 0365074505383889296176736927*c_0101_6^6 - 7600408031962325471365014900784205069781743088345409263123535742651\ 1426028305379925/73410978747917731998110639705684060198445940403321\ 460298021535557184706947708*c_0101_6^5 - 1122960516367611695547560205926483507593270648316805152254574531262\ 10919725363553703/1468219574958354639962212794113681203968918808066\ 42920596043071114369413895416*c_0101_6^4 + 5683513242586039546337571257927179611707790734916881967580572424973\ 349481449133729/146821957495835463996221279411368120396891880806642\ 920596043071114369413895416*c_0101_6^3 + 1355705526518401625226867896515681949471290991307407728243884583396\ 394664922697177/367054893739588659990553198528420300992229702016607\ 30149010767778592353473854*c_0101_6^2 + 5269207243810165342325313802397279652001336976711671985312097651932\ 8168377514847/73410978747917731998110639705684060198445940403321460\ 298021535557184706947708*c_0101_6 - 1151816547238504856019161625203103143739858979802173666072890202974\ 52568870322871/1468219574958354639962212794113681203968918808066429\ 20596043071114369413895416, c_0011_0 - 1, c_0011_1 + 958710744401419617162952507364333058320689466968680816057632\ 4649720810201969/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^30 - 1527378400989082349510716330790863500376508041464578301494514584446\ 47567611542/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^29 + 3190056527382664171300907714893232085057517829249582828472741659892\ 20794236055/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^28 + 3770901206560868086394703768565042480014714393155928918443832404152\ 658601641388/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^27 - 1475143573154575045428911835308043866698947076909947405181083154557\ 4055241003614/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^26 - 4501514260929149322326652326774686833133099020766126334237517198626\ 6243387306843/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^25 + 2163175305785274822003783310278336309597205391746675624586999335819\ 47129407370610/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^24 + 4131021955690896571773860933166968871609521168940559336937699672304\ 90331584074154/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^23 - 1461244484941815710527066951425855956379222722376855105049545089417\ 150141540588432/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^22 - 2649398655187074455215760568129941029226118464764145055474846612732\ 641830312624120/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^21 + 4284231740049049335572287987009998439048726613658177350891992003180\ 905670455797515/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^20 + 7484287433616932584371963191892846309044654355380048953150078890307\ 134326533081970/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^19 - 7604916329626926353665665693356099419203527621639802484556128585736\ 178687740322560/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^18 - 6898503480729045681218562671981277180219279122182740094239224985436\ 499592312871526/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^17 + 2097195372658169901067847006726105712246685449741247596823441765922\ 6630120015621990/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^16 + 1000212604187006319592855540153372604713331428064276635931297747458\ 4138585270996682/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^15 - 3057647476535335343123244902361142640964091100966722078487934629785\ 1673119138110182/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^14 - 1743830610447434073513542001916561238436898391733537181169813461604\ 5708714232306344/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^13 + 1939110901510989772354951378965730102940522073984375755353566921846\ 7293926656649449/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^12 + 1320491790500134595794974923398487662008635947195632967969304051498\ 2072420721489754/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^11 - 5703125791430849754945277416490019016918050043857657477961500030975\ 907785575990281/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^10 - 4511585837864183171648793292455901241714516854706873227859997635814\ 582183304498390/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^9 + 7893988813223760920755772947943801475225323483098563235763661745958\ 26668604379767/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^8 + 7332959598485644273983924174237207885009986786970439402549545409894\ 20403381876792/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^7 - 5588710820091557483077352132187068579236318071312354533800656281371\ 5842142979262/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^6 - 6311326304513827065894592083275865797116713716580585855132563923962\ 8828068774099/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^5 + 2494402279351976479803810039158853257709435860484217939169059159594\ 572813191609/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^4 + 3848134448264853691184145494513221576506745754096647364279253604761\ 117180261200/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^3 + 3678289621699022849025014074873412151802726006729236561277934899471\ 39989938756/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^2 - 9545339907655724707067179721191974052808317740341567522932599189925\ 3412811856/18352744686979432999527659926421015049611485100830365074\ 505383889296176736927*c_0101_6 - 1997549944879367912276857870163312\ 2569709701007228422406370534299593023590513/18352744686979432999527\ 659926421015049611485100830365074505383889296176736927, c_0011_3 + 652367139267538759980076680167375810837789619757845489410367\ 5705149626940142/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^30 - 1016900843065157680932750068690758484621326638293343054558432309853\ 64967627150/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^29 + 1797073018470551276222020737136429569454065723499155729229795849512\ 20619281197/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^28 + 2666986040182620259815776761958045920711482778694770005561879427806\ 080249001274/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^27 - 9214935795676181915181930787308825156833007604868668247473894528359\ 305417077741/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^26 - 3471751645574962334657748855727844338909762312593372335712042277728\ 0769495700742/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^25 + 1393070625975399154494507271860573387979921243876924977014974448547\ 71705205050708/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^24 + 3389601289275589382378636211191268322764895092557239661646714158065\ 18299220159406/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^23 - 9361484751596555232268126489199905799262309280313544493157772978486\ 65416704665460/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^22 - 2208683547002899574659957378042573815813832331151855674246812500377\ 068039627672582/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^21 + 2559026100934710065342737483353773028228835799806872110758042379312\ 223728692893449/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^20 + 6502410250736459706558930460948793106411656741308196707473902523070\ 155954548431368/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^19 - 4243678336789358524475680929496143303985743721755407698168206019813\ 660991663843168/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^18 - 7612120622790879485101131796220616803407504330794249143827558769452\ 536082199785648/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^17 + 1420816900898417947962157157882468478681873735294787706551138970820\ 8346914524076380/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^16 + 1261627770080096305232386920510836805773254371855779113598039218934\ 7445425535798625/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^15 - 2230702077603311778114342142158088645386888681469805621478339627097\ 9375464760770963/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^14 - 1998384591558387101632708612483862155168839927163416488592089527352\ 4485212459411394/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^13 + 1466373431719618754104137893493362791499608685356214718498069762675\ 1730474820829971/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^12 + 1537734775014613425243095774744435895847057357720402421388582475495\ 1398008425450758/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^11 - 4586869771782201074730457190570064853107170653691987267551056186837\ 204151969357239/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^10 - 5846342525287631757436077166895660035688787542528131262762364136434\ 339978019777373/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^9 + 7876586915324374573106559746290195434295649548625554065130900484813\ 18202688573936/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^8 + 1140218928022769851823227609135996507739131024411702793336045341427\ 012127981860605/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^7 - 9659597116908061925873080514312272959394410122260506792108159403755\ 1473859959633/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^6 - 1136232987341844166340409066415706597721911657148239786926098049286\ 96546219418199/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^5 + 5942983287508722637118777620158630193360335416311486570416476923263\ 144632062190/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^4 + 6603163715206344425482768880868789908054546012756369697882058207194\ 525053125032/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^3 + 5031933235735606489903196486732816427797928601171044661644507930953\ 69865620142/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^2 - 2738775895418820415967688267252747694408122043719948709939343620332\ 72298862263/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6 - 358690937803844987451881182595511\ 44356214686824398712739837628425690227587485/1835274468697943299952\ 7659926421015049611485100830365074505383889296176736927, c_0101_1 + 622691835078690714107629846148889508156097795377736767722287\ 8130027586538289/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^30 - 1022937876062417028433912017119421473157972430664945336500366544808\ 56603693323/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^29 + 2589475482105003637505573033428492158347110562769462759243532761282\ 84603238521/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^28 + 2304872295898335468010164438276331322882271188164977815320853619536\ 954917461751/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^27 - 1069243222311838255240373079203284066463892835025892578236133460038\ 9505944083027/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^26 - 2353858000347615513996726490254340599176791557421528504112591592630\ 2722505131496/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^25 + 1506760452013947286610559165704079597740181767522216762628936626554\ 14935013969888/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^24 + 1887750170922535120375624732624516188771461473353405229966959616384\ 54831297450986/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^23 - 1020822528708837871967441718014654660709483628936202194638254982023\ 104963831825586/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^22 - 1169602843321530811468565023296580030103837258287386808108141127233\ 584718431920706/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^21 + 3217875907996024927140958031951444962364434643881833644005834683475\ 009613630678465/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^20 + 2976418346534151343149986912204544996487192726980083942593984021722\ 058424033948670/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^19 - 6019450650329546374863290949491972159172819691021570900312453336866\ 467711123898544/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^18 - 6848294424900339721270264836102923241418742886264173227933423677721\ 81152862506517/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^17 + 1332181200748489873747161436130736022847209843441869387138919161083\ 0782898456277822/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^16 - 8849784902916168058165339599406846897995403446667067482376047666161\ 51293746263859/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^15 - 1744463921227974467179925896158441296070314802603692083920737736698\ 8695024222094613/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^14 - 1344980502293132820916532640441527244956882408341229538377880244319\ 574580346932663/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^13 + 1042266378863722657598244221976821796991274532353358739397428114630\ 4233559528637993/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^12 + 1118152646807297307556415882213426799985202652985330981046097391213\ 794808445950073/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^11 - 2679315283112357517199040493939840755651435851020857649977321234125\ 373969210559531/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^10 + 8708047409682599970332292976180603832019926183249305853410658793913\ 2822549251494/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^9 + 1315043926811142932923077867684039934811319522806794523393490686744\ 76026226419887/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^8 - 1618688412626109994481997846133618926657524495682411103365930039134\ 32410988859575/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^7 + 6392520213209148136506192691524885320899131768183337823897052192610\ 9749930871715/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^6 + 2011123862978151792440930223045059915965977434805833513700875040272\ 2103778488598/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^5 - 9634890114190391164667719901016689719371187577523769332276965878687\ 747586234769/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^4 + 3201182905275074800794498293210904662130203324521091616155493651957\ 46695262832/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^3 + 3987160972069289837339112856682207486199108831590735092341866181907\ 09840367544/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^2 + 6473824313990643465163441852124355756899408788550167903968015644655\ 4618995096/18352744686979432999527659926421015049611485100830365074\ 505383889296176736927*c_0101_6 - 8672980712168173350463445541207751\ 559891646121442909992321708672181499169698/183527446869794329995276\ 59926421015049611485100830365074505383889296176736927, c_0101_4 + 482558310175905108057437047770310813746978117851340242459216\ 5781293024731755/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^30 - 8087746250497643437240289335934419468876636924091011356629450530903\ 4650621375/18352744686979432999527659926421015049611485100830365074\ 505383889296176736927*c_0101_6^29 + 2260409868739645507950366792743270899558856463577737109361769474826\ 62039257280/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^28 + 1736271682805665418280462365010502813468476518331669912746363265923\ 545458709739/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^27 - 8930820843540594914773577391213559722709893106107283626247011110806\ 224316816401/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^26 - 1582692555219871029308713390955791408570552787701567717769421474775\ 5157156011242/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^25 + 1247432626347563373144491006147144847061889998059519643133441685453\ 26681929319015/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^24 + 1101909377219824619099103462683942825243566816032259376576038131735\ 35892978089686/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^23 - 8657849047627209202685915582930832852597034687399104125794538867842\ 47166706275555/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^22 - 6592743606395787762230237874553992895237099088640413807141990851499\ 58331435279777/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^21 + 2974261923100263562149423036355755035577703461345529203120641332313\ 118859136025012/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^20 + 1569936539040919690599342502611762811527187086202416435336222991502\ 849784384628208/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^19 - 6050604360727742592146805554755180651215073964919270671372250465610\ 747396289858603/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^18 + 8275203582173536012745020146942568775286352969673993565677298733135\ 48771717546016/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^17 + 1173213261842116174299773080959782448472098843192878621669671570437\ 8553026874802804/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^16 - 4490835552651848670858188421744666311566010491815774001248415297119\ 051170933576434/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^15 - 1548393176455460601242074055617911401650769265956264967347835017992\ 9456803744906893/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^14 + 4684838677563569630536281893573163184511779285724408169699967804869\ 839206861872309/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^13 + 1125284045044646200173402791795641377217829551742350826520990989753\ 1989857618072627/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^12 - 3023494737267782580196582829565304646155287885819612409252056783094\ 703220408981439/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^11 - 4453910506186086358951214117046877304842003496864625569468218003974\ 852772155977284/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^10 + 1364256597983382202896220792958214364838694471769029083251642323406\ 227983946128623/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^9 + 9111247474436949776759685757738327061998527961363264237803745030010\ 79634191426867/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^8 - 3490663877502565860544723038035519413261445170652162433834439726034\ 77847334536478/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^7 - 7658812064226258747173939528529762895032659594105246340084037705338\ 2371143040527/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^6 + 3844070063188942702777546986270762707626719774857862183674024785671\ 2009887143978/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^5 + 2042257100379892373372055461397721703705859263672099625374560965780\ 820785325497/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^4 - 1713465475431469078973930006723242820701133309151376309071052305539\ 856482577080/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^3 - 2128814703573177292963135081139664241818086950335031074197007331586\ 11773358449/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^2 + 6225873390535312954310799455066470526792648938293264949009425666233\ 8312183392/18352744686979432999527659926421015049611485100830365074\ 505383889296176736927*c_0101_6 + 1071874864992315194589087511632558\ 9323802931632046200163234054619717490248284/18352744686979432999527\ 659926421015049611485100830365074505383889296176736927, c_0101_5 + 866765434033055342997411543181287683980518834456526106572818\ 4570794879593428/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^30 - 1357874575796015821230521787916688309375412297090654625172750429595\ 41928713071/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^29 + 2511385344034690996456689930770876066769995789212220964056559631798\ 35214158125/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^28 + 3495617137220278184037162610137161540037855588633935233217730238861\ 718285579867/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^27 - 1245501299108133363883552869489877226822397594898302358841653506262\ 6499345167689/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^26 - 4446673853256383394992831282888695737235513807221827903723890506564\ 4221249565362/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^25 + 1857768524708568872651951212835529950479542921938387051875023863538\ 74260746574707/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^24 + 4278510973587512517269969019486079692295689353134083651933221179928\ 67990791155875/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^23 - 1236498139546074507572171311275865776110710902255816531783918731283\ 031637041841102/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^22 - 2766391476594178943736111784014108848466593262517637178191264394658\ 524244887734010/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^21 + 3338188157653038110726002150817458735680795798951927273563637715522\ 609936140078343/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^20 + 7922954230623592453114849145527708745200501038588726130568324064596\ 805771849669856/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^19 - 5408526605601392933958555276935511750945118513689114115296965679375\ 545336900009151/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^18 - 8418140486797291529669917673401034931387407364298624751793969263015\ 608923906681703/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^17 + 1795214232646971476821779326122992613514631966973119371234090256205\ 4638382953904610/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^16 + 1430640272262057666400550920672356520363166071841062730697521387315\ 2405909786493903/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^15 - 2669032065958154911137559596569394162063145414365256274123566869470\ 0688249289993368/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^14 - 2319414410728806640539998623744167173675557095309800451308072645156\ 2410170863556636/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^13 + 1544124110162844685512132666123422343532836443693197591008735456854\ 4553673104477536/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^12 + 1692344512691536828260623788954145202299386463711853280533644576765\ 6976962639419713/18352744686979432999527659926421015049611485100830\ 365074505383889296176736927*c_0101_6^11 - 3533944950451886905887312871098954941307257782135397497634105828901\ 200875555673427/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^10 - 5793270390878295488347962619047719481233617097130133255249368133276\ 514811263001129/183527446869794329995276599264210150496114851008303\ 65074505383889296176736927*c_0101_6^9 + 2225473054449517781495709070790519258507816388255030507540665107594\ 60955125787167/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^8 + 9811180443003671393017050610291265585589198372787647735539607224089\ 37284497424824/1835274468697943299952765992642101504961148510083036\ 5074505383889296176736927*c_0101_6^7 + 7932297410813366804812863269937732070582950806796435172272950085264\ 015529664904/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^6 - 8820460579015790680187982171625131357978044801669552476711943158389\ 3000436375095/18352744686979432999527659926421015049611485100830365\ 074505383889296176736927*c_0101_6^5 - 1242268944561950827091521665999386339586382032647770060240931902082\ 599494363670/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^4 + 4977964687186453208584659230846862965668332648241852154910288917916\ 176736322467/183527446869794329995276599264210150496114851008303650\ 74505383889296176736927*c_0101_6^3 + 6760802504937378269949788396743426468349361980064759407626384010537\ 92915677895/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6^2 - 1024296839813169509210466908298488454222506750593404196965903571538\ 98739955893/1835274468697943299952765992642101504961148510083036507\ 4505383889296176736927*c_0101_6 - 229792351677236065612779449402740\ 72240305180429082829618870186557220750896971/1835274468697943299952\ 7659926421015049611485100830365074505383889296176736927, c_0101_6^31 - 16*c_0101_6^30 + 34*c_0101_6^29 + 397*c_0101_6^28 - 1580*c_0101_6^27 - 4728*c_0101_6^26 + 23499*c_0101_6^25 + 43022*c_0101_6^24 - 164174*c_0101_6^23 - 278246*c_0101_6^22 + 526308*c_0101_6^21 + 827607*c_0101_6^20 - 1041009*c_0101_6^19 - 876087*c_0101_6^18 + 2612375*c_0101_6^17 + 1014510*c_0101_6^16 - 4114301*c_0101_6^15 - 1651269*c_0101_6^14 + 3349282*c_0101_6^13 + 1433543*c_0101_6^12 - 1529204*c_0101_6^11 - 606075*c_0101_6^10 + 418540*c_0101_6^9 + 125366*c_0101_6^8 - 68835*c_0101_6^7 - 11826*c_0101_6^6 + 6151*c_0101_6^5 + 650*c_0101_6^4 - 267*c_0101_6^3 - 54*c_0101_6^2 + 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB