Magma V2.19-8 Tue Aug 20 2013 23:45:55 on localhost [Seed = 172781562] Type ? for help. Type -D to quit. Loading file "K14a19419__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a19419 geometric_solution 9.18041771 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 1 0132 0132 3201 3201 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 13 0 -13 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.711681057350 0.364661217759 0 0 4 3 0132 2310 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 1 0 -1 0 0 0 0 0 0 0 0 -1 13 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559517492685 0.358758525240 0 0 5 5 2310 0132 2310 0132 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 -13 13 0 0 0 0 0 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.187681592029 0.865854268299 6 7 1 8 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 1 -1 0 0 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786504791788 0.419865829169 7 9 7 1 3201 0132 0321 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 0 0 0 -12 0 12 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786504791788 0.419865829169 6 2 2 9 3201 3201 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 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514219220962 0.919135269998 3 10 10 5 0132 0132 1230 2310 0 0 0 0 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 13 0 -13 0 0 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309635516656 0.381688635761 11 3 4 4 0132 0132 0321 2310 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 1 0 0 -1 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962264371637 1.892416844674 10 11 3 11 2031 1230 0132 1023 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 1 -1 0 0 0 0 1 0 0 -1 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848131333078 0.660430318877 11 4 5 10 1230 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 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 13 0 0 -13 0 1 0 -1 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309635516656 0.381688635761 9 6 8 6 3012 0132 1302 3012 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 -13 0 13 0 0 0 0 13 -13 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.343849098859 0.296229553720 7 9 8 8 0132 3012 3012 1023 0 0 0 0 0 1 -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 0 0 0 0 12 -12 0 -1 0 0 1 12 -13 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.330701188822 1.438118184700 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_4'], 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_7'], 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0101_6']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_4'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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_10'], 'c_1100_8' : d['c_1001_7'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_1001_7'], 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_1001_7'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1001_7'], 'c_1100_2' : d['c_0011_5'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_5'], 'c_1100_11' : negation(d['c_1001_7']), 'c_1100_10' : d['c_0101_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : negation(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' : 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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0011_5'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0101_11']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_6'], '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' : negation(d['c_0101_9']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_0']})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_6, c_0101_9, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 856452387658497849067271311442891/76162888415210930653699793306*c_1\ 001_7^16 + 66905846669069428189985186246017871/76162888415210930653\ 699793306*c_1001_7^15 + 69708019680960421148471330370857426/3808144\ 4207605465326849896653*c_1001_7^14 + 255899835381873142313496578815866783/76162888415210930653699793306*\ c_1001_7^13 + 14352206743549417598164893663420841/38081444207605465\ 326849896653*c_1001_7^12 - 31514588125807715379731573626030689/7616\ 2888415210930653699793306*c_1001_7^11 - 165722521659246265850864271664013879/38081444207605465326849896653*\ c_1001_7^10 + 21857206796124001150127006422231296/38081444207605465\ 326849896653*c_1001_7^9 - 67983212593486599552272875820205752/38081\ 444207605465326849896653*c_1001_7^8 + 144127479472857549071323982723439011/38081444207605465326849896653*\ c_1001_7^7 - 294852028392874005711075855092434003/76162888415210930\ 653699793306*c_1001_7^6 + 346396882305430918507237151977100929/7616\ 2888415210930653699793306*c_1001_7^5 - 142771541481072058515061087222203917/38081444207605465326849896653*\ c_1001_7^4 + 146334505666236904727575393677545624/38081444207605465\ 326849896653*c_1001_7^3 - 80728379019083229243967066981569985/38081\ 444207605465326849896653*c_1001_7^2 + 19389210794703101852172689661216298/38081444207605465326849896653*c\ _1001_7 - 2629319543466434637645588724290157/3808144420760546532684\ 9896653, c_0011_0 - 1, c_0011_10 - 40785101187803194390979/50719906618717393520338*c_1001_7^16 + 3185166099415276755285759/50719906618717393520338*c_1001_7^15 + 6712524959105925412211775/50719906618717393520338*c_1001_7^14 + 6220211725626854529606238/25359953309358696760169*c_1001_7^13 + 1915837678483738307221971/50719906618717393520338*c_1001_7^12 - 936842979279244776724301/50719906618717393520338*c_1001_7^11 - 15471665761057007028366873/50719906618717393520338*c_1001_7^10 + 918403839076447832411208/25359953309358696760169*c_1001_7^9 - 6907627674085703368115559/50719906618717393520338*c_1001_7^8 + 6648605676969924073423667/25359953309358696760169*c_1001_7^7 - 7030091852882495066025461/25359953309358696760169*c_1001_7^6 + 16450111496205502028090823/50719906618717393520338*c_1001_7^5 - 6707855040707054611555715/25359953309358696760169*c_1001_7^4 + 7004504193115126063295704/25359953309358696760169*c_1001_7^3 - 3783303999482852835073891/25359953309358696760169*c_1001_7^2 + 1926759256827711037769087/50719906618717393520338*c_1001_7 - 249387882801160052979613/50719906618717393520338, c_0011_4 - 91945890594780300099753/50719906618717393520338*c_1001_7^16 + 7158325847958325639578631/50719906618717393520338*c_1001_7^15 + 8433023729869203115053279/25359953309358696760169*c_1001_7^14 + 16206151033341956997789624/25359953309358696760169*c_1001_7^13 + 12858231142778740679001361/50719906618717393520338*c_1001_7^12 + 1149101392031259745437235/25359953309358696760169*c_1001_7^11 - 33738830287789438931255007/50719906618717393520338*c_1001_7^10 - 1959203181076287322635328/25359953309358696760169*c_1001_7^9 - 17696117921543690477761901/50719906618717393520338*c_1001_7^8 + 12773601931389265985458122/25359953309358696760169*c_1001_7^7 - 26150154886114967796883371/50719906618717393520338*c_1001_7^6 + 15768228595606390084187959/25359953309358696760169*c_1001_7^5 - 11796047668880565215233275/25359953309358696760169*c_1001_7^4 + 26892126797305228078105253/50719906618717393520338*c_1001_7^3 - 5635205049390198388419896/25359953309358696760169*c_1001_7^2 + 1288204035933999225951602/25359953309358696760169*c_1001_7 - 251071832593708824588991/50719906618717393520338, c_0011_5 + 43503363010100871282447/50719906618717393520338*c_1001_7^16 - 3379481494654944617094355/50719906618717393520338*c_1001_7^15 - 8556112790340963645933313/50719906618717393520338*c_1001_7^14 - 8394910940251240125099417/25359953309358696760169*c_1001_7^13 - 8982341125057722805386233/50719906618717393520338*c_1001_7^12 - 2759639713866263030834249/50719906618717393520338*c_1001_7^11 + 15183326458592450407391689/50719906618717393520338*c_1001_7^10 + 2086884680403425916911844/25359953309358696760169*c_1001_7^9 + 9011133113571567845078749/50719906618717393520338*c_1001_7^8 - 5176338473862905967128285/25359953309358696760169*c_1001_7^7 + 5381449251480602087632759/25359953309358696760169*c_1001_7^6 - 13008783548056470443164339/50719906618717393520338*c_1001_7^5 + 4435516593205973602689401/25359953309358696760169*c_1001_7^4 - 5582310986697833216893591/25359953309358696760169*c_1001_7^3 + 1694989067153613376116942/25359953309358696760169*c_1001_7^2 - 644159978333146581236741/50719906618717393520338*c_1001_7 - 17555538073712690820763/50719906618717393520338, c_0101_0 + 94664152417077976991221/50719906618717393520338*c_1001_7^16 - 7352641243197993501387227/50719906618717393520338*c_1001_7^15 - 9354817645486722231914048/25359953309358696760169*c_1001_7^14 - 18380850247966342593282803/25359953309358696760169*c_1001_7^13 - 19924734589352725177165623/50719906618717393520338*c_1001_7^12 - 2997342738604013649216510/25359953309358696760169*c_1001_7^11 + 33450490985324882310279823/50719906618717393520338*c_1001_7^10 + 4964491700556161071958380/25359953309358696760169*c_1001_7^9 + 19799623361029554954725091/50719906618717393520338*c_1001_7^8 - 11301334728282247879162740/25359953309358696760169*c_1001_7^7 + 22852869683311181840097967/50719906618717393520338*c_1001_7^6 - 14047564621531874291724717/25359953309358696760169*c_1001_7^5 + 9523709221379484206366961/25359953309358696760169*c_1001_7^4 - 24047740384470642385301027/50719906618717393520338*c_1001_7^3 + 3546890117060958929462947/25359953309358696760169*c_1001_7^2 - 646904396686716997685429/25359953309358696760169*c_1001_7 - 15871588281163919211385/50719906618717393520338, c_0101_1 - 2158724556267234026516/25359953309358696760169*c_1001_7^16 + 335086903795812202982233/50719906618717393520338*c_1001_7^15 + 872590830986184184774117/50719906618717393520338*c_1001_7^14 + 1754506509894351519407147/50719906618717393520338*c_1001_7^13 + 1077996563616892529709603/50719906618717393520338*c_1001_7^12 + 474710507857922443966297/50719906618717393520338*c_1001_7^11 - 1400190830165523197774489/50719906618717393520338*c_1001_7^10 - 220674858573577809129839/25359953309358696760169*c_1001_7^9 - 483633247162313092274935/25359953309358696760169*c_1001_7^8 + 989306017885027350820167/50719906618717393520338*c_1001_7^7 - 542868602437328761841738/25359953309358696760169*c_1001_7^6 + 633751114311146201271522/25359953309358696760169*c_1001_7^5 - 441367356558433103094145/25359953309358696760169*c_1001_7^4 + 1200038035292812751608129/50719906618717393520338*c_1001_7^3 - 164880808822354974908703/25359953309358696760169*c_1001_7^2 + 85482479817491199451687/50719906618717393520338*c_1001_7 - 30624752263522797361803/50719906618717393520338, c_0101_11 - c_1001_7, c_0101_2 + 19383153881427240880171/50719906618717393520338*c_1001_7^16 - 1506036381430093488041655/50719906618717393520338*c_1001_7^15 - 3789156041583347023653005/50719906618717393520338*c_1001_7^14 - 7462036049512158968257365/50719906618717393520338*c_1001_7^13 - 4016407560437123062745847/50719906618717393520338*c_1001_7^12 - 1421004408838605603220695/50719906618717393520338*c_1001_7^11 + 3278731210064692645536641/25359953309358696760169*c_1001_7^10 + 828297017954614763834280/25359953309358696760169*c_1001_7^9 + 4072977379713484490065097/50719906618717393520338*c_1001_7^8 - 2280737725081532422282464/25359953309358696760169*c_1001_7^7 + 2476465769392718217730470/25359953309358696760169*c_1001_7^6 - 2946131274113542879475419/25359953309358696760169*c_1001_7^5 + 4050561517254366512215097/50719906618717393520338*c_1001_7^4 - 2535540974837281094219746/25359953309358696760169*c_1001_7^3 + 1547432415343788125396821/50719906618717393520338*c_1001_7^2 - 306675777959671395883573/50719906618717393520338*c_1001_7 - 21842097841942624287919/25359953309358696760169, c_0101_6 + 40785101187803194390979/50719906618717393520338*c_1001_7^16 - 3185166099415276755285759/50719906618717393520338*c_1001_7^15 - 6712524959105925412211775/50719906618717393520338*c_1001_7^14 - 6220211725626854529606238/25359953309358696760169*c_1001_7^13 - 1915837678483738307221971/50719906618717393520338*c_1001_7^12 + 936842979279244776724301/50719906618717393520338*c_1001_7^11 + 15471665761057007028366873/50719906618717393520338*c_1001_7^10 - 918403839076447832411208/25359953309358696760169*c_1001_7^9 + 6907627674085703368115559/50719906618717393520338*c_1001_7^8 - 6648605676969924073423667/25359953309358696760169*c_1001_7^7 + 7030091852882495066025461/25359953309358696760169*c_1001_7^6 - 16450111496205502028090823/50719906618717393520338*c_1001_7^5 + 6707855040707054611555715/25359953309358696760169*c_1001_7^4 - 7004504193115126063295704/25359953309358696760169*c_1001_7^3 + 3783303999482852835073891/25359953309358696760169*c_1001_7^2 - 1926759256827711037769087/50719906618717393520338*c_1001_7 + 249387882801160052979613/50719906618717393520338, c_0101_9 + 25580394703488552854387/25359953309358696760169*c_1001_7^16 - 1986579874271524442146436/25359953309358696760169*c_1001_7^15 - 10153522500632480817894783/50719906618717393520338*c_1001_7^14 - 9985939307715102468183386/25359953309358696760169*c_1001_7^13 - 5471196732147501185889695/25359953309358696760169*c_1001_7^12 - 3235045763341764267598771/50719906618717393520338*c_1001_7^11 + 9133582263366215951444067/25359953309358696760169*c_1001_7^10 + 2877607020152735155046536/25359953309358696760169*c_1001_7^9 + 5394245123728993554823171/25359953309358696760169*c_1001_7^8 - 6124996254419341912034455/25359953309358696760169*c_1001_7^7 + 12089971180349977664832449/50719906618717393520338*c_1001_7^6 - 15086345695007278140285095/50719906618717393520338*c_1001_7^5 + 5088192628173510603677560/25359953309358696760169*c_1001_7^4 - 12883118411074975951513845/50719906618717393520338*c_1001_7^3 + 1851901049907345553346005/25359953309358696760169*c_1001_7^2 - 649648815040287414134117/50719906618717393520338*c_1001_7 + 841974896274385804689/25359953309358696760169, c_1001_1 + 20353975980580771136091/50719906618717393520338*c_1001_7^16 - 1547879585561035620708957/50719906618717393520338*c_1001_7^15 - 3293829275885649961575767/25359953309358696760169*c_1001_7^14 - 14481139387621176226475433/50719906618717393520338*c_1001_7^13 - 17235924106069109195581063/50719906618717393520338*c_1001_7^12 - 4248077045247222626186521/25359953309358696760169*c_1001_7^11 + 2468960705854459021823903/25359953309358696760169*c_1001_7^10 + 6862828634640828831559210/25359953309358696760169*c_1001_7^9 + 7942666746544857580114445/50719906618717393520338*c_1001_7^8 + 1086010638097307123316985/25359953309358696760169*c_1001_7^7 - 2773445327551408190277583/50719906618717393520338*c_1001_7^6 + 1805978992530440094195737/50719906618717393520338*c_1001_7^5 - 5542575262103290969825819/50719906618717393520338*c_1001_7^4 + 1332657046694228681683181/50719906618717393520338*c_1001_7^3 - 6691096955538975918410981/50719906618717393520338*c_1001_7^2 + 1023849901184714526015764/25359953309358696760169*c_1001_7 - 219775704398877657656037/25359953309358696760169, c_1001_7^17 - 78*c_1001_7^16 - 172*c_1001_7^15 - 329*c_1001_7^14 - 97*c_1001_7^13 - 22*c_1001_7^12 + 360*c_1001_7^11 - 15*c_1001_7^10 + 201*c_1001_7^9 - 301*c_1001_7^8 + 334*c_1001_7^7 - 395*c_1001_7^6 + 317*c_1001_7^5 - 342*c_1001_7^4 + 174*c_1001_7^3 - 57*c_1001_7^2 + 10*c_1001_7 - 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_6, c_0101_9, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 3466837808296619915741266132532668748152750994511921604766257501/23\ 14081948025174927703474575562957633849446637213591679620975*c_1001_\ 7^17 + 118837921557423947443378909078065844320031746514715334848280\ 167431/154272129868344995180231638370863842256629775814239445308065\ *c_1001_7^16 + 3740405428228917575084712953393019571760379921566603\ 74693556676858/2571202164472416586337193972847730704277162930237324\ 08846775*c_1001_7^15 - 84006896158992284415857148753563938006267230\ 06026658677647881930691/2314081948025174927703474575562957633849446\ 637213591679620975*c_1001_7^14 - 2442369022004284560435733982799020\ 9157306677639558469582746016053573/23140819480251749277034745755629\ 57633849446637213591679620975*c_1001_7^13 + 253962223989044111971101518442689170201832579434440566912094050441/\ 13376196231359392645684824136202067247684662642853131096075*c_1001_\ 7^12 + 890565256280465558985727331959118410668021049656978397230167\ 3251538/46281638960503498554069491511259152676988932744271833592419\ 5*c_1001_7^11 - 283050131457073633920236103048547196079549387125575\ 80347915749518523/7713606493417249759011581918543192112831488790711\ 97226540325*c_1001_7^10 - 17839628968190860037174074568562071904283\ 048306678672448245534430641/231408194802517492770347457556295763384\ 9446637213591679620975*c_1001_7^9 + 2347072939942776963938356017119627359945761695177316781789277186337\ 4/771360649341724975901158191854319211283148879071197226540325*c_10\ 01_7^8 - 3535111303638283443222327280269804832603581304070046349819\ 836451199/771360649341724975901158191854319211283148879071197226540\ 325*c_1001_7^7 - 31899002996861696402500900401913211905912367470931\ 084887952996889674/231408194802517492770347457556295763384944663721\ 3591679620975*c_1001_7^6 + 2481373533080653503494757928749675895560\ 6262668776316610054678335211/23140819480251749277034745755629576338\ 49446637213591679620975*c_1001_7^5 - 77311280625370374079259833640304775587277415246056382163277082609/1\ 10194378477389282271594027407759887326164125581599603791475*c_1001_\ 7^4 - 2222798833308818175672284547077608525504984237728959562125662\ 081934/231408194802517492770347457556295763384944663721359167962097\ 5*c_1001_7^3 - 8107451636311996562058526769216629921869074841876694\ 47918922313714/7713606493417249759011581918543192112831488790711972\ 26540325*c_1001_7^2 + 420965765625451560505883815814781022171170593\ 510224640425260321569/462816389605034985540694915112591526769889327\ 442718335924195*c_1001_7 - 6202214556101031941477290847737289890799\ 4339976417689174461518399/33058313543216784681478208222327966197849\ 2376744798811374425, c_0011_0 - 1, c_0011_10 + 10883627428023610358588486257401345910056404024/26737105305\ 7878188007938850366429009517618973505*c_1001_7^17 - 5593208761572457619275673714307664979481289064854/26737105305787818\ 8007938850366429009517618973505*c_1001_7^16 - 12060489795126342785395508011954825321169716951109/2673710530578781\ 88007938850366429009517618973505*c_1001_7^15 + 23124249937076130131423003603694126125943239244283/2673710530578781\ 88007938850366429009517618973505*c_1001_7^14 + 82779448808752749113839850337803552897479917879409/2673710530578781\ 88007938850366429009517618973505*c_1001_7^13 - 668698727792530914073154265196672713059513077367/154549741651952709\ 8311785262233693696633635685*c_1001_7^12 - 170139910134136710733427260516097032123774268602919/267371053057878\ 188007938850366429009517618973505*c_1001_7^11 + 44084131801098538416913336913164876042143276453128/5347421061157563\ 7601587770073285801903523794701*c_1001_7^10 + 113468588477480808863379231704335079611772099881729/267371053057878\ 188007938850366429009517618973505*c_1001_7^9 - 62978238336303504512505433209600888435719054246374/8912368435262606\ 2669312950122143003172539657835*c_1001_7^8 - 1035104901664795438282272398088961215346451895577/17824736870525212\ 533862590024428600634507931567*c_1001_7^7 + 93464727954545261816290495711471788213523531219126/2673710530578781\ 88007938850366429009517618973505*c_1001_7^6 - 10699352591977862516871115133195716060129989567050/5347421061157563\ 7601587770073285801903523794701*c_1001_7^5 - 2331834947605949867574916439221458575614858810028/89123684352626062\ 669312950122143003172539657835*c_1001_7^4 + 889163615079695460788099078572177443042129281930/534742106115756376\ 01587770073285801903523794701*c_1001_7^3 + 8184677182516489078973667008301435493317785050033/26737105305787818\ 8007938850366429009517618973505*c_1001_7^2 - 1324708190857947555545240704804222068713059517536/89123684352626062\ 669312950122143003172539657835*c_1001_7 + 82044029156216789464121237690935914636672534953/5347421061157563760\ 1587770073285801903523794701, c_0011_4 - 4522802393766150330729499318163301540539520442/2673710530578\ 78188007938850366429009517618973505*c_1001_7^17 + 464548442759308013564114010729500577000305560831/534742106115756376\ 01587770073285801903523794701*c_1001_7^16 + 5819427028996470742514838946046046144296684472184/26737105305787818\ 8007938850366429009517618973505*c_1001_7^15 - 7517752456390167037649897691120784588684467334157/26737105305787818\ 8007938850366429009517618973505*c_1001_7^14 - 36848927263120689920703763367443684834410701221826/2673710530578781\ 88007938850366429009517618973505*c_1001_7^13 + 202491847299384415682742741571808400892835472307/154549741651952709\ 8311785262233693696633635685*c_1001_7^12 + 16368880416430123488794991727294408530401893202912/5347421061157563\ 7601587770073285801903523794701*c_1001_7^11 - 62042436776027499876848707543784098318578608491013/2673710530578781\ 88007938850366429009517618973505*c_1001_7^10 - 66583275119876683614092500680774493526076695994587/2673710530578781\ 88007938850366429009517618973505*c_1001_7^9 + 17790684285699212496506776315545275841936128422818/8912368435262606\ 2669312950122143003172539657835*c_1001_7^8 + 7968744024342100039720258709145019834613058074137/89123684352626062\ 669312950122143003172539657835*c_1001_7^7 - 29086374158463324739590209013458297242790468863703/2673710530578781\ 88007938850366429009517618973505*c_1001_7^6 + 11602873188338066461797799503174394379006031851612/2673710530578781\ 88007938850366429009517618973505*c_1001_7^5 + 2213843444907920486736195194624884176775329722374/89123684352626062\ 669312950122143003172539657835*c_1001_7^4 + 1379549218760106546145837960756092640336787460787/26737105305787818\ 8007938850366429009517618973505*c_1001_7^3 - 3118039876087791251860125331957510165043798792969/26737105305787818\ 8007938850366429009517618973505*c_1001_7^2 + 40525441556300936017301306853985213941080103982/1782473687052521253\ 3862590024428600634507931567*c_1001_7 + 27887410258193688009652705754111324296999284199/2673710530578781880\ 07938850366429009517618973505, c_0011_5 + 3938598902390228732940739706718211864962094311/8912368435262\ 6062669312950122143003172539657835*c_1001_7^17 - 2022762843651022465520582878509389755850122384993/89123684352626062\ 669312950122143003172539657835*c_1001_7^16 - 5044276772259862572138669037684108824333737241239/89123684352626062\ 669312950122143003172539657835*c_1001_7^15 + 6608943697916496864900833601668932115157407128864/89123684352626062\ 669312950122143003172539657835*c_1001_7^14 + 32017060550804676504869716489638639805379331200332/8912368435262606\ 2669312950122143003172539657835*c_1001_7^13 - 178575890497630430537897140651862131111802365647/515165805506509032\ 770595087411231232211211895*c_1001_7^12 - 70939884458507689218064796049101008439598141354978/8912368435262606\ 2669312950122143003172539657835*c_1001_7^11 + 54930863673488291069279186757073477149526154928792/8912368435262606\ 2669312950122143003172539657835*c_1001_7^10 + 57220330977421152900068893867922023144162447566456/8912368435262606\ 2669312950122143003172539657835*c_1001_7^9 - 9447073133758612390659467997141266693333196985511/17824736870525212\ 533862590024428600634507931567*c_1001_7^8 - 19670680994577762091001450443924692524786026030349/8912368435262606\ 2669312950122143003172539657835*c_1001_7^7 + 25410858220736801267547360982640277318091108786579/8912368435262606\ 2669312950122143003172539657835*c_1001_7^6 - 11326265016912540150824039329764245509771431369933/8912368435262606\ 2669312950122143003172539657835*c_1001_7^5 - 5564418760445868057353063958258964481286721048291/89123684352626062\ 669312950122143003172539657835*c_1001_7^4 - 643167724084179697563645455726080529134745237113/891236843526260626\ 69312950122143003172539657835*c_1001_7^3 + 2662298336177614165161645537763011883823774240272/89123684352626062\ 669312950122143003172539657835*c_1001_7^2 - 583164989405487499383334157929914230030637029416/891236843526260626\ 69312950122143003172539657835*c_1001_7 - 18789499511421390736819377250733161645978138271/8912368435262606266\ 9312950122143003172539657835, c_0101_0 + 90727687830461008294563450826248055332575161843/133685526528\ 9390940039694251832145047588094867525*c_1001_7^17 - 9328194755395543856771238741178004192540435876311/26737105305787818\ 8007938850366429009517618973505*c_1001_7^16 - 92795779600509477166577282096640116662808339638711/1336855265289390\ 940039694251832145047588094867525*c_1001_7^15 + 212223293832716689415559687126915881827983271127723/133685526528939\ 0940039694251832145047588094867525*c_1001_7^14 + 665207999508401554540066528541546592952274396634494/133685526528939\ 0940039694251832145047588094867525*c_1001_7^13 - 6285181531414285744613800127070012422652928088908/77274870825976354\ 91558926311168468483168178425*c_1001_7^12 - 260562712231185012584645121522332158345149975574856/267371053057878\ 188007938850366429009517618973505*c_1001_7^11 + 2110606190604466453566526984810878260950282148365577/13368552652893\ 90940039694251832145047588094867525*c_1001_7^10 + 742886822800936114934276527326092019223563058393838/133685526528939\ 0940039694251832145047588094867525*c_1001_7^9 - 599682554615459013707064791869584322105109610439677/445618421763130\ 313346564750610715015862698289175*c_1001_7^8 + 15133417989891604796669097013314578590177670869592/4456184217631303\ 13346564750610715015862698289175*c_1001_7^7 + 863191559669914341953864832458370487161116398331057/133685526528939\ 0940039694251832145047588094867525*c_1001_7^6 - 545929435490202088229676354073080213852228052046663/133685526528939\ 0940039694251832145047588094867525*c_1001_7^5 - 7502699107364678913107761196380715489616407774066/44561842176313031\ 3346564750610715015862698289175*c_1001_7^4 + 62353127352775961530118747267480023563812672022197/1336855265289390\ 940039694251832145047588094867525*c_1001_7^3 + 73733746595593289355178867260873146064365862823481/1336855265289390\ 940039694251832145047588094867525*c_1001_7^2 - 2970811899503861904653415886383618590201021090267/89123684352626062\ 669312950122143003172539657835*c_1001_7 + 5535564789914005438836222375489668893605725760569/13368552652893909\ 40039694251832145047588094867525, c_0101_1 - 28336269696775087538706070071998187754279658917/133685526528\ 9390940039694251832145047588094867525*c_1001_7^17 + 2911264310192076945604202136038337958801485167581/26737105305787818\ 8007938850366429009517618973505*c_1001_7^16 + 34470060365992402645135966029428827977899268448624/1336855265289390\ 940039694251832145047588094867525*c_1001_7^15 - 51635196089036982874063332959240207551145210165372/1336855265289390\ 940039694251832145047588094867525*c_1001_7^14 - 223540145333862385978541062201792070812186135594241/133685526528939\ 0940039694251832145047588094867525*c_1001_7^13 + 1439313097641375321564606445610821652407555475572/77274870825976354\ 91558926311168468483168178425*c_1001_7^12 + 95273362041552497209564601389457839811061204216896/2673710530578781\ 88007938850366429009517618973505*c_1001_7^11 - 448341045003570088721713642964893379194498389249773/133685526528939\ 0940039694251832145047588094867525*c_1001_7^10 - 351050406283000350090748991099536301998723556383397/133685526528939\ 0940039694251832145047588094867525*c_1001_7^9 + 124046873601506202311359696811216099263079085554233/445618421763130\ 313346564750610715015862698289175*c_1001_7^8 + 31236278509336731675428261079922148816247134272242/4456184217631303\ 13346564750610715015862698289175*c_1001_7^7 - 186901807411378097444256133344078318789034203429083/133685526528939\ 0940039694251832145047588094867525*c_1001_7^6 + 104634039173111302411145221597700462546170475784362/133685526528939\ 0940039694251832145047588094867525*c_1001_7^5 + 7760824579276917332875512476771915823561372336554/44561842176313031\ 3346564750610715015862698289175*c_1001_7^4 + 4274811351841896611098225357436388766740302992447/13368552652893909\ 40039694251832145047588094867525*c_1001_7^3 - 18513104890662764606353331577637825452730169866739/1336855265289390\ 940039694251832145047588094867525*c_1001_7^2 + 362222983534943636453937507428578284460165836391/891236843526260626\ 69312950122143003172539657835*c_1001_7 - 1197416613701528831933724834318923874105368854256/13368552652893909\ 40039694251832145047588094867525, c_0101_11 - 22353673896344948401386590469651078800099867254/13368552652\ 89390940039694251832145047588094867525*c_1001_7^17 + 2296693158734555054071665470972924417929360021831/26737105305787818\ 8007938850366429009517618973505*c_1001_7^16 + 26986379793494602383339715392644398423050595404118/1336855265289390\ 940039694251832145047588094867525*c_1001_7^15 - 40771724187453951904972679730333556956118667266484/1336855265289390\ 940039694251832145047588094867525*c_1001_7^14 - 174120173841948225431383010358792496598887908080327/133685526528939\ 0940039694251832145047588094867525*c_1001_7^13 + 1151427493783223459482003310230645452328785744154/77274870825976354\ 91558926311168468483168178425*c_1001_7^12 + 72851079868554859182939755296307375587126116706076/2673710530578781\ 88007938850366429009517618973505*c_1001_7^11 - 360121124683446338778964869137457955577872332475796/133685526528939\ 0940039694251832145047588094867525*c_1001_7^10 - 251377977547725763035519063331043102387504549444714/133685526528939\ 0940039694251832145047588094867525*c_1001_7^9 + 100711754538049678531104144086032243736411730987511/445618421763130\ 313346564750610715015862698289175*c_1001_7^8 + 16922328728580009890681585861561232608497061219684/4456184217631303\ 13346564750610715015862698289175*c_1001_7^7 - 153375414496355588352279603137858010860730241843721/133685526528939\ 0940039694251832145047588094867525*c_1001_7^6 + 93530118877399649481509137970872633431372289603274/1336855265289390\ 940039694251832145047588094867525*c_1001_7^5 + 6219270763216337451862397668513187848726161572098/44561842176313031\ 3346564750610715015862698289175*c_1001_7^4 + 2365868081445421266988016559580698318188202935569/13368552652893909\ 40039694251832145047588094867525*c_1001_7^3 - 14921382779951442770065922144575170157882547098343/1336855265289390\ 940039694251832145047588094867525*c_1001_7^2 + 549943002860674517016330974289871558745577624213/891236843526260626\ 69312950122143003172539657835*c_1001_7 - 901426020286783847032344363769895260344968091137/133685526528939094\ 0039694251832145047588094867525, c_0101_2 + 54986061884233660766541794234099324454722232496/133685526528\ 9390940039694251832145047588094867525*c_1001_7^17 - 1129601694211969222171207180786997395819066445129/53474210611575637\ 601587770073285801903523794701*c_1001_7^16 - 70105593488243079230034431343404201322213117670327/1336855265289390\ 940039694251832145047588094867525*c_1001_7^15 + 93637460037878015503991197859165653498192958681246/1336855265289390\ 940039694251832145047588094867525*c_1001_7^14 + 447556834239611997637354324985259521462405105893838/133685526528939\ 0940039694251832145047588094867525*c_1001_7^13 - 2531772296299932206497799141802971364012271490581/77274870825976354\ 91558926311168468483168178425*c_1001_7^12 - 39819995615226257065285759242887033843276357024341/5347421061157563\ 7601587770073285801903523794701*c_1001_7^11 + 785326049541120793927627574240682706960867663395584/133685526528939\ 0940039694251832145047588094867525*c_1001_7^10 + 815226591540513631421957969164893402381754601541311/133685526528939\ 0940039694251832145047588094867525*c_1001_7^9 - 228129245949982025415698029798904145187010861283874/445618421763130\ 313346564750610715015862698289175*c_1001_7^8 - 96950129572819759890770279608786125598299431765186/4456184217631303\ 13346564750610715015862698289175*c_1001_7^7 + 378455932864209093771677199353144543661472136344979/133685526528939\ 0940039694251832145047588094867525*c_1001_7^6 - 155416474868226164699644943416988317212024445111121/133685526528939\ 0940039694251832145047588094867525*c_1001_7^5 - 29587002715212412281818806531296328523909232388352/4456184217631303\ 13346564750610715015862698289175*c_1001_7^4 - 2929850963847585952755847022877237710615658940201/13368552652893909\ 40039694251832145047588094867525*c_1001_7^3 + 40478387388572686658998451008542866399228480235932/1336855265289390\ 940039694251832145047588094867525*c_1001_7^2 - 696238190721304284916145302965576676903792866811/891236843526260626\ 69312950122143003172539657835*c_1001_7 - 573270805088280191110197012786808515473029048927/133685526528939094\ 0039694251832145047588094867525, c_0101_6 - 1608493284477864498789153690436583858600757102/4456184217631\ 30313346564750610715015862698289175*c_1001_7^17 + 164954411004879701111367005382487247533676934943/891236843526260626\ 69312950122143003172539657835*c_1001_7^16 + 2732026467416061914358842223223863407445373298909/44561842176313031\ 3346564750610715015862698289175*c_1001_7^15 - 975883678656880705822056887460847439721258088142/445618421763130313\ 346564750610715015862698289175*c_1001_7^14 - 15135097121512458618240004922965853282105725166651/4456184217631303\ 13346564750610715015862698289175*c_1001_7^13 + 10620238258884983751676056535339442344307374602/2575829027532545163\ 852975437056156161056059475*c_1001_7^12 + 7663375158652324421959275954688785768470478352873/89123684352626062\ 669312950122143003172539657835*c_1001_7^11 + 1562034026819419545904722838988978910511191035077/44561842176313031\ 3346564750610715015862698289175*c_1001_7^10 - 39180526537254554202250927713035174379814371944532/4456184217631303\ 13346564750610715015862698289175*c_1001_7^9 - 290407547287767915180300876675689633639342969796/445618421763130313\ 346564750610715015862698289175*c_1001_7^8 + 21109757205945033989622146645323564777379960500426/4456184217631303\ 13346564750610715015862698289175*c_1001_7^7 - 3709929880091936472532487863352430018802697786273/44561842176313031\ 3346564750610715015862698289175*c_1001_7^6 - 3211169365035844238912547121662934753180818121638/44561842176313031\ 3346564750610715015862698289175*c_1001_7^5 + 6303861621950973546240650361509363356068599538072/44561842176313031\ 3346564750610715015862698289175*c_1001_7^4 + 2914507532925946709798813938929256677630237204597/44561842176313031\ 3346564750610715015862698289175*c_1001_7^3 - 741855336727439543902219883059783883223262998084/445618421763130313\ 346564750610715015862698289175*c_1001_7^2 - 170894628697012689610331489986362651571152381958/891236843526260626\ 69312950122143003172539657835*c_1001_7 + 214353149120659266717724853674636284631469058194/445618421763130313\ 346564750610715015862698289175, c_0101_9 - 18314802512360446817831197883749986711693344608/133685526528\ 9390940039694251832145047588094867525*c_1001_7^17 + 1882664890395278327394602338403811918540396032764/26737105305787818\ 8007938850366429009517618973505*c_1001_7^16 + 19700696616448772978739935999607743053350641145676/1336855265289390\ 940039694251832145047588094867525*c_1001_7^15 - 40480069219700228793165850112624625002728816907528/1336855265289390\ 940039694251832145047588094867525*c_1001_7^14 - 137528949546348835910200224810348450080831629393934/133685526528939\ 0940039694251832145047588094867525*c_1001_7^13 + 1181447558621193721603542893865169943933155074553/77274870825976354\ 91558926311168468483168178425*c_1001_7^12 + 55642816763971533277665064871845673388588118823489/2673710530578781\ 88007938850366429009517618973505*c_1001_7^11 - 393602504533433851200437858296617236364577647883952/133685526528939\ 0940039694251832145047588094867525*c_1001_7^10 - 175984073199892144426593219128454226783960067634653/133685526528939\ 0940039694251832145047588094867525*c_1001_7^9 + 112823681352866846082406491796801186667637643073992/445618421763130\ 313346564750610715015862698289175*c_1001_7^8 + 3571829812927209874038831525911247993987983759583/44561842176313031\ 3346564750610715015862698289175*c_1001_7^7 - 166510779310342747400549448540062372455036702567967/133685526528939\ 0940039694251832145047588094867525*c_1001_7^6 + 99917970381324348948025619724516062674338562776638/1336855265289390\ 940039694251832145047588094867525*c_1001_7^5 + 3446909567720560225217128292246117675133122488171/44561842176313031\ 3346564750610715015862698289175*c_1001_7^4 - 10191656936007539560517612475648564622423228869197/1336855265289390\ 940039694251832145047588094867525*c_1001_7^3 - 13779376271162903883637184015449489145519860139786/1336855265289390\ 940039694251832145047588094867525*c_1001_7^2 + 475593177189715092924201340273966673718253307834/891236843526260626\ 69312950122143003172539657835*c_1001_7 - 773739166417205188249059955010022816753701310119/133685526528939094\ 0039694251832145047588094867525, c_1001_1 + 63749042512607301651635977201367585060793015239/133685526528\ 9390940039694251832145047588094867525*c_1001_7^17 - 6552591440634265408650236096665303840661705420441/26737105305787818\ 8007938850366429009517618973505*c_1001_7^16 - 69786545172108302695250463436767811000779297140813/1336855265289390\ 940039694251832145047588094867525*c_1001_7^15 + 137118457465257516064160328226431716460853185841519/133685526528939\ 0940039694251832145047588094867525*c_1001_7^14 + 480960683144778634429106108458644812483245488846532/133685526528939\ 0940039694251832145047588094867525*c_1001_7^13 - 3986007843725208203916770678551709188852462187414/77274870825976354\ 91558926311168468483168178425*c_1001_7^12 - 195257329655155892561070647506773526178796608045116/267371053057878\ 188007938850366429009517618973505*c_1001_7^11 + 1314028977376682233890222931183709914758059706387211/13368552652893\ 90940039694251832145047588094867525*c_1001_7^10 + 626001835624679151294595655347394611934529154791724/133685526528939\ 0940039694251832145047588094867525*c_1001_7^9 - 373454376815149785711891206522630569502555638352101/445618421763130\ 313346564750610715015862698289175*c_1001_7^8 - 19942436796144043434497533225510054976606282612094/4456184217631303\ 13346564750610715015862698289175*c_1001_7^7 + 552429580329780465987960862558360322363859179912761/133685526528939\ 0940039694251832145047588094867525*c_1001_7^6 - 326826478537338324900149831894070479984466017763559/133685526528939\ 0940039694251832145047588094867525*c_1001_7^5 - 13216603215825505555154805334907206851487361873868/4456184217631303\ 13346564750610715015862698289175*c_1001_7^4 + 24482768283205202150290638682607354253184791056221/1336855265289390\ 940039694251832145047588094867525*c_1001_7^3 + 50626126073632118851317818528332871072665720532413/1336855265289390\ 940039694251832145047588094867525*c_1001_7^2 - 1677836287730406339584350225862959939622209710683/89123684352626062\ 669312950122143003172539657835*c_1001_7 + 2701967562355639462031753343421805552309508791167/13368552652893909\ 40039694251832145047588094867525, c_1001_7^18 - 514*c_1001_7^17 - 1062*c_1001_7^16 + 2194*c_1001_7^15 + 7339*c_1001_7^14 - 11220*c_1001_7^13 - 14208*c_1001_7^12 + 21229*c_1001_7^11 + 7585*c_1001_7^10 - 17581*c_1001_7^9 + 900*c_1001_7^8 + 8171*c_1001_7^7 - 5937*c_1001_7^6 + 28*c_1001_7^5 + 323*c_1001_7^4 + 676*c_1001_7^3 - 478*c_1001_7^2 + 98*c_1001_7 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.320 Total time: 2.529 seconds, Total memory usage: 32.09MB