Magma V2.19-8 Tue Aug 20 2013 23:38:46 on localhost [Seed = 1781272096] Type ? for help. Type -D to quit. Loading file "K11a211__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a211 geometric_solution 10.88047437 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224749468689 0.857519860032 0 2 2 5 0132 0321 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.806432922532 0.625940324095 1 0 5 1 2103 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 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.806432922532 0.625940324095 5 6 7 0 0132 0132 0132 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 1 -1 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.382649269849 0.568929056793 7 5 0 6 0132 0132 0132 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 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.382649269849 0.568929056793 3 4 1 2 0132 0132 0132 0132 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 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224749468689 0.857519860032 8 3 4 9 0132 0132 0132 0132 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 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.716808252255 1.076114538222 4 8 10 3 0132 0132 0132 0132 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 1 0 -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.716808252255 1.076114538222 6 7 9 10 0132 0132 0213 3120 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 0 1 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.150491097115 0.837613287105 10 8 6 11 1302 0213 0132 0132 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 -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.753898625483 0.481877623523 8 9 11 7 3120 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753898625483 0.481877623523 11 11 9 10 1302 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870634409057 0.609932612944 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_3'], 'c_1001_8' : d['c_1001_3'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_11']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_1001_0, c_1001_2, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 4192858870915398445252808176004816/32797998441738773499049432630075\ *c_1100_0^32 - 7509118701803508818202948163487614/32797998441738773\ 499049432630075*c_1100_0^31 + 15215739499032068933886856978891038/3\ 2797998441738773499049432630075*c_1100_0^30 + 7521142482348258956601823408057087/6559599688347754699809886526015*\ c_1100_0^29 + 20897616513248202029533582357706373/32797998441738773\ 499049432630075*c_1100_0^28 - 27069895756332485063256058507517866/3\ 2797998441738773499049432630075*c_1100_0^27 - 190795464637347806465468352207305563/327979984417387734990494326300\ 75*c_1100_0^26 - 289474921353452959251208134172463367/3279799844173\ 8773499049432630075*c_1100_0^25 + 457630261370043240859360943449219\ 3/937085669763964957115698075145*c_1100_0^24 + 888593362213349137470261747848583063/327979984417387734990494326300\ 75*c_1100_0^23 + 26833485356397701375537330518973161/93708566976396\ 4957115698075145*c_1100_0^22 - 249037563303727622587664821127605709\ /32797998441738773499049432630075*c_1100_0^21 - 48179476452960701963279419625223609/669346906974260683654070053675*\ c_1100_0^20 - 3288152281422770251038162327731359092/327979984417387\ 73499049432630075*c_1100_0^19 + 87902436406801141230083431775025633\ /32797998441738773499049432630075*c_1100_0^18 + 1195078428759734615826720212901924472/65595996883477546998098865260\ 15*c_1100_0^17 + 7024235337439568695068446662316068719/327979984417\ 38773499049432630075*c_1100_0^16 - 27450183693947985598775903188438231/3279799844173877349904943263007\ 5*c_1100_0^15 - 9920046668970625427039690582202943694/3279799844173\ 8773499049432630075*c_1100_0^14 - 117060026953002744426833941889434\ 54853/32797998441738773499049432630075*c_1100_0^13 + 226111148421122024434140943815462219/327979984417387734990494326300\ 75*c_1100_0^12 + 546111884422566941995172503503491743/1311919937669\ 550939961977305203*c_1100_0^11 + 1231288147000281038350229858878812\ 2987/32797998441738773499049432630075*c_1100_0^10 - 1948573399350750698957018988399384852/32797998441738773499049432630\ 075*c_1100_0^9 - 12088354489010147110821892841905448438/32797998441\ 738773499049432630075*c_1100_0^8 - 1483966427081181363656432970361408076/65595996883477546998098865260\ 15*c_1100_0^7 + 559887992811053661721636330904895439/65595996883477\ 54699809886526015*c_1100_0^6 + 546939100672260764879668935500126346\ 8/32797998441738773499049432630075*c_1100_0^5 + 382316298934917845721997353323145642/655959968834775469980988652601\ 5*c_1100_0^4 - 150674177214423239825436562514484398/655959968834775\ 4699809886526015*c_1100_0^3 - 897446439877161251339014070650041714/\ 32797998441738773499049432630075*c_1100_0^2 - 43941513474072336309082457904524732/4685428348819824785578490375725\ *c_1100_0 - 38479531113223447603644796994702054/3279799844173877349\ 9049432630075, c_0011_0 - 1, c_0011_10 + 551748951307822688440288/5919495087103786722565289*c_1100_0\ ^32 - 987079994720270752901660/5919495087103786722565289*c_1100_0^3\ 1 - 5738996788993936460276918/5919495087103786722565289*c_1100_0^30 + 2749533191840580836699998/5919495087103786722565289*c_1100_0^29 + 15381153518423642677067969/5919495087103786722565289*c_1100_0^28 + 10681488530966827783349537/5919495087103786722565289*c_1100_0^27 + 13377742001078647575457355/5919495087103786722565289*c_1100_0^26 - 49816018368815169136894989/5919495087103786722565289*c_1100_0^25 - 158324464083509081962820779/5919495087103786722565289*c_1100_0^24 - 26785975339461362344813601/5919495087103786722565289*c_1100_0^23 + 292235259463480675137751671/5919495087103786722565289*c_1100_0^22 + 428780186746690984919076215/5919495087103786722565289*c_1100_0^21 + 164972891127543403292796963/5919495087103786722565289*c_1100_0^20 - 638986092749362534371268977/5919495087103786722565289*c_1100_0^19 - 1455303482883821634144099423/5919495087103786722565289*c_1100_0^18 - 616402353958530419726924344/5919495087103786722565289*c_1100_0^17 + 1847608904354105404615699231/5919495087103786722565289*c_1100_0^16 + 2892812257813571510084742405/5919495087103786722565289*c_1100_0^15 + 938333583843626922574637433/5919495087103786722565289*c_1100_0^14 - 2874010902350004368217681736/5919495087103786722565289*c_1100_0^13 - 4789701733468135918647630281/5919495087103786722565289*c_1100_0^12 - 991945623638734125396698847/5919495087103786722565289*c_1100_0^11 + 4445857669887539366325119805/5919495087103786722565289*c_1100_0^10 + 4684113273591334776286557732/5919495087103786722565289*c_1100_0^9 - 130497031659821175908596429/5919495087103786722565289*c_1100_0^8 - 4069470561717843296436715374/5919495087103786722565289*c_1100_0^7 - 2487927376970198313976295811/5919495087103786722565289*c_1100_0^6 + 1128595903012890682462138911/5919495087103786722565289*c_1100_0^5 + 1622846515664301843319113699/5919495087103786722565289*c_1100_0^4 + 301114638452862828100573861/5919495087103786722565289*c_1100_0^3 - 282191037877978593398487197/5919495087103786722565289*c_1100_0^2 - 182052911183680561158205354/5919495087103786722565289*c_1100_0 - 28724384548894617427560237/5919495087103786722565289, c_0011_11 + 1601770666053304513315316/5919495087103786722565289*c_1100_\ 0^32 + 2439542779949803003375855/5919495087103786722565289*c_1100_0\ ^31 - 7362181183780681266591062/5919495087103786722565289*c_1100_0^\ 30 - 12123312729587222130844030/5919495087103786722565289*c_1100_0^\ 29 + 863858994894743820989977/5919495087103786722565289*c_1100_0^28 + 12188599375558103849531645/5919495087103786722565289*c_1100_0^27 + 63563423666164912887379100/5919495087103786722565289*c_1100_0^26 + 78392881425930222210072521/5919495087103786722565289*c_1100_0^25 - 118573391128970329661574855/5919495087103786722565289*c_1100_0^24 - 301564468192187275030868279/5919495087103786722565289*c_1100_0^23 - 151279443173653967122516885/5919495087103786722565289*c_1100_0^22 + 280044417339625634510103909/5919495087103786722565289*c_1100_0^21 + 778313008051014749748602591/5919495087103786722565289*c_1100_0^20 + 700073265574228067765320556/5919495087103786722565289*c_1100_0^19 - 723339462555059462590064206/5919495087103786722565289*c_1100_0^18 - 2150276338631990588262591112/5919495087103786722565289*c_1100_0^17 - 1114976314381473307422623152/5919495087103786722565289*c_1100_0^16 + 1660204451788192602495647454/5919495087103786722565289*c_1100_0^15 + 3411021737023857276879663508/5919495087103786722565289*c_1100_0^14 + 1731018972124253241632062037/5919495087103786722565289*c_1100_0^13 - 2965414110250711237124286523/5919495087103786722565289*c_1100_0^12 - 4736943541325003641807713080/5919495087103786722565289*c_1100_0^11 - 627204417096560027891228085/5919495087103786722565289*c_1100_0^10 + 3992434340243270811950760366/5919495087103786722565289*c_1100_0^9 + 3539101712939178696014499303/5919495087103786722565289*c_1100_0^8 - 964667558544439069883280388/5919495087103786722565289*c_1100_0^7 - 3111318592267899637927681819/5919495087103786722565289*c_1100_0^6 - 820837288982658558313123775/5919495087103786722565289*c_1100_0^5 + 1130759020218921603951285985/5919495087103786722565289*c_1100_0^4 + 689927806587353746245906884/5919495087103786722565289*c_1100_0^3 - 64591168013295073594924672/5919495087103786722565289*c_1100_0^2 - 165028758825574485619036234/5919495087103786722565289*c_1100_0 - 42020762904518472930092392/5919495087103786722565289, c_0011_3 + c_1100_0, c_0101_0 - 1811432167085423083501561/5919495087103786722565289*c_1100_0\ ^32 - 1452658593147117000321246/5919495087103786722565289*c_1100_0^\ 31 + 9041297048541031468416401/5919495087103786722565289*c_1100_0^3\ 0 + 9024938516649820956573520/5919495087103786722565289*c_1100_0^29 - 4607575792898286008089166/5919495087103786722565289*c_1100_0^28 - 16304727257812435403994770/5919495087103786722565289*c_1100_0^27 - 67591073593138834572207522/5919495087103786722565289*c_1100_0^26 - 48821510371071521071580853/5919495087103786722565289*c_1100_0^25 + 165448824806306906873955267/5919495087103786722565289*c_1100_0^24 + 282518865289572067505173130/5919495087103786722565289*c_1100_0^23 + 53216135633284982489648626/5919495087103786722565289*c_1100_0^22 - 391741017880232328194051029/5919495087103786722565289*c_1100_0^21 - 803031159742619028567802852/5919495087103786722565289*c_1100_0^20 - 462230735916814250977865180/5919495087103786722565289*c_1100_0^19 + 1127616888284170261158652518/5919495087103786722565289*c_1100_0^18 + 2155326753915684500871239161/5919495087103786722565289*c_1100_0^17 + 558115354407271609386916177/5919495087103786722565289*c_1100_0^16 - 2253540927709476062549423158/5919495087103786722565289*c_1100_0^15 - 3459721447895412088466649562/5919495087103786722565289*c_1100_0^14 - 943338539631794855028776595/5919495087103786722565289*c_1100_0^13 + 3844259933649960652438415114/5919495087103786722565289*c_1100_0^12 + 4522420404770535755022816796/5919495087103786722565289*c_1100_0^11 - 319109834984487180358307395/5919495087103786722565289*c_1100_0^10 - 4434540674035866940132761838/5919495087103786722565289*c_1100_0^9 - 3129646711894071028971355644/5919495087103786722565289*c_1100_0^8 + 1518835049652534880213870278/5919495087103786722565289*c_1100_0^7 + 3020420470713940767349992778/5919495087103786722565289*c_1100_0^6 + 499588714057016900203108435/5919495087103786722565289*c_1100_0^5 - 1071251858034003034813048068/5919495087103786722565289*c_1100_0^4 - 581232907463232872556834361/5919495087103786722565289*c_1100_0^3 + 39199074845546643453514013/5919495087103786722565289*c_1100_0^2 + 149988640871261955417356549/5919495087103786722565289*c_1100_0 + 35782607277505848459891089/5919495087103786722565289, c_0101_1 + 1343444628343180121818315/5919495087103786722565289*c_1100_0\ ^32 + 521238544679484614660983/5919495087103786722565289*c_1100_0^3\ 1 - 8527785798731824429414474/5919495087103786722565289*c_1100_0^30 - 3811079457074354298988766/5919495087103786722565289*c_1100_0^29 + 12355578133865596192858908/5919495087103786722565289*c_1100_0^28 + 12950080615479588733689110/5919495087103786722565289*c_1100_0^27 + 43949645801645161087276167/5919495087103786722565289*c_1100_0^26 + 2390286034358043602118396/5919495087103786722565289*c_1100_0^25 - 184428685959087911616884002/5919495087103786722565289*c_1100_0^24 - 165006649803285328966192712/5919495087103786722565289*c_1100_0^23 + 157044578648880221166605091/5919495087103786722565289*c_1100_0^22 + 455634093471678348318873306/5919495087103786722565289*c_1100_0^21 + 491127261693662670959905805/5919495087103786722565289*c_1100_0^20 - 163791989678749748635595813/5919495087103786722565289*c_1100_0^19 - 1479413119268569007412894122/5919495087103786722565289*c_1100_0^18 - 1451750553022105003202302137/5919495087103786722565289*c_1100_0^17 + 1013809575925219127984644436/5919495087103786722565289*c_1100_0^16 + 3025742040307378741280666637/5919495087103786722565289*c_1100_0^15 + 2171497814208603867625151133/5919495087103786722565289*c_1100_0^14 - 1635388435760062299939776991/5919495087103786722565289*c_1100_0^13 - 5209836313337244880495645427/5919495087103786722565289*c_1100_0^12 - 2682756839440070151382123461/5919495087103786722565289*c_1100_0^11 + 3632088982679036853324715989/5919495087103786722565289*c_1100_0^10 + 5580761493415388774093996575/5919495087103786722565289*c_1100_0^9 + 1150652850259386470620538643/5919495087103786722565289*c_1100_0^8 - 4091448526358362637513511104/5919495087103786722565289*c_1100_0^7 - 3400433613088089530529750232/5919495087103786722565289*c_1100_0^6 + 835481306216234829243327807/5919495087103786722565289*c_1100_0^5 + 1974536037840417341015735043/5919495087103786722565289*c_1100_0^4 + 528331917457598438831592112/5919495087103786722565289*c_1100_0^3 - 315232930014185387276745281/5919495087103786722565289*c_1100_0^2 - 253019467630059448101479847/5919495087103786722565289*c_1100_0 - 46945353261273633384878097/5919495087103786722565289, c_0101_10 - 723315861618572733714212/5919495087103786722565289*c_1100_0\ ^32 - 860522625010894390291283/5919495087103786722565289*c_1100_0^3\ 1 + 4184681727723749995955532/5919495087103786722565289*c_1100_0^30 + 4634360101530004290702644/5919495087103786722565289*c_1100_0^29 - 3689345942047545655285847/5919495087103786722565289*c_1100_0^28 - 6726968278852194123231990/5919495087103786722565289*c_1100_0^27 - 29664180550204636486167746/5919495087103786722565289*c_1100_0^26 - 24813832715244128314422801/5919495087103786722565289*c_1100_0^25 + 81775371436679643306369609/5919495087103786722565289*c_1100_0^24 + 132812810539090736098222659/5919495087103786722565289*c_1100_0^23 + 13469215363352129014221561/5919495087103786722565289*c_1100_0^22 - 192154821006545544359750034/5919495087103786722565289*c_1100_0^21 - 371841929098157414678084175/5919495087103786722565289*c_1100_0^20 - 206838077637943067059850611/5919495087103786722565289*c_1100_0^19 + 558661174941637160133983315/5919495087103786722565289*c_1100_0^18 + 1048731582198536299928743025/5919495087103786722565289*c_1100_0^17 + 203893034656938774550240708/5919495087103786722565289*c_1100_0^16 - 1134661072805975804620520585/5919495087103786722565289*c_1100_0^15 - 1645074131621264373749624641/5919495087103786722565289*c_1100_0^14 - 418168218022869207408968411/5919495087103786722565289*c_1100_0^13 + 1957070391517209172783307401/5919495087103786722565289*c_1100_0^12 + 2194447987325526047575820966/5919495087103786722565289*c_1100_0^11 - 269089543901238504254268349/5919495087103786722565289*c_1100_0^10 - 2209631414092424331017745368/5919495087103786722565289*c_1100_0^9 - 1510380934593134229092233046/5919495087103786722565289*c_1100_0^8 + 827783499450522550693115226/5919495087103786722565289*c_1100_0^7 + 1519556098249580695299283101/5919495087103786722565289*c_1100_0^6 + 188561199010980727080841139/5919495087103786722565289*c_1100_0^5 - 539696921825074589629403228/5919495087103786722565289*c_1100_0^4 - 276673291286491225424168718/5919495087103786722565289*c_1100_0^3 + 5328748952860436850931019/5919495087103786722565289*c_1100_0^2 + 79819184719326039908158342/5919495087103786722565289*c_1100_0 + 25797162569762527183683008/5919495087103786722565289, c_0101_6 + 1452658593147117000321246/5919495087103786722565289*c_1100_0\ ^32 + 1468522380033200949412650/5919495087103786722565289*c_1100_0^\ 31 - 7197642562678313923980555/5919495087103786722565289*c_1100_0^3\ 0 - 8040227057922381115487476/5919495087103786722565289*c_1100_0^29 + 2797981379856490577068326/5919495087103786722565289*c_1100_0^28 + 11438514167534346636139852/5919495087103786722565289*c_1100_0^27 + 56635322450391393888236862/5919495087103786722565289*c_1100_0^26 + 48213012769538114796267637/5919495087103786722565289*c_1100_0^25 - 125532764354673665515850539/5919495087103786722565289*c_1100_0^24 - 234294799566073357318734340/5919495087103786722565289*c_1100_0^23 - 76293084015614540417455066/5919495087103786722565289*c_1100_0^22 + 281810365411798122677067137/5919495087103786722565289*c_1100_0^21 + 660243551852901969656146658/5919495087103786722565289*c_1100_0^20 + 464947519893947993924186726/5919495087103786722565289*c_1100_0^19 - 799470141125739714549251548/5919495087103786722565289*c_1100_0^18 - 1755194491934767299085829569/5919495087103786722565289*c_1100_0^17 - 646756218739247593805011392/5919495087103786722565289*c_1100_0^16 + 1572328441647610982131504274/5919495087103786722565289*c_1100_0^15 + 2807188248324949206930550916/5919495087103786722565289*c_1100_0^14 + 1098720830906448370961808169/5919495087103786722565289*c_1100_0^13 - 2754863484789855694773395932/5919495087103786722565289*c_1100_0^12 - 3647200894490823688029530174/5919495087103786722565289*c_1100_0^11 - 169822121117825820466173565/5919495087103786722565289*c_1100_0^10 + 3213127320590751722533367960/5919495087103786722565289*c_1100_0^9 + 2605287921971433421599842355/5919495087103786722565289*c_1100_0^8 - 898276864524775249725725446/5919495087103786722565289*c_1100_0^7 - 2228458049639051009016488220/5919495087103786722565289*c_1100_0^6 - 486213241600900946154971991/5919495087103786722565289*c_1100_0^5 + 710540038612815903949070709/5919495087103786722565289*c_1100_0^4 + 435159334759646267176728249/5919495087103786722565289*c_1100_0^3 - 11667363342437136687717584/5919495087103786722565289*c_1100_0^2 - 104741999215771282591737999/5919495087103786722565289*c_1100_0 - 23102582107907886875380162/5919495087103786722565289, c_1001_0 - 1343444628343180121818315/5919495087103786722565289*c_1100_0\ ^32 - 521238544679484614660983/5919495087103786722565289*c_1100_0^3\ 1 + 8527785798731824429414474/5919495087103786722565289*c_1100_0^30 + 3811079457074354298988766/5919495087103786722565289*c_1100_0^29 - 12355578133865596192858908/5919495087103786722565289*c_1100_0^28 - 12950080615479588733689110/5919495087103786722565289*c_1100_0^27 - 43949645801645161087276167/5919495087103786722565289*c_1100_0^26 - 2390286034358043602118396/5919495087103786722565289*c_1100_0^25 + 184428685959087911616884002/5919495087103786722565289*c_1100_0^24 + 165006649803285328966192712/5919495087103786722565289*c_1100_0^23 - 157044578648880221166605091/5919495087103786722565289*c_1100_0^22 - 455634093471678348318873306/5919495087103786722565289*c_1100_0^21 - 491127261693662670959905805/5919495087103786722565289*c_1100_0^20 + 163791989678749748635595813/5919495087103786722565289*c_1100_0^19 + 1479413119268569007412894122/5919495087103786722565289*c_1100_0^18 + 1451750553022105003202302137/5919495087103786722565289*c_1100_0^17 - 1013809575925219127984644436/5919495087103786722565289*c_1100_0^16 - 3025742040307378741280666637/5919495087103786722565289*c_1100_0^15 - 2171497814208603867625151133/5919495087103786722565289*c_1100_0^14 + 1635388435760062299939776991/5919495087103786722565289*c_1100_0^13 + 5209836313337244880495645427/5919495087103786722565289*c_1100_0^12 + 2682756839440070151382123461/5919495087103786722565289*c_1100_0^11 - 3632088982679036853324715989/5919495087103786722565289*c_1100_0^10 - 5580761493415388774093996575/5919495087103786722565289*c_1100_0^9 - 1150652850259386470620538643/5919495087103786722565289*c_1100_0^8 + 4091448526358362637513511104/5919495087103786722565289*c_1100_0^7 + 3400433613088089530529750232/5919495087103786722565289*c_1100_0^6 - 835481306216234829243327807/5919495087103786722565289*c_1100_0^5 - 1974536037840417341015735043/5919495087103786722565289*c_1100_0^4 - 528331917457598438831592112/5919495087103786722565289*c_1100_0^3 + 315232930014185387276745281/5919495087103786722565289*c_1100_0^2 + 253019467630059448101479847/5919495087103786722565289*c_1100_0 + 46945353261273633384878097/5919495087103786722565289, c_1001_2 + 1811432167085423083501561/5919495087103786722565289*c_1100_0\ ^32 + 1452658593147117000321246/5919495087103786722565289*c_1100_0^\ 31 - 9041297048541031468416401/5919495087103786722565289*c_1100_0^3\ 0 - 9024938516649820956573520/5919495087103786722565289*c_1100_0^29 + 4607575792898286008089166/5919495087103786722565289*c_1100_0^28 + 16304727257812435403994770/5919495087103786722565289*c_1100_0^27 + 67591073593138834572207522/5919495087103786722565289*c_1100_0^26 + 48821510371071521071580853/5919495087103786722565289*c_1100_0^25 - 165448824806306906873955267/5919495087103786722565289*c_1100_0^24 - 282518865289572067505173130/5919495087103786722565289*c_1100_0^23 - 53216135633284982489648626/5919495087103786722565289*c_1100_0^22 + 391741017880232328194051029/5919495087103786722565289*c_1100_0^21 + 803031159742619028567802852/5919495087103786722565289*c_1100_0^20 + 462230735916814250977865180/5919495087103786722565289*c_1100_0^19 - 1127616888284170261158652518/5919495087103786722565289*c_1100_0^18 - 2155326753915684500871239161/5919495087103786722565289*c_1100_0^17 - 558115354407271609386916177/5919495087103786722565289*c_1100_0^16 + 2253540927709476062549423158/5919495087103786722565289*c_1100_0^15 + 3459721447895412088466649562/5919495087103786722565289*c_1100_0^14 + 943338539631794855028776595/5919495087103786722565289*c_1100_0^13 - 3844259933649960652438415114/5919495087103786722565289*c_1100_0^12 - 4522420404770535755022816796/5919495087103786722565289*c_1100_0^11 + 319109834984487180358307395/5919495087103786722565289*c_1100_0^10 + 4434540674035866940132761838/5919495087103786722565289*c_1100_0^9 + 3129646711894071028971355644/5919495087103786722565289*c_1100_0^8 - 1518835049652534880213870278/5919495087103786722565289*c_1100_0^7 - 3020420470713940767349992778/5919495087103786722565289*c_1100_0^6 - 499588714057016900203108435/5919495087103786722565289*c_1100_0^5 + 1071251858034003034813048068/5919495087103786722565289*c_1100_0^4 + 581232907463232872556834361/5919495087103786722565289*c_1100_0^3 - 39199074845546643453514013/5919495087103786722565289*c_1100_0^2 - 149988640871261955417356549/5919495087103786722565289*c_1100_0 - 35782607277505848459891089/5919495087103786722565289, c_1001_3 + 1452658593147117000321246/5919495087103786722565289*c_1100_0\ ^32 + 1468522380033200949412650/5919495087103786722565289*c_1100_0^\ 31 - 7197642562678313923980555/5919495087103786722565289*c_1100_0^3\ 0 - 8040227057922381115487476/5919495087103786722565289*c_1100_0^29 + 2797981379856490577068326/5919495087103786722565289*c_1100_0^28 + 11438514167534346636139852/5919495087103786722565289*c_1100_0^27 + 56635322450391393888236862/5919495087103786722565289*c_1100_0^26 + 48213012769538114796267637/5919495087103786722565289*c_1100_0^25 - 125532764354673665515850539/5919495087103786722565289*c_1100_0^24 - 234294799566073357318734340/5919495087103786722565289*c_1100_0^23 - 76293084015614540417455066/5919495087103786722565289*c_1100_0^22 + 281810365411798122677067137/5919495087103786722565289*c_1100_0^21 + 660243551852901969656146658/5919495087103786722565289*c_1100_0^20 + 464947519893947993924186726/5919495087103786722565289*c_1100_0^19 - 799470141125739714549251548/5919495087103786722565289*c_1100_0^18 - 1755194491934767299085829569/5919495087103786722565289*c_1100_0^17 - 646756218739247593805011392/5919495087103786722565289*c_1100_0^16 + 1572328441647610982131504274/5919495087103786722565289*c_1100_0^15 + 2807188248324949206930550916/5919495087103786722565289*c_1100_0^14 + 1098720830906448370961808169/5919495087103786722565289*c_1100_0^13 - 2754863484789855694773395932/5919495087103786722565289*c_1100_0^12 - 3647200894490823688029530174/5919495087103786722565289*c_1100_0^11 - 169822121117825820466173565/5919495087103786722565289*c_1100_0^10 + 3213127320590751722533367960/5919495087103786722565289*c_1100_0^9 + 2605287921971433421599842355/5919495087103786722565289*c_1100_0^8 - 898276864524775249725725446/5919495087103786722565289*c_1100_0^7 - 2228458049639051009016488220/5919495087103786722565289*c_1100_0^6 - 486213241600900946154971991/5919495087103786722565289*c_1100_0^5 + 710540038612815903949070709/5919495087103786722565289*c_1100_0^4 + 435159334759646267176728249/5919495087103786722565289*c_1100_0^3 - 11667363342437136687717584/5919495087103786722565289*c_1100_0^2 - 104741999215771282591737999/5919495087103786722565289*c_1100_0 - 23102582107907886875380162/5919495087103786722565289, c_1100_0^33 + c_1100_0^32 - 5*c_1100_0^31 - 6*c_1100_0^30 + 2*c_1100_0^29 + 10*c_1100_0^28 + 40*c_1100_0^27 + 33*c_1100_0^26 - 91*c_1100_0^25 - 178*c_1100_0^24 - 56*c_1100_0^23 + 229*c_1100_0^22 + 504*c_1100_0^21 + 334*c_1100_0^20 - 624*c_1100_0^19 - 1371*c_1100_0^18 - 529*c_1100_0^17 + 1293*c_1100_0^16 + 2286*c_1100_0^15 + 881*c_1100_0^14 - 2208*c_1100_0^13 - 3098*c_1100_0^12 - 307*c_1100_0^11 + 2718*c_1100_0^10 + 2402*c_1100_0^9 - 549*c_1100_0^8 - 2010*c_1100_0^7 - 713*c_1100_0^6 + 584*c_1100_0^5 + 520*c_1100_0^4 + 59*c_1100_0^3 - 98*c_1100_0^2 - 48*c_1100_0 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB