Magma V2.19-8 Tue Aug 20 2013 23:51:03 on localhost [Seed = 2766327724] Type ? for help. Type -D to quit. Loading file "L13a5028__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5028 geometric_solution 11.36096478 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 0 1 1 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 0 0 0 0 0 0 0 1 0 -1 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 0.644177746717 0.676766840045 0 1 1 3 0132 3201 2310 1230 1 1 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 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825959817949 0.623340293073 4 0 0 5 0132 0132 0321 0132 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 -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.644177746717 0.676766840045 1 4 0 6 3012 0321 0132 0132 0 1 1 1 0 -1 0 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 -3 1 2 0 0 1 -1 -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.608635574903 1.157612743346 2 7 6 3 0132 0132 0132 0321 0 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630644058936 0.369357090474 8 9 2 9 0132 0132 0132 0213 0 1 1 1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 -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.705327779620 1.061209605412 7 8 3 4 0213 0213 0132 0132 0 1 1 1 0 1 -1 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 2 -2 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.845526688414 0.734071322128 6 4 10 8 0213 0132 0132 0213 0 1 1 1 0 1 0 -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 3 0 -3 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.923506825242 0.726841850535 5 10 6 7 0132 0132 0213 0213 0 1 1 1 0 0 -1 1 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 -2 3 -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.043463360133 0.765854211648 11 5 10 5 0132 0132 0321 0213 0 1 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 0 0 0 0 1 -1 1 0 0 -1 -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.705327779620 1.061209605412 11 8 9 7 2310 0132 0321 0132 0 1 1 1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705327779620 1.061209605412 9 11 10 11 0132 2310 3201 3201 1 1 1 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 0 0 0 0 0 0 0 -1 0 1 -1 0 0 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.522961399533 0.597177117228 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_4'], 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_6'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_1001_6'], '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_6']), '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_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_1100_9' : d['c_1001_10'], 'c_1100_8' : d['c_1001_4'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_1001_4'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_1001_6'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_10'], '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'], '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' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_6'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0101_4']), 'c_0011_10' : 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_3, c_0011_6, c_0101_1, c_0101_10, c_0101_4, c_1001_0, c_1001_10, c_1001_2, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 15293398527732545544946668417763286001360/7754034240801180130308428\ 98896714031951*c_1001_4^21 + 33514895826116473587612338473363174333\ 472/775403424080118013030842898896714031951*c_1001_4^20 + 184203800893819812057409053620626147315824/775403424080118013030842\ 898896714031951*c_1001_4^19 - 4294120976302570652569495571561247246\ 00370/775403424080118013030842898896714031951*c_1001_4^18 - 906683931293670861954969247061464048548178/775403424080118013030842\ 898896714031951*c_1001_4^17 + 2312215143572050938688204556826146248\ 067900/775403424080118013030842898896714031951*c_1001_4^16 + 2235528864764658347112664010647021406722266/77540342408011801303084\ 2898896714031951*c_1001_4^15 - 947830630230286594692323988812115966\ 986054/110771917725731144718691842699530575993*c_1001_4^14 - 347014810106140885098645850176297203387977/110771917725731144718691\ 842699530575993*c_1001_4^13 + 1029915843098035946016715942987458619\ 7535209/775403424080118013030842898896714031951*c_1001_4^12 - 573166944791057128556163816909172753850037/775403424080118013030842\ 898896714031951*c_1001_4^11 - 6564724496037698447457223390941723661\ 403198/775403424080118013030842898896714031951*c_1001_4^10 + 3954606743607418334637149237966472735649217/77540342408011801303084\ 2898896714031951*c_1001_4^9 - 3463552987730822220908451536588757169\ 302867/775403424080118013030842898896714031951*c_1001_4^8 - 2513284144911646588956323407197446746663839/77540342408011801303084\ 2898896714031951*c_1001_4^7 + 8051913994778590958606250511392711051\ 640694/775403424080118013030842898896714031951*c_1001_4^6 - 1134458032534235343172962390796800501810824/77540342408011801303084\ 2898896714031951*c_1001_4^5 - 4023041939003955471363509819389408133\ 397861/775403424080118013030842898896714031951*c_1001_4^4 + 1264245004198337684774624152214664709536135/77540342408011801303084\ 2898896714031951*c_1001_4^3 + 4625200567645981449476778142478144894\ 99150/775403424080118013030842898896714031951*c_1001_4^2 - 66349282025447651637249126966556914041259/7754034240801180130308428\ 98896714031951*c_1001_4 + 2541257082898063058091797021436053936071/\ 775403424080118013030842898896714031951, c_0011_0 - 1, c_0011_10 + 24989639691156157871308957127080/29578390649634849243650289\ 86123*c_1001_4^21 - 54578826167208957126700988916396/29578390649634\ 84924365028986123*c_1001_4^20 - 296345208092095599402338397201886/2\ 957839064963484924365028986123*c_1001_4^19 + 697006964342609977335452739876910/2957839064963484924365028986123*c\ _1001_4^18 + 1421598937476258182969598026746362/2957839064963484924\ 365028986123*c_1001_4^17 - 3738746569841125670002777279360715/29578\ 39064963484924365028986123*c_1001_4^16 - 3325830266076139600567201352870232/2957839064963484924365028986123*\ c_1001_4^15 + 10674577210985377039479145069060105/29578390649634849\ 24365028986123*c_1001_4^14 + 3011742276638427380419243872297500/295\ 7839064963484924365028986123*c_1001_4^13 - 16433602887515636925954722440238673/2957839064963484924365028986123\ *c_1001_4^12 + 2467994465833852341299259513047178/29578390649634849\ 24365028986123*c_1001_4^11 + 10210152238050457946008706840520139/29\ 57839064963484924365028986123*c_1001_4^10 - 7509290769261754142551197674219692/2957839064963484924365028986123*\ c_1001_4^9 + 5929304864430124462889378674544683/2957839064963484924\ 365028986123*c_1001_4^8 + 3684997289788701382012619960503240/295783\ 9064963484924365028986123*c_1001_4^7 - 12964348599133774714715474599799864/2957839064963484924365028986123\ *c_1001_4^6 + 3027059157083704445352736511026684/295783906496348492\ 4365028986123*c_1001_4^5 + 6173119949052054981440752703296247/29578\ 39064963484924365028986123*c_1001_4^4 - 2716306458493325347612967264379510/2957839064963484924365028986123*\ c_1001_4^3 - 538262983684833675501586353728592/29578390649634849243\ 65028986123*c_1001_4^2 + 225328370037173861100398103459362/29578390\ 64963484924365028986123*c_1001_4 - 13838701618150148508475149701265/2957839064963484924365028986123, c_0011_3 + 11794605805755826611195563995240/295783906496348492436502898\ 6123*c_1001_4^21 - 27120932078786954072486134215748/295783906496348\ 4924365028986123*c_1001_4^20 - 136990778739646439522913959883346/29\ 57839064963484924365028986123*c_1001_4^19 + 345905067415615756029791603506632/2957839064963484924365028986123*c\ _1001_4^18 + 633387168389170942915308458085460/29578390649634849243\ 65028986123*c_1001_4^17 - 1851119723681754810176435717927536/295783\ 9064963484924365028986123*c_1001_4^16 - 1363901998158130854374641209956487/2957839064963484924365028986123*\ c_1001_4^15 + 5262933158322614318458661588399399/295783906496348492\ 4365028986123*c_1001_4^14 + 821147792897617345205882796149288/29578\ 39064963484924365028986123*c_1001_4^13 - 8031142133141689845954188720101920/2957839064963484924365028986123*\ c_1001_4^12 + 2114269719378608712678439788740289/295783906496348492\ 4365028986123*c_1001_4^11 + 4834128641522752822793554757661603/2957\ 839064963484924365028986123*c_1001_4^10 - 4173564265488799680250902286834491/2957839064963484924365028986123*\ c_1001_4^9 + 3131049360218729494637867219684864/2957839064963484924\ 365028986123*c_1001_4^8 + 1449821095107355774223565312923953/295783\ 9064963484924365028986123*c_1001_4^7 - 6374489311524371473900144370861523/2957839064963484924365028986123*\ c_1001_4^6 + 2165660750894547222900342722524679/2957839064963484924\ 365028986123*c_1001_4^5 + 2852160224022990233540199593354669/295783\ 9064963484924365028986123*c_1001_4^4 - 1669486009845940611409843385441037/2957839064963484924365028986123*\ c_1001_4^3 - 168120348912450238845015885478730/29578390649634849243\ 65028986123*c_1001_4^2 + 161031597336902360999041278781136/29578390\ 64963484924365028986123*c_1001_4 - 11547836486861605757909987532967/2957839064963484924365028986123, c_0011_6 - 5211410884161803990525594280540/2957839064963484924365028986\ 123*c_1001_4^21 + 12489565399962662516505595777918/2957839064963484\ 924365028986123*c_1001_4^20 + 61765426194867818319623693549099/2957\ 839064963484924365028986123*c_1001_4^19 - 159625034412982199549998208117672/2957839064963484924365028986123*c\ _1001_4^18 - 297425802478489317421731114919119/29578390649634849243\ 65028986123*c_1001_4^17 + 857881176148819295984543251035047/2957839\ 064963484924365028986123*c_1001_4^16 + 706300863749779960469365665931239/2957839064963484924365028986123*c\ _1001_4^15 - 2458055540676459472479476578584982/2957839064963484924\ 365028986123*c_1001_4^14 - 686455931328476605153498401548820/295783\ 9064963484924365028986123*c_1001_4^13 + 3811115648283383315558057968641373/2957839064963484924365028986123*\ c_1001_4^12 - 387188744097534515514768455598231/2957839064963484924\ 365028986123*c_1001_4^11 - 2426487262946394407811378777727706/29578\ 39064963484924365028986123*c_1001_4^10 + 1445529939896247716568512280754402/2957839064963484924365028986123*\ c_1001_4^9 - 1280126232839657236940740959056261/2957839064963484924\ 365028986123*c_1001_4^8 - 776844122240586392259680408167271/2957839\ 064963484924365028986123*c_1001_4^7 + 2975587526602673436181623858229765/2957839064963484924365028986123*\ c_1001_4^6 - 532203896986505094762442176925282/29578390649634849243\ 65028986123*c_1001_4^5 - 1494734607200430120923114135266832/2957839\ 064963484924365028986123*c_1001_4^4 + 502357398947206308232330486182884/2957839064963484924365028986123*c\ _1001_4^3 + 175124315587715757265516085905912/295783906496348492436\ 5028986123*c_1001_4^2 - 28870331631700799281658681416491/2957839064\ 963484924365028986123*c_1001_4 + 4163674325364284677669223422833/29\ 57839064963484924365028986123, c_0101_1 + 3364995864978395446512634023300/2957839064963484924365028986\ 123*c_1001_4^21 - 3921172828178272582066905542710/29578390649634849\ 24365028986123*c_1001_4^20 - 46999681880494041694397229775215/29578\ 39064963484924365028986123*c_1001_4^19 + 52464121465006793178737007051231/2957839064963484924365028986123*c_\ 1001_4^18 + 282032079954276230355365239505426/295783906496348492436\ 5028986123*c_1001_4^17 - 298677010588460121874639847593706/29578390\ 64963484924365028986123*c_1001_4^16 - 933805085773793777182371311721683/2957839064963484924365028986123*c\ _1001_4^15 + 926212882462012301587275778732224/29578390649634849243\ 65028986123*c_1001_4^14 + 1793348174706038420155868974039238/295783\ 9064963484924365028986123*c_1001_4^13 - 1631441870276612558976362806187693/2957839064963484924365028986123*\ c_1001_4^12 - 1808227753503432009098823320832523/295783906496348492\ 4365028986123*c_1001_4^11 + 1424893781799206717051110448237213/2957\ 839064963484924365028986123*c_1001_4^10 + 336186191885702792141457190120996/2957839064963484924365028986123*c\ _1001_4^9 - 2653242580223157259534808931348/29578390649634849243650\ 28986123*c_1001_4^8 + 1227016215539333613943800365471185/2957839064\ 963484924365028986123*c_1001_4^7 - 1193499941795548319116839836884449/2957839064963484924365028986123*\ c_1001_4^6 - 1251773072388147122746704807241268/2957839064963484924\ 365028986123*c_1001_4^5 + 1013238168440658409055978692777020/295783\ 9064963484924365028986123*c_1001_4^4 + 460647706531011233372363363228578/2957839064963484924365028986123*c\ _1001_4^3 - 300068590882128618388868633853509/295783906496348492436\ 5028986123*c_1001_4^2 - 74060819719023144094232012392499/2957839064\ 963484924365028986123*c_1001_4 + 8846692912318445315180731926275/29\ 57839064963484924365028986123, c_0101_10 - 42275371962733859602866895362480/29578390649634849243650289\ 86123*c_1001_4^21 + 80476192386251285185156120789956/29578390649634\ 84924365028986123*c_1001_4^20 + 524366194259663957417709345106230/2\ 957839064963484924365028986123*c_1001_4^19 - 1033787703438954944184362156552483/2957839064963484924365028986123*\ c_1001_4^18 - 2699104554462592534476367185830762/295783906496348492\ 4365028986123*c_1001_4^17 + 5587264013408194366601343631791236/2957\ 839064963484924365028986123*c_1001_4^16 + 7206311667224451134978669155816785/2957839064963484924365028986123*\ c_1001_4^15 - 16128366143334340921833924716674870/29578390649634849\ 24365028986123*c_1001_4^14 - 9621609906400704125282302756557256/295\ 7839064963484924365028986123*c_1001_4^13 + 25325933332412254692716066140088750/2957839064963484924365028986123\ *c_1001_4^12 + 2853149305016409377270695497753641/29578390649634849\ 24365028986123*c_1001_4^11 - 16752958626324415397651269673063259/29\ 57839064963484924365028986123*c_1001_4^10 + 8190662417027246448217672289229545/2957839064963484924365028986123*\ c_1001_4^9 - 7625149480248362710102598424083643/2957839064963484924\ 365028986123*c_1001_4^8 - 8527678508277603671746938723034251/295783\ 9064963484924365028986123*c_1001_4^7 + 19676018464146633994674315366639296/2957839064963484924365028986123\ *c_1001_4^6 + 351848830363450697177884458124570/2957839064963484924\ 365028986123*c_1001_4^5 - 10524387432765740278800847968404623/29578\ 39064963484924365028986123*c_1001_4^4 + 1792708931047079796888390808703123/2957839064963484924365028986123*\ c_1001_4^3 + 1505850103582906251237408479542753/2957839064963484924\ 365028986123*c_1001_4^2 - 24354669856797316315617012207263/29578390\ 64963484924365028986123*c_1001_4 - 5407262247454052405877529838506/2957839064963484924365028986123, c_0101_4 - 24116705208015995066083888734200/295783906496348492436502898\ 6123*c_1001_4^21 + 46209809737788995602868205128680/295783906496348\ 4924365028986123*c_1001_4^20 + 297410096523042874082672374456552/29\ 57839064963484924365028986123*c_1001_4^19 - 592332940771219709773469245701499/2957839064963484924365028986123*c\ _1001_4^18 - 1518897648064931057049440447782648/2957839064963484924\ 365028986123*c_1001_4^17 + 3193842097961210324858406151896539/29578\ 39064963484924365028986123*c_1001_4^16 + 4005252429047606109091272912216383/2957839064963484924365028986123*\ c_1001_4^15 - 9192969426450608624224286111496219/295783906496348492\ 4365028986123*c_1001_4^14 - 5206233374431023759521983261143778/2957\ 839064963484924365028986123*c_1001_4^13 + 14372686136877553805156105258207320/2957839064963484924365028986123\ *c_1001_4^12 + 1231687410712761252760083165679847/29578390649634849\ 24365028986123*c_1001_4^11 - 9396958558794554682795465203866709/295\ 7839064963484924365028986123*c_1001_4^10 + 4863480324216410709239155734318616/2957839064963484924365028986123*\ c_1001_4^9 - 4479411455064659895881865483516762/2957839064963484924\ 365028986123*c_1001_4^8 - 4668259106717487946108850197234169/295783\ 9064963484924365028986123*c_1001_4^7 + 11190437431061893061794703563594831/2957839064963484924365028986123\ *c_1001_4^6 - 97258760025964425044511737802995/29578390649634849243\ 65028986123*c_1001_4^5 - 5875604676783344794296047059751658/2957839\ 064963484924365028986123*c_1001_4^4 + 1139013205382194193698376776437382/2957839064963484924365028986123*\ c_1001_4^3 + 792709670723252626816374338843656/29578390649634849243\ 65028986123*c_1001_4^2 - 18365731735611789335970809133612/295783906\ 4963484924365028986123*c_1001_4 + 2341955902883204708966403808871/2\ 957839064963484924365028986123, c_1001_0 - 1, c_1001_10 + 553690224625091873877616303600/7994159635036445741527105367\ 9*c_1001_4^21 - 1108340704626422503898324653320/7994159635036445741\ 5271053679*c_1001_4^20 - 6822597339503253035790195689480/7994159635\ 0364457415271053679*c_1001_4^19 + 14244447181406688363638351316082/\ 79941596350364457415271053679*c_1001_4^18 + 34781268083890389738568137022715/79941596350364457415271053679*c_10\ 01_4^17 - 77007079916750338125359073815051/799415963503644574152710\ 53679*c_1001_4^16 - 91380875094802309753452782728471/79941596350364\ 457415271053679*c_1001_4^15 + 222249702129526051924020287856471/799\ 41596350364457415271053679*c_1001_4^14 + 117637659538093627259113514775915/79941596350364457415271053679*c_1\ 001_4^13 - 348534902078426650681687433474275/7994159635036445741527\ 1053679*c_1001_4^12 - 24850528201913803348782107772087/799415963503\ 64457415271053679*c_1001_4^11 + 229136261857915061066744979058402/7\ 9941596350364457415271053679*c_1001_4^10 - 114566204881197524710987419885251/79941596350364457415271053679*c_1\ 001_4^9 + 107320569803425333348065082767266/79941596350364457415271\ 053679*c_1001_4^8 + 106566454051240039811788593225448/7994159635036\ 4457415271053679*c_1001_4^7 - 271250044460829098939541397548300/799\ 41596350364457415271053679*c_1001_4^6 + 5603283656881168261756093857577/79941596350364457415271053679*c_100\ 1_4^5 + 143145377494452753437931461025157/7994159635036445741527105\ 3679*c_1001_4^4 - 27953642067308677747909958094008/7994159635036445\ 7415271053679*c_1001_4^3 - 19728788333635137880981062016315/7994159\ 6350364457415271053679*c_1001_4^2 + 228905552369446493749281946005/79941596350364457415271053679*c_1001\ _4 - 56253658342570662417300651212/79941596350364457415271053679, c_1001_2 - 842886686946433618906420652920/79941596350364457415271053679\ *c_1001_4^21 + 1642695016273106163076141691464/79941596350364457415\ 271053679*c_1001_4^20 + 10373887465190012018004366758592/7994159635\ 0364457415271053679*c_1001_4^19 - 21077036120612278351280325450939/\ 79941596350364457415271053679*c_1001_4^18 - 52796897688524624087061862969780/79941596350364457415271053679*c_10\ 01_4^17 + 113738442176587619098144605988654/79941596350364457415271\ 053679*c_1001_4^16 + 138315237954722839001897717045698/799415963503\ 64457415271053679*c_1001_4^15 - 327571550233032242596117663595519/7\ 9941596350364457415271053679*c_1001_4^14 - 176863154400169783881694308485054/79941596350364457415271053679*c_1\ 001_4^13 + 512248862979451509790149661577089/7994159635036445741527\ 1053679*c_1001_4^12 + 34614715590280411334908043526286/799415963503\ 64457415271053679*c_1001_4^11 - 334558862367884542810406912134654/7\ 9941596350364457415271053679*c_1001_4^10 + 175966710110028573410503270362224/79941596350364457415271053679*c_1\ 001_4^9 - 160506213025594020413775298108615/79941596350364457415271\ 053679*c_1001_4^8 - 160806422468013337548506757701380/7994159635036\ 4457415271053679*c_1001_4^7 + 399021199591172924074087482404092/799\ 41596350364457415271053679*c_1001_4^6 - 10241224286278306002674959404962/79941596350364457415271053679*c_10\ 01_4^5 - 208623273574707671573541216597905/799415963503644574152710\ 53679*c_1001_4^4 + 43358464546995455239853045337920/799415963503644\ 57415271053679*c_1001_4^3 + 27848816372907239480761804961996/799415\ 96350364457415271053679*c_1001_4^2 - 1159125259697427145032322082739/79941596350364457415271053679*c_100\ 1_4 + 79234761977594487554761675909/79941596350364457415271053679, c_1001_4^22 - 17/10*c_1001_4^21 - 257/20*c_1001_4^20 + 22*c_1001_4^19 + 348/5*c_1001_4^18 - 1201/10*c_1001_4^17 - 4033/20*c_1001_4^16 + 3519/10*c_1001_4^15 + 1589/5*c_1001_4^14 - 1135/2*c_1001_4^13 - 2091/10*c_1001_4^12 + 4057/10*c_1001_4^11 - 2021/20*c_1001_4^10 + 629/5*c_1001_4^9 + 4933/20*c_1001_4^8 - 2159/5*c_1001_4^7 - 2387/20*c_1001_4^6 + 2657/10*c_1001_4^5 + 59/4*c_1001_4^4 - 537/10*c_1001_4^3 - 13/2*c_1001_4^2 + 11/10*c_1001_4 - 1/20, c_1001_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB