Magma V2.19-8 Tue Aug 20 2013 23:51:03 on localhost [Seed = 1578644822] Type ? for help. Type -D to quit. Loading file "L13a5003__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5003 geometric_solution 10.42639946 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 1 0132 0132 0321 0321 0 1 1 1 0 0 0 0 0 0 1 -1 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 -1 0 1 -1 0 -1 2 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.861886145312 0.781107119613 0 0 4 3 0132 0321 0132 0132 0 1 1 1 0 0 -1 1 0 0 0 0 1 -1 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 1 0 -1 0 -1 1 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362970143429 0.577325159570 3 0 0 5 0321 0132 0321 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 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 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861886145312 0.781107119613 2 4 1 6 0321 0132 0132 0132 0 1 1 1 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 0 -1 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 0 0 2.004282694365 1.733743427329 6 3 7 1 0132 0132 0132 0132 0 1 1 1 0 0 -1 1 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 0 -1 1 2 0 0 -2 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.135784551918 0.694457567213 7 8 2 8 0213 0132 0132 0213 0 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 1 -1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715912257393 1.156533853033 4 7 3 9 0132 0132 0132 0132 0 1 1 1 0 1 -1 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 1 -1 0 0 0 0 0 -2 2 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302406087320 0.514752785326 5 6 9 4 0213 0132 0132 0132 0 1 1 1 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 0 -1 1 0 -1 0 0 1 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.071884269417 1.133281329431 10 5 9 5 0132 0132 0213 0213 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 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 0 0 0 0 0 0.715912257393 1.156533853033 10 8 6 7 2103 0213 0132 0132 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 0 0 0 0 0 0 0 0 0 1 0 -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.200304921428 0.815450256441 8 11 9 11 0132 0132 2103 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687318473140 0.558413292735 10 10 11 11 3201 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559596521466 0.133940393832 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : d['c_0011_9'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_7'], 'c_1001_8' : d['c_1001_7'], 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_0110_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_1100_8' : d['c_1001_7'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_1001_7'], 'c_1010_5' : d['c_1001_7'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_4'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_7'], 'c_1010_8' : d['c_1001_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : 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_0110_11'], 'c_0110_10' : d['c_0011_9'], 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0011_9'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_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_3, c_0011_9, c_0101_0, c_0101_10, c_0110_11, c_1001_0, c_1001_1, c_1001_4, c_1001_7, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 19171875828918248114240706856093/1891312173243454000046479654600*c_\ 1001_7^19 - 16951111229654067149467824795497/1719374702948594545496\ 79968600*c_1001_7^18 - 813042775860744816414117081863367/1891312173\ 243454000046479654600*c_1001_7^17 - 1421666437404583771723155091705827/1891312173243454000046479654600*\ c_1001_7^16 - 1057221081546433771934596269598777/945656086621727000\ 023239827300*c_1001_7^15 - 660573677579365056042684849743071/472828\ 043310863500011619913650*c_1001_7^14 - 216246639106473603817514131692003/189131217324345400004647965460*c_\ 1001_7^13 - 18943464875872471460614382679113/9456560866217270000232\ 398273*c_1001_7^12 - 5022106421145617075388234401578563/18913121732\ 43454000046479654600*c_1001_7^11 - 231897999353162362130802658119209/75652486929738160001859186184*c_1\ 001_7^10 - 7178132725664834818933594200872623/189131217324345400004\ 6479654600*c_1001_7^9 - 1006445029745969434492516370118663/37826243\ 4648690800009295930920*c_1001_7^8 - 92811899960903617268006228378032/47282804331086350001161991365*c_10\ 01_7^7 - 273202758366065712061533841813556/236414021655431750005809\ 956825*c_1001_7^6 + 22115406988066380246519277422331/94565608662172\ 700002323982730*c_1001_7^5 + 4522829925372038011535909845127/378262\ 43464869080000929593092*c_1001_7^4 + 469544509556371778683443875209807/1891312173243454000046479654600*c\ _1001_7^3 + 22186332376965610101240612402313/1891312173243454000046\ 479654600*c_1001_7^2 + 9520136301509854992816567808847/189131217324\ 3454000046479654600*c_1001_7 - 24089838632216161928492513420323/189\ 1312173243454000046479654600, c_0011_0 - 1, c_0011_10 + 774639959093039289163/1726900535482226086783*c_1001_7^19 - 7495749322206606318671/1726900535482226086783*c_1001_7^18 - 33608869107131862612523/1726900535482226086783*c_1001_7^17 - 55234374961663103647146/1726900535482226086783*c_1001_7^16 - 72576806449691510493180/1726900535482226086783*c_1001_7^15 - 86749345722637912891559/1726900535482226086783*c_1001_7^14 - 59915424488611665020766/1726900535482226086783*c_1001_7^13 - 119070561860024524252854/1726900535482226086783*c_1001_7^12 - 186938117531994285303983/1726900535482226086783*c_1001_7^11 - 187966473532978392648480/1726900535482226086783*c_1001_7^10 - 223601568689414890278015/1726900535482226086783*c_1001_7^9 - 138554209408564221919547/1726900535482226086783*c_1001_7^8 - 59932395771537690960730/1726900535482226086783*c_1001_7^7 - 47102448853848068562614/1726900535482226086783*c_1001_7^6 + 37253813685873167093758/1726900535482226086783*c_1001_7^5 + 20468743290245021231673/1726900535482226086783*c_1001_7^4 - 10493658957988641694839/1726900535482226086783*c_1001_7^3 - 7314922721136005700070/1726900535482226086783*c_1001_7^2 - 3547854540463933030299/1726900535482226086783*c_1001_7 - 121593621074541532901/1726900535482226086783, c_0011_3 + 1411961810713911729349/3453801070964452173566*c_1001_7^19 - 14220857741060192588525/3453801070964452173566*c_1001_7^18 - 54798209080732545856037/3453801070964452173566*c_1001_7^17 - 87407102359599550100105/3453801070964452173566*c_1001_7^16 - 65816255529410797457006/1726900535482226086783*c_1001_7^15 - 78052686699445674861409/1726900535482226086783*c_1001_7^14 - 56367760403116206884547/1726900535482226086783*c_1001_7^13 - 124998983134443533038832/1726900535482226086783*c_1001_7^12 - 288308272786014922586053/3453801070964452173566*c_1001_7^11 - 349040655283704131128451/3453801070964452173566*c_1001_7^10 - 439251184309078800459159/3453801070964452173566*c_1001_7^9 - 238020653848809012832899/3453801070964452173566*c_1001_7^8 - 109549418543167752859913/1726900535482226086783*c_1001_7^7 - 50514029090850363442283/1726900535482226086783*c_1001_7^6 + 27621795623035973252727/1726900535482226086783*c_1001_7^5 - 12573363266440887836575/1726900535482226086783*c_1001_7^4 + 41726584250826672880275/3453801070964452173566*c_1001_7^3 - 23087670768628066396679/3453801070964452173566*c_1001_7^2 - 7530190549381114823645/3453801070964452173566*c_1001_7 - 5053496006687271478369/3453801070964452173566, c_0011_9 + 667867008613170367573/3453801070964452173566*c_1001_7^19 - 6738979073607858140565/3453801070964452173566*c_1001_7^18 - 26161906047687085997541/3453801070964452173566*c_1001_7^17 - 37026741514404242389173/3453801070964452173566*c_1001_7^16 - 24212536851002890198048/1726900535482226086783*c_1001_7^15 - 28793886866417669655312/1726900535482226086783*c_1001_7^14 - 16398557844304161792647/1726900535482226086783*c_1001_7^13 - 47228417042065318493215/1726900535482226086783*c_1001_7^12 - 125668685961284239569585/3453801070964452173566*c_1001_7^11 - 115069179139935962608863/3453801070964452173566*c_1001_7^10 - 151969859424862191289271/3453801070964452173566*c_1001_7^9 - 69885230968798163148417/3453801070964452173566*c_1001_7^8 - 20289059371497092651245/1726900535482226086783*c_1001_7^7 - 16292264400614961747165/1726900535482226086783*c_1001_7^6 + 22075471200375668779987/1726900535482226086783*c_1001_7^5 + 1113201095150634718284/1726900535482226086783*c_1001_7^4 - 6528580338532646675577/3453801070964452173566*c_1001_7^3 - 5255975274529422068439/3453801070964452173566*c_1001_7^2 - 1411961810713911729349/3453801070964452173566*c_1001_7 + 101239633921075295035/3453801070964452173566, c_0101_0 - 1075337187670921173131/1726900535482226086783*c_1001_7^19 + 20123963173344144234703/3453801070964452173566*c_1001_7^18 + 50373825044594309148516/1726900535482226086783*c_1001_7^17 + 175125818518461583221671/3453801070964452173566*c_1001_7^16 + 110012891207169837121583/1726900535482226086783*c_1001_7^15 + 131107371805224375263295/1726900535482226086783*c_1001_7^14 + 93357226664505000495669/1726900535482226086783*c_1001_7^13 + 159614062445792042352428/1726900535482226086783*c_1001_7^12 + 294880573703109457117296/1726900535482226086783*c_1001_7^11 + 577580853613940612054471/3453801070964452173566*c_1001_7^10 + 323977207052088194832604/1726900535482226086783*c_1001_7^9 + 447097191813374462415975/3453801070964452173566*c_1001_7^8 + 59604171593404976744688/1726900535482226086783*c_1001_7^7 + 59539512282143229879732/1726900535482226086783*c_1001_7^6 - 52960511337482306445874/1726900535482226086783*c_1001_7^5 - 59660763105268087700762/1726900535482226086783*c_1001_7^4 + 29466079890890398116106/1726900535482226086783*c_1001_7^3 + 32061212000828592980091/3453801070964452173566*c_1001_7^2 + 9168285523558745849234/1726900535482226086783*c_1001_7 - 2449248211897692082185/3453801070964452173566, c_0101_10 + 1448040284265003283291/3453801070964452173566*c_1001_7^19 - 13311235296589289319419/3453801070964452173566*c_1001_7^18 - 69907131931028571564211/3453801070964452173566*c_1001_7^17 - 130556277935748775589733/3453801070964452173566*c_1001_7^16 - 87091211667011157533884/1726900535482226086783*c_1001_7^15 - 106406099047192414813032/1726900535482226086783*c_1001_7^14 - 86077080873081377005168/1726900535482226086783*c_1001_7^13 - 128382345329853415393051/1726900535482226086783*c_1001_7^12 - 448996299069193826242711/3453801070964452173566*c_1001_7^11 - 481961144046552417629755/3453801070964452173566*c_1001_7^10 - 538379762913391973536633/3453801070964452173566*c_1001_7^9 - 418549356314198804444725/3453801070964452173566*c_1001_7^8 - 92090921323107201921476/1726900535482226086783*c_1001_7^7 - 66075392984371182378404/1726900535482226086783*c_1001_7^6 + 17620641365862720610438/1726900535482226086783*c_1001_7^5 + 42038016321015313536485/1726900535482226086783*c_1001_7^4 - 18659676091754938658075/3453801070964452173566*c_1001_7^3 - 19336112370225302765087/3453801070964452173566*c_1001_7^2 - 12149205087615137538967/3453801070964452173566*c_1001_7 - 1655149052862994795151/3453801070964452173566, c_0110_11 + 601330426913397030366/1726900535482226086783*c_1001_7^19 - 11956027459584696126775/3453801070964452173566*c_1001_7^18 - 24446999928429177124014/1726900535482226086783*c_1001_7^17 - 73976673883728559659839/3453801070964452173566*c_1001_7^16 - 48954839059358252778510/1726900535482226086783*c_1001_7^15 - 58001304400572513779351/1726900535482226086783*c_1001_7^14 - 35750218153022018449979/1726900535482226086783*c_1001_7^13 - 88164560615812155217493/1726900535482226086783*c_1001_7^12 - 124384934328838449549048/1726900535482226086783*c_1001_7^11 - 240676430091968862820065/3453801070964452173566*c_1001_7^10 - 153373708067242866860704/1726900535482226086783*c_1001_7^9 - 157157461306825107311977/3453801070964452173566*c_1001_7^8 - 39078996938052251645253/1726900535482226086783*c_1001_7^7 - 32159320789658477327427/1726900535482226086783*c_1001_7^6 + 36691736249902656781358/1726900535482226086783*c_1001_7^5 + 6908686836750420224631/1726900535482226086783*c_1001_7^4 - 7014151115799416314473/1726900535482226086783*c_1001_7^3 - 10112596787281107190945/3453801070964452173566*c_1001_7^2 - 1800479132197929508076/1726900535482226086783*c_1001_7 + 108774656858950339937/3453801070964452173566, c_1001_0 - 1, c_1001_1 + 366761463981409204217/1726900535482226086783*c_1001_7^19 - 6734613068435775873173/3453801070964452173566*c_1001_7^18 - 18025970841132505404692/1726900535482226086783*c_1001_7^17 - 60742937124118671006877/3453801070964452173566*c_1001_7^16 - 34068948742180723536939/1726900535482226086783*c_1001_7^15 - 41012171850420707293075/1726900535482226086783*c_1001_7^14 - 27031007131171335126979/1726900535482226086783*c_1001_7^13 - 46152719306730745964867/1726900535482226086783*c_1001_7^12 - 106860605167987637433154/1726900535482226086783*c_1001_7^11 - 175906221798546170616529/3453801070964452173566*c_1001_7^10 - 95152241416822193762302/1726900535482226086783*c_1001_7^9 - 141963295934323969397871/3453801070964452173566*c_1001_7^8 + 3567312443289735479410/1726900535482226086783*c_1001_7^7 - 22407157934026095617936/1726900535482226086783*c_1001_7^6 + 15386863607139756744614/1726900535482226086783*c_1001_7^5 + 26003184603782610785884/1726900535482226086783*c_1001_7^4 - 28034759849779991175264/1726900535482226086783*c_1001_7^3 - 8387227296406399133813/3453801070964452173566*c_1001_7^2 - 2025163295018573029195/1726900535482226086783*c_1001_7 + 6444549783684348421531/3453801070964452173566, c_1001_4 - 708575723689511968914/1726900535482226086783*c_1001_7^19 + 6694675052454184180765/1726900535482226086783*c_1001_7^18 + 32347854203461803743824/1726900535482226086783*c_1001_7^17 + 57191440697171456107397/1726900535482226086783*c_1001_7^16 + 75943942464989113584644/1726900535482226086783*c_1001_7^15 + 90095199954803667970220/1726900535482226086783*c_1001_7^14 + 66326219533333665368690/1726900535482226086783*c_1001_7^13 + 113461343139061296387561/1726900535482226086783*c_1001_7^12 + 188019968535121819684142/1726900535482226086783*c_1001_7^11 + 200837315907697220718971/1726900535482226086783*c_1001_7^10 + 228824965635266001070302/1726900535482226086783*c_1001_7^9 + 152566947939525246509052/1726900535482226086783*c_1001_7^8 + 63171484036694712224098/1726900535482226086783*c_1001_7^7 + 37132354348117134261796/1726900535482226086783*c_1001_7^6 - 37573647730342549701260/1726900535482226086783*c_1001_7^5 - 33657578501485476914878/1726900535482226086783*c_1001_7^4 + 1431320041110406940842/1726900535482226086783*c_1001_7^3 + 11836992352211096923139/1726900535482226086783*c_1001_7^2 + 7143122228540172820039/1726900535482226086783*c_1001_7 - 1456150285071124003893/1726900535482226086783, c_1001_7^20 - 10*c_1001_7^19 - 40*c_1001_7^18 - 60*c_1001_7^17 - 79*c_1001_7^16 - 90*c_1001_7^15 - 52*c_1001_7^14 - 140*c_1001_7^13 - 191*c_1001_7^12 - 194*c_1001_7^11 - 236*c_1001_7^10 - 104*c_1001_7^9 - 55*c_1001_7^8 - 26*c_1001_7^7 + 66*c_1001_7^6 + 10*c_1001_7^5 - c_1001_7^4 - 18*c_1001_7^3 - 2*c_1001_7^2 + 1, c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB