Magma V2.19-8 Wed Aug 21 2013 00:57:34 on localhost [Seed = 2783166312] Type ? for help. Type -D to quit. Loading file "L13n4359__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4359 geometric_solution 12.00802170 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 1 -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.695904143637 1.421122326043 0 5 7 6 0132 0132 0132 0132 1 1 1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 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.616877748561 0.348229024612 8 0 7 9 0132 0132 3120 0132 1 1 1 1 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 -1 0 1 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.176322186477 0.743611006304 6 10 6 0 0132 0132 3012 0132 1 1 1 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 1 0 -1 0 0 1 -1 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.325714713693 0.496541533114 11 11 0 5 0132 2310 0132 3012 1 1 1 1 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 -1 1 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.499824123883 0.778534946954 7 1 4 9 0132 0132 1230 2103 1 1 1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498374658015 0.564650963773 3 3 1 12 0132 1230 0132 0132 1 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 0 0 0 0 0 -1 0 1 0 0 0 0 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.961596816808 0.708116827331 5 8 2 1 0132 0132 3120 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 2 -2 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.121306596996 0.867481235045 2 7 9 11 0132 0132 2310 0321 1 1 1 1 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 1 0 -1 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245726777697 1.065357612900 10 8 2 5 2310 3201 0132 2103 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283248483757 1.107223822322 12 3 9 12 0132 0132 3201 2031 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.445364059354 1.076058670579 4 8 12 4 0132 0321 0132 3201 1 1 1 1 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 2 -1 -1 0 0 0 0 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829364726794 0.568128819056 10 10 6 11 0132 1302 0132 0132 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 0 0 0 0 0 0 0 -1 1 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.671621310944 0.793406491096 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_2']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_8']), 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : d['c_0011_9'], 'c_1010_11' : negation(d['c_1001_2']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_12' : 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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_9'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_0101_7']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : negation(d['c_0101_8']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_1001_2']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_7, c_0101_8, c_1001_1, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 846432244481574733476826572896553145908643828/677951958166012587373\ 3082860225057948615119*c_1001_5^14 + 3877113407452803268575109652434916798190110740/22598398605533752912\ 44360953408352649538373*c_1001_5^13 - 15715338670323995097037037022494344704912805439/2259839860553375291\ 244360953408352649538373*c_1001_5^12 + 34261298810546136873999546850276163326482485395/1355903916332025174\ 7466165720450115897230238*c_1001_5^11 + 45792429700942204311804156209084812128469012967/1506559907035583527\ 496240635605568433025582*c_1001_5^10 - 606591525026553305854926615295843224694792430743/135590391633202517\ 47466165720450115897230238*c_1001_5^9 - 1689998939539679096124944298586005821250640051/29540390334031049558\ 749816384422910451482*c_1001_5^8 + 80289488855135557138566658325351202024415079247/2510933178392639212\ 49373439267594738837597*c_1001_5^7 - 7510656004917658951814501387516712436763171756581/13559039163320251\ 747466165720450115897230238*c_1001_5^6 + 5674545291690429320101744900901545280531676529163/13559039163320251\ 747466165720450115897230238*c_1001_5^5 - 590617944771765747506997635260555054372085610655/677951958166012587\ 3733082860225057948615119*c_1001_5^4 - 340111112359458179253548345567396183847171870745/135590391633202517\ 47466165720450115897230238*c_1001_5^3 - 71886146165821128004672881237177950840680811383/1355903916332025174\ 7466165720450115897230238*c_1001_5^2 + 106024438520470992026604038828732777515227589798/677951958166012587\ 3733082860225057948615119*c_1001_5 - 21854264412389094461421009369115776380080926740/6779519581660125873\ 733082860225057948615119, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 65381255314325596491907407014/23449644799339829878420282052\ 3*c_1001_5^14 + 2693362249465583669390501812820/7034893439801948963\ 52608461569*c_1001_5^13 - 21795293850397019080008002810561/14069786\ 87960389792705216923138*c_1001_5^12 + 5137231892713797244126565029575/937985791973593195136811282092*c_10\ 01_5^11 + 47827703805672596729616299112878/703489343980194896352608\ 461569*c_1001_5^10 - 279366199517889119896333090901495/281395737592\ 0779585410433846276*c_1001_5^9 - 181526293791178832014316554822237/\ 1406978687960389792705216923138*c_1001_5^8 + 2007328978130299322315619512891959/2813957375920779585410433846276*\ c_1001_5^7 - 1729658367529736839490196932108909/1406978687960389792\ 705216923138*c_1001_5^6 + 215589620203010822660414058639081/2344964\ 47993398298784202820523*c_1001_5^5 - 254092158252311420245089617177305/1406978687960389792705216923138*c\ _1001_5^4 - 84696012477080827237321800185201/1406978687960389792705\ 216923138*c_1001_5^3 - 7212166152765514212757472541271/468992895986\ 796597568405641046*c_1001_5^2 + 104163122079102728506530869103629/2\ 813957375920779585410433846276*c_1001_5 - 3202557512918288649032983876237/468992895986796597568405641046, c_0011_9 - 331162340000348757117759294208/70348934398019489635260846156\ 9*c_1001_5^14 + 1514246628705167206920248290962/2344964479933982987\ 84202820523*c_1001_5^13 - 18345035268574762996193603967676/70348934\ 3980194896352608461569*c_1001_5^12 + 12748840029352083111904036686035/1406978687960389792705216923138*c_\ 1001_5^11 + 321454862476384099248284166709169/281395737592077958541\ 0433846276*c_1001_5^10 - 116797426524726850498859697190322/70348934\ 3980194896352608461569*c_1001_5^9 - 203377562683909746624018053609721/937985791973593195136811282092*c_\ 1001_5^8 + 1685188251240103191198306463066199/140697868796038979270\ 5216923138*c_1001_5^7 - 5815619449562978246141919625578251/28139573\ 75920779585410433846276*c_1001_5^6 + 364707824242158399090959032588269/234496447993398298784202820523*c_\ 1001_5^5 - 231995724738598858545091805065385/7034893439801948963526\ 08461569*c_1001_5^4 - 19427339298507816816421203885070/234496447993\ 398298784202820523*c_1001_5^3 - 14796812688141628589120380598332/70\ 3489343980194896352608461569*c_1001_5^2 + 13360952320580303629209864583576/234496447993398298784202820523*c_1\ 001_5 - 32282853145979440563077030183443/28139573759207795854104338\ 46276, c_0101_0 + 462843501266529217804032005432/70348934398019489635260846156\ 9*c_1001_5^14 - 6351647652379055847595837683962/7034893439801948963\ 52608461569*c_1001_5^13 + 25667385753744060119703577842110/70348934\ 3980194896352608461569*c_1001_5^12 - 5970449520642885442719621380025/468992895986796597568405641046*c_10\ 01_5^11 - 150135588210525540611928752719185/93798579197359319513681\ 1282092*c_1001_5^10 + 327488394241989856827418183846645/14069786879\ 60389792705216923138*c_1001_5^9 + 285245241758510667507898632348241\ /937985791973593195136811282092*c_1001_5^8 - 1180130508605203657479963141830264/703489343980194896352608461569*c\ _1001_5^7 + 2712430955559136962267238852039843/93798579197359319513\ 6811282092*c_1001_5^6 - 3050211291182225289868427596411421/14069786\ 87960389792705216923138*c_1001_5^5 + 103973882905292478225503755719547/234496447993398298784202820523*c_\ 1001_5^4 + 177904292943556439308579614482029/1406978687960389792705\ 216923138*c_1001_5^3 + 21502190801118219612707931260086/70348934398\ 0194896352608461569*c_1001_5^2 - 58270995763026801796247436557267/7\ 03489343980194896352608461569*c_1001_5 + 46518321418121418233169559398967/2813957375920779585410433846276, c_0101_1 + 102206703019806914229990699622/70348934398019489635260846156\ 9*c_1001_5^14 - 1396273183126820175585066991114/7034893439801948963\ 52608461569*c_1001_5^13 + 11159447701939683670951841431939/14069786\ 87960389792705216923138*c_1001_5^12 - 2146185484084576388453033070807/937985791973593195136811282092*c_10\ 01_5^11 - 33375197940059791183840630837839/937985791973593195136811\ 282092*c_1001_5^10 + 138108147761610740425480971436973/281395737592\ 0779585410433846276*c_1001_5^9 + 198912583222988595588463629418801/\ 2813957375920779585410433846276*c_1001_5^8 - 343395770758529508661064914949883/937985791973593195136811282092*c_\ 1001_5^7 + 1728597828863514571271751543473155/281395737592077958541\ 0433846276*c_1001_5^6 - 614393874095974487382354428529211/140697868\ 7960389792705216923138*c_1001_5^5 + 31470566700907912336686872265277/468992895986796597568405641046*c_1\ 001_5^4 + 15248856226161267324990394741503/468992895986796597568405\ 641046*c_1001_5^3 + 4949633338646197961903067363868/703489343980194\ 896352608461569*c_1001_5^2 - 14068824133344044998291170336057/93798\ 5791973593195136811282092*c_1001_5 + 6436865559610781625226717701869/2813957375920779585410433846276, c_0101_10 + 131681161266180460686272711224/7034893439801948963526084615\ 69*c_1001_5^14 - 1808907766263554226835092811076/703489343980194896\ 352608461569*c_1001_5^13 + 7322350485169297123509973874434/70348934\ 3980194896352608461569*c_1001_5^12 - 2581254266288286608127413727020/703489343980194896352608461569*c_10\ 01_5^11 - 64475951077596261293751045724193/140697868796038979270521\ 6923138*c_1001_5^10 + 31297847064178718609899596488667/468992895986\ 796597568405641046*c_1001_5^9 + 20466919768650230220970144684630/23\ 4496447993398298784202820523*c_1001_5^8 - 675072765970304123761619820594329/1406978687960389792705216923138*c\ _1001_5^7 + 1160836708557216320329898465270639/14069786879603897927\ 05216923138*c_1001_5^6 - 861964345729274895322673400881807/14069786\ 87960389792705216923138*c_1001_5^5 + 79925923977278576131419462093256/703489343980194896352608461569*c_1\ 001_5^4 + 61340257152509538410052391171609/140697868796038979270521\ 6923138*c_1001_5^3 + 2235126037658863674529183553918/23449644799339\ 8298784202820523*c_1001_5^2 - 17484649457305696012265234344970/7034\ 89343980194896352608461569*c_1001_5 + 1186289022678498139174377434627/234496447993398298784202820523, c_0101_12 - 120396913553181173517169197976/2344964479933982987842028205\ 23*c_1001_5^14 + 4964597571573615081742806942668/703489343980194896\ 352608461569*c_1001_5^13 - 20139358706326108276379844112826/7034893\ 43980194896352608461569*c_1001_5^12 + 7424983210322813536808698244336/703489343980194896352608461569*c_10\ 01_5^11 + 175595862381515193906503411674741/14069786879603897927052\ 16923138*c_1001_5^10 - 43337015832212849489941922712014/23449644799\ 3398298784202820523*c_1001_5^9 - 164305915820122579417909248985819/\ 703489343980194896352608461569*c_1001_5^8 + 1852223507852421942768429230569657/1406978687960389792705216923138*\ c_1001_5^7 - 1072395467162919849483245976790845/4689928959867965975\ 68405641046*c_1001_5^6 + 1221208621294427138744789685847109/7034893\ 43980194896352608461569*c_1001_5^5 - 256935207005538610127906991773630/703489343980194896352608461569*c_\ 1001_5^4 - 26421850320384889278323863891062/23449644799339829878420\ 2820523*c_1001_5^3 - 11191360387847233890561463015219/7034893439801\ 94896352608461569*c_1001_5^2 + 93259415390741233483589066897497/140\ 6978687960389792705216923138*c_1001_5 - 10139627976881241623574626260171/703489343980194896352608461569, c_0101_7 - 221043156395685339174992796524/70348934398019489635260846156\ 9*c_1001_5^14 + 3019375848514918098279242666738/7034893439801948963\ 52608461569*c_1001_5^13 - 4024241094437534149913666811577/234496447\ 993398298784202820523*c_1001_5^12 + 3591064614975574116234745838282/703489343980194896352608461569*c_10\ 01_5^11 + 71620773331256591464113482451697/937985791973593195136811\ 282092*c_1001_5^10 - 24947777260910006423999926026470/2344964479933\ 98298784202820523*c_1001_5^9 - 422097015104715918324572113602149/28\ 13957375920779585410433846276*c_1001_5^8 + 370392915091894475580500113437961/468992895986796597568405641046*c_\ 1001_5^7 - 3758760806294675600918121175282931/281395737592077958541\ 0433846276*c_1001_5^6 + 227317863040316894127070034442482/234496447\ 993398298784202820523*c_1001_5^5 - 41657627264317892748118173434445/234496447993398298784202820523*c_1\ 001_5^4 - 79962956600938129807727626811015/140697868796038979270521\ 6923138*c_1001_5^3 - 25118845399614489057514220036437/1406978687960\ 389792705216923138*c_1001_5^2 + 26114828349933646163722468790618/70\ 3489343980194896352608461569*c_1001_5 - 17459102738097082835094548984141/2813957375920779585410433846276, c_0101_8 - 398177918520285746120660882234/70348934398019489635260846156\ 9*c_1001_5^14 + 5485204270359186301029403944818/7034893439801948963\ 52608461569*c_1001_5^13 - 14905188705695207747058795795959/46899289\ 5986796597568405641046*c_1001_5^12 + 34867373611405617362301966271207/2813957375920779585410433846276*c_\ 1001_5^11 + 129373069795683969316097953116131/937985791973593195136\ 811282092*c_1001_5^10 - 194591962634889645826914895448739/937985791\ 973593195136811282092*c_1001_5^9 - 239251213162515295976204808824319/937985791973593195136811282092*c_\ 1001_5^8 + 4111021856072845103389698118492415/281395737592077958541\ 0433846276*c_1001_5^7 - 2395803723960871978367357200006971/93798579\ 1973593195136811282092*c_1001_5^6 + 2755859230348731192799700335657615/1406978687960389792705216923138*\ c_1001_5^5 - 99789544960331546538754283879247/234496447993398298784\ 202820523*c_1001_5^4 - 81462895343643971433008317184572/70348934398\ 0194896352608461569*c_1001_5^3 - 16984133616940018934294960428636/7\ 03489343980194896352608461569*c_1001_5^2 + 68401115331204351808094855022967/937985791973593195136811282092*c_1\ 001_5 - 14550692885068739290234748023431/93798579197359319513681128\ 2092, c_1001_1 + 156075841724715867279332571526/70348934398019489635260846156\ 9*c_1001_5^14 - 715557278304425961742296125758/23449644799339829878\ 4202820523*c_1001_5^13 + 17438282064635136651609126409115/140697868\ 7960389792705216923138*c_1001_5^12 - 13021881485115994263449164993093/2813957375920779585410433846276*c_\ 1001_5^11 - 151995078939323578343941304775665/281395737592077958541\ 0433846276*c_1001_5^10 + 225621943822030849435427989066331/28139573\ 75920779585410433846276*c_1001_5^9 + 94602727500966915277868023238047/937985791973593195136811282092*c_1\ 001_5^8 - 1603422796462612649137739160055495/2813957375920779585410\ 433846276*c_1001_5^7 + 2789150954284878928241595009238319/281395737\ 5920779585410433846276*c_1001_5^6 - 353322272785946827195528874271611/468992895986796597568405641046*c_\ 1001_5^5 + 223547047956411588551025631917445/1406978687960389792705\ 216923138*c_1001_5^4 + 22541878661733827651803847906565/46899289598\ 6796597568405641046*c_1001_5^3 + 7212901339745107151304843307817/14\ 06978687960389792705216923138*c_1001_5^2 - 26655191123207299390686071957657/937985791973593195136811282092*c_1\ 001_5 + 18499361994725101970105534747251/28139573759207795854104338\ 46276, c_1001_2 + 166830968577730056115266513000/23449644799339829878420282052\ 3*c_1001_5^14 - 2291575725388794592377249178608/2344964479933982987\ 84202820523*c_1001_5^13 + 27841927122756417586078888905718/70348934\ 3980194896352608461569*c_1001_5^12 - 10017614532760834915325193089123/703489343980194896352608461569*c_1\ 001_5^11 - 40585847391803262376313574234774/23449644799339829878420\ 2820523*c_1001_5^10 + 178791596354132353132135610541922/70348934398\ 0194896352608461569*c_1001_5^9 + 229527811749240264087911195876243/\ 703489343980194896352608461569*c_1001_5^8 - 2560616604088177009240259946742607/1406978687960389792705216923138*\ c_1001_5^7 + 4431585535751555745392251999173295/1406978687960389792\ 705216923138*c_1001_5^6 - 1671639154588312568520570826133600/703489\ 343980194896352608461569*c_1001_5^5 + 230766738311100722931160271762253/468992895986796597568405641046*c_\ 1001_5^4 + 206224060516074326764201711923247/1406978687960389792705\ 216923138*c_1001_5^3 + 39137164275096934307771181687419/14069786879\ 60389792705216923138*c_1001_5^2 - 20973490790035210887928441872052/\ 234496447993398298784202820523*c_1001_5 + 25940438934426216797750833354649/1406978687960389792705216923138, c_1001_5^15 - 14*c_1001_5^14 + 237/4*c_1001_5^13 - 277/8*c_1001_5^12 - 953/4*c_1001_5^11 + 1685/4*c_1001_5^10 + 1463/4*c_1001_5^9 - 10719/4*c_1001_5^8 + 20393/4*c_1001_5^7 - 35977/8*c_1001_5^6 + 3123/2*c_1001_5^5 + 45/2*c_1001_5^4 - 19/2*c_1001_5^3 - 1093/8*c_1001_5^2 + 58*c_1001_5 - 53/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.330 Total time: 0.540 seconds, Total memory usage: 32.09MB