Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 2101141949] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0464 geometric_solution 4.49877316 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.326899225908 0.640466752135 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.119016294717 0.068070656738 1 1 3 3 0132 2310 0132 2310 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 -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 3.664832527597 2.836664185202 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.094889458599 0.569329554238 5 3 6 5 2310 0132 0132 2031 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.131554831199 0.793978416447 6 4 4 3 2310 1302 3201 0132 0 0 0 0 0 1 -1 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.131554831199 0.793978416447 6 6 5 4 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.792042802776 0.839131134320 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : 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_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 11662738887149421203668014161527218693198701391/8840166202913945157\ 0374449561242275571621101*c_0101_2^27 - 762916029681026534181547927566104570779637036/803651472992176832457\ 9495414658388688329191*c_0101_2^26 + 100081010230677462152580692696552901903268708811/884016620291394515\ 70374449561242275571621101*c_0101_2^25 - 406731306230835930752068246071114963836778908209/884016620291394515\ 70374449561242275571621101*c_0101_2^24 - 167415833893409666047137183149477030753433517611/803651472992176832\ 4579495414658388688329191*c_0101_2^23 + 4604636458335377815395142340526066970541305359918/88401662029139451\ 570374449561242275571621101*c_0101_2^22 + 22654620775574569360171578187054712793339191138456/8840166202913945\ 1570374449561242275571621101*c_0101_2^21 - 10458298527600818211044738914504904004846912385083/8840166202913945\ 1570374449561242275571621101*c_0101_2^20 - 128092046955220631459198450143666584132539676577955/884016620291394\ 51570374449561242275571621101*c_0101_2^19 - 41039718651007892963730761465077758983364592126175/8840166202913945\ 1570374449561242275571621101*c_0101_2^18 + 381295153401761413676141608530725836898918245226869/884016620291394\ 51570374449561242275571621101*c_0101_2^17 + 246077508890347993468856343291650069985383499302542/884016620291394\ 51570374449561242275571621101*c_0101_2^16 - 659800191917793105058200025929729534750505449842491/884016620291394\ 51570374449561242275571621101*c_0101_2^15 - 488749699767416722451728597920222877184323103705555/884016620291394\ 51570374449561242275571621101*c_0101_2^14 + 723640991698743861463363387293959451427414606225449/884016620291394\ 51570374449561242275571621101*c_0101_2^13 + 463995059457806392409229154505648072595835027256164/884016620291394\ 51570374449561242275571621101*c_0101_2^12 - 551939395119692584359149359287269339075105392580696/884016620291394\ 51570374449561242275571621101*c_0101_2^11 - 184104680540551036138519165278243449141180067991002/884016620291394\ 51570374449561242275571621101*c_0101_2^10 + 28845477767777787337028794899398236089565812806864/8036514729921768\ 324579495414658388688329191*c_0101_2^9 - 26497216511003509664492729707690510279669249711674/8840166202913945\ 1570374449561242275571621101*c_0101_2^8 - 133923086881527387246947941227770837635352966627333/884016620291394\ 51570374449561242275571621101*c_0101_2^7 + 53419771608405719955503744745371911320163997640881/8840166202913945\ 1570374449561242275571621101*c_0101_2^6 + 33672535059978940473504938437281198264089606309978/8840166202913945\ 1570374449561242275571621101*c_0101_2^5 - 635983260696109039053288799678270243394918956224/285166651706901456\ 6786272566491686308761971*c_0101_2^4 - 2765605069048993758330273688865154448605268427167/88401662029139451\ 570374449561242275571621101*c_0101_2^3 + 282192171689219229134215579553734406253156856054/803651472992176832\ 4579495414658388688329191*c_0101_2^2 - 272323790069141337739194310301464670202805475789/884016620291394515\ 70374449561242275571621101*c_0101_2 - 205677182193524207763308719624628236557725722985/884016620291394515\ 70374449561242275571621101, c_0011_0 - 1, c_0011_3 + 207199732561482091895018859124642217288540/25924241064263768\ 7889661142408335118978361*c_0101_2^27 + 188231295636593330385340956911463546479847/259242410642637687889661\ 142408335118978361*c_0101_2^26 - 1775931196750995210687721777043320\ 057030625/259242410642637687889661142408335118978361*c_0101_2^25 + 6883241099481226915972557298148373443450548/25924241064263768788966\ 1142408335118978361*c_0101_2^24 + 343118869188940792957745649892448\ 28163359188/259242410642637687889661142408335118978361*c_0101_2^23 - 76647523805337528329608146724039201955044005/2592424106426376878896\ 61142408335118978361*c_0101_2^22 - 421601603878382087931202200643277195623794810/259242410642637687889\ 661142408335118978361*c_0101_2^21 + 121918030514595916704015112381511507456236172/259242410642637687889\ 661142408335118978361*c_0101_2^20 + 2355848839144359240877249861070016903596198507/25924241064263768788\ 9661142408335118978361*c_0101_2^19 + 1112880937866623944806712538128553715145755477/25924241064263768788\ 9661142408335118978361*c_0101_2^18 - 6901797202423233570152613240117910475415400234/25924241064263768788\ 9661142408335118978361*c_0101_2^17 - 5606463942943077048363231906518517819167364807/25924241064263768788\ 9661142408335118978361*c_0101_2^16 + 11734035548169608374133361385459107690894475192/2592424106426376878\ 89661142408335118978361*c_0101_2^15 + 10997638412554577956648511742042261713537084487/2592424106426376878\ 89661142408335118978361*c_0101_2^14 - 12767511701495927101272989318916269011816512630/2592424106426376878\ 89661142408335118978361*c_0101_2^13 - 10880365740527044907520438170523451369514216273/2592424106426376878\ 89661142408335118978361*c_0101_2^12 + 10022332730973280375981424082678314895987760792/2592424106426376878\ 89661142408335118978361*c_0101_2^11 + 5077838351500107828142838479966325971653453113/25924241064263768788\ 9661142408335118978361*c_0101_2^10 - 6267872800399367526074709086325615161378116715/25924241064263768788\ 9661142408335118978361*c_0101_2^9 - 192289185468513016625312638301127637295604746/259242410642637687889\ 661142408335118978361*c_0101_2^8 + 2952922251639624889221084926142452494170880904/25924241064263768788\ 9661142408335118978361*c_0101_2^7 - 893849836434628522306778358227786299963874387/259242410642637687889\ 661142408335118978361*c_0101_2^6 - 826504262221891487997266694388430757824366072/259242410642637687889\ 661142408335118978361*c_0101_2^5 + 396619711394048012487071770937710812207324586/259242410642637687889\ 661142408335118978361*c_0101_2^4 + 82566903629407495129316447549203335682689682/2592424106426376878896\ 61142408335118978361*c_0101_2^3 - 690166109985047999997844011811871\ 14589656620/259242410642637687889661142408335118978361*c_0101_2^2 + 4598261260630925625959120361167755923215195/25924241064263768788966\ 1142408335118978361*c_0101_2 + 439869691620890538545930261172470398\ 9462203/259242410642637687889661142408335118978361, c_0011_5 + 187117050172006345966022206369894066144082/25924241064263768\ 7889661142408335118978361*c_0101_2^27 + 38065931569754162739273275318423065703282/2592424106426376878896611\ 42408335118978361*c_0101_2^26 - 15978926936817812883697440877164281\ 23405719/259242410642637687889661142408335118978361*c_0101_2^25 + 7360020264343428130074227405156330360834601/25924241064263768788966\ 1142408335118978361*c_0101_2^24 + 255077949843584738936062986178486\ 74495615577/259242410642637687889661142408335118978361*c_0101_2^23 - 85986095969125324109412342323645988475513707/2592424106426376878896\ 61142408335118978361*c_0101_2^22 - 315141510916071363886840613707570403665257465/259242410642637687889\ 661142408335118978361*c_0101_2^21 + 318056569362662898193923275732160961822657412/259242410642637687889\ 661142408335118978361*c_0101_2^20 + 1842556607142502274222941929390481216761482308/25924241064263768788\ 9661142408335118978361*c_0101_2^19 - 248798447090955149865832918178921148827013787/259242410642637687889\ 661142408335118978361*c_0101_2^18 - 5707929877089449888786698590211879960473262914/25924241064263768788\ 9661142408335118978361*c_0101_2^17 - 1023731424026766450062906711083147908116271307/25924241064263768788\ 9661142408335118978361*c_0101_2^16 + 10241636854905203003153281742923738689732272743/2592424106426376878\ 89661142408335118978361*c_0101_2^15 + 2378456046596426732200717916590951587595532254/25924241064263768788\ 9661142408335118978361*c_0101_2^14 - 11248420524879422692843787458986895140376627272/2592424106426376878\ 89661142408335118978361*c_0101_2^13 - 1302857743838793140561909372789554354305195308/25924241064263768788\ 9661142408335118978361*c_0101_2^12 + 7727970300453272096318208291889886348101045642/25924241064263768788\ 9661142408335118978361*c_0101_2^11 - 1109737596148004220657013646385870413864533108/25924241064263768788\ 9661142408335118978361*c_0101_2^10 - 3241830297789233450991773866238142240599685558/25924241064263768788\ 9661142408335118978361*c_0101_2^9 + 1763543735373218859905145926033236062227079940/25924241064263768788\ 9661142408335118978361*c_0101_2^8 + 719227857165137320592450243112282241968435764/259242410642637687889\ 661142408335118978361*c_0101_2^7 - 855686460942753987893130377893912795813512890/259242410642637687889\ 661142408335118978361*c_0101_2^6 - 24908189661464973975022099620857859323511176/2592424106426376878896\ 61142408335118978361*c_0101_2^5 + 172888046496368088339610425073690\ 617526748876/259242410642637687889661142408335118978361*c_0101_2^4 - 20157862724311321270133347739122861125507924/2592424106426376878896\ 61142408335118978361*c_0101_2^3 - 147235141077714324866984850052294\ 03885957462/259242410642637687889661142408335118978361*c_0101_2^2 + 2634478986535413069224544549961406899511292/25924241064263768788966\ 1142408335118978361*c_0101_2 + 110257329812024739979928258161955394\ 0318944/259242410642637687889661142408335118978361, c_0011_6 - 281826044677810712276295084584031785233346/25924241064263768\ 7889661142408335118978361*c_0101_2^27 - 279216347744769204571457141499159774067350/259242410642637687889661\ 142408335118978361*c_0101_2^26 + 2460765838147472186964603793939399\ 958160058/259242410642637687889661142408335118978361*c_0101_2^25 - 9190937503273316975224685886581204066906957/25924241064263768788966\ 1142408335118978361*c_0101_2^24 - 479557438188713203825190172962977\ 81608506612/259242410642637687889661142408335118978361*c_0101_2^23 + 103331202616173610957212709277567233295248019/259242410642637687889\ 661142408335118978361*c_0101_2^22 + 589011825332274989303532142368009139917344519/259242410642637687889\ 661142408335118978361*c_0101_2^21 - 151980138887892859123364110294384196805456748/259242410642637687889\ 661142408335118978361*c_0101_2^20 - 3305286238733308586972731248783542056892181184/25924241064263768788\ 9661142408335118978361*c_0101_2^19 - 1626483444105167303476423595073740027476977349/25924241064263768788\ 9661142408335118978361*c_0101_2^18 + 9776151787665112781407427822934455997807914481/25924241064263768788\ 9661142408335118978361*c_0101_2^17 + 8054371799622191477322968385284997473246070148/25924241064263768788\ 9661142408335118978361*c_0101_2^16 - 16884618591069438058096232852719913182929173072/2592424106426376878\ 89661142408335118978361*c_0101_2^15 - 15772402839240224909589810754331955729486579174/2592424106426376878\ 89661142408335118978361*c_0101_2^14 + 18735323204999109837232264569538451985885128422/2592424106426376878\ 89661142408335118978361*c_0101_2^13 + 15521980165994277031439539000166993843261195564/2592424106426376878\ 89661142408335118978361*c_0101_2^12 - 14881158563743237068168411706329726967681204793/2592424106426376878\ 89661142408335118978361*c_0101_2^11 - 7051759421728964692372717095103983811231192264/25924241064263768788\ 9661142408335118978361*c_0101_2^10 + 9198762243904900762779978626718342872580993397/25924241064263768788\ 9661142408335118978361*c_0101_2^9 + 46174291866003181929524001312855597523680320/2592424106426376878896\ 61142408335118978361*c_0101_2^8 - 420604809513451505234662979576470\ 5836800364779/259242410642637687889661142408335118978361*c_0101_2^7 + 1367274425615494766970455694392100848836327451/259242410642637687\ 889661142408335118978361*c_0101_2^6 + 1141207090074579386005014238512384941815354063/25924241064263768788\ 9661142408335118978361*c_0101_2^5 - 571903155834957928044356392893924540788530321/259242410642637687889\ 661142408335118978361*c_0101_2^4 - 110607772863937753266653270892855592623895975/259242410642637687889\ 661142408335118978361*c_0101_2^3 + 97657852173689134372731381586801520905268990/2592424106426376878896\ 61142408335118978361*c_0101_2^2 - 645141230375611303313784040530348\ 9214090880/259242410642637687889661142408335118978361*c_0101_2 - 6769683994210934476844655536323738275391253/25924241064263768788966\ 1142408335118978361, c_0101_0 + 423449029713776643031723977648458100767324/25924241064263768\ 7889661142408335118978361*c_0101_2^27 + 207199732561482091895018859124642217288540/259242410642637687889661\ 142408335118978361*c_0101_2^26 - 3622809971787396456900174841924659\ 360426069/259242410642637687889661142408335118978361*c_0101_2^25 + 15585479021513847153612961306543462074429659/2592424106426376878896\ 61142408335118978361*c_0101_2^24 + 62778513021699743796160122347744842744737316/2592424106426376878896\ 61142408335118978361*c_0101_2^23 - 179106424056849348792214319745578054623372108/259242410642637687889\ 661142408335118978361*c_0101_2^22 - 774491524773641436045889261888698152019593957/259242410642637687889\ 661142408335118978361*c_0101_2^21 + 527771120739905145745922957244565866296545598/259242410642637687889\ 661142408335118978361*c_0101_2^20 + 4444062276803114112128821752239323341988312240/25924241064263768788\ 9661142408335118978361*c_0101_2^19 + 607851244485889258442293281337181863628685035/259242410642637687889\ 661142408335118978361*c_0101_2^18 - 13463081562940995661631290220486671029467071251/2592424106426376878\ 89661142408335118978361*c_0101_2^17 - 6153986215948704018558588695590733469460306050/25924241064263768788\ 9661142408335118978361*c_0101_2^16 + 23681388197210284466925957007537086720404599653/2592424106426376878\ 89661142408335118978361*c_0101_2^15 + 12704580724273584439962072742229373657853181800/2592424106426376878\ 89661142408335118978361*c_0101_2^14 - 26044835808747175222480638374689556025386884385/2592424106426376878\ 89661142408335118978361*c_0101_2^13 - 11360390575757047316478570541190442742966694978/2592424106426376878\ 89661142408335118978361*c_0101_2^12 + 19167153958932831905367663559433487002834327443/2592424106426376878\ 89661142408335118978361*c_0101_2^11 + 3133663915589561947141338414293198512704933960/25924241064263768788\ 9661142408335118978361*c_0101_2^10 - 10018543006825743272581153047178853778802414811/2592424106426376878\ 89661142408335118978361*c_0101_2^9 + 2162573932172211660043883584677537166798536801/25924241064263768788\ 9661142408335118978361*c_0101_2^8 + 3686503926709681033545278996958748565733083094/25924241064263768788\ 9661142408335118978361*c_0101_2^7 - 1996773456684710291176736648590374245698369332/25924241064263768788\ 9661142408335118978361*c_0101_2^6 - 785023435798187925047625295972132568066672119/259242410642637687889\ 661142408335118978361*c_0101_2^5 + 617033480072373088097880345415162907691441444/259242410642637687889\ 661142408335118978361*c_0101_2^4 + 36264587107624089267074665958872968454331862/2592424106426376878896\ 61142408335118978361*c_0101_2^3 - 851189121372480555112462475995860\ 72221170622/259242410642637687889661142408335118978361*c_0101_2^2 + 10756013206756347845321769451963131336389255/2592424106426376878896\ 61142408335118978361*c_0101_2 + 54451593200584789120225683164646721\ 24749843/259242410642637687889661142408335118978361, c_0101_1 + 45645822120425472056270610974745822141025/259242410642637687\ 889661142408335118978361*c_0101_2^27 + 143641862272659483360774385191319150950058/259242410642637687889661\ 142408335118978361*c_0101_2^26 - 4086187706908647765612560489270674\ 44558692/259242410642637687889661142408335118978361*c_0101_2^25 + 644014629372731668593310298631707506780052/259242410642637687889661\ 142408335118978361*c_0101_2^24 + 1189425039311814212546180319274785\ 2270849876/259242410642637687889661142408335118978361*c_0101_2^23 - 4527044421047052329884352975512707647298215/25924241064263768788966\ 1142408335118978361*c_0101_2^22 - 144635286420632807054251177760283\ 481722668323/259242410642637687889661142408335118978361*c_0101_2^21 - 127048140995503956701736242201851159327305883/2592424106426376878\ 89661142408335118978361*c_0101_2^20 + 751902520813760344565976118399510558527873092/259242410642637687889\ 661142408335118978361*c_0101_2^19 + 1177958305179823231383792903318661581854356383/25924241064263768788\ 9661142408335118978361*c_0101_2^18 - 2001555153496738752078985551395847780345719845/25924241064263768788\ 9661142408335118978361*c_0101_2^17 - 4240018281196211693092609195071812484829627079/25924241064263768788\ 9661142408335118978361*c_0101_2^16 + 3084954473220243886106788445283416253896681655/25924241064263768788\ 9661142408335118978361*c_0101_2^15 + 7993934105791685016657153403299220696006073568/25924241064263768788\ 9661142408335118978361*c_0101_2^14 - 3379027964349960832329653220200041675612563026/25924241064263768788\ 9661142408335118978361*c_0101_2^13 - 8547455391811761909271540715512252495250025645/25924241064263768788\ 9661142408335118978361*c_0101_2^12 + 3475698548124863716354514011316686189133109056/25924241064263768788\ 9661142408335118978361*c_0101_2^11 + 5058545016390777304174398421116904950514274582/25924241064263768788\ 9661142408335118978361*c_0101_2^10 - 3244165951502961640586219528796033922736017208/25924241064263768788\ 9661142408335118978361*c_0101_2^9 - 1269421971614429514609105955293929984758763852/25924241064263768788\ 9661142408335118978361*c_0101_2^8 + 2031368761756182142593080691601857705841733862/25924241064263768788\ 9661142408335118978361*c_0101_2^7 - 217936884378847417994065030131391332673763091/259242410642637687889\ 661142408335118978361*c_0101_2^6 - 666265911335847590529797085317169231103791836/259242410642637687889\ 661142408335118978361*c_0101_2^5 + 218561207961373896404099170489770356583715529/259242410642637687889\ 661142408335118978361*c_0101_2^4 + 78869768504596527480710389620713207976587853/2592424106426376878896\ 61142408335118978361*c_0101_2^3 - 468654515423500425616551627005553\ 84586563765/259242410642637687889661142408335118978361*c_0101_2^2 + 1429057915171886240179723651714504928699457/25924241064263768788966\ 1142408335118978361*c_0101_2 + 323357436333252644670799815542312768\ 5045634/259242410642637687889661142408335118978361, c_0101_2^28 - 9*c_0101_2^26 + 41*c_0101_2^25 + 132*c_0101_2^24 - 504*c_0101_2^23 - 1648*c_0101_2^22 + 2242*c_0101_2^21 + 10207*c_0101_2^20 - 4128*c_0101_2^19 - 34422*c_0101_2^18 + 1766*c_0101_2^17 + 69165*c_0101_2^16 + 2292*c_0101_2^15 - 87478*c_0101_2^14 + 3323*c_0101_2^13 + 70959*c_0101_2^12 - 16268*c_0101_2^11 - 35651*c_0101_2^10 + 19909*c_0101_2^9 + 9160*c_0101_2^8 - 11689*c_0101_2^7 + 257*c_0101_2^6 + 3409*c_0101_2^5 - 851*c_0101_2^4 - 396*c_0101_2^3 + 189*c_0101_2^2 + 2*c_0101_2 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB