Magma V2.19-8 Tue Aug 20 2013 16:18:14 on localhost [Seed = 1124261498] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2448 geometric_solution 5.79167748 oriented_manifold CS_known -0.0000000000000002 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528944939239 0.234022644924 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889988040753 0.465493426365 1 4 3 5 0132 0132 3012 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 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.810141137480 0.885286192230 5 2 4 1 3201 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.810141137480 0.885286192230 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565018087921 0.975885637430 6 6 2 3 0132 3201 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 1 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.004200728258 1.303320507633 5 6 5 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.620378898448 0.618382579507 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_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' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 9814650550471253285230941455847974954330812980458662467397818344990\ 336895/101564634082614889532805555584874503381055332477874489488103\ 02389018483*c_0101_3^32 - 32721910602737392661840889091602945086897\ 271370004038535438292296139451333/101564634082614889532805555584874\ 50338105533247787448948810302389018483*c_0101_3^31 + 2540424139700336963449633113926691103936674322091474736650364926885\ 79122520/1015646340826148895328055555848745033810553324778744894881\ 0302389018483*c_0101_3^30 + 948479441174798330002557405706064428432\ 529213536296296954135120363492301567/101564634082614889532805555584\ 87450338105533247787448948810302389018483*c_0101_3^29 - 2234328764726155589377988854003361448642547746286116261930800483452\ 991628872/101564634082614889532805555584874503381055332477874489488\ 10302389018483*c_0101_3^28 - 10166629492839405405547642402064608520\ 379215802489085278256409503056493047218/101564634082614889532805555\ 58487450338105533247787448948810302389018483*c_0101_3^27 + 1143078859802693612723027246484853314511937828797771886258621510104\ 330989949/145092334403735556475436507978392147687221903539820699268\ 7186055574069*c_0101_3^26 + 526891862513580298104117443760834121021\ 75813392975919868811525481077392026926/1015646340826148895328055555\ 8487450338105533247787448948810302389018483*c_0101_3^25 - 1524986295552003179913348475100849219425185036929375804083351461687\ 5153334896/10156463408261488953280555558487450338105533247787448948\ 810302389018483*c_0101_3^24 - 1584193900094269491856864950089904192\ 80030747162288555484897369652666753989120/1015646340826148895328055\ 5558487450338105533247787448948810302389018483*c_0101_3^23 + 4689071675883937902310783029368276628819551029852414259775555552843\ 5882023155/10156463408261488953280555558487450338105533247787448948\ 810302389018483*c_0101_3^22 + 3175054471205267528283807903021938561\ 22677572854788183579510787342412890941534/1015646340826148895328055\ 5558487450338105533247787448948810302389018483*c_0101_3^21 - 3343718501425662053173223891346370246026739809719963414737580241411\ 3369197659/14509233440373555647543650797839214768722190353982069926\ 87186055574069*c_0101_3^20 - 15357653604554530076638889391573827382\ 532868380312991278042582825792950989818/327627851879402869460663082\ 531853236713081717670562869316461367387693*c_0101_3^19 + 8211848014366945198975862101215501352087445686879446147119138803260\ 99977689271/1015646340826148895328055555848745033810553324778744894\ 8810302389018483*c_0101_3^18 + 737795306359412965788256123135286033\ 117305262118181143574505564700057426750565/101564634082614889532805\ 55558487450338105533247787448948810302389018483*c_0101_3^17 - 1715330536448719712050795805385412115748255961437858522007977093536\ 741775728797/101564634082614889532805555584874503381055332477874489\ 48810302389018483*c_0101_3^16 - 14624166723078731424624508330879460\ 76265906948758189440509591043454677459498448/1015646340826148895328\ 0555558487450338105533247787448948810302389018483*c_0101_3^15 + 1840229774552309948921801476941273882786259888645750515161542009678\ 211014086649/101564634082614889532805555584874503381055332477874489\ 48810302389018483*c_0101_3^14 + 22516214277454593121719559347679544\ 75270332314601588439954830272621234954478200/1015646340826148895328\ 0555558487450338105533247787448948810302389018483*c_0101_3^13 - 5560509134385745782912949367116152734435610169543609139135680751958\ 37869572469/1015646340826148895328055555848745033810553324778744894\ 8810302389018483*c_0101_3^12 - 190766255940332420897183296913695173\ 9873192401459141999939462948109335134579906/10156463408261488953280\ 555558487450338105533247787448948810302389018483*c_0101_3^11 - 6402103704907708886724050196702711782186902790253860250241400596797\ 29153865923/1015646340826148895328055555848745033810553324778744894\ 8810302389018483*c_0101_3^10 + 787947528825845481514945670653804458\ 644001808991681879663081547750453702325085/101564634082614889532805\ 55558487450338105533247787448948810302389018483*c_0101_3^9 + 7030340134507673713579931974625543592199272509163813948835656143593\ 68176514742/1015646340826148895328055555848745033810553324778744894\ 8810302389018483*c_0101_3^8 - 1222394252435243848862517255526198866\ 77998223198041455225978875739425474256360/1015646340826148895328055\ 5558487450338105533247787448948810302389018483*c_0101_3^7 - 2959439565733758512481121842576545435378984960515999151606549946123\ 56178006926/1015646340826148895328055555848745033810553324778744894\ 8810302389018483*c_0101_3^6 - 7975546877530836932074645664025865687\ 07686541222633994844153789569642240433/1450923344037355564754365079\ 783921476872219035398206992687186055574069*c_0101_3^5 + 6107665944563676363612920163647685375165268190929598993501797354869\ 7661623110/10156463408261488953280555558487450338105533247787448948\ 810302389018483*c_0101_3^4 + 30880585410474156630776483490766181857\ 38121456265084962705637823961869418430/1015646340826148895328055555\ 8487450338105533247787448948810302389018483*c_0101_3^3 - 5951862062288504606841356901482069471537914680663454017986496435313\ 064847380/101564634082614889532805555584874503381055332477874489488\ 10302389018483*c_0101_3^2 - 201612683894530570843778865054666725417\ 329789247770398372006644630104391156/101564634082614889532805555584\ 87450338105533247787448948810302389018483*c_0101_3 + 2123650943614336220553922891534992566627210010450816872178035864750\ 03510903/1015646340826148895328055555848745033810553324778744894881\ 0302389018483, c_0011_0 - 1, c_0011_1 + 268225280199252190028132745341037727933569530506191533054649\ 5137515008/14509233440373555647543650797839214768722190353982069926\ 87186055574069*c_0101_3^32 + 91835336718821379027054092869058573056\ 08986961601859880130164743094345/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^31 - 6854387936609250340562166908231014638584043621101323502494792288606\ 9571/14509233440373555647543650797839214768722190353982069926871860\ 55574069*c_0101_3^30 - 26512583393204121518986282141480460482056208\ 6707018405672834716925192436/14509233440373555647543650797839214768\ 72219035398206992687186055574069*c_0101_3^29 + 5854560332459899223279549748417659533985663472418924238997019164825\ 78308/1450923344037355564754365079783921476872219035398206992687186\ 055574069*c_0101_3^28 + 2824221955143740037859527154153304818734959\ 685670121777091035032756169434/145092334403735556475436507978392147\ 6872219035398206992687186055574069*c_0101_3^27 - 1924487955220191774216755267997439771258021534954058634231927757049\ 507426/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^26 - 145025536982069908126151051130291566391967\ 43087116889738418581708065529218/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^25 + 2866920440344098830088272255768727647623226707566255928255761406950\ 642605/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^24 + 432148632174551132899955293126917311529853\ 64733491199731251643097842852925/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^23 - 9088919356273914024199959465949719609166061896307458338706056750856\ 968441/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^22 - 866422800987203356201456711060093195923912\ 99818044946436836749048179774169/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^21 + 5661104836665505291417582361731811307615664754699137643665744733620\ 3778711/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^20 + 42992743462365578593442733630243602912563\ 85809239889297330625471398852462/4680397883991469563723758321883617\ 6673297388238651838473780195341099*c_0101_3^19 - 2124402626949622858587176790681689482877025275837054001869676503508\ 14974493/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^18 - 2171685837738274713104872599044371692162\ 66733504611260638069749400287352924/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^17 + 4465850022720354311182313172944092803006245476772905853955879885942\ 59640801/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^16 + 4322567804929113816043126999016298048370\ 32216152360900417125577114136116801/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^15 - 4578413141568608255615797211682632856510354511542411115957764897324\ 97343372/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^14 - 6413159498024913396262203010972003159084\ 77496222715550388954607941260001634/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^13 + 9146217458390782748553715668723774157875399065206355028794439805263\ 1152410/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^12 + 51081616402775165801378116341492637260724\ 2485796786464895061702197991351845/14509233440373555647543650797839\ 21476872219035398206992687186055574069*c_0101_3^11 + 2132471576197540285503473377047870522638619360200826123541971346683\ 45945989/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^10 - 1862132435648887377560974433239894765643\ 38786689481300380977649270362144127/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^9 - 1980434084214263101947175425561144433577799025417425870597144553027\ 43836519/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^8 + 15851223795696408863745469663553136354433\ 616375778680242520529374003480799/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^7 + 7683767349562540439508444321847857393112057136586118329766661260121\ 2290257/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^6 + 611013618836881144624707666090172480963750\ 4248670401632528513050691796897/14509233440373555647543650797839214\ 76872219035398206992687186055574069*c_0101_3^5 - 1491807597405937716072744676090380315582717922016469531496795513955\ 8284852/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^4 - 132624341419436225360361029320816530045231\ 2392036547927309311366129022046/14509233440373555647543650797839214\ 76872219035398206992687186055574069*c_0101_3^3 + 1385743938089947235790814181609208235567830779806708095859149286254\ 543799/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^2 + 6730149196733950877022650330780334821743546\ 2692848001199016480255627088/14509233440373555647543650797839214768\ 72219035398206992687186055574069*c_0101_3 - 4646045203299686675420392058286713576818427786823200017132015973469\ 2839/14509233440373555647543650797839214768722190353982069926871860\ 55574069, c_0011_3 - 144440615996702015626227811418076963261167595511217812228534\ 010325390/468039788399146956372375832188361766732973882386518384737\ 80195341099*c_0101_3^32 - 49226205793784046646533438475015966997543\ 4872140313840830517733406094/46803978839914695637237583218836176673\ 297388238651838473780195341099*c_0101_3^31 + 3700641619928764635711975631681592402458037607469661519478260007613\ 796/468039788399146956372375832188361766732973882386518384737801953\ 41099*c_0101_3^30 + 14225675184419433334351818615896797370942432920\ 332921054006633457012214/468039788399146956372375832188361766732973\ 88238651838473780195341099*c_0101_3^29 - 3179298227265670185761970651443053571532865139862315769210406571010\ 5855/46803978839914695637237583218836176673297388238651838473780195\ 341099*c_0101_3^28 - 1517767119314554067481872180428576782661402124\ 23216639598152349353120688/4680397883991469563723758321883617667329\ 7388238651838473780195341099*c_0101_3^27 + 1063182067939329715686912087607531565832751758114113586627769095059\ 65514/4680397883991469563723758321883617667329738823865183847378019\ 5341099*c_0101_3^26 + 781252120851385852567285693778888623977046535\ 015595641381593075800042843/468039788399146956372375832188361766732\ 97388238651838473780195341099*c_0101_3^25 - 1670273641539969803338938215158840936234608515057403150966670347909\ 43981/4680397883991469563723758321883617667329738823865183847378019\ 5341099*c_0101_3^24 - 233388612034548206657022550936003917450341585\ 6318387209117306598164489131/46803978839914695637237583218836176673\ 297388238651838473780195341099*c_0101_3^23 + 5237420585277417645007264485676370492589906911120979298404337696238\ 12712/4680397883991469563723758321883617667329738823865183847378019\ 5341099*c_0101_3^22 + 468326970881698509701395782304811065155546189\ 5450250321461481419505745874/46803978839914695637237583218836176673\ 297388238651838473780195341099*c_0101_3^21 - 3116579198790033885635551458295902127105181914605494387050268697091\ 295448/468039788399146956372375832188361766732973882386518384737801\ 95341099*c_0101_3^20 - 71780641385046958907761262489716250800471294\ 70750226636124159620721654782/4680397883991469563723758321883617667\ 3297388238651838473780195341099*c_0101_3^19 + 1156706329621234153704936133299640849964628739968516892313431658036\ 2872064/46803978839914695637237583218836176673297388238651838473780\ 195341099*c_0101_3^18 + 1159807690212383562016743340171686533790658\ 3917978533670626207575892209670/46803978839914695637237583218836176\ 673297388238651838473780195341099*c_0101_3^17 - 2432689444560333242308019949504558016062996236106464857774088792479\ 2609323/46803978839914695637237583218836176673297388238651838473780\ 195341099*c_0101_3^16 - 2306727993838320727572311005423702234975246\ 6136778033217378827167773586772/46803978839914695637237583218836176\ 673297388238651838473780195341099*c_0101_3^15 + 2521293246247894148832970602876022034461625524397645714952229382120\ 5390016/46803978839914695637237583218836176673297388238651838473780\ 195341099*c_0101_3^14 + 3448912333495255980261961438648696991481264\ 9101825176328090498424495193039/46803978839914695637237583218836176\ 673297388238651838473780195341099*c_0101_3^13 - 5571145991749449091247259383667203983966520130342802962748838346790\ 052407/468039788399146956372375832188361766732973882386518384737801\ 95341099*c_0101_3^12 - 27847183934965186470662784763853029525094556\ 226781741038474837886687538842/468039788399146956372375832188361766\ 73297388238651838473780195341099*c_0101_3^11 - 1121013022619357421317091184808886037761929387844970643627265471613\ 9864896/46803978839914695637237583218836176673297388238651838473780\ 195341099*c_0101_3^10 + 1041193761091716026372768140762621729971618\ 7433072552304285529614087493368/46803978839914695637237583218836176\ 673297388238651838473780195341099*c_0101_3^9 + 1073054345734103922183329741738020661317052357888427756195009634522\ 5184068/46803978839914695637237583218836176673297388238651838473780\ 195341099*c_0101_3^8 - 10084415510671911539704393349529422052997082\ 09216873287827800432822335573/4680397883991469563723758321883617667\ 3297388238651838473780195341099*c_0101_3^7 - 4224475852772423175386372292701917808326122461007496200815694357743\ 264342/468039788399146956372375832188361766732973882386518384737801\ 95341099*c_0101_3^6 - 304902992672001968559177895403379644946230310\ 908331190013307991995912798/468039788399146956372375832188361766732\ 97388238651838473780195341099*c_0101_3^5 + 8269674680969929472578639976868528953522006402329689534728604097766\ 55214/4680397883991469563723758321883617667329738823865183847378019\ 5341099*c_0101_3^4 + 7024496935714183892734778461964990652157777587\ 9826665928090774242441921/46803978839914695637237583218836176673297\ 388238651838473780195341099*c_0101_3^3 - 7698171783874822213082850255998587862069755835751810251452091669428\ 5972/46803978839914695637237583218836176673297388238651838473780195\ 341099*c_0101_3^2 - 36272632989630975156575590370909111497707798723\ 25707660759262654687203/4680397883991469563723758321883617667329738\ 8238651838473780195341099*c_0101_3 + 2601392785215374815835127407987430375422300468963007203168344306769\ 685/468039788399146956372375832188361766732973882386518384737801953\ 41099, c_0011_5 + 442731247051053042434222735965500575492407257883838980117780\ 6699954608/14509233440373555647543650797839214768722190353982069926\ 87186055574069*c_0101_3^32 + 15088953816026990397774637253525118627\ 826165739297847487435089316806513/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^31 - 1133792053601574929208430656926820825126120243834868616861584192112\ 69188/1450923344037355564754365079783921476872219035398206992687186\ 055574069*c_0101_3^30 - 4358896798843948226171793999688289177439245\ 61206981625451349341396343112/1450923344037355564754365079783921476\ 872219035398206992687186055574069*c_0101_3^29 + 9731683494152338070800322790644467969529634541980423065241619618106\ 07148/1450923344037355564754365079783921476872219035398206992687186\ 055574069*c_0101_3^28 + 4647678950371308445762786549081630745101487\ 859912800201670211688093875143/145092334403735556475436507978392147\ 6872219035398206992687186055574069*c_0101_3^27 - 3246720146269559169500163535674001509809831006703562327494209404837\ 963389/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^26 - 238977352251458615331317050968872033318058\ 22472720321938268871280939437753/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^25 + 5072473693170862471938400878025894390348122746315204659385612927139\ 752943/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^24 + 712844347986360541831332271609474755356442\ 30116329834653493493509931455620/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^23 - 1594419473634127932091260446397112329746648411700126434287914308515\ 7970160/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^22 - 14279928400417583631120182611570186674075\ 5058746401517297427771855632555193/14509233440373555647543650797839\ 21476872219035398206992687186055574069*c_0101_3^21 + 9519833034244203088647032699421093932268256470361708278243433733653\ 3502916/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^20 + 70505502523397132968729416201699466709398\ 51228748531290381253374611551857/4680397883991469563723758321883617\ 6673297388238651838473780195341099*c_0101_3^19 - 3532105852781403569080062442206252464793842656761079384116907620234\ 78338335/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^18 - 3534906658416284906920955349555631432498\ 53135175410174107848409633932621107/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^17 + 7414128964130827107773877067725053149286691817224418896185597554185\ 40247963/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^16 + 7041931087311561631886236149340990565565\ 46753435099869352620119630287487189/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^15 - 7643079991135779652857031760553819623565685656114026514682061284172\ 23371448/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^14 - 1051278324798719667073453623879319756585\ 475884120893340868113436958287843989/145092334403735556475436507978\ 3921476872219035398206992687186055574069*c_0101_3^13 + 1617705278777662608435819461467417089484353819660510216016248735029\ 35935020/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^12 + 8440932191944764054968657451343947892503\ 22356510603796318242577389773049950/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^11 + 3464919000514842064571868084401120431036911911240424099463624130110\ 95995707/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^10 - 3110557413508985949493545609505020471972\ 74489710447797388445380785658155525/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^9 - 3263135727984257459534862804221234181564064233687831665118522299011\ 01410272/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^8 + 27630244135999463570620976610055666868171\ 621496599387853161323703746212204/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^7 + 1266608055086487171529599712630121548560148209432959963329669083719\ 33484411/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^6 + 98805933723293423449047981506110146169042\ 09472159532995655351020141822585/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^5 - 2428158068406518642137787896881729677970503577951026515695491042664\ 2996439/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^4 - 217446694803356746588858188718968006124928\ 2489136674497350252104296599254/14509233440373555647543650797839214\ 76872219035398206992687186055574069*c_0101_3^3 + 2197978241911652468735857321497995788173056142953389990574552648530\ 446869/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^2 + 1106507754425627374709374722972592702233906\ 25651660956123706734556788805/1450923344037355564754365079783921476\ 872219035398206992687186055574069*c_0101_3 - 7242573969328566341086723548158728371815121113915374080319453771426\ 0089/14509233440373555647543650797839214768722190353982069926871860\ 55574069, c_0101_0 - 669254365755156021851703010742143214577788744407007867031690\ 4263318106/14509233440373555647543650797839214768722190353982069926\ 87186055574069*c_0101_3^32 - 22597450276647434518197377812940866945\ 634414940119132614032359390579419/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^31 + 1721461307508172926314540845240794836098041341061345487565857936405\ 81805/1450923344037355564754365079783921476872219035398206992687186\ 055574069*c_0101_3^30 + 6536452976917510865252883005637988306586976\ 66970041077564126966726447825/1450923344037355564754365079783921476\ 872219035398206992687186055574069*c_0101_3^29 - 1492702817667149674104034041531537906152783450868279822347216564617\ 349935/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^28 - 698348336941375359260405742631764753277579\ 3879639351991610354185254948059/14509233440373555647543650797839214\ 76872219035398206992687186055574069*c_0101_3^27 + 5134221659297763727344046917045984670384817792375564726819471202192\ 723505/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^26 + 360141428736644871462573517943476651386073\ 18830340178374235488634620361930/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^25 - 8798223184015652187518313971970311125086462925928598076405886002431\ 319227/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^24 - 107727188163556988401838734463646716118715\ 028129987315342708549640561850700/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^23 + 2736043926162951365214909879221926834902417644755396736368595924903\ 7296407/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^22 + 21569453464432396831685281689220430865143\ 3306873440288568999733477730872393/14509233440373555647543650797839\ 21476872219035398206992687186055574069*c_0101_3^21 - 1503117760040654914001189788698470748169087271613572629626496386868\ 27424930/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^20 - 1055113258903386680569789112694426517661\ 9492248257853920390496813210963118/46803978839914695637237583218836\ 176673297388238651838473780195341099*c_0101_3^19 + 5440707140716217302345447493094307040730916674046711599075001918139\ 49142512/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^18 + 5199327497675702519253557011706177614693\ 80157304951860148228916581720127349/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^17 - 1138859680419329007087534972680274957048660781233845190126463053598\ 717771103/145092334403735556475436507978392147687221903539820699268\ 7186055574069*c_0101_3^16 - 103455805094088586225885189739170129592\ 6601271676154956992008925706687172196/14509233440373555647543650797\ 83921476872219035398206992687186055574069*c_0101_3^15 + 1192263264865165485157208653500983453619593164980019734445800851395\ 089265027/145092334403735556475436507978392147687221903539820699268\ 7186055574069*c_0101_3^14 + 156363363200099000509024396782354926613\ 3422366529192010259576941545225383542/14509233440373555647543650797\ 83921476872219035398206992687186055574069*c_0101_3^13 - 2954939111628005663532495887494268114912396934728742115283739724232\ 38390687/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^12 - 1281486871555497305540687862136949616667\ 011042490778026747120753970939234916/145092334403735556475436507978\ 3921476872219035398206992687186055574069*c_0101_3^11 - 4897210022000654488080458117364899490739386618157739740410048151684\ 95508890/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^10 + 4934965605983086822075866410405347045920\ 29462756152461418061967936774297614/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^9 + 4864353888276357360377125280217878943245454561542411839270107803605\ 24693731/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^8 - 56857747749796344948486042192834529123550\ 019183002882822983957618340058810/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^7 - 1941286643403703505764989997489383851257193115928142496745622061382\ 23985139/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^6 - 10768435241101653238686577895890214366351\ 848540023762281959006151850115466/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^5 + 3808249671784874555085450996325836751981135632363868162638467094418\ 9744821/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^4 + 283455022042304419091758295635108158847387\ 2512117849891703728425985161784/14509233440373555647543650797839214\ 76872219035398206992687186055574069*c_0101_3^3 - 3519335828070647010310236155052143815949331697429803724178165769019\ 432232/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^2 - 1550714806678596429682987054171481193316053\ 41321493425372160596171872291/1450923344037355564754365079783921476\ 872219035398206992687186055574069*c_0101_3 + 1182257504354083786553082541259162264524289581027129339863446014337\ 10469/1450923344037355564754365079783921476872219035398206992687186\ 055574069, c_0101_1 - 538528064544952167372899395474136007056255052275447701959636\ 8866914464/14509233440373555647543650797839214768722190353982069926\ 87186055574069*c_0101_3^32 - 18426392874489839495838564552438106291\ 895526360596268145358121640479075/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^31 + 1376725526680299146301097356390823543352342443262266116003755602133\ 20633/1450923344037355564754365079783921476872219035398206992687186\ 055574069*c_0101_3^30 + 5320591028952890224589944553996749586453534\ 14154080251271778498169928946/1450923344037355564754365079783921476\ 872219035398206992687186055574069*c_0101_3^29 - 1176918084732064515921980296331193883033499226887686848816619970319\ 124674/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^28 - 566928396075950227420698187385424223346635\ 4786185125721414791613879903279/14509233440373555647543650797839214\ 76872219035398206992687186055574069*c_0101_3^27 + 3878151673259670055080185547656267558274825988322835550866519056197\ 023814/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^26 + 291243394482525266186285281248580403281549\ 57845675123837353636464825859359/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^25 - 5818614393980278897542126351777582597496489605209541258277894269500\ 275297/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^24 - 868226912404758963041450334717705657199891\ 71216134484226853794187075171252/1450923344037355564754365079783921\ 476872219035398206992687186055574069*c_0101_3^23 + 1840288354341385897677584540567427548538788641903379487918191518115\ 6507866/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^22 + 17410219352924159714110235765508874228807\ 9647985282689401218106762378463408/14509233440373555647543650797839\ 21476872219035398206992687186055574069*c_0101_3^21 - 1139572089904915599219016511026204074874707825666884515927906800871\ 12859230/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^20 - 8635396294307093356907439158693642518976\ 022329861599735218513748808126627/468039788399146956372375832188361\ 76673297388238651838473780195341099*c_0101_3^19 + 4271441831886399856047746707640045121624632818276133046858240489509\ 82534346/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^18 + 4357413764627211823047859174864251588411\ 84800088377434723687756084969262652/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^17 - 8981708911766050540313133396413474259757787619037451710882760069309\ 87136476/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^16 - 8673421954074310200416517262332180918979\ 16604318768823823935509107075198535/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^15 + 9222778301845709940051450089505938156326928382744175174783759213069\ 84248030/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^14 + 1288469977531195795960875116085473225118\ 875089569203685788064754794718201596/145092334403735556475436507978\ 3921476872219035398206992687186055574069*c_0101_3^13 - 1865658573958641049680563675234346139096416024781567305242583281956\ 35697400/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^12 - 1028328474841083560457053508824257995543\ 200709864498535705096172557215589662/145092334403735556475436507978\ 3921476872219035398206992687186055574069*c_0101_3^11 - 4277890638636685526146971605353838075415501198068027474134237899149\ 00203069/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^10 + 3758495740088188944536722387840374387056\ 59556559686356655964558864291532960/1450923344037355564754365079783\ 921476872219035398206992687186055574069*c_0101_3^9 + 3986107336695839817659373783313034231981889326453904386300418828128\ 36007509/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^8 - 32235097928376691874658492710049440702053\ 178065768604082150869902727091375/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^7 - 1548022785132882403176697473701109180299990496094258123545582757971\ 87395348/1450923344037355564754365079783921476872219035398206992687\ 186055574069*c_0101_3^6 - 12306503631430503582350973134588074487841\ 229925771674720338044816991297432/145092334403735556475436507978392\ 1476872219035398206992687186055574069*c_0101_3^5 + 3004671714981110263565777394279672556801465159929330621469411819218\ 5383591/14509233440373555647543650797839214768722190353982069926871\ 86055574069*c_0101_3^4 + 267771311601462449537538224901697118206858\ 7138334790373037145243642197016/14509233440373555647543650797839214\ 76872219035398206992687186055574069*c_0101_3^3 - 2789730180686746437309534929281436419682233652333500176446600533614\ 113573/145092334403735556475436507978392147687221903539820699268718\ 6055574069*c_0101_3^2 - 1359408883273652523772566887010313346480367\ 15139458775949702550692154251/1450923344037355564754365079783921476\ 872219035398206992687186055574069*c_0101_3 + 9532147087117271516181842614931549924968666071890779339068833402038\ 4464/14509233440373555647543650797839214768722190353982069926871860\ 55574069, c_0101_3^33 + 3*c_0101_3^32 - 27*c_0101_3^31 - 88*c_0101_3^30 + 260*c_0101_3^29 + 960*c_0101_3^28 - 1162*c_0101_3^27 - 5098*c_0101_3^26 + 3351*c_0101_3^25 + 15632*c_0101_3^24 - 10184*c_0101_3^23 - 30783*c_0101_3^22 + 34699*c_0101_3^21 + 40588*c_0101_3^20 - 99992*c_0101_3^19 - 47245*c_0101_3^18 + 200149*c_0101_3^17 + 90557*c_0101_3^16 - 237726*c_0101_3^15 - 166679*c_0101_3^14 + 133811*c_0101_3^13 + 175458*c_0101_3^12 - 51*c_0101_3^11 - 102217*c_0101_3^10 - 44689*c_0101_3^9 + 36524*c_0101_3^8 + 25979*c_0101_3^7 - 9583*c_0101_3^6 - 6406*c_0101_3^5 + 1790*c_0101_3^4 + 703*c_0101_3^3 - 184*c_0101_3^2 - 27*c_0101_3 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB