Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 2227509334] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1325 geometric_solution 5.20818539 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 1 -1 -1 0 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.498729714271 0.517179072957 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 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 0 0 0 1.033854359176 1.001885976641 3 0 4 1 2310 0132 3201 3012 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 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 1.033854359176 1.001885976641 3 1 2 3 3201 0132 3201 2310 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 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.318605191621 0.754998612731 2 5 1 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.468513637098 0.481092955365 4 4 6 6 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328798299805 0.401393572105 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.962432606619 1.633663768578 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 4035917703525183673194104287199504755545566823330662148335231017461\ 073142604935/380980263460505136667161593011002942471295201269272371\ 126232081846514704599226*c_0101_6^30 + 1119389137647845177706948729566649121709181628336693631425030538576\ 2912282059537/54425751922929305238165941858714706067327885895610338\ 732318868835216386371318*c_0101_6^29 + 2859115016597949302662567227885911415435467339594398751842638425217\ 17881210807624/1904901317302525683335807965055014712356476006346361\ 85563116040923257352299613*c_0101_6^28 + 1989338184805562576996467680713801444449515041726210568158683430059\ 621802995050785/380980263460505136667161593011002942471295201269272\ 371126232081846514704599226*c_0101_6^27 + 3871605810149643097265576739791489661267291067918616548721065212118\ 531263501778911/380980263460505136667161593011002942471295201269272\ 371126232081846514704599226*c_0101_6^26 + 5833887506163710444072243826216528590906935483674860995843724977492\ 596918895696979/380980263460505136667161593011002942471295201269272\ 371126232081846514704599226*c_0101_6^25 + 1755955775182800598202639186238817036048285226633136167777301398448\ 041005798453167/190490131730252568333580796505501471235647600634636\ 185563116040923257352299613*c_0101_6^24 - 7595705476895925925607776776460201781296669304199015868262432359290\ 166917172121892/190490131730252568333580796505501471235647600634636\ 185563116040923257352299613*c_0101_6^23 - 2336565672430166530918675041134657583611918578245684137906041099468\ 651948136093889/272128759614646526190829709293573530336639429478051\ 69366159434417608193185659*c_0101_6^22 - 4146907741838442316468933785885652597740792535245317146531705612454\ 498891259684781/544257519229293052381659418587147060673278858956103\ 38732318868835216386371318*c_0101_6^21 - 1142799837593977059515059188105533277896036654042197083184561775350\ 0635013997095517/38098026346050513666716159301100294247129520126927\ 2371126232081846514704599226*c_0101_6^20 + 3886319083605332436754434552610107233111537090917482350552198955549\ 5204586209157932/19049013173025256833358079650550147123564760063463\ 6185563116040923257352299613*c_0101_6^19 + 1318846856699903167108459671422890688405910246280027766757773364128\ 23264515233534651/3809802634605051366671615930110029424712952012692\ 72371126232081846514704599226*c_0101_6^18 - 1001017724876888194808512745145552791643292951936781896393648977431\ 3060159618000407/38098026346050513666716159301100294247129520126927\ 2371126232081846514704599226*c_0101_6^17 - 7971794063320096401085358260073404287866037248545377419945618836235\ 5284011792887789/19049013173025256833358079650550147123564760063463\ 6185563116040923257352299613*c_0101_6^16 - 1016684227785542073531963421028256267983071784297403054007532956202\ 12322186428849973/1904901317302525683335807965055014712356476006346\ 36185563116040923257352299613*c_0101_6^15 - 3660779288737313848762476673186619401648342379371456800557386988963\ 0580990510634022/19049013173025256833358079650550147123564760063463\ 6185563116040923257352299613*c_0101_6^14 + 8980663608735880490970064442018448709875976775554328895664402741708\ 9273310641455788/19049013173025256833358079650550147123564760063463\ 6185563116040923257352299613*c_0101_6^13 + 2295276867761182942454777398574029969905575931624528383241463485620\ 1001631540845983/54425751922929305238165941858714706067327885895610\ 338732318868835216386371318*c_0101_6^12 - 7651189693123515145244304005067747889072512014468017153512672167400\ 1747954543812067/38098026346050513666716159301100294247129520126927\ 2371126232081846514704599226*c_0101_6^11 - 6915128360845617969361808607665907175397777950708545233115807956306\ 4359918805976418/19049013173025256833358079650550147123564760063463\ 6185563116040923257352299613*c_0101_6^10 - 1526777031705673620315678687474305131059601500792675277083185216306\ 120024802254858/190490131730252568333580796505501471235647600634636\ 185563116040923257352299613*c_0101_6^9 + 3962367399251474502765642901412975130932679488994194719475888963025\ 9037431570287867/19049013173025256833358079650550147123564760063463\ 6185563116040923257352299613*c_0101_6^8 + 7449909134768262427216057092056016227913655723946380302891001599148\ 860817392993565/544257519229293052381659418587147060673278858956103\ 38732318868835216386371318*c_0101_6^7 + 3470889779001710418333939720618097328711983550023255693715291420517\ 0727736160794077/38098026346050513666716159301100294247129520126927\ 2371126232081846514704599226*c_0101_6^6 + 1494391843447706139626693607601624132625865146275449898211856544936\ 3129782375253243/19049013173025256833358079650550147123564760063463\ 6185563116040923257352299613*c_0101_6^5 + 1183341294784833387906071763313437633984202575251158838427160523692\ 4166848785866559/38098026346050513666716159301100294247129520126927\ 2371126232081846514704599226*c_0101_6^4 - 9643544080815379298988360773743653981665760925630272765057425650842\ 96648807201749/3809802634605051366671615930110029424712952012692723\ 71126232081846514704599226*c_0101_6^3 - 1696209122185147607272603595002751152691016561126838113494456412134\ 931323835640273/190490131730252568333580796505501471235647600634636\ 185563116040923257352299613*c_0101_6^2 - 1481777833837731280615505622787632965128079972612524562278083898952\ 384393918639529/380980263460505136667161593011002942471295201269272\ 371126232081846514704599226*c_0101_6 - 9779979570240795185020923606215670056742324144147571526906958934865\ 9658389039451/19049013173025256833358079650550147123564760063463618\ 5563116040923257352299613, c_0011_0 - 1, c_0011_4 + 114988607503361322459117639665775181743867925509719279283542\ 58195374165721845/8163862788439395785724891278807205910099182884341\ 5508098478303252824579556977*c_0101_6^30 + 2231459323596162335020150226175040213008406728776445727565996251534\ 87599188785/8163862788439395785724891278807205910099182884341550809\ 8478303252824579556977*c_0101_6^29 + 5423871359622974386607277290965866912737837814080496485321822107743\ 54824389911/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659*c_0101_6^28 + 5652828578096917180892194614787856827583260364539415587228025491388\ 410192811638/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^27 + 3659069419251055474692361304875617798640238380468711012191269093021\ 427777107400/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^26 + 1651463225272630476828811090661779802925078494243717937393146158723\ 4283479115748/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^25 + 9845554288676138375309401882393102804616137620830669033332727458800\ 111406645189/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^24 - 4337921626666463032802906626283262769677759905883455696828709146223\ 9887134735556/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^23 - 9279664056369568589055154210415624480720994310012825343215660354956\ 2461940426780/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^22 - 8176666743541676303051318652957894883280427252856852946239398549309\ 5270813089841/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^21 - 3167863722711339868357513856296021944945372663836958504331682954489\ 9470897243096/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^20 + 7389611378652515107257467912386335705264651738592844139818023532768\ 7816067133274/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^19 + 1245307728553502770360310277529729684594138032771066676211613008584\ 11163010629538/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^18 - 1076766932787183526956818433579538412250118029777701074068379505312\ 0183900541233/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^17 - 1515119083088430144146232691192277614046817105412096658878804214176\ 60506169662003/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^16 - 1914448907890642481767922249045253132448460233060957824930229521968\ 03536455985126/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^15 - 2020213999926705922352893102662786293065998981397102711089138863433\ 16724400741164/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^14 + 1711429183876598322021422425807082010658254555939786714874755152880\ 01991396085564/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^13 + 4524244271984849994927025354472762513358456262510940530637597216708\ 42822762664007/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^12 - 2238179251120805723638481194058991015118991567428777517641530322642\ 45030711628918/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^11 - 3923472828226348014961348615825009143430770876688745577058535960208\ 61697256718732/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^10 - 2906676284545064481669646638856358427036297360990950596110896469115\ 438495312816/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^9 + 2261561793163027854576149017753177783749231529358146391158148106255\ 31724594753713/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^8 + 1452651906283334678364618989123064347920998848343253176175159199520\ 60982838199157/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^7 + 3229323218034977180567800432116545474565929054784767409801288280901\ 3078859775195/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^6 + 8483265468034987253110146290476062163470957746483021706288119109028\ 2825432039602/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^5 + 3326672464472444187006417558010013263606942697152258004332452797989\ 2917374403570/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^4 - 1102122201170149977812361826595282439294606691891546396328998211273\ 783867045144/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^3 - 3139530184679121491446037432570496099617917280211849609728955780524\ 068263608432/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^2 - 4021877189028666527357115917036880252511671434391714849847767585377\ 015310621947/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6 - 1662403178761112678278818762398402780548549992581918288533325426813\ 63062025001/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659, c_0011_6 + 423754015936824507545634188421876001928374446128107216127201\ 721184724132752/816386278843939578572489127880720591009918288434155\ 08098478303252824579556977*c_0101_6^30 + 7470140848040778814182893093428508060818209592884431162063235231353\ 688683912/816386278843939578572489127880720591009918288434155080984\ 78303252824579556977*c_0101_6^29 + 1526232212089385478603765849609545145502467753527547692998043842391\ 4173378962/27212875961464652619082970929357353033663942947805169366\ 159434417608193185659*c_0101_6^28 + 1098827795376195745268808457942284164580537352745382728188037529182\ 90111663990/8163862788439395785724891278807205910099182884341550809\ 8478303252824579556977*c_0101_6^27 + 2978939455841760781290264464147972264887645779354516108634957051195\ 0651077204/27212875961464652619082970929357353033663942947805169366\ 159434417608193185659*c_0101_6^26 + 5759884724406734769698090601716696124410486030694369839420236514949\ 2798700698/81638627884393957857248912788072059100991828843415508098\ 478303252824579556977*c_0101_6^25 - 4463336196045346879671012042559423577991313987688793909400737387295\ 98102390721/8163862788439395785724891278807205910099182884341550809\ 8478303252824579556977*c_0101_6^24 - 1851805873233091179004037659591295887819804488716911849795655938038\ 493702547953/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^23 - 5457609609489347826174097468790402069515779268559201868651977950252\ 28488739281/8163862788439395785724891278807205910099182884341550809\ 8478303252824579556977*c_0101_6^22 + 1373887823668631783579150999754423940184906755734103529022532915147\ 075373092829/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^21 + 2114337346344883156712016852493209492093317352904955359762022543599\ 920745056742/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^20 + 2984841381336973220133156484402569804534799953717615866171575301441\ 245706896420/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^19 - 2750738210799098471787769400233105840287938080962830400092204333783\ 36056465227/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659*c_0101_6^18 - 5708316931610512925747311661115270606620748664199160783306441578927\ 318614976495/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^17 - 2593274379946830729396536354887372186920273718648178610321480073808\ 745903127571/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^16 + 4185749335458523470597142478167845171210610703034091492591042698830\ 35445742182/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659*c_0101_6^15 + 1917688173758473490558981432298813864047069996577586359442680285794\ 4608232673682/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^14 + 6663269353630810919008143268298174348610778356078464307116735222808\ 207300202717/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^13 - 1401178070088125387940346807891390308150951543241652478030712989496\ 7103139266451/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^12 - 2074898650141729221289375129405299424008076312959818429105350749007\ 0178308709224/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^11 + 2364814976026273978975839100102510748134160689683489852846514358389\ 487200330057/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^10 + 1491393519545022412203724906358886014418942088764220975875639780077\ 4980610311527/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^9 + 3067459002056870975850823946206223367014810109878641276419178485104\ 773957387484/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^8 - 4596028582174673186757101564171401902478765674784731294655527646165\ 705453322701/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^7 - 5216559053739341734046027431373289252536106289751835380706727682177\ 01531864732/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659*c_0101_6^6 - 1711018942845553513167273585664273895666664356249287620445220574216\ 313835137847/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^5 - 1986702238409951710333950014740630757198226405258584381771573742169\ 815610180118/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^4 - 3227371257970717037087128493504210006274490093674695742259777292742\ 80525032534/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659*c_0101_6^3 - 2298899022083178372039571234937301943541662117787213950990312315271\ 2800581902/27212875961464652619082970929357353033663942947805169366\ 159434417608193185659*c_0101_6^2 + 2244410501686890413380168716232790432863905419564150362257530346120\ 58349736443/8163862788439395785724891278807205910099182884341550809\ 8478303252824579556977*c_0101_6 + 283051085185038864658076218574651\ 35218598625455662642986228013256325826463632/2721287596146465261908\ 2970929357353033663942947805169366159434417608193185659, c_0101_0 + 303522600655290746378263022510424512661537576789461260436708\ 18664484562351923/8163862788439395785724891278807205910099182884341\ 5508098478303252824579556977*c_0101_6^30 + 5863972367927985380809154317331668606770304096603319634684284914503\ 88763498735/8163862788439395785724891278807205910099182884341550809\ 8478303252824579556977*c_0101_6^29 + 1415244968735515205588192695188844017336559986788824911642577156395\ 526278875051/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^28 + 1457844626925063538724153862165855763665721730915653530198534868443\ 5368868940797/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^27 + 9292870031236918632794488273994651667296838698598746638559284200553\ 450999030969/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^26 + 4168935541667141021243082413341271699368905341818481109400624821004\ 4503174153715/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^25 + 2323057135209896130346919494608006651712133640773687938732566390096\ 5229780568112/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^24 - 1153236636334392746541777813032275863377311775041573285241595705323\ 19910729054840/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^23 - 2348118943801219740366916818814392159074226623610527811023783812959\ 33827075611348/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^22 - 2004997638970581819298785911661754549055645780710524136905777133949\ 23984869145837/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^21 - 7307429453760589849867955253748651309795948107674982429527308337960\ 4473332830827/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^20 + 1958223896611535507659003599389407014203971280287904229887813016891\ 96617929401585/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^19 + 3118013092724556840060409858259883453078800324681693730160081646186\ 51310600518887/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^18 - 4715674299494266979451593053950679216800047053228165660998186026912\ 4762635314635/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^17 - 3879290180581552066626767279655982861455095788784916315775425774163\ 64954849475845/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^16 - 4788559289208521104863167142329506467995479723684436240787839390283\ 62696375309211/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^15 - 4468790652920375047383174268272631285552925740119105153408189043024\ 32794184901279/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^14 + 4525735508140120377076074428492370631793336731064636956365947105798\ 85265281112933/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^13 + 1083266379888189160181234607984257372417983620364268778314276550114\ 462819942026393/816386278843939578572489127880720591009918288434155\ 08098478303252824579556977*c_0101_6^12 - 6299656129051256773781557595562200835730036743714979243222782548959\ 40618225538772/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^11 - 9683723033088444665721399436792843211946190122860984679260032622571\ 32959700474705/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^10 + 3896352077503027313198525808704698755990528381168775047214749376386\ 2786726899444/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^9 + 5735810245962210390228732808858404466424375497960081017963033774264\ 88322948483015/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^8 + 3499329128100400046152501388459991111470545513545937464330825052787\ 45646709786391/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^7 + 8065845985975893142219320306954707323549136425398737465862659010157\ 1868147564420/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^6 + 2067658678110940966040726045252297788548866457148347219033402649206\ 93770789118433/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^5 + 7568129117229546658870344826242488479096560061729091140097403692191\ 0863842025241/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^4 - 3405776745630947254686398727403272999639919003202220664925794120336\ 940197604024/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^3 - 7979726670687410235325699172714385123312624836449326777586867925521\ 170842713598/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^2 - 9438260319822432175102906604465030029432294797422838388537040652159\ 762594741715/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6 - 3207095416397791164693399026250845347696606896787934398083177126710\ 00661332421/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659, c_0101_1 - 126758061363218499746802675135723399651178299785864096577045\ 29431531265635012/8163862788439395785724891278807205910099182884341\ 5508098478303252824579556977*c_0101_6^30 - 2404220265168517226854689273115857062199825030882347812183738892487\ 10672389770/8163862788439395785724891278807205910099182884341550809\ 8478303252824579556977*c_0101_6^29 - 5627651895441101938886381563952859559265153398400890910639094782651\ 88473418200/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659*c_0101_6^28 - 5492450082978385396486181174695868821964678270355355747391029996586\ 747822559902/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^27 - 3234434457065195545076222748429429218832180344954739824500413516437\ 718599209314/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^26 - 1398303012571304015658560394996356303702312699003312783324186846832\ 6894926111003/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^25 - 4768962519500618021520278614912231853720677038087382453730205263635\ 567977532502/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^24 + 4983157692839149088263784854970262100100661720679684504726985914184\ 1714447009685/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^23 + 8043709101797814414412930700594599542344462831222280929273958110246\ 9245561277533/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^22 + 5523450425688826944103167148387330850265140028295559748835390259949\ 1628469311122/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^21 + 1097541415100772827555787349555421345993275795873645889857767499217\ 8579915296962/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^20 - 8300369535744276721276024848817141650332727229543747547777398892632\ 4485766814016/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^19 - 1008067793884020136777541403895994260838466344870665163757808414154\ 07562335101763/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^18 + 5543226514835377574044029776887205786158355716307399335183195892977\ 8856389822456/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^17 + 1424762721695746611502467428985831218560035244670116346098727992181\ 90471304916144/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^16 + 1492492428071936945037312148261987921073280743411587766166309152563\ 99935259810661/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^15 + 2694157478151745704605279310682512726246290675542261960007352156815\ 1612177662011/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^14 - 1919312209597742637514351312250104584690534901387099381748128576681\ 43308031540416/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^13 - 2468605546485720465691439367540232438437574743408230859745663941141\ 07883780379503/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^12 + 3521924538747865092532643063622231885656897393203374569844650768390\ 89483993798519/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^11 + 2802222606323712544426242555264696623924248322405147289547879038901\ 42770042883355/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^10 - 1184811561658055846962258891238461129205973112882977992308403257152\ 74009366822323/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^9 - 1987839857189031842175284066243609077204080437730583175956786017857\ 31815006451662/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^8 - 7362051843421820656329204346789362707259682001228243639970648958248\ 0534917885339/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^7 - 2473854595163338118478857781451833841691992694455588851578784992682\ 8754546138659/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^6 - 6084333164569444024628706164073071990326045482649606333564667148889\ 5136777918459/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^5 - 1087619601471653423958089240654698839807012249208339649540615016979\ 7019416817952/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^4 + 2637231270527643851997788577738755422841271157405578001832285057838\ 097245835920/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^3 + 2274352272627458942522958637260137069716938572855133934152233267789\ 910806603705/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^2 + 1370960693966577748404474109910244628170476524807963338220408677458\ 791540430476/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6 + 7129461454814615714963411874698828352808361424839375724917959909915\ 735525042/272128759614646526190829709293573530336639429478051693661\ 59434417608193185659, c_0101_2 + 158148043905122612031181561784999814048625690519916487302910\ 89527311218136644/8163862788439395785724891278807205910099182884341\ 5508098478303252824579556977*c_0101_6^30 + 3037724080178697045284056263192205561194116036201222699747809417908\ 23758768465/8163862788439395785724891278807205910099182884341550809\ 8478303252824579556977*c_0101_6^29 + 7262221518684366209873367643738704074012122661222066585173659844706\ 17105334638/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659*c_0101_6^28 + 7359775709854534907420125319892322601996889260273649721390619952389\ 160140740081/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6^27 + 4584531355254031260249587074176963223344782912057782805267131549845\ 319317330045/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^26 + 2034757804790132851761874410945462107954399689466441477332154092590\ 5447729143159/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^25 + 1011824068287425029682177787595905162693845945486879782417994860932\ 0617277938215/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^24 - 6080910317949608893857542646503829131549554947423263401111172182243\ 3241736523013/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^23 - 1154155257275601188457405533934833942376151286813340899807254075982\ 12181623237111/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^22 - 9304266077824982047093491666772452016070339306551065311180172382033\ 3407908068625/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^21 - 3008871586477977326495231547139562477032492526716712020827905882260\ 9959861756448/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^20 + 1026147417370939358773230595928299981591402578102727866744986046552\ 72800277810811/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^19 + 1509050167769435529972789236586775398830395093286935135548453583291\ 12435728994930/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^18 - 3900243063883320594808978265067409152016773378109394021979753304027\ 4841943146842/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^17 - 1947245155641069124998892872928670748407076593072721016018290691116\ 10544353689448/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^16 - 2294039679182137907161514508104877963225465691640734932833349639055\ 30928218921764/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^15 - 1688740781286242835503199288859819507960475418716802307874962687239\ 47638533208508/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^14 + 2377654257835837060732972453044450500656785655466202811241802428934\ 93287488372172/2721287596146465261908297092935735303366394294780516\ 9366159434417608193185659*c_0101_6^13 + 4836694173337821710604144993914029277893275163341001011913356419955\ 73333735006984/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^12 - 3650503703937981766200776226237361544556456004716669364341363796932\ 57327056341676/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^11 - 4560218851148304098910197196500463026914109520294362695813325668270\ 17608585233369/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^10 + 6049339483524058676288330938156388698562651524659522148185172729686\ 2720226906389/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^9 + 2839814979911305711537115010473841975167139407102110222854866527001\ 21977396325815/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^8 + 1541489958490544334337762408858898093232401198633011233809106898172\ 47789128576742/8163862788439395785724891278807205910099182884341550\ 8098478303252824579556977*c_0101_6^7 + 3817878233886120180170899802418620406069779797744351738565375602284\ 5373990242477/27212875961464652619082970929357353033663942947805169\ 366159434417608193185659*c_0101_6^6 + 9713230171101092547653550186092021285559433030459968629674705304677\ 6104808519316/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^5 + 3086135395774389047139909269130915552932843283959118886777972572248\ 1543449586662/81638627884393957857248912788072059100991828843415508\ 098478303252824579556977*c_0101_6^4 - 2311154967523655501193186145535519411205624611052175454488739085003\ 470386138389/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^3 - 3821097948277832422524242569669925618277052621871423596031181081769\ 575787407343/272128759614646526190829709293573530336639429478051693\ 66159434417608193185659*c_0101_6^2 - 3943429790688414573636202155404325575007955567797092050860558359683\ 619540386673/816386278843939578572489127880720591009918288434155080\ 98478303252824579556977*c_0101_6 - 1096443572635137062436444755048940517009530745063288610410557044671\ 20040572216/2721287596146465261908297092935735303366394294780516936\ 6159434417608193185659, c_0101_6^31 + 20*c_0101_6^30 + 153*c_0101_6^29 + 575*c_0101_6^28 + 1242*c_0101_6^27 + 1988*c_0101_6^26 + 1682*c_0101_6^25 - 3304*c_0101_6^24 - 10327*c_0101_6^23 - 11770*c_0101_6^22 - 6755*c_0101_6^21 + 17808*c_0101_6^20 + 43992*c_0101_6^19 + 15813*c_0101_6^18 - 42048*c_0101_6^17 - 73026*c_0101_6^16 - 46111*c_0101_6^15 + 35508*c_0101_6^14 + 66059*c_0101_6^13 + 2384*c_0101_6^12 - 46394*c_0101_6^11 - 19673*c_0101_6^10 + 20270*c_0101_6^9 + 24095*c_0101_6^8 + 15432*c_0101_6^7 + 12127*c_0101_6^6 + 7012*c_0101_6^5 + 1260*c_0101_6^4 - 1026*c_0101_6^3 - 829*c_0101_6^2 - 234*c_0101_6 - 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB