Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 1680210104] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0877 geometric_solution 4.78160266 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678338863614 0.066425120849 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861473356656 0.076561157740 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -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.779249413136 0.218288709772 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.028019798776 0.929430851006 3 5 6 5 0132 0213 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 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 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.682905052233 0.743870447581 4 6 4 3 3012 3201 0213 0132 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 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.682905052233 0.743870447581 6 6 5 4 1302 2031 2310 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.055137949840 0.953334373198 ==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' : 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' : 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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_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_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1495842167322528869412450163959481871416032724766433411884918144985\ 62121879727193/9976210920843238880547402984659774185211047748337085\ 808706059979702599389132807*c_0101_4^29 + 1686446150930874961566733673343290793832098485379553615768221577261\ 694375167964276/997621092084323888054740298465977418521104774833708\ 5808706059979702599389132807*c_0101_4^28 - 3990059305374364430695500896840981831172108618228369782494338945108\ 45187553672342/9976210920843238880547402984659774185211047748337085\ 808706059979702599389132807*c_0101_4^27 - 1120457236388920868056959387271197271364851959655570837785934280700\ 0275441110381547/99762109208432388805474029846597741852110477483370\ 85808706059979702599389132807*c_0101_4^26 - 1642587710560665564640113486386633583685857569827035425110161981032\ 3533099156744583/99762109208432388805474029846597741852110477483370\ 85808706059979702599389132807*c_0101_4^25 - 2895910968554538485817114686262955248251716242835701542301361973667\ 29559636449244964/9976210920843238880547402984659774185211047748337\ 085808706059979702599389132807*c_0101_4^24 - 1091816330225600987628442230000174226855956381862645559721885073641\ 43167132149233199/9976210920843238880547402984659774185211047748337\ 085808706059979702599389132807*c_0101_4^23 + 2914014007731273214075805710128556298736111716917711223112747724949\ 418432233301640533/997621092084323888054740298465977418521104774833\ 7085808706059979702599389132807*c_0101_4^22 - 6032762582297370957815786846275119563984434397866553382919505790730\ 73080817448830062/9976210920843238880547402984659774185211047748337\ 085808706059979702599389132807*c_0101_4^21 - 1023692547061764129307251070333496270485880488944242731198062739159\ 7988105934243989799/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^20 + 1268229976249992342215943964343442374699518534276271025410553251112\ 915531364244422893/906928265531203534595218453150888562291913431667\ 007800791459998154781762648437*c_0101_4^19 + 1226591517742570251408342602086664832471251639453540023174325395405\ 6415841024834410799/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^18 - 6198437272092252925354083129603191852509869350681837171990098589835\ 9434219493144730614/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^17 + 1544730503787959568316291905712951219422809351348775372944820949003\ 2469212863210905244/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^16 + 1333769069560906048228305018673224340958195715565051870107786043157\ 90590168793488952490/9976210920843238880547402984659774185211047748\ 337085808706059979702599389132807*c_0101_4^15 - 6328866048609900200566160537930709977919932127540321316048278492802\ 1403808649901615084/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^14 - 1729449380098053685523295793034835703603450314724460311377952507209\ 57981728674873068555/9976210920843238880547402984659774185211047748\ 337085808706059979702599389132807*c_0101_4^13 + 7293239998750630015473691047833064367236069374225409064887141836439\ 757998596652441352/906928265531203534595218453150888562291913431667\ 007800791459998154781762648437*c_0101_4^12 + 1476174670278547164575607451738832216470529244201025662491006343684\ 07946770746447576083/9976210920843238880547402984659774185211047748\ 337085808706059979702599389132807*c_0101_4^11 - 5205653149760807021928310061248293791996514602840126472389621471414\ 3275220528436566688/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^10 - 8413379217834463502075385164407239038445804512728480946109142626204\ 8808961551603979560/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^9 + 1643902089087467912936343789227584298420080544905157333204895306582\ 3121191403697864400/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^8 + 3091434736277408682044858619833619010987582329665237880369263971257\ 1182067143958705896/99762109208432388805474029846597741852110477483\ 37085808706059979702599389132807*c_0101_4^7 - 3549177723312658081595023483482730662496820701691668949903265586467\ 25030586914701839/9976210920843238880547402984659774185211047748337\ 085808706059979702599389132807*c_0101_4^6 - 6903519280119902397020089119120727812901332703457859712671021319296\ 785003835519940288/997621092084323888054740298465977418521104774833\ 7085808706059979702599389132807*c_0101_4^5 - 1226378954325836822479998495824090788691174914407032314996562485218\ 52599475877911861/9069282655312035345952184531508885622919134316670\ 07800791459998154781762648437*c_0101_4^4 + 8670884206953950880487924550368828173103310531253430646384012285775\ 20723369219645131/9976210920843238880547402984659774185211047748337\ 085808706059979702599389132807*c_0101_4^3 + 3337588010398286028212056754161688912518800145545318371942806203853\ 06611027547745515/9976210920843238880547402984659774185211047748337\ 085808706059979702599389132807*c_0101_4^2 - 4415486792170120919947668623553741696739870771408378439867177415784\ 872587446003907/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4 - 2256885120127396941811810491348363950800479341058496294268889348222\ 3156161976445364/99762109208432388805474029846597741852110477483370\ 85808706059979702599389132807, c_0011_0 - 1, c_0011_1 - 278775971032325165501473006603193988935744987647274753118651\ 67301333350893187/9069282655312035345952184531508885622919134316670\ 07800791459998154781762648437*c_0101_4^29 - 3608991465057018645468192817139588997143611876282319391395886147739\ 18403244415/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4^28 - 5066781056967681979480213038564616257234525787834340902087235791401\ 04754932728/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4^27 + 1513770483322227606543772516951804369145990525687976344271817001311\ 294799494249/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^26 + 5825615506876431121944465804915163705731615983200315003731772427119\ 600235748843/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^25 + 6256310202356300610081633235345758243134054051538612311682377736256\ 9748368992780/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^24 + 1212164170169877411766241761708362073114089308928984794763859196288\ 68366331014296/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^23 - 3889011526331955078015331055468556694528955689792084226442316147206\ 90289161889041/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^22 - 6037177168590120518546137837214684517060963870770076794469275827240\ 58489525574455/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^21 + 1215328722682470763189865826272225791522292690388136130113755509979\ 463925933050103/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^20 - 3523354748005273977089733656610664653986865227079691419356427108124\ 44822982749993/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^19 - 3700032381777572685740403123655993365767809097214733306804284349972\ 646029542909107/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^18 + 6359127811417769498910581732170515418400752764991634564871275620128\ 419114287844903/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^17 + 9141786769259664988483205241276157334356791479845039212216327141175\ 999085745082861/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^16 - 1462831715429931459574940372855827202898582414083199374855249699346\ 7960201356497724/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^15 - 1503917706463671454831901368787043938111590030381001952368545797831\ 6892685756032838/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^14 + 1525996806210098225308136961052942176014945062313186803708837317263\ 3672488472301080/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^13 + 1543533189711166983813004976587236856806359300480017860348626305396\ 0315366172162815/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^12 - 7386028451657925451961887350046266396006836727777668214060823795644\ 169582502323190/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^11 - 9041307942087251327499895884567262408581917359383590916440245073173\ 693374952938196/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^10 + 8580706601889128031729555648448644979997995741414021479949034924389\ 45445840439336/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^9 + 2515026160005471320030232771313893298974790074016272265520027541428\ 217300116084065/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^8 + 4878224056773809064993054928760874287344812463740029623130818069650\ 44969588359827/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^7 - 1796668368760881185619514121096070167121655380463258133964425523713\ 46572410050877/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^6 - 1203128009832136283411226613138290433118784379249236263724261879922\ 02550775771278/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^5 - 1317892449303543316841899871671911698287361869606531816549756732912\ 8844243752596/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^4 - 7340681451607983452078741564195339053223348309822792357383669073648\ 403690706903/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^3 - 3551562086532069388608397809656670690077484121566782240498092678977\ 646271273282/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^2 + 9425892086255069142683188624984332669799214774085274127396727554119\ 87421465660/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4 + 4000434081272196165064011516220660672180461036001560771769664362398\ 85530429729/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437, c_0011_5 - 123068812525217096902981612374225654567219504595356669006279\ 94367414265657672/9069282655312035345952184531508885622919134316670\ 07800791459998154781762648437*c_0101_4^29 - 1364751990279563105348737964588874660328236673372897358950978664356\ 26563127244/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4^28 + 5229554775402431751434897722703526640030962016118826702345265388965\ 8057496547/90692826553120353459521845315088856229191343166700780079\ 1459998154781762648437*c_0101_4^27 + 8489576119930086976809208518608417012086092685410051211244746773264\ 25883777942/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4^26 + 1229821233223191255347462818314513222714158225574602409632552819780\ 029795607531/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^25 + 2403284236623306190342749269964051824776961964809380300699872747968\ 8915138435570/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^24 + 5127468517705134234056623731864250904484473031093586646192633403632\ 293469723271/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^23 - 2296636603483179488179205712973229139683731281333455656731252806010\ 64619624194001/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^22 + 9247554253469930581400335805005512624547128203528769249834464693163\ 8243158554631/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^21 + 7103640828783931012777435869701655520014341778928888981160476913134\ 95173707217014/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^20 - 1236799972410672423195685050281723596128787208876114971610724251641\ 749663013571865/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^19 - 4129799872539781277412113341738431179174791685028016574473685000788\ 74796276399367/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^18 + 4624790151981738506893400722837290289111141764883566612026026120914\ 376510899476397/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^17 - 2373179079955761687767468524116944315542229159764606686177136095642\ 148539396217778/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^16 - 8311875707787429025287734977959023811583363751551030656510063559991\ 498075696711963/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^15 + 5780283826899584926367474772568043865175937229282303813608373605238\ 487138324958295/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^14 + 8748147134321029394194758458622901689157331413692637044336296564242\ 648042677271834/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^13 - 6078544653466412832011578998752563329632235758079996372440576548925\ 794297862634831/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^12 - 5768594975940397483741509909385086634541445355023070758392989036223\ 837277266684656/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^11 + 3672521058550623291345721047111690553247149842198693884636817080659\ 844551892211143/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^10 + 2354215062152692820075728494235626338622570778624903978793369005531\ 505468634224008/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^9 - 1381907140287939164471417776245586611430382492795309982007442324991\ 098596261550029/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^8 - 6237913286386923426283500671981145987475605169110200116403341321100\ 56788526019178/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^7 + 3052215152028149237295164685303413326750058209379077653823797384449\ 30903977844912/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^6 + 1536808550663129103840344804335943287560058004835829997731761041613\ 89710142381618/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^5 - 2658134177415147220855226494049698222536467173864352048350702236748\ 4393030462887/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^4 - 3305877748160921633031572163738502522480691054644521813645526405184\ 8616921443883/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^3 + 1182731235371448876700117062200140509854769947428303408641401030862\ 723447984696/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^2 + 2156386695385930298442290201420265987379944799266642425655767137896\ 375887560133/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4 - 3570470287155663385489288005624803674310559273690704926822346330903\ 52773306888/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437, c_0011_6 - 214714601708705009252117071525185770794003987386466369897532\ 77518789957331962/9069282655312035345952184531508885622919134316670\ 07800791459998154781762648437*c_0101_4^29 - 2441912801039906793273514829572519851034962720440868886655205715139\ 80761423370/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4^28 + 2792951976639978284181833276241417619231503553718377967372876890355\ 4591033326/90692826553120353459521845315088856229191343166700780079\ 1459998154781762648437*c_0101_4^27 + 1546949431747769194484133031042661152188335854769253901189061798205\ 461243280308/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^26 + 2465287526834945089213332374495780550164458316756204395088395063470\ 123731853818/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^25 + 4214895797876105957908258357213314136480798752205854824788003984253\ 9292541907002/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^24 + 2068426075824474178067881695523458251056305265808463439544950846616\ 5955333389772/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^23 - 4051848895438087971915067201393454138452110025232349746844749408249\ 99883331519694/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^22 + 6076129427051699251383654758213328098481830300858823224829031271868\ 3530252993978/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^21 + 1388209150653596086288441857698073050151990706648827969841422278134\ 556153083087762/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^20 - 1916857591950254933352476599526596888950205886340537377236018637406\ 090764755148685/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^19 - 1655797803646659480505653456479227811394240146878858801490045359896\ 795231538883202/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^18 + 8468099487695887841331849375789266441070335097425362399537038958303\ 087437615763182/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^17 - 1966777089831602699529779626598163651363618823090804374250671631384\ 733726150524341/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^16 - 1766762296884082761304013395222893787865046646647036712852108039342\ 3088323443874252/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^15 + 8004059720676130486172168445077647760534235554198587475655554675678\ 081535898003023/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^14 + 2191494641234456145178602241985881324801749195365086721059327348557\ 5639933574645074/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^13 - 9796310979927205543239948250624895157516504543179355853265740032687\ 777294525264135/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^12 - 1773945080580637641902360463039933793160768103994313344207291533994\ 1632793101770200/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^11 + 5994054946565635381012805082021581937659046977255304536345684368199\ 049452530203776/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^10 + 9473363265826381928236128190686699504889633613901347351232446036264\ 121988541612231/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^9 - 1638842900193062481627552243007628436847376763739586409773093651695\ 763561685531407/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^8 - 3153018867638171992765222383897938409145706926917053155253351018018\ 026493917681135/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^7 - 1004539840715644848702493332860347437777557052504643556029071610322\ 04797414010754/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^6 + 5866207092175941343533184954170014636627627200270714498472509023362\ 68419335482962/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^5 + 1568905893347005780132218516763655333878352353211079655579031827435\ 15048010082028/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^4 - 5272980569978402735670737196726154515585997068106519218711772053218\ 3430611443372/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^3 - 2360350343959438160089733065289633212492748397290292032336310870247\ 1426427061331/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^2 + 2129447140518218849550996882013648106451256287960904248162629219288\ 861187024660/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4 + 4452812257902154624681086615576792597989257998148382326643485640527\ 22744451713/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437, c_0101_0 + 188760833728704069645461276446528883536425514695042209327314\ 94269566860808711/9069282655312035345952184531508885622919134316670\ 07800791459998154781762648437*c_0101_4^29 + 2196840926319776045707098044575038575466594922839842755578115317278\ 16775154177/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4^28 + 2138781707968266325673923173826957820584526931346513778516561312416\ 6352005976/90692826553120353459521845315088856229191343166700780079\ 1459998154781762648437*c_0101_4^27 - 1500257009182669592981153512442380754747674901244774336849475354051\ 469917602614/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^26 - 2627243899982312437159528187132897557756685446670490910683374788265\ 226667516823/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^25 - 3705169401841872172069471821569817329419183329214245960892684480376\ 9913743001284/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^24 - 2630867526606513195708600101560093186126777650412472162509269144493\ 9146259040871/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^23 + 3751220317610173603406479406866919932737295017095951825802218367429\ 11771038512333/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^22 + 7110736567112613908295449743997071338963928632187856952738155322265\ 5832198910071/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^21 - 1394936080542029414590639861588716088415258734468199553759272251395\ 323068411502311/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^20 + 1284607216404403575278860697181649879309392158007899188455090326811\ 262956373084760/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^19 + 2340816605567960091375219532364449012679390095962774321125788093048\ 265155216624369/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^18 - 7671097685401215116300836727745651462653623880373240922241074618909\ 060219895083977/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^17 - 9211785753624816808540358658517109065253943223989917822626653820865\ 31625461922208/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^16 + 1877564469188970928926622162293661073603548908000010429658516371205\ 2928941505449900/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^15 - 2286356302298484445027983475320257115485344826824212363322359200738\ 761849072233224/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^14 - 2569253575045769356851491460619592153725047688756538523814959107115\ 8287081761306760/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^13 + 2775905144593589746124369137517244886172683726596994135414856335211\ 247240755825734/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^12 + 2151816268264153742933591399366418914863161364048651952553624533369\ 8304654916743416/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^11 - 3397447522780447313770542771079729304653004113291296802471693843731\ 61415735207883/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^10 - 1099742461278543900057261645854093055838814982202445114940379060609\ 3318736811550220/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^9 - 1080506793666516587904195603085340512501774105031077175298332444387\ 863968311276458/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^8 + 3145893525501152949634275313272586263500850032893315316727432533906\ 154304235200757/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^7 + 7508626805142901447259117612542229304871255260711384854903551393800\ 95592149349959/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^6 - 4189546224928711880215055516446085785941540457143079251485036335784\ 66121846797071/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^5 - 2089089424216685171891861628690277123144559195834437042287500301814\ 66322598000816/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^4 + 2404765380572802463994124650037114611580317546068860774994254360347\ 5057045313060/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^3 + 2193745154928000680253931068468202621703789379318207361394236625057\ 0467327546428/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^2 - 3299084863506981023491357712100933929960449805583696961922163029484\ 121809032886/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4 - 7597678165863303407087150214944508627537832378627398775885974883792\ 41404477543/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437, c_0101_1 + 420396808213507602661944893240242169396858548366378331924643\ 95878236974206353/9069282655312035345952184531508885622919134316670\ 07800791459998154781762648437*c_0101_4^29 + 5188830540219869098810465609910284026888723755460169802836013570328\ 12427852082/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4^28 + 4456241781083323584349953363059374244771949935364389973567926108750\ 25244642410/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437*c_0101_4^27 - 2625847099878911688896528277173889260033198583396378766961928334017\ 212439848685/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^26 - 7334271617289743512019504256748721355618970672994429941920950146788\ 158352308823/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4^25 - 8957521895526918758063714119713600429879938815482544028503202914853\ 0525759158563/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^24 - 1273747891600589208623228538752352190669515077002651182440016436982\ 14638502361690/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^23 + 6757853949776771802318717910273847544027674448664562460311605964926\ 85012986568321/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^22 + 5326111154368256943248514860252237072181639362463687730076481581292\ 51391834017781/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^21 - 2235442420251891052114332207953169216590952690616333377132948471676\ 695218431543432/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^20 + 1692825722443099054523211634590577747212451342539292019528282070677\ 787966076915553/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^19 + 4864134904714329890984057093709388828875395291019903007100150912105\ 851623622720978/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^18 - 1239222113064030034359734166591504243406980352224026658439529109810\ 5879358457107768/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^17 - 7470906013182240389308381359460743763762490887449985463060524079413\ 972885058580882/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^16 + 2788704413657487314726254786749541813150564771517013538753189405910\ 8072307057377317/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^15 + 8992437921010286074734564026840971127264292767892297044886558558562\ 473261872914694/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^14 - 3263166168722070585161008348444075219930041337689324852847327391064\ 5126703858980321/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^13 - 8773734755408827890237707811652508045837946855004061054534662997066\ 555138739388899/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^12 + 2190669283609736942744755693695057399046502032212921434848970373430\ 9287608348837328/90692826553120353459521845315088856229191343166700\ 7800791459998154781762648437*c_0101_4^11 + 5868896121768463058229960023612729196382481818399015921880403989080\ 211552893832850/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^10 - 8412647354496044634700648849918713211814445887105599898397394477055\ 874632269518118/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^9 - 2284411251341279266295117937871740325819392438069632522241971770256\ 049363127071088/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^8 + 1702999767445120895600149974934246800758867417156207206069988879066\ 436640871647599/906928265531203534595218453150888562291913431667007\ 800791459998154781762648437*c_0101_4^7 + 5526057099006884132906654315676643506433291426004586970562920042765\ 32672246646266/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^6 - 1663241788492332862597688964735793650282559902715543719992976957097\ 16808017946935/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^5 - 1173841364865269391766077949704838566855517515706391810901510519978\ 76530521438706/9069282655312035345952184531508885622919134316670078\ 00791459998154781762648437*c_0101_4^4 + 2148976990000449873401164125930496027066887002893672004675001480291\ 1002719522560/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^3 + 1438439333400789628453967117029630741094795556650504064794926341396\ 3873127095460/90692826553120353459521845315088856229191343166700780\ 0791459998154781762648437*c_0101_4^2 - 2033835685258025217067886190423995462339395826579739325554290954767\ 499343642615/906928265531203534595218453150888562291913431667007800\ 791459998154781762648437*c_0101_4 + 3225426278977939585994309440792689702339867172300990666464699007109\ 54264031318/9069282655312035345952184531508885622919134316670078007\ 91459998154781762648437, c_0101_4^30 + 12*c_0101_4^29 + 6*c_0101_4^28 - 71*c_0101_4^27 - 161*c_0101_4^26 - 2050*c_0101_4^25 - 2215*c_0101_4^24 + 17953*c_0101_4^23 + 8988*c_0101_4^22 - 62700*c_0101_4^21 + 48415*c_0101_4^20 + 119593*c_0101_4^19 - 333208*c_0101_4^18 - 138950*c_0101_4^17 + 808979*c_0101_4^16 + 148664*c_0101_4^15 - 1077500*c_0101_4^14 - 205784*c_0101_4^13 + 864950*c_0101_4^12 + 228948*c_0101_4^11 - 413944*c_0101_4^10 - 151605*c_0101_4^9 + 106098*c_0101_4^8 + 56438*c_0101_4^7 - 9792*c_0101_4^6 - 11536*c_0101_4^5 - 831*c_0101_4^4 + 1203*c_0101_4^3 + 152*c_0101_4^2 - 51*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB