Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 863153929] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0100 geometric_solution 3.63231500 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 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 -1 0 1 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.738140642872 0.019861550703 0 2 0 2 0132 0132 1023 1023 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 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.522394790303 0.062200536784 3 1 3 1 0132 0132 2310 1023 0 0 0 0 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 0 0 0 0 0 0 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 -1.913846185013 1.302389015688 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.764548400570 0.971859628325 5 6 3 5 1230 0132 0132 3012 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 -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 1.199484277015 0.406331372248 6 4 4 3 3201 3012 1230 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.199484277015 0.406331372248 6 4 6 5 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.993281203383 0.504176623657 ==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' : negation(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' : negation(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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 2869263860255891331587012948664733968565339742032162875780801/37867\ 100950741599078453772020599090972223488567851116485311360*c_0101_5^\ 22 + 3438677187770482201197080226865413590852569290807207099677009/\ 7573420190148319815690754404119818194444697713570223297062272*c_010\ 1_5^21 - 7312818432698395207662090037372003242569577515361241254423\ 691/2912853919287815313727213232353776228632576043680855114254720*c\ _0101_5^20 - 199604462651231204963074111784185757736883087382210800\ 31929253/5916734523553374856008401878218607964409920088726736950829\ 90*c_0101_5^19 - 94414750500351341025451800666808887938681571084671\ 296377389121/236669380942134994240336075128744318576396803549069478\ 0331960*c_0101_5^18 - 191056570676606213661213361734173732866139433\ 48038358188387180059/3786710095074159907845377202059909097222348856\ 7851116485311360*c_0101_5^17 - 737873221221445246643138783129864230\ 4880181502403020623059432669/37867100950741599078453772020599090972\ 223488567851116485311360*c_0101_5^16 - 9359122972472065258360952018325964060703287814199305757854257189/29\ 12853919287815313727213232353776228632576043680855114254720*c_0101_\ 5^15 - 304201132660232055555353508083809218779715376321254524546954\ 1943/3442463722794690825313979274599917361111226233441010589573760*\ c_0101_5^14 - 43324517564001026546013743626908642674244341968692239\ 2413763029581/37867100950741599078453772020599090972223488567851116\ 485311360*c_0101_5^13 - 2149190819740837563960041001275092722538977\ 8032958365547150286301/75734201901483198156907544041198181944446977\ 13570223297062272*c_0101_5^12 - 34597685077114893702152613728774846\ 383712278371857585958168415203/145642695964390765686360661617688811\ 4316288021840427557127360*c_0101_5^11 - 9591298277958065068386190630607643753401694531343829881301502397/18\ 93355047537079953922688601029954548611174428392555824265568*c_0101_\ 5^10 - 168643975999626595183414886610230854190615696117999643755940\ 75589/582570783857563062745442646470755245726515208736171022850944*\ c_0101_5^9 - 201051925885462225759635646568979017710364432603000219\ 067349137023/378671009507415990784537720205990909722234885678511164\ 85311360*c_0101_5^8 - 191239396761286051367641169428442735884845438\ 154387973087147007619/946677523768539976961344300514977274305587214\ 1962779121327840*c_0101_5^7 - 1427391005282528897625350693226581624\ 96926116260069301590798277937/3786710095074159907845377202059909097\ 2223488567851116485311360*c_0101_5^6 - 441360790419278316900285333402681755026028425229104823170553730/591\ 67345235533748560084018782186079644099200887267369508299*c_0101_5^5 - 17270658830417322269093695830763218284975733754502925270728710311\ /9466775237685399769613443005149772743055872141962779121327840*c_01\ 01_5^4 - 6539181010080671998172555144754039934678418501912626560875\ 090929/473338761884269988480672150257488637152793607098138956066392\ 0*c_0101_5^3 - 6857707892089092562684084139539133369342563156047739\ 3410177125/23666938094213499424033607512874431857639680354906947803\ 3196*c_0101_5^2 - 1049691806003701505263090381283056257165985689569\ 75586884506279/1183346904710674971201680375643721592881984017745347\ 390165980*c_0101_5 - 1090841713857263079545223106126562460366089139\ 3431653258357729/59167345235533748560084018782186079644099200887267\ 3695082990, c_0011_0 - 1, c_0011_4 + 1198722594428260468023457684216486725094311269872131747/2880\ 722780581331234572367593807462226871319023800008861568*c_0101_5^22 + 1705252352777580377625860133034244853091034041234991841/72018069514\ 5332808643091898451865556717829755950002215392*c_0101_5^21 - 3237053547239137649413436754963293696689206787577565571/22159406004\ 4717787274797507215958632836255309523077604736*c_0101_5^20 - 522959362269553800314299734678985040799388411291859161329/288072278\ 0581331234572367593807462226871319023800008861568*c_0101_5^19 - 463930026565158376801953640650696168987145455910893112889/288072278\ 0581331234572367593807462226871319023800008861568*c_0101_5^18 - 3850706230652056016238650266654667924460506588138141235251/14403613\ 90290665617286183796903731113435659511900004430784*c_0101_5^17 - 531842272304129859808912836137922268723170799019291367303/288072278\ 0581331234572367593807462226871319023800008861568*c_0101_5^16 - 233508636577808291048773822464910826996703484704005747835/138496287\ 52794861704674844200997414552265956845192350296*c_0101_5^15 + 2372629896684775104811803964283033254033850545707658358423/28807227\ 80581331234572367593807462226871319023800008861568*c_0101_5^14 - 84281832141359790902314034632553707462253111289555582181951/1440361\ 390290665617286183796903731113435659511900004430784*c_0101_5^13 + 14787304987754801338395354657778218637288030287629873767421/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^12 - 25675822317664523245749188647622984329192288003467805600439/2215940\ 60044717787274797507215958632836255309523077604736*c_0101_5^11 + 48407598783678895396806044225595923163871377504330830451165/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^10 - 14530390585337167546122046409802747150967023502618536773319/1107970\ 30022358893637398753607979316418127654761538802368*c_0101_5^9 + 77078348662574940958036643169886425006364577781362427649831/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^8 - 236083196094928069717267812716727131670538938600282233294367/288072\ 2780581331234572367593807462226871319023800008861568*c_0101_5^7 + 27026744895860068405656244338580366499170321061721944802531/1440361\ 390290665617286183796903731113435659511900004430784*c_0101_5^6 - 2268975013524692675365273741454446659219797027949952077873/90022586\ 893166601080386487306483194589728719493750276924*c_0101_5^5 + 2147835304474774912600803406930415339392542638042848136221/36009034\ 7572666404321545949225932778358914877975001107696*c_0101_5^4 - 336625077775610969832440558779051351668849864923338188727/900225868\ 93166601080386487306483194589728719493750276924*c_0101_5^3 + 252526361639433502602081223146689515030138063220910229727/900225868\ 93166601080386487306483194589728719493750276924*c_0101_5^2 - 12623341324267742649146199417950988497379149342827250991/4501129344\ 6583300540193243653241597294864359746875138462*c_0101_5 + 3541429736674474112839605348953265623403608730166339107/22505646723\ 291650270096621826620798647432179873437569231, c_0101_0 + 8388136636501560045286373773111690333160025488036192845/2880\ 722780581331234572367593807462226871319023800008861568*c_0101_5^22 + 25690584022663131010854983935860691556732042640966350651/1440361390\ 290665617286183796903731113435659511900004430784*c_0101_5^21 - 20845820358229259551120287712712330168899668039314743545/2215940600\ 44717787274797507215958632836255309523077604736*c_0101_5^20 - 3770576550521318263235363299260986335520092084164044936121/28807227\ 80581331234572367593807462226871319023800008861568*c_0101_5^19 - 4923397648348838822274783356973562334575623246541910677457/28807227\ 80581331234572367593807462226871319023800008861568*c_0101_5^18 - 14133617087327683678544300396705852379509986248407805674029/7201806\ 95145332808643091898451865556717829755950002215392*c_0101_5^17 - 28980928867732624874044012408353604000476028697591923961273/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^16 - 13843347391441201437421530166277939064888810147283494744429/1107970\ 30022358893637398753607979316418127654761538802368*c_0101_5^15 - 143606083511460916468653349996183137127027007230293819415795/288072\ 2780581331234572367593807462226871319023800008861568*c_0101_5^14 - 161081883913591708587023975990851177527067355840089658663787/360090\ 347572666404321545949225932778358914877975001107696*c_0101_5^13 - 471985483057111929636580203950043860959183848378985119297973/288072\ 2780581331234572367593807462226871319023800008861568*c_0101_5^12 - 207983341514779752334905014867208166527423105577625695909771/221594\ 060044717787274797507215958632836255309523077604736*c_0101_5^11 - 872530880396835671547676893397742288272209807419196052852147/288072\ 2780581331234572367593807462226871319023800008861568*c_0101_5^10 - 32169552316158387214823718144547475427385822265207271745511/2769925\ 7505589723409349688401994829104531913690384700592*c_0101_5^9 - 936299830547310767775040251799770754971486408642740320587391/288072\ 2780581331234572367593807462226871319023800008861568*c_0101_5^8 - 2396790692537305093724791283399615505741730451625077487557407/28807\ 22780581331234572367593807462226871319023800008861568*c_0101_5^7 - 155857651498215651343952697060508547799765861387628387429655/720180\ 695145332808643091898451865556717829755950002215392*c_0101_5^6 - 14670345546969016234622140889311348259116340239862293392015/4501129\ 3446583300540193243653241597294864359746875138462*c_0101_5^5 - 31942885110320899065407670617174474421784288894896830492455/3600903\ 47572666404321545949225932778358914877975001107696*c_0101_5^4 - 1547759410657418576483897925755685507590225549471599455402/22505646\ 723291650270096621826620798647432179873437569231*c_0101_5^3 - 1265275608929509099443458601373453443755547557182225576457/90022586\ 893166601080386487306483194589728719493750276924*c_0101_5^2 - 229044166402441671909166456211656257350156558642258440117/450112934\ 46583300540193243653241597294864359746875138462*c_0101_5 - 35268660413289458416386799581474415887193788103331437635/2250564672\ 3291650270096621826620798647432179873437569231, c_0101_1 - 6563977146806710375141499026230797413928679575579209089/1440\ 361390290665617286183796903731113435659511900004430784*c_0101_5^22 - 18975343984034309418353228066711646808462387190282139447/7201806951\ 45332808643091898451865556717829755950002215392*c_0101_5^21 + 17378598098462236634310890735352447771805073316524386605/1107970300\ 22358893637398753607979316418127654761538802368*c_0101_5^20 + 2877584884845073094202841130320211861795764761989421505265/14403613\ 90290665617286183796903731113435659511900004430784*c_0101_5^19 + 2835205238246859900325699558274813629101094968214922716461/14403613\ 90290665617286183796903731113435659511900004430784*c_0101_5^18 + 2681879224558655939269622522705583494675400088822098859311/90022586\ 893166601080386487306483194589728719493750276924*c_0101_5^17 + 7592838933122056938907355157859901544926282573716311221433/14403613\ 90290665617286183796903731113435659511900004430784*c_0101_5^16 + 10529960261102084383398994852382061655722285593256130026247/5539851\ 5011179446818699376803989658209063827380769401184*c_0101_5^15 + 17487560618474832878677760377838915490029157475132179294399/1440361\ 390290665617286183796903731113435659511900004430784*c_0101_5^14 + 242223376930421792460501264362667134187063657815778856306513/360090\ 347572666404321545949225932778358914877975001107696*c_0101_5^13 + 34819560123941392711363582217685943099853952957456269089249/1440361\ 390290665617286183796903731113435659511900004430784*c_0101_5^12 + 152749413835697312641538644307872129439131844442453846154603/110797\ 030022358893637398753607979316418127654761538802368*c_0101_5^11 - 1907087667905769416907052199393825406346452379836991054465/14403613\ 90290665617286183796903731113435659511900004430784*c_0101_5^10 + 45718414976598004270361810835427220957578012247030987460589/2769925\ 7505589723409349688401994829104531913690384700592*c_0101_5^9 - 79647591443853653889308667444533226031226040345822755386433/1440361\ 390290665617286183796903731113435659511900004430784*c_0101_5^8 + 1616341232483737711687492056658995060605135237156746250262223/14403\ 61390290665617286183796903731113435659511900004430784*c_0101_5^7 - 11769698962716203979056823073804975049704236690772828310241/3600903\ 47572666404321545949225932778358914877975001107696*c_0101_5^6 + 141417913411201503650015900963345317820623361749665219727833/360090\ 347572666404321545949225932778358914877975001107696*c_0101_5^5 + 7010352462926891161366593707216382898368219299252117653243/36009034\ 7572666404321545949225932778358914877975001107696*c_0101_5^4 + 5831570827526549299839620810240188176180235851317523527147/90022586\ 893166601080386487306483194589728719493750276924*c_0101_5^3 + 440210855817591548747699025923866836466830849215370688745/900225868\ 93166601080386487306483194589728719493750276924*c_0101_5^2 + 233107307574968618093689071095864022298714523885640666797/450112934\ 46583300540193243653241597294864359746875138462*c_0101_5 + 41261676985876064972180076706245056253642101939888557891/2250564672\ 3291650270096621826620798647432179873437569231, c_0101_2 - 138138699759695600650067695974076117361200197897996283/18004\ 5173786333202160772974612966389179457438987500553848*c_0101_5^22 - 7363607010401975014128255831467950228734712831084616979/14403613902\ 90665617286183796903731113435659511900004430784*c_0101_5^21 + 155683146039181813814910694544151767867120716505446861/692481437639\ 7430852337422100498707276132978422596175148*c_0101_5^20 + 518203745539863177121122897111514739427844425030899422555/144036139\ 0290665617286183796903731113435659511900004430784*c_0101_5^19 + 906965917505405326057862402670104476615292735695123221757/144036139\ 0290665617286183796903731113435659511900004430784*c_0101_5^18 + 7642499332405627523972414747213046446705681909356359986489/14403613\ 90290665617286183796903731113435659511900004430784*c_0101_5^17 + 3757377625442196374468865403486041429377625454104523679323/72018069\ 5145332808643091898451865556717829755950002215392*c_0101_5^16 + 3635859749940222684243805535068895047544377236929638357223/11079703\ 0022358893637398753607979316418127654761538802368*c_0101_5^15 + 10409237590380089456724498050412841473234615590321393900405/3600903\ 47572666404321545949225932778358914877975001107696*c_0101_5^14 + 166853459960045027835146797694485588444734939146144297683645/144036\ 1390290665617286183796903731113435659511900004430784*c_0101_5^13 + 68978067530150740313908947895199668764119855129425680280105/7201806\ 95145332808643091898451865556717829755950002215392*c_0101_5^12 + 26536802453979969980989306899147547513793170120652491541435/1107970\ 30022358893637398753607979316418127654761538802368*c_0101_5^11 + 256715204743949230620608710135617190732714502455535854959247/144036\ 1390290665617286183796903731113435659511900004430784*c_0101_5^10 + 31908840506231668311603279353810662653043545828715021293015/1107970\ 30022358893637398753607979316418127654761538802368*c_0101_5^9 + 136283736035740466116797395620822171191804928471164799811747/720180\ 695145332808643091898451865556717829755950002215392*c_0101_5^8 + 285503476655795381703560592308365023153586812180487047306333/144036\ 1390290665617286183796903731113435659511900004430784*c_0101_5^7 + 166267770589842048741857610493885824523734133380802333417907/144036\ 1390290665617286183796903731113435659511900004430784*c_0101_5^6 + 55361861674314765659454472043943000136128244484217147552237/7201806\ 95145332808643091898451865556717829755950002215392*c_0101_5^5 + 13821210029498947990705731357703487983900055141077756057547/3600903\ 47572666404321545949225932778358914877975001107696*c_0101_5^4 + 1692390674594236944068418458750093700954565552395149781391/90022586\ 893166601080386487306483194589728719493750276924*c_0101_5^3 + 511832267475866991068671907462659941177997863039662186403/900225868\ 93166601080386487306483194589728719493750276924*c_0101_5^2 + 38474167082293004140566496503513172622875163869278132859/4501129344\ 6583300540193243653241597294864359746875138462*c_0101_5 + 11646585810608911087866072811800349268867467648931153975/2250564672\ 3291650270096621826620798647432179873437569231, c_0101_3 + 308338900205287205229522913360406544044498806371714465/28807\ 22780581331234572367593807462226871319023800008861568*c_0101_5^22 + 513966421801985106296466813104020046609878099589781079/720180695145\ 332808643091898451865556717829755950002215392*c_0101_5^21 - 678890858446846199804305497465947591711352513306819409/221594060044\ 717787274797507215958632836255309523077604736*c_0101_5^20 - 143492954518992403533441493348001413202654262786876684587/288072278\ 0581331234572367593807462226871319023800008861568*c_0101_5^19 - 261051434321607097520649455163659873785686198065092772307/288072278\ 0581331234572367593807462226871319023800008861568*c_0101_5^18 - 1111159870382607657930055991278466616742687162643932589025/14403613\ 90290665617286183796903731113435659511900004430784*c_0101_5^17 - 2170081409998495015145817362689451008675814057255068881693/28807227\ 80581331234572367593807462226871319023800008861568*c_0101_5^16 - 34501650569626134940099482345556221137148938403302025133/6924814376\ 397430852337422100498707276132978422596175148*c_0101_5^15 - 11528096671391313807565903469824605760103615071915580735955/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^14 - 26533412739211750733944054190234868945397907419318388077885/1440361\ 390290665617286183796903731113435659511900004430784*c_0101_5^13 - 37000488754546092217691618450017473516876531382695077200433/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^12 - 8885493246810880636930925725652504949981047824837693587853/22159406\ 0044717787274797507215958632836255309523077604736*c_0101_5^11 - 64546828355258904664041430025443351936014016042970537293953/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^10 - 5536150921346546542625124462895264988393858075647620090397/11079703\ 0022358893637398753607979316418127654761538802368*c_0101_5^9 - 59798317674076232250384930277682153111852830797894266523139/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^8 - 97402955681987753491888415553287305138120072380811803538277/2880722\ 780581331234572367593807462226871319023800008861568*c_0101_5^7 - 16533219528687515644395722451072118138034349530016477829151/1440361\ 390290665617286183796903731113435659511900004430784*c_0101_5^6 - 2006822520986167946381452745767659823610266863527108630695/18004517\ 3786333202160772974612966389179457438987500553848*c_0101_5^5 - 2077274993330089093903205456792581745040886250696047576821/36009034\ 7572666404321545949225932778358914877975001107696*c_0101_5^4 - 148458963377778890558612861603383443756862411284857002979/900225868\ 93166601080386487306483194589728719493750276924*c_0101_5^3 - 159211251713014495997580246659770927262834249489125485495/900225868\ 93166601080386487306483194589728719493750276924*c_0101_5^2 - 5633165361028640795383329705245514856593468836212658389/45011293446\ 583300540193243653241597294864359746875138462*c_0101_5 + 9515631704426110810275187759431690539653109707892924317/22505646723\ 291650270096621826620798647432179873437569231, c_0101_5^23 + 6*c_0101_5^22 - 33*c_0101_5^21 - 445*c_0101_5^20 - 533*c_0101_5^19 - 6700*c_0101_5^18 - 2653*c_0101_5^17 - 42986*c_0101_5^16 - 11975*c_0101_5^15 - 154744*c_0101_5^14 - 38081*c_0101_5^13 - 327003*c_0101_5^12 - 66943*c_0101_5^11 - 410400*c_0101_5^10 - 67163*c_0101_5^9 - 302219*c_0101_5^8 - 43708*c_0101_5^7 - 125072*c_0101_5^6 - 19584*c_0101_5^5 - 29456*c_0101_5^4 - 3072*c_0101_5^3 - 3648*c_0101_5^2 - 384*c_0101_5 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB