Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 694728170] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0498 geometric_solution 4.51180703 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 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.389200169020 0.055786103755 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 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 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 1.798967179277 0.332007533271 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.166050618005 0.186885118406 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.899722336773 0.564939587045 6 3 5 5 0132 0132 1302 3201 0 0 0 0 0 0 1 -1 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370323875922 0.574506293354 4 4 6 3 2031 2310 1023 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.370323875922 0.574506293354 4 6 5 6 0132 2310 1023 3201 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 -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.203508960655 0.837813553040 ==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_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), '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_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 6735597025275706289644377015829358642421932558651527216055379410528\ 7185971561557531622562540355408/20324256892860966081156044002692979\ 1711179283117900804428498526598009353972030111312589028383095*c_010\ 1_6^30 - 1290665724403633784573029774151562236901992351445797533226\ 11561134558577166405871992629564051757802/2032425689286096608115604\ 4002692979171117928311790080442849852659800935397203011131258902838\ 3095*c_0101_6^29 + 560021905957457973967482534803572272683889049262\ 2381506105779534724128048009792319595962905689057502/20324256892860\ 9660811560440026929791711179283117900804428498526598009353972030111\ 312589028383095*c_0101_6^28 - 2007225575723689137916011270575597440\ 307902928617249088157184378260622798416821512734438937970229822/406\ 4851378572193216231208800538595834223585662358016088569970531960187\ 0794406022262517805676619*c_0101_6^27 - 4452904182261975448996242248338508627206136710807501581918061229904\ 0229267420206763271937314701764249/20324256892860966081156044002692\ 9791711179283117900804428498526598009353972030111312589028383095*c_\ 0101_6^26 - 1879957723507012242408343640296777903694591758370955276\ 7365718856824291243782387246131706163567841122/20324256892860966081\ 1560440026929791711179283117900804428498526598009353972030111312589\ 028383095*c_0101_6^25 + 4082004025615092815861217064958692608030965\ 7501353331083974828818579485375986368204194977525689341977/40648513\ 7857219321623120880053859583422358566235801608856997053196018707944\ 06022262517805676619*c_0101_6^24 + 7966936683270734828469680361015164312856239452071227905498843980748\ 10217830477580925824800734379957599/2032425689286096608115604400269\ 29791711179283117900804428498526598009353972030111312589028383095*c\ _0101_6^23 + 472152407489739544704833763732713890190663065633633101\ 177639486851805626270323334029276800756191376629/203242568928609660\ 8115604400269297917111792831179008044284985265980093539720301113125\ 89028383095*c_0101_6^22 - 56041216618939764746292405992382177078078\ 9521264284404798555122108692787205424093062492595295687518938/20324\ 2568928609660811560440026929791711179283117900804428498526598009353\ 972030111312589028383095*c_0101_6^21 - 8421065090168995711498775711254199795558982873723401228511851086207\ 17131689434349916776325579371260671/2032425689286096608115604400269\ 29791711179283117900804428498526598009353972030111312589028383095*c\ _0101_6^20 + 239499350973032054469137382696555362080483189633936546\ 0478743890244665833746280972657237569892229625317/20324256892860966\ 0811560440026929791711179283117900804428498526598009353972030111312\ 589028383095*c_0101_6^19 + 1422254244085973576343931285812894446546\ 8730096983448017923793798083036832129598049156502853714935467632/20\ 3242568928609660811560440026929791711179283117900804428498526598009\ 353972030111312589028383095*c_0101_6^18 + 1992486507161192283907026172666717008923979390888338602485496999503\ 9108298976277319523268362329034917147/20324256892860966081156044002\ 6929791711179283117900804428498526598009353972030111312589028383095\ *c_0101_6^17 + 1982131937106340450009729032289936439226129345070574\ 5325621210869598857886784453821058015960299150753394/20324256892860\ 9660811560440026929791711179283117900804428498526598009353972030111\ 312589028383095*c_0101_6^16 + 1664709153443020584063762156896396198\ 724940738029479826714086098626308393263766644719805337585753248677/\ 4064851378572193216231208800538595834223585662358016088569970531960\ 1870794406022262517805676619*c_0101_6^15 - 1249334595526742218328881935290408074978542291620872237096825542372\ 5941946840519619898096583842067519164/20324256892860966081156044002\ 6929791711179283117900804428498526598009353972030111312589028383095\ *c_0101_6^14 - 3930608970515463402622700929327719383022070864001360\ 629470101892426143048343316692627634239657971574899/203242568928609\ 6608115604400269297917111792831179008044284985265980093539720301113\ 12589028383095*c_0101_6^13 - 13453968103095845906646811627282925625\ 177343508929428227775089436191258721027423529246982984028465009203/\ 2032425689286096608115604400269297917111792831179008044284985265980\ 09353972030111312589028383095*c_0101_6^12 - 1603086922229266937338092611253661733310677509959934038635208596757\ 7641967625488083845619629185296239922/20324256892860966081156044002\ 6929791711179283117900804428498526598009353972030111312589028383095\ *c_0101_6^11 - 4403375881189986798183131868347799970061711635868672\ 178603032759162877236018275817577472159529235415738/203242568928609\ 6608115604400269297917111792831179008044284985265980093539720301113\ 12589028383095*c_0101_6^10 + 54435714420638237943359947017910684623\ 01230108051290183388894622966131177737635563190345166484369350183/2\ 0324256892860966081156044002692979171117928311790080442849852659800\ 9353972030111312589028383095*c_0101_6^9 + 1582620146211303342607540255327813597614029999872112953794677465701\ 180858170226779782681272181131490386/406485137857219321623120880053\ 85958342235856623580160885699705319601870794406022262517805676619*c\ _0101_6^8 + 1117689334909442625299445576803612319576923999704278705\ 806708933647429332077629966487548625982291304162/203242568928609660\ 8115604400269297917111792831179008044284985265980093539720301113125\ 89028383095*c_0101_6^7 - 141530030923914215257333950042924085891109\ 0880374914030138108490496506600392717095668235938693388246191/20324\ 2568928609660811560440026929791711179283117900804428498526598009353\ 972030111312589028383095*c_0101_6^6 - 3543050359587000734064690731465498022395607137662947306169130052034\ 25867017095484498855986573661466958/2032425689286096608115604400269\ 29791711179283117900804428498526598009353972030111312589028383095*c\ _0101_6^5 - 8400710762309934391018303679386569965612878173168292579\ 2634130405253226770225542829734577051937684374/20324256892860966081\ 1560440026929791711179283117900804428498526598009353972030111312589\ 028383095*c_0101_6^4 + 14479909675702102148799993156047278857252329\ 97019729531158866166891525794851162063052051008942953891/2032425689\ 2860966081156044002692979171117928311790080442849852659800935397203\ 0111312589028383095*c_0101_6^3 + 2303823951595258248997986285249616\ 4117808540978782786409239807637586073902193001792629466295569291703\ /203242568928609660811560440026929791711179283117900804428498526598\ 009353972030111312589028383095*c_0101_6^2 + 2080633720704674954756703593660548100627202451547511286750656729941\ 112598630434341171488831317321278/203242568928609660811560440026929\ 791711179283117900804428498526598009353972030111312589028383095*c_0\ 101_6 - 41472659444785460963179337281002658735399761411612495726480\ 4758083881538293930002419194489078369818/20324256892860966081156044\ 0026929791711179283117900804428498526598009353972030111312589028383\ 095, c_0011_0 - 1, c_0011_2 + 324958456493442359739327349631871076334979169516909943444479\ 044731135085969353474745162771874/406485137857219321623120880053859\ 58342235856623580160885699705319601870794406022262517805676619*c_01\ 01_6^30 + 834698705313312569295978814517998036080860969173608686713\ 609768011409448337567140267952851394/406485137857219321623120880053\ 85958342235856623580160885699705319601870794406022262517805676619*c\ _0101_6^29 - 265695139756029510652380850184716157893495140789441619\ 19667173096379335546114162308189092754920/4064851378572193216231208\ 8005385958342235856623580160885699705319601870794406022262517805676\ 619*c_0101_6^28 + 3087521388884926687764292386449646457546451864621\ 6270442161754899673892967161642999654065435271/40648513785721932162\ 3120880053859583422358566235801608856997053196018707944060222625178\ 05676619*c_0101_6^27 + 24291311745018642776947528530957174396054272\ 7278991213732114348366530909229838519581200720346009/40648513785721\ 9321623120880053859583422358566235801608856997053196018707944060222\ 62517805676619*c_0101_6^26 + 23699320717347551867307367775748844070\ 2991134684278629219485970027062881358739377387701972152801/40648513\ 7857219321623120880053859583422358566235801608856997053196018707944\ 06022262517805676619*c_0101_6^25 - 8983995119634537711225521911585187044262724253400961023783616153597\ 07032657683259969536590836294/4064851378572193216231208800538595834\ 2235856623580160885699705319601870794406022262517805676619*c_0101_6\ ^24 - 4469308601031829249064477398496156272250077710479836716736539\ 860114251525300164605274345566270107/406485137857219321623120880053\ 85958342235856623580160885699705319601870794406022262517805676619*c\ _0101_6^23 - 490514632326440352157069798434613290997063263660913228\ 7829533629611650872586628575485103402895269/40648513785721932162312\ 0880053859583422358566235801608856997053196018707944060222625178056\ 76619*c_0101_6^22 + 70686787037563085330579949358058852279950153568\ 7372940555461205257821310756164400249248408927845/40648513785721932\ 1623120880053859583422358566235801608856997053196018707944060222625\ 17805676619*c_0101_6^21 + 54514834450105276304703818096439658530155\ 04896329182527557278371593141732116843823499695318894510/4064851378\ 5721932162312088005385958342235856623580160885699705319601870794406\ 022262517805676619*c_0101_6^20 - 8727061619453516881972885932038924\ 228158339542813107781303621924014414496594402438840336375238310/406\ 4851378572193216231208800538595834223585662358016088569970531960187\ 0794406022262517805676619*c_0101_6^19 - 7561647673334535213793640578049378177520705968484458941276347570349\ 1220383457171698312320264085556/40648513785721932162312088005385958\ 342235856623580160885699705319601870794406022262517805676619*c_0101\ _6^18 - 14224182804512026237845306283772667437697505233903867661689\ 7892305205798303158687627672152407321906/40648513785721932162312088\ 0053859583422358566235801608856997053196018707944060222625178056766\ 19*c_0101_6^17 - 16729035310297149503649471281753439402441845595415\ 1322473886257095687667383498571565604369291649199/40648513785721932\ 1623120880053859583422358566235801608856997053196018707944060222625\ 17805676619*c_0101_6^16 - 11627915740334700992415731310677827858130\ 5518498094774697852293103985824413147012278382267959777758/40648513\ 7857219321623120880053859583422358566235801608856997053196018707944\ 06022262517805676619*c_0101_6^15 + 1786506907671098431856571665852823629336580229800362476495815864653\ 2017893238514644620921508280455/40648513785721932162312088005385958\ 342235856623580160885699705319601870794406022262517805676619*c_0101\ _6^14 + 49424028557034269126641704042844104997674047580243212548031\ 531166795250689966109169030869413881167/406485137857219321623120880\ 0538595834223585662358016088569970531960187079440602226251780567661\ 9*c_0101_6^13 + 817881902517879387232712734260437338889196385289188\ 30966130177802606991178561288110194555654370788/4064851378572193216\ 2312088005385958342235856623580160885699705319601870794406022262517\ 805676619*c_0101_6^12 + 1223598737050951951996239767418222897447183\ 55302076235023332142433646104438789650483338956706269133/4064851378\ 5721932162312088005385958342235856623580160885699705319601870794406\ 022262517805676619*c_0101_6^11 + 8320491770981867575924681164168891\ 4185466697604956525133980296555180848858906092751079895779021320/40\ 6485137857219321623120880053859583422358566235801608856997053196018\ 70794406022262517805676619*c_0101_6^10 - 2846212801550075758557392022061230079062495275802118368656552640364\ 326507264295553668886637424097/406485137857219321623120880053859583\ 42235856623580160885699705319601870794406022262517805676619*c_0101_\ 6^9 - 4797479002296353681180982298650623609464517857234993708042441\ 2416598549097378787727776518597842346/40648513785721932162312088005\ 385958342235856623580160885699705319601870794406022262517805676619*\ c_0101_6^8 - 323022250474081058216824398231865408392073032383767063\ 46121241282530337915301588562054142111500487/4064851378572193216231\ 2088005385958342235856623580160885699705319601870794406022262517805\ 676619*c_0101_6^7 - 15264387712558358514087742028061069886222364861\ 74073651157226272224316517526931651418297159907504/4064851378572193\ 2162312088005385958342235856623580160885699705319601870794406022262\ 517805676619*c_0101_6^6 + 38795556115682589611349092796077515263816\ 28891878354531867330927953452991370955531103300121613568/4064851378\ 5721932162312088005385958342235856623580160885699705319601870794406\ 022262517805676619*c_0101_6^5 + 14135542021024605711807804852890492\ 09225113979106570516635992380027772979789543256525189055666725/4064\ 8513785721932162312088005385958342235856623580160885699705319601870\ 794406022262517805676619*c_0101_6^4 + 8415768062383436532139426412802031637475625099828268347613860169592\ 91714946123431719952018673183/4064851378572193216231208800538595834\ 2235856623580160885699705319601870794406022262517805676619*c_0101_6\ ^3 + 37269246437037208637519229014855389205503178005417200967073893\ 034114082135490381218699765974701/406485137857219321623120880053859\ 58342235856623580160885699705319601870794406022262517805676619*c_01\ 01_6^2 - 1571239050865592272707607972314041585229220178705250861913\ 1256652069506613517598465515316998663/40648513785721932162312088005\ 385958342235856623580160885699705319601870794406022262517805676619*\ c_0101_6 - 10627497599958807955474451764033107539052547014605595768\ 198970671073512269130820092306540099176/406485137857219321623120880\ 0538595834223585662358016088569970531960187079440602226251780567661\ 9, c_0011_5 + 907780464777622341041397965586302391827150286300218755084487\ 1334036205915153391833450690901604/20324256892860966081156044002692\ 9791711179283117900804428498526598009353972030111312589028383095*c_\ 0101_6^30 + 1694334004347762606156783207430227324734393414928123515\ 5267349037305623912240385384901276806917/20324256892860966081156044\ 0026929791711179283117900804428498526598009353972030111312589028383\ 095*c_0101_6^29 - 1508960891566040139552744265621484816387552102542\ 25752619996107366884406280210079772377485567878/4064851378572193216\ 2312088005385958342235856623580160885699705319601870794406022262517\ 805676619*c_0101_6^28 + 1392575758922626206414774726952714132665366\ 613371126962086007347675238804041383731220467429012938/203242568928\ 6096608115604400269297917111792831179008044284985265980093539720301\ 11312589028383095*c_0101_6^27 + 58393149415120202497334675259954210\ 31168976268858302667970324124867689906778274929586648723662278/2032\ 4256892860966081156044002692979171117928311790080442849852659800935\ 3972030111312589028383095*c_0101_6^26 + 2386129819968453341727881575799930970358276097205200908213693487509\ 829753301669167409924127237031/203242568928609660811560440026929791\ 711179283117900804428498526598009353972030111312589028383095*c_0101\ _6^25 - 26844872363418008848898881690175250483301896939172045048970\ 149520410999797544113893977181299633316/203242568928609660811560440\ 0269297917111792831179008044284985265980093539720301113125890283830\ 95*c_0101_6^24 - 10552400328700318376090873679392800063519367201974\ 2763907374225595961349827233164800297929375128564/20324256892860966\ 0811560440026929791711179283117900804428498526598009353972030111312\ 589028383095*c_0101_6^23 - 6164006833568945296396648545809423060763\ 8794690496333982509322034210158732892387486775020130856524/20324256\ 8928609660811560440026929791711179283117900804428498526598009353972\ 030111312589028383095*c_0101_6^22 + 6448313169870916184747334861728381516615948320170470358717342214211\ 8461231983219504971928424253882/20324256892860966081156044002692979\ 1711179283117900804428498526598009353972030111312589028383095*c_010\ 1_6^21 + 1973366482826322086371126401088008350183744470409238094244\ 9842239698284474456652135938255380352067/40648513785721932162312088\ 0053859583422358566235801608856997053196018707944060222625178056766\ 19*c_0101_6^20 - 64329550579383452712582315869936148279070787299866\ 266314549215624106506310930315271618431626426427/406485137857219321\ 6231208800538595834223585662358016088569970531960187079440602226251\ 7805676619*c_0101_6^19 - 188602033663610641106325245476009279873303\ 9474176653058799174164248398426436128352753960756171233493/20324256\ 8928609660811560440026929791711179283117900804428498526598009353972\ 030111312589028383095*c_0101_6^18 - 2627844372947818267489683762168562859992293354809044455781777859703\ 314401476519941725282105811220049/203242568928609660811560440026929\ 791711179283117900804428498526598009353972030111312589028383095*c_0\ 101_6^17 - 27870934504384271560307017349954318564920806474731055901\ 37381075077945974922444368467854325822746832/2032425689286096608115\ 6044002692979171117928311790080442849852659800935397203011131258902\ 8383095*c_0101_6^16 - 138042131263453640551153493951892578953677063\ 5510619516733058965427873467041952638735101494647111673/20324256892\ 8609660811560440026929791711179283117900804428498526598009353972030\ 111312589028383095*c_0101_6^15 + 1313373569636782007987558769671075\ 190168519935448443647338562065498204957617208845857467571498176161/\ 2032425689286096608115604400269297917111792831179008044284985265980\ 09353972030111312589028383095*c_0101_6^14 + 1935372699612902075084277145378985468188370353309148080739292075076\ 89913078298185553287955928623468/2032425689286096608115604400269297\ 91711179283117900804428498526598009353972030111312589028383095*c_01\ 01_6^13 + 192239034111395614252142397043745784895757872137315108806\ 0094826904341608489413827309250922218527969/20324256892860966081156\ 0440026929791711179283117900804428498526598009353972030111312589028\ 383095*c_0101_6^12 + 2141836828513180903350155350544737075097354599\ 277483017251101810299724178265274308177171439869474597/203242568928\ 6096608115604400269297917111792831179008044284985265980093539720301\ 11312589028383095*c_0101_6^11 + 14488427573855120110193212845117210\ 4317187720987374859281554017986111686039636833294163195187205059/40\ 6485137857219321623120880053859583422358566235801608856997053196018\ 70794406022262517805676619*c_0101_6^10 - 4277669794025755553083225521138808604878269022330868099146994636817\ 12193682629014257054994002943821/2032425689286096608115604400269297\ 91711179283117900804428498526598009353972030111312589028383095*c_01\ 01_6^9 - 1770545412254602597793702797502429715592459645010037145464\ 19370914714769268582867034329536163187667/4064851378572193216231208\ 8005385958342235856623580160885699705319601870794406022262517805676\ 619*c_0101_6^8 - 13528641373305670161886251551524630960945788960451\ 7243314817335250743431806261269162234180170302856/20324256892860966\ 0811560440026929791711179283117900804428498526598009353972030111312\ 589028383095*c_0101_6^7 + 67841697609956661658069583867759388570126\ 604876770213491759279630370078591191634364663050008116469/203242568\ 9286096608115604400269297917111792831179008044284985265980093539720\ 30111312589028383095*c_0101_6^6 - 303327278643051841865829514932678\ 5096651855227993543552594832583911618314223647075716468407803742/20\ 3242568928609660811560440026929791711179283117900804428498526598009\ 353972030111312589028383095*c_0101_6^5 + 1788352928526642563224437814630387274631409746299196170392703355827\ 4754953651973678795439525246491/20324256892860966081156044002692979\ 1711179283117900804428498526598009353972030111312589028383095*c_010\ 1_6^4 + 10953310491405735656233818969815752932733377443683221008287\ 39823673365997368701308953184165374403/2032425689286096608115604400\ 2692979171117928311790080442849852659800935397203011131258902838309\ 5*c_0101_6^3 - 6831211104972378912765271113626242282873624955524191\ 95407830942930343329000917083989497328494299/2032425689286096608115\ 6044002692979171117928311790080442849852659800935397203011131258902\ 8383095*c_0101_6^2 + 5640060575968688599883846141259160333697000408\ 0362627194674182514182435804478103831305275785846/40648513785721932\ 1623120880053859583422358566235801608856997053196018707944060222625\ 17805676619*c_0101_6 - 94976255556100890755965681805106372610271671\ 94973954344598092065936340750532904583339809694634/2032425689286096\ 6081156044002692979171117928311790080442849852659800935397203011131\ 2589028383095, c_0101_0 - 310404395969439243187729395973038176031119756371578358649333\ 76681892395784783003095641780270371/2032425689286096608115604400269\ 29791711179283117900804428498526598009353972030111312589028383095*c\ _0101_6^30 - 534984842225439915884927643919184740125147381536186949\ 60148475485750401965113017703286278450103/2032425689286096608115604\ 4002692979171117928311790080442849852659800935397203011131258902838\ 3095*c_0101_6^29 + 518192524914678937223650900608411587347430325623\ 629028745721988947327536424241811691449935442563/406485137857219321\ 6231208800538595834223585662358016088569970531960187079440602226251\ 7805676619*c_0101_6^28 - 512409531325088522772221454269945995107249\ 6026101556744159918349598332873074852830567966757490632/20324256892\ 8609660811560440026929791711179283117900804428498526598009353972030\ 111312589028383095*c_0101_6^27 - 1951940755374765394910870257382039\ 6964833676515981148495242784750862966664887827803294862087711417/20\ 3242568928609660811560440026929791711179283117900804428498526598009\ 353972030111312589028383095*c_0101_6^26 - 4967800746577158270145695317289442480015660465806071805779296125351\ 758955871191942502142951324619/203242568928609660811560440026929791\ 711179283117900804428498526598009353972030111312589028383095*c_0101\ _6^25 + 94991214902589613515501407534695185177261623423019053376210\ 575951847268263817249961642568285521479/203242568928609660811560440\ 0269297917111792831179008044284985265980093539720301113125890283830\ 95*c_0101_6^24 + 34911006761897790763427272578042230391075410522719\ 9338964211308153158567054920921632882870080912566/20324256892860966\ 0811560440026929791711179283117900804428498526598009353972030111312\ 589028383095*c_0101_6^23 + 1508960382255998090617852108428627689857\ 14143810062302523837774417983288430087979095274249641448736/2032425\ 6892860966081156044002692979171117928311790080442849852659800935397\ 2030111312589028383095*c_0101_6^22 - 2869344946556950131006108718381280193409867578875650398441966304936\ 16879657934963612351189989101983/2032425689286096608115604400269297\ 91711179283117900804428498526598009353972030111312589028383095*c_01\ 01_6^21 - 674501907279026684652896913064952291718631724039370954499\ 46410112453683186931964728075933297416457/4064851378572193216231208\ 8005385958342235856623580160885699705319601870794406022262517805676\ 619*c_0101_6^20 + 2329576923039301788599093212543261505695252071881\ 54003459472284908536934915322079556453706570401372/4064851378572193\ 2162312088005385958342235856623580160885699705319601870794406022262\ 517805676619*c_0101_6^19 + 6331983166317109308491379957656164043293\ 333147516230056548389744050333695758530047580777751313798847/203242\ 5689286096608115604400269297917111792831179008044284985265980093539\ 72030111312589028383095*c_0101_6^18 + 7973208587511991868422863108362840100020400945874014902359895647491\ 861520181624310722145066328271406/203242568928609660811560440026929\ 791711179283117900804428498526598009353972030111312589028383095*c_0\ 101_6^17 + 76138999643892643747237919704399651518210051951133170436\ 36983298722704416189923894244478116454332623/2032425689286096608115\ 6044002692979171117928311790080442849852659800935397203011131258902\ 8383095*c_0101_6^16 + 231539490246361446014704720800158632225358166\ 6958962889355390949837550668086088266399313449029111132/20324256892\ 8609660811560440026929791711179283117900804428498526598009353972030\ 111312589028383095*c_0101_6^15 - 6286063980861134744852529662775948\ 777317427403598954691820646528424823209813241137397400649335666334/\ 2032425689286096608115604400269297917111792831179008044284985265980\ 09353972030111312589028383095*c_0101_6^14 - 7117600836704687782132923765848962027304599674541124591638166359612\ 10648239781951281179354742506647/2032425689286096608115604400269297\ 91711179283117900804428498526598009353972030111312589028383095*c_01\ 01_6^13 - 613912157897829516003700951389204387488145528207004263916\ 0731332265018959766463497474911269317755856/20324256892860966081156\ 0440026929791711179283117900804428498526598009353972030111312589028\ 383095*c_0101_6^12 - 6122126574432922799275170017852409461477167839\ 731112531242892297028764986742059802112109352868291103/203242568928\ 6096608115604400269297917111792831179008044284985265980093539720301\ 11312589028383095*c_0101_6^11 - 17371952564496078952799482672677876\ 7977362073440795200026778036300201915552624195384468781506427873/40\ 6485137857219321623120880053859583422358566235801608856997053196018\ 70794406022262517805676619*c_0101_6^10 + 2748455836804382922268795825686823054529819589589961369524819260620\ 939007633494727960568087549914129/203242568928609660811560440026929\ 791711179283117900804428498526598009353972030111312589028383095*c_0\ 101_6^9 + 640866789048901227942950504706250313747133296052931272953\ 025743963733877622427040009682874372467054/406485137857219321623120\ 8800538595834223585662358016088569970531960187079440602226251780567\ 6619*c_0101_6^8 - 6323809538430680910741000483294128483576557534896\ 0552887576617492112251820837894585346530079217946/20324256892860966\ 0811560440026929791711179283117900804428498526598009353972030111312\ 589028383095*c_0101_6^7 - 66000611341138955948693818843869899321266\ 9526034997663835068124748516729258750744393086391677707646/20324256\ 8928609660811560440026929791711179283117900804428498526598009353972\ 030111312589028383095*c_0101_6^6 - 8530074480396736445581603687823323132946351187564983172500031162797\ 0780311690485274789750704954682/20324256892860966081156044002692979\ 1711179283117900804428498526598009353972030111312589028383095*c_010\ 1_6^5 - 30733472056635909682917231107949077939087692649280519314430\ 494293539606347064708975383728530781354/203242568928609660811560440\ 0269297917111792831179008044284985265980093539720301113125890283830\ 95*c_0101_6^4 + 110848931779963509683121295163530319613553871253367\ 04552927056624371212963238611651292191383537588/2032425689286096608\ 1156044002692979171117928311790080442849852659800935397203011131258\ 9028383095*c_0101_6^3 + 1023053369388577113824810947074085686769905\ 1193784855333876006753304271148720487487551795794208246/20324256892\ 8609660811560440026929791711179283117900804428498526598009353972030\ 111312589028383095*c_0101_6^2 + 44136950884336226603673707853494407\ 604855169090073905612177088219894953042863007653794168293659/406485\ 1378572193216231208800538595834223585662358016088569970531960187079\ 4406022262517805676619*c_0101_6 - 158525649337706308282962679026497\ 044077974933607963176376938468593879253393672551424230228002904/203\ 2425689286096608115604400269297917111792831179008044284985265980093\ 53972030111312589028383095, c_0101_1 + 260549113977405011067326721706312599863956125985064138261792\ 79037305450079035108587764247694922/2032425689286096608115604400269\ 29791711179283117900804428498526598009353972030111312589028383095*c\ _0101_6^30 + 456218638448188546503428782718325509664912724634845428\ 61895669364598424420739561633933742406766/2032425689286096608115604\ 4002692979171117928311790080442849852659800935397203011131258902838\ 3095*c_0101_6^29 - 434313149521565643762808691612038784732981502045\ 750443149922254358887803520065563311843967657121/406485137857219321\ 6231208800538595834223585662358016088569970531960187079440602226251\ 7805676619*c_0101_6^28 + 424507230727239821760530703524632076367755\ 7493635282886709674392728874312303452017413730305341994/20324256892\ 8609660811560440026929791711179283117900804428498526598009353972030\ 111312589028383095*c_0101_6^27 + 1633478597404170958951016243027435\ 6248302201202920596632505382263705764696012362008074428911721224/20\ 3242568928609660811560440026929791711179283117900804428498526598009\ 353972030111312589028383095*c_0101_6^26 + 4931776820747658297957433520270522915300148784064466172932129752712\ 442111034200420926227842766698/203242568928609660811560440026929791\ 711179283117900804428498526598009353972030111312589028383095*c_0101\ _6^25 - 78329660853697306649727961824928206239987308541489363006851\ 121738705785903280296805511833935547298/203242568928609660811560440\ 0269297917111792831179008044284985265980093539720301113125890283830\ 95*c_0101_6^24 - 29469853244814712533188274591129349123604212087801\ 7522970979650904659021226786581554123744628311507/20324256892860966\ 0811560440026929791711179283117900804428498526598009353972030111312\ 589028383095*c_0101_6^23 - 1406729871873702276759478417660464525459\ 09607795107822862299125333675268065959054045397411617246412/2032425\ 6892860966081156044002692979171117928311790080442849852659800935397\ 2030111312589028383095*c_0101_6^22 + 2139346279017406249209192404296043772897434480067707726621953168010\ 81760693923932593968325240024236/2032425689286096608115604400269297\ 91711179283117900804428498526598009353972030111312589028383095*c_01\ 01_6^21 + 552245727406169013693355184711730643966795619661539390600\ 31595875072387904706384020084451048083605/4064851378572193216231208\ 8005385958342235856623580160885699705319601870794406022262517805676\ 619*c_0101_6^20 - 1911402102231431032670249014398419991011741205200\ 28729910734714189371827310905576815973742351528450/4064851378572193\ 2162312088005385958342235856623580160885699705319601870794406022262\ 517805676619*c_0101_6^19 - 5319280876440921830847494461520491880727\ 687356823032535423544475920796761305689396058497126243462119/203242\ 5689286096608115604400269297917111792831179008044284985265980093539\ 72030111312589028383095*c_0101_6^18 - 6909540117973791615780502385644981789732319948474197115214766920103\ 605210876103048703064749562479102/203242568928609660811560440026929\ 791711179283117900804428498526598009353972030111312589028383095*c_0\ 101_6^17 - 69933707770779051991216634945425803510912347945015262291\ 55500689258773749418180911272432933179461946/2032425689286096608115\ 6044002692979171117928311790080442849852659800935397203011131258902\ 8383095*c_0101_6^16 - 270083206909086553519939644424724284641407129\ 2412087930155865601861715422297980997390280772051082214/20324256892\ 8609660811560440026929791711179283117900804428498526598009353972030\ 111312589028383095*c_0101_6^15 + 4604075836833186298162327992846968\ 144140101858642055201460680505661507659090871893131311532971124468/\ 2032425689286096608115604400269297917111792831179008044284985265980\ 09353972030111312589028383095*c_0101_6^14 + 4494871055664026123277696394504985779838372625913048214715122925994\ 20004550532146386109176762735709/2032425689286096608115604400269297\ 91711179283117900804428498526598009353972030111312589028383095*c_01\ 01_6^13 + 547678479661832145492837078892243239820389113969090579259\ 8911982502745544231008754235347125280988782/20324256892860966081156\ 0440026929791711179283117900804428498526598009353972030111312589028\ 383095*c_0101_6^12 + 5343313925896142699397672378368676546337721915\ 454286877594695834773892840897544823383362694650332226/203242568928\ 6096608115604400269297917111792831179008044284985265980093539720301\ 11312589028383095*c_0101_6^11 + 26383104601359511572491509684238037\ 2706998478522679731981022885090265595634785046556979826278646823/40\ 6485137857219321623120880053859583422358566235801608856997053196018\ 70794406022262517805676619*c_0101_6^10 - 1826791963511250945003434830902084874757129485808568004129213245493\ 472334246065094717958986441476018/203242568928609660811560440026929\ 791711179283117900804428498526598009353972030111312589028383095*c_0\ 101_6^9 - 516919075137758827769878072199899571703757207639056679927\ 958184975079031887959164002082935491296748/406485137857219321623120\ 8800538595834223585662358016088569970531960187079440602226251780567\ 6619*c_0101_6^8 - 1316439943001190408560708001204605072286165913397\ 66058332052331266112333308271094495990591532263183/2032425689286096\ 6081156044002692979171117928311790080442849852659800935397203011131\ 2589028383095*c_0101_6^7 + 3459798446613308964248353976821522390761\ 32902923579315429241890285520675654298117978760624465286392/2032425\ 6892860966081156044002692979171117928311790080442849852659800935397\ 2030111312589028383095*c_0101_6^6 + 4652237909835566540577760782340292888499634674185456355067200946576\ 8987661348715098451661446936929/20324256892860966081156044002692979\ 1711179283117900804428498526598009353972030111312589028383095*c_010\ 1_6^5 + 42084698794488514643931744024561082535585021489663582915068\ 570158132156703440825952978377499484648/203242568928609660811560440\ 0269297917111792831179008044284985265980093539720301113125890283830\ 95*c_0101_6^4 - 265343913913675435835969296407445647002394487969485\ 5372745308848220586176338678337862292481350186/20324256892860966081\ 1560440026929791711179283117900804428498526598009353972030111312589\ 028383095*c_0101_6^3 - 36615694745492118004537814932065565353174433\ 07489522451782704807463213536246754931253186229195682/2032425689286\ 0966081156044002692979171117928311790080442849852659800935397203011\ 1312589028383095*c_0101_6^2 + 3454967196653453559443339434499768284\ 7785225593140621328083632686461912737351300292248711171238/40648513\ 7857219321623120880053859583422358566235801608856997053196018707944\ 06022262517805676619*c_0101_6 - 10656985800898860512822627000328079\ 5325307241328202571037442111777081429904271661731824836635532/20324\ 2568928609660811560440026929791711179283117900804428498526598009353\ 972030111312589028383095, c_0101_3 - 121187939124997009887618772391333513790117452986471800225014\ 19278587365481416854871466652521283/2032425689286096608115604400269\ 29791711179283117900804428498526598009353972030111312589028383095*c\ _0101_6^30 - 239850588645992867596495228122780871517545208329415411\ 55915800956027457283623556024064725675364/2032425689286096608115604\ 4002692979171117928311790080442849852659800935397203011131258902838\ 3095*c_0101_6^29 + 200890015487700349512541493690317693734045529311\ 278679196409147682569580031198068569808372097503/406485137857219321\ 6231208800538595834223585662358016088569970531960187079440602226251\ 7805676619*c_0101_6^28 - 174557014660479797066583552823187033518062\ 4029609376840098251786431288385761343039238850942872951/20324256892\ 8609660811560440026929791711179283117900804428498526598009353972030\ 111312589028383095*c_0101_6^27 - 7985486875524230713434097017819456\ 117754509657919327588051716851245303617337523033155004292450106/203\ 2425689286096608115604400269297917111792831179008044284985265980093\ 53972030111312589028383095*c_0101_6^26 - 4132767642810958339244418063126135912446508207006645736013373335238\ 999108323128591934895628009742/203242568928609660811560440026929791\ 711179283117900804428498526598009353972030111312589028383095*c_0101\ _6^25 + 35400811170990378079181829114406134049104353851394194728584\ 461333838781374362718144467982122078382/203242568928609660811560440\ 0269297917111792831179008044284985265980093539720301113125890283830\ 95*c_0101_6^24 + 14510347858855169864428716734968275902775343227628\ 5479429786348943402330764581528128127956435352058/20324256892860966\ 0811560440026929791711179283117900804428498526598009353972030111312\ 589028383095*c_0101_6^23 + 9891963615540318121015782259577373503116\ 0184669567570387475878128513185070582848067752857630192633/20324256\ 8928609660811560440026929791711179283117900804428498526598009353972\ 030111312589028383095*c_0101_6^22 - 7537878958612003422744614892763302486464405774175834707379739161555\ 2185896137354009335697130244944/20324256892860966081156044002692979\ 1711179283117900804428498526598009353972030111312589028383095*c_010\ 1_6^21 - 2889894450293716280546286673731955964970632282790268015375\ 6859052898316578159997195493379666767244/40648513785721932162312088\ 0053859583422358566235801608856997053196018707944060222625178056766\ 19*c_0101_6^20 + 82121549301940751697695789970621036550251092572645\ 142028456364339682953857179249550616090958877282/406485137857219321\ 6231208800538595834223585662358016088569970531960187079440602226251\ 7805676619*c_0101_6^19 + 256640664624565700961576569059268028526191\ 6678195926943190668077748259673899037545335495243126764731/20324256\ 8928609660811560440026929791711179283117900804428498526598009353972\ 030111312589028383095*c_0101_6^18 + 3803882036174254025319907255039399686229468952188314668896356757377\ 449100815772650676378492189447508/203242568928609660811560440026929\ 791711179283117900804428498526598009353972030111312589028383095*c_0\ 101_6^17 + 41483147953497222657118478352247515530281702098759663677\ 22268914764193342926566000717769148175484919/2032425689286096608115\ 6044002692979171117928311790080442849852659800935397203011131258902\ 8383095*c_0101_6^16 + 224471964511153473234531897186598935567269268\ 4907301179685672962904425751748829153887938204318902946/20324256892\ 8609660811560440026929791711179283117900804428498526598009353972030\ 111312589028383095*c_0101_6^15 - 1586232319542158953017858797401617\ 355371790519874734855865979551772127401232579051016400698731174232/\ 2032425689286096608115604400269297917111792831179008044284985265980\ 09353972030111312589028383095*c_0101_6^14 - 5436291090786439240170672647137423836782854109933944017267451980526\ 03385764512674015879570651168731/2032425689286096608115604400269297\ 91711179283117900804428498526598009353972030111312589028383095*c_01\ 01_6^13 - 268623200217921544729425937639314949411683437061071651799\ 7856587583366301307862881078722499194728843/20324256892860966081156\ 0440026929791711179283117900804428498526598009353972030111312589028\ 383095*c_0101_6^12 - 3100947540049553989980277145319989938203629309\ 225263564154472142738263379975312451520703878999129779/203242568928\ 6096608115604400269297917111792831179008044284985265980093539720301\ 11312589028383095*c_0101_6^11 - 26815504397160447235206513804513018\ 0997200218446323146052883528968477453940171347375651034164065261/40\ 6485137857219321623120880053859583422358566235801608856997053196018\ 70794406022262517805676619*c_0101_6^10 + 5019640415267314644951842258398758800083024532263629855731180395990\ 04163406778021357097397379822637/2032425689286096608115604400269297\ 91711179283117900804428498526598009353972030111312589028383095*c_01\ 01_6^9 + 2615733313661829857957444024685374193935671844873780025966\ 14411100632145065400866233495475689081404/4064851378572193216231208\ 8005385958342235856623580160885699705319601870794406022262517805676\ 619*c_0101_6^8 + 36121205557979355298653216641674474555708923789987\ 2130227067702702360697044302484499504128028135692/20324256892860966\ 0811560440026929791711179283117900804428498526598009353972030111312\ 589028383095*c_0101_6^7 - 67288917428625561013611882043642223678316\ 705921402387594845531247779971538240811299202636828619113/203242568\ 9286096608115604400269297917111792831179008044284985265980093539720\ 30111312589028383095*c_0101_6^6 - 353537646977006895228959679186563\ 70816187057479383252547558983362133736002752136704021798929992181/2\ 0324256892860966081156044002692979171117928311790080442849852659800\ 9353972030111312589028383095*c_0101_6^5 - 2926808506220993955389104037757484757594648183076253320615467192472\ 6767159315930383595400256947612/20324256892860966081156044002692979\ 1711179283117900804428498526598009353972030111312589028383095*c_010\ 1_6^4 - 34857033267554552924133695498855997712372149758215483019866\ 15118223292965298755572033901921925551/2032425689286096608115604400\ 2692979171117928311790080442849852659800935397203011131258902838309\ 5*c_0101_6^3 + 5039798469427902924141047457685362165044674951317827\ 45057710409565510056294990869690674392206703/2032425689286096608115\ 6044002692979171117928311790080442849852659800935397203011131258902\ 8383095*c_0101_6^2 + 2426788458933277784028970003886730612748371454\ 5621114622020576472436820997841687446074998212529/40648513785721932\ 1623120880053859583422358566235801608856997053196018707944060222625\ 17805676619*c_0101_6 + 70589591238671363792218002035024044125740258\ 371938709544521889984523612506482904185598769192448/203242568928609\ 6608115604400269297917111792831179008044284985265980093539720301113\ 12589028383095, c_0101_6^31 + 2*c_0101_6^30 - 83*c_0101_6^29 + 142*c_0101_6^28 + 675*c_0101_6^27 + 332*c_0101_6^26 - 3018*c_0101_6^25 - 12087*c_0101_6^24 - 7950*c_0101_6^23 + 7934*c_0101_6^22 + 13322*c_0101_6^21 - 34645*c_0101_6^20 - 214347*c_0101_6^19 - 312914*c_0101_6^18 - 315482*c_0101_6^17 - 143164*c_0101_6^16 + 180256*c_0101_6^15 + 76153*c_0101_6^14 + 201604*c_0101_6^13 + 253752*c_0101_6^12 + 81842*c_0101_6^11 - 79419*c_0101_6^10 - 125486*c_0101_6^9 - 25159*c_0101_6^8 + 21620*c_0101_6^7 + 7356*c_0101_6^6 + 1372*c_0101_6^5 - 12*c_0101_6^4 - 373*c_0101_6^3 - 59*c_0101_6^2 + 9*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB