Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 408519896] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0468 geometric_solution 4.50037778 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 0 -1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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.742582401696 0.034617284440 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.542040720596 0.105704940225 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 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 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 -1.123491928983 1.807564135255 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.025924079640 1.309654400104 6 5 3 5 0132 2031 0132 1302 0 0 0 0 0 0 -1 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 0 0 0 0 0 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.564565670464 0.397849482617 4 6 4 3 1302 0132 2031 0132 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 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.564565670464 0.397849482617 4 5 6 6 0132 0132 1230 3012 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 -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.816470338728 0.834033466845 ==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' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), '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_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), '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_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 1713740985659510935634067128184629461669077605248534414312607484692\ 71170/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^30 - 2084992669467316597912336694551699019503034\ 342892712998871929151654894776/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^29 - 7578257318741241662968206648431732004594529273792375242135320293797\ 680718/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^28 - 376527646601016025113297453816316746242260\ 29872139389910989669840844919257/2752123290127091979292261532705197\ 106930033531960755553810987365279753*c_0101_6^27 - 8975954723373828924303738482831731427084411763713856631881334368748\ 4213992/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^26 + 19199650995229705987930499620338123492811\ 3100367775295137803343134232485467/27521232901270919792922615327051\ 97106930033531960755553810987365279753*c_0101_6^25 + 6085273536484908084576444885687496987333199289610132546816947702961\ 92885208/2752123290127091979292261532705197106930033531960755553810\ 987365279753*c_0101_6^24 - 3419901010231719399766108332268849073304\ 78648421102808400405177821732193633/2752123290127091979292261532705\ 197106930033531960755553810987365279753*c_0101_6^23 - 1362213491749331097364112141648731113989895122746213674632723666802\ 84105091/3931604700181559970417516475293138724185762188515365076872\ 83909325679*c_0101_6^22 + 20753615094037653318828871758633806009556\ 06287054481162634255169283495672831/2752123290127091979292261532705\ 197106930033531960755553810987365279753*c_0101_6^21 - 2756155622008763353667194232018180552939945558733296102341334221063\ 25226985/2752123290127091979292261532705197106930033531960755553810\ 987365279753*c_0101_6^20 - 4740263944032993313693267171204609930871\ 185470433041324876479705527807267960/275212329012709197929226153270\ 5197106930033531960755553810987365279753*c_0101_6^19 + 2414068285632809617381212097690239572093557222536661880445574077499\ 13332851/2752123290127091979292261532705197106930033531960755553810\ 987365279753*c_0101_6^18 + 3210841273082900218070308641643929499199\ 140626098603325812896789083624800830/275212329012709197929226153270\ 5197106930033531960755553810987365279753*c_0101_6^17 + 9853117434524234848529028854834339097295394584847344223016065041482\ 79714517/2752123290127091979292261532705197106930033531960755553810\ 987365279753*c_0101_6^16 - 1798751469951648774292282451345851939983\ 373320131205187214140079428655737926/275212329012709197929226153270\ 5197106930033531960755553810987365279753*c_0101_6^15 - 1995572227956661117888703076946859537356527596775367204266456647498\ 78768589/3931604700181559970417516475293138724185762188515365076872\ 83909325679*c_0101_6^14 + 22986185762224070766649131068509567700428\ 5527383410271796410441348543630638/39316047001815599704175164752931\ 3872418576218851536507687283909325679*c_0101_6^13 + 3300682556203721832371123033718596613251066982551561025962764089460\ 0182954/21170179154823784456094319482347670053307950245851965798546\ 0566559981*c_0101_6^12 - 599740094204107064824980461247194777636183\ 707040142777002675449891827518034/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^11 + 2039823149663505041691203520215458422700564059363054004109429499539\ 06947618/2752123290127091979292261532705197106930033531960755553810\ 987365279753*c_0101_6^10 + 1992991980028386722053533252826819935821\ 03230732880568221357407502193553757/2752123290127091979292261532705\ 197106930033531960755553810987365279753*c_0101_6^9 + 1900251811694320736881864207884987173084063819062902908935377849309\ 2927131/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^8 - 779249677349401582110729573747678267278809\ 20273733310176649452121426133258/2752123290127091979292261532705197\ 106930033531960755553810987365279753*c_0101_6^7 - 3739159793203421140724601140004572501976278222523669357716282498856\ 2054535/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^6 + 991672027897836226029634587037340774314891\ 217062676122869004755496827955/393160470018155997041751647529313872\ 418576218851536507687283909325679*c_0101_6^5 - 3998156077585675010746101274232904058206362398622599804781979124360\ 756288/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^4 - 4160041918317329697251363714992057475832872\ 688412164343495164939754650005/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^3 + 9558048963840286454652326023605276071578544438873794498550220692289\ 04394/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^2 + 10743514028988377011674790889853527727640145\ 90022517809114882179500405004/2752123290127091979292261532705197106\ 930033531960755553810987365279753*c_0101_6 + 1809400969556530075862870304253751422716012247169221260341906096564\ 66277/2752123290127091979292261532705197106930033531960755553810987\ 365279753, c_0011_0 - 1, c_0011_4 + 316083646779715907186558359739552484426460287957960151668154\ 1021714765/27521232901270919792922615327051971069300335319607555538\ 10987365279753*c_0101_6^30 + 40209378669526745719361981983171215228\ 448286187527495643104584093144856/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^29 + 1607762208951171517410032992027116956162651490365337359510271919000\ 07380/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^28 + 7680413276959461094129865879672152439580156\ 23161939078982841074056976559/2752123290127091979292261532705197106\ 930033531960755553810987365279753*c_0101_6^27 + 2026966206276886495430605190235618286591378924199278471313066707682\ 524677/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^26 - 269302820899357008829953016596771117932307\ 3419190742873076391423058556753/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^25 - 1334794554620272896511888648312611007843345495229705426642548865688\ 8799229/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^24 + 48441348693387984268287386451448887056917\ 6179480148506021163420837618329/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^23 + 3166865118049276563652242122152333741985749807300794704620132170887\ 086402/393160470018155997041751647529313872418576218851536507687283\ 909325679*c_0101_6^22 - 2939674758089000030891265110545291024734485\ 0240808865038570367745467981156/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^21 - 1774210789143429276361935456607259151434984880432744780965622908738\ 8001503/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^20 + 94564994311147905348910132651956092735714\ 270809061367879029466448751702605/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^19 + 4247695080648865850465664917753985275403945527675286582871791455257\ 6805766/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^18 - 70229238284836344998304774623144949635667\ 772492172258069560634475201576636/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^17 - 4885606882356999344670943161895442577320700372835700114969707243898\ 6807718/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^16 + 28333477828983785387407734267096423708123\ 841974296241628833995618947045294/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^15 + 6453599399531083311087972666469293157431162013033886954967661426075\ 489118/393160470018155997041751647529313872418576218851536507687283\ 909325679*c_0101_6^14 - 2702006935138218569230415796618729902998228\ 956181063435004929727373297866/393160470018155997041751647529313872\ 418576218851536507687283909325679*c_0101_6^13 - 2024312499676729718480196787516621358311889499182921280636132149357\ 470996/211701791548237844560943194823476700533079502458519657985460\ 566559981*c_0101_6^12 + 1005657546974117259579685217497773715799903\ 1043769566511704348895689802343/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^11 + 2403400681576868476369058455134164655217540748907350705906126375010\ 817587/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^10 - 672823242185408291941338319682642483732869\ 1427715579546554099540261488052/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^9 - 1869483439783643997307360975069945062978244839412487615368677081162\ 778715/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^8 + 1484547558698214307233267003668717878182188\ 305140164834423169473916548635/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^7 + 1537001447006334282860265314419773133144038547945187545788125921731\ 703746/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^6 + 1299943207077807881163164315224441976169657\ 9851323573046666877803517451/39316047001815599704175164752931387241\ 8576218851536507687283909325679*c_0101_6^5 - 2333398236522104166728135710710836414170371952295423931122121705751\ 7163/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^4 + 134889762786776072498547059071550485217742076\ 110367188681047666141126810/275212329012709197929226153270519710693\ 0033531960755553810987365279753*c_0101_6^3 + 1213730907234459084446492112816751148795036795878714394001904608342\ 9910/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^2 - 345102055753169994460271630836119343580342360\ 82682501521796407391466219/2752123290127091979292261532705197106930\ 033531960755553810987365279753*c_0101_6 - 1198459881829013152295954092751177209792460838172549504488672792174\ 2302/27521232901270919792922615327051971069300335319607555538109873\ 65279753, c_0101_0 - 242440758695105305717704809122772365575798486860133118799110\ 1092792273/27521232901270919792922615327051971069300335319607555538\ 10987365279753*c_0101_6^30 - 29750598374874117943121495911702871986\ 946705636738089670523684929421753/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^29 - 1101187327911701831472461736811765799596384530416649229763688095035\ 38267/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^28 - 5417896517923182065860950681960356606830350\ 63611238151797357336256882534/2752123290127091979292261532705197106\ 930033531960755553810987365279753*c_0101_6^27 - 1319081060224180419279194512826824850068836997098445676365451434727\ 309738/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^26 + 261799708336409813128933020889975271297358\ 6634925187764132603012998601700/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^25 + 8962722262860254145317419859417259971195440505208310850962703041030\ 705661/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^24 - 421050625657004454271303551505810548655791\ 6173470959931195680086940386858/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^23 - 2073331725698007977689237341742087779260007490119116702894652711810\ 864006/393160470018155997041751647529313872418576218851536507687283\ 909325679*c_0101_6^22 + 2876885810942709741624519532696773199397618\ 6171731210214947702400302437039/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^21 - 3254483280530214758282161548515982378108565889682230035635464076337\ 3230/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^20 - 70411207727934459313719765868995613875668340\ 050425007749868094446989904422/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^19 - 1794269080316260479321653002910538622022107159737276923147619191992\ 209483/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^18 + 506598254428783467471602280084900782584140\ 83442682188607294005274659057091/2752123290127091979292261532705197\ 106930033531960755553810987365279753*c_0101_6^17 + 1503100113858684652770162972530189893415695865756487380998847841054\ 4623878/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^16 - 27382952480348290835414947735934102983447\ 649220464728166555644150005256302/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^15 - 3038846192885675324731766641162197020920740408953645686040853372983\ 099345/393160470018155997041751647529313872418576218851536507687283\ 909325679*c_0101_6^14 + 3365051903224248976742481207137763279156965\ 525431570573945777359648118857/393160470018155997041751647529313872\ 418576218851536507687283909325679*c_0101_6^13 + 6687808719350250503127503836270940980264143761388542670121271573414\ 52477/2117017915482378445609431948234767005330795024585196579854605\ 66559981*c_0101_6^12 - 10614550426150284511674594752379179562211052\ 947819613753273879868196839849/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^11 + 2605664862069206757470005745839688618358286797447237951038849672464\ 310698/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^10 + 407114901350928876199361360445026165120794\ 3339705422485081380664494999750/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^9 + 1767671792126065269790671683730887594169303770958047982780653956200\ 8314/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^8 - 117981881756855477879170295775208601571948422\ 8835119505344973837106196887/27521232901270919792922615327051971069\ 30033531960755553810987365279753*c_0101_6^7 - 5178132960242195137836800941403868833386861406809941614019154962093\ 26095/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^6 + 19916016691051170837963296840503193003934042\ 270339398666513395521327902/393160470018155997041751647529313872418\ 576218851536507687283909325679*c_0101_6^5 - 6019831546432341460266485667214300653560754572244624497084844926741\ 5913/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^4 - 956392986829983101335942672862830090372632305\ 64236331898783559373048800/2752123290127091979292261532705197106930\ 033531960755553810987365279753*c_0101_6^3 + 6505077173247089443957084415254721238168766323857864534894333514294\ 945/275212329012709197929226153270519710693003353196075555381098736\ 5279753*c_0101_6^2 + 1917839135901373293366013780005876941094413020\ 8569560587629721583543088/27521232901270919792922615327051971069300\ 33531960755553810987365279753*c_0101_6 + 9458035884605194910931345978074392721912999935874472601845565942881\ 31/2752123290127091979292261532705197106930033531960755553810987365\ 279753, c_0101_1 + 157180444365341050145925016681265609105475965060447059110330\ 05071835876/2752123290127091979292261532705197106930033531960755553\ 810987365279753*c_0101_6^30 + 1910758510522358316926112236211070595\ 15610277655047905764564816467346820/2752123290127091979292261532705\ 197106930033531960755553810987365279753*c_0101_6^29 + 6929758313578151038557944472790664757125384696210146885699726411819\ 02212/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^28 + 3444357821777316678184876533422787749167493\ 096820863466104740414510399488/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^27 + 8192203993822321065492805302282784682257013588874128985891461763739\ 098736/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^26 - 177255756522604125314089199061719333152151\ 72384109488269353249883641996023/2752123290127091979292261532705197\ 106930033531960755553810987365279753*c_0101_6^25 - 5569849779971342917438777915419827454977159399308178614002861942236\ 3746301/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^24 + 32243854694913975107050537707866252104065\ 358576617468948526278723662479939/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^23 + 1251537956672281159825934419844302632856639895097698535957438863001\ 1179748/39316047001815599704175164752931387241857621885153650768728\ 3909325679*c_0101_6^22 - 192298712934158187588244211427422320725190\ 062790232296310898123612195741839/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^21 + 2654418843453245880876753722836889273870175067940745839487948453284\ 2856891/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^20 + 43792286917115463504526535524626838775144\ 2463031785028470585802013046318195/27521232901270919792922615327051\ 97106930033531960755553810987365279753*c_0101_6^19 - 2934604810332285608162220386085429358402410134694869564665479606273\ 5772063/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^18 - 29884304680301828468368928246644257766014\ 5701048566333714862187089686002049/27521232901270919792922615327051\ 97106930033531960755553810987365279753*c_0101_6^17 - 8203626775789975952357539109693412342505484503560143621537329963364\ 5734927/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^16 + 16869971505229268331967015790016955502185\ 0822702811785799861949734021092397/27521232901270919792922615327051\ 97106930033531960755553810987365279753*c_0101_6^15 + 1780957528642521560729700757951738409441087655566700088750502910002\ 4869587/39316047001815599704175164752931387241857621885153650768728\ 3909325679*c_0101_6^14 - 217381155994638638149066121425907295671386\ 80802821346821926717485179665598/3931604700181559970417516475293138\ 72418576218851536507687283909325679*c_0101_6^13 - 2894267062551832852187830069531549645561065115166589155001427857198\ 964124/211701791548237844560943194823476700533079502458519657985460\ 566559981*c_0101_6^12 + 5875137608347915042688096147253365008040922\ 1852824531443640574611941891868/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^11 - 2047452457728131424909941819856568238144344839481053526964828832838\ 2476896/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^10 - 18953883996450901132870709057956389076043\ 986995094102942197929185352222970/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^9 - 1017492486602088093611594290529859445731063112400038548491127282331\ 653063/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^8 + 7167799849819288953275262557644617348807222\ 792459991809730458817720774760/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^7 + 3312659882370237168894497459907322829272882853535368097896910738772\ 362702/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^6 - 1177227625725048665906736260020844021400721\ 61702409398339826939582433955/3931604700181559970417516475293138724\ 18576218851536507687283909325679*c_0101_6^5 + 4073387076436183936759845425668453786742958385819494677417440984201\ 97648/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^4 + 42620594108699806373523636980505527225546320\ 5317830613236071210233457438/27521232901270919792922615327051971069\ 30033531960755553810987365279753*c_0101_6^3 - 9632503918165387285748833821803582625856062329938029834146619803974\ 7229/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^2 - 980826699265505389220373011092947165527900837\ 35094716199509524841765474/2752123290127091979292261532705197106930\ 033531960755553810987365279753*c_0101_6 - 1300153190768285193338540072193169053502936665063273153168560463754\ 3640/27521232901270919792922615327051971069300335319607555538109873\ 65279753, c_0101_2 - 187303797410285772133586660516927319783422116992867929113590\ 5406121662/27521232901270919792922615327051971069300335319607555538\ 10987365279753*c_0101_6^30 - 23603309786100035978937835998540099804\ 843002909505929600446512074225320/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^29 - 9260602099092633338177114122879153813982424430609728409268985776145\ 0535/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^28 - 44588990140385343551588925890012724267574788\ 0477304047360012451331979926/27521232901270919792922615327051971069\ 30033531960755553810987365279753*c_0101_6^27 - 1154131994412905768010085369759716011782823667744467385333592483793\ 885891/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^26 + 170172895464169217466462074600310371915045\ 8547191685772025509399730038926/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^25 + 7635112006389191496958986164478268889685514033705250748315558162569\ 574760/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^24 - 100447404880159395375618466119374918651678\ 5078676087623190077805821040660/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^23 - 1788954247437683991464805420236134196449098208383261598249549545472\ 172085/393160470018155997041751647529313872418576218851536507687283\ 909325679*c_0101_6^22 + 1845808995209419166847997259702929658596349\ 3594065561818283757042651919854/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^21 + 7560322846199923510499489410853040021418929704116898455379939538826\ 101345/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^20 - 548450231117498534238016282922755621249372\ 98015393435820492451296185423165/2752123290127091979292261532705197\ 106930033531960755553810987365279753*c_0101_6^19 - 1942677319541282340518739736226419206350911400195683433478952303259\ 8440678/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^18 + 39852683781931916464613830828996582724155\ 634565462303449000593691487574624/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^17 + 2554316464586990009076849362549712379700773472971042967505738202332\ 5374523/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^16 - 17119465463501939024434579252298135257673\ 822690729831651750749232456153615/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^15 - 3514479388090555796029561761149236024281865653246422889933632528328\ 589070/393160470018155997041751647529313872418576218851536507687283\ 909325679*c_0101_6^14 + 1747434298924162268161438138902059774516231\ 811120362263823676347138076786/393160470018155997041751647529313872\ 418576218851536507687283909325679*c_0101_6^13 + 1030574806058855326146784762234403927141215046826764373953474026096\ 563225/211701791548237844560943194823476700533079502458519657985460\ 566559981*c_0101_6^12 - 5796783429838138435527792792924515220259423\ 194414519828118959149764739791/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^11 - 7674799115695960399184719435854390626810330070074645553366820968361\ 35515/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^10 + 3470137841811865674924535210073490059141923\ 100877072756232179992995266604/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^9 + 9881994284996080073952736656808363389169723744033621936339285304623\ 65441/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^8 - 83884934029043557228790368477586498219569824\ 8807858233868560111380605445/27521232901270919792922615327051971069\ 30033531960755553810987365279753*c_0101_6^7 - 8513760370797358093374879712804433517531106759565199009337848108088\ 68140/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^6 - 44067502077871436128181935875421935703073575\ 56083892219525655942566493/3931604700181559970417516475293138724185\ 76218851536507687283909325679*c_0101_6^5 + 1599548179982855665040557209365528875680195454159615754530400267245\ 0196/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^4 - 679860232189449540110841301987159113367530984\ 33849924835699279119416715/2752123290127091979292261532705197106930\ 033531960755553810987365279753*c_0101_6^3 - 3717333440189113387433580817811315548522401880989382895223902448781\ 471/275212329012709197929226153270519710693003353196075555381098736\ 5279753*c_0101_6^2 + 1756524190969414050451597598794006394804908614\ 6335563332371933824308680/27521232901270919792922615327051971069300\ 33531960755553810987365279753*c_0101_6 + 7231169896446784734285075139671400830024883373007843441845328476756\ 967/275212329012709197929226153270519710693003353196075555381098736\ 5279753, c_0101_3 + 522257568724760885458498370737900458088118666555731429522657\ 4829836234/27521232901270919792922615327051971069300335319607555538\ 10987365279753*c_0101_6^30 + 63973757495194817154477896408380584274\ 210948422946482246281696053495053/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^29 + 2361379519105035243211940118502928868320969272314857272726430579842\ 29308/2752123290127091979292261532705197106930033531960755553810987\ 365279753*c_0101_6^28 + 1165547252234304558579686762175287054794852\ 638871365256058811000567276017/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^27 + 2826651362130065767831240228252270210482583249951749922414613157489\ 941733/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^26 - 564377574588920442995010101387391049124657\ 3441639178574794210684630557177/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^25 - 1908072020725461683019371737288156853132841479580069939156704677843\ 4320493/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^24 + 89781751068012691606054616955170773498937\ 18548193222940371499796966678642/2752123290127091979292261532705197\ 106930033531960755553810987365279753*c_0101_6^23 + 4324956915022590667586640705967011699781066257837683625079020575207\ 948746/393160470018155997041751647529313872418576218851536507687283\ 909325679*c_0101_6^22 - 6098826242480770619212610651119351221461537\ 2363751639124669427807230748593/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^21 + 2524397759779823538170236316651934864435523255423961605508428118112\ 553544/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^20 + 146242879505086707659611197217843913299436\ 834828871194442031362196109127731/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^19 + 4832158095654486021395922880655820284573744443369999116477879447142\ 642690/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^18 - 101336539181524147193300421193631197173205\ 848746083023302450179111011422661/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^17 - 3832135877870034738567350813100509115775143034610691690950036500883\ 2639209/27521232901270919792922615327051971069300335319607555538109\ 87365279753*c_0101_6^16 + 54730124402320180219086706712217709587289\ 705132942059069458346489254836342/275212329012709197929226153270519\ 7106930033531960755553810987365279753*c_0101_6^15 + 6811769763765476444653446839857583029199621092163473681645764908859\ 595578/393160470018155997041751647529313872418576218851536507687283\ 909325679*c_0101_6^14 - 6691407261639409505192522029431673446246469\ 531563908423229499885523306550/393160470018155997041751647529313872\ 418576218851536507687283909325679*c_0101_6^13 - 1393317301776221049363080818027254824419567537183526089852620375062\ 369799/211701791548237844560943194823476700533079502458519657985460\ 566559981*c_0101_6^12 + 1823158779239446518583487829582850122581654\ 4886347142525026527155351674003/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^11 - 4168515264057395643923335065231859498003873455493572796286269692340\ 295005/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^10 - 717220178527018727752156391999765777582160\ 5637359927807384804581860525223/27521232901270919792922615327051971\ 06930033531960755553810987365279753*c_0101_6^9 - 1028541677048041267086680311674527938361869015438818156778095275461\ 152849/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^8 + 2544932095282721475554669676060788628435771\ 401843580876335205467430298817/275212329012709197929226153270519710\ 6930033531960755553810987365279753*c_0101_6^7 + 1323913644731956401060021495957413056204124195934706175758991764550\ 705350/275212329012709197929226153270519710693003353196075555381098\ 7365279753*c_0101_6^6 - 2451084882351664940664755024339701005105623\ 8931678765826073010759941016/39316047001815599704175164752931387241\ 8576218851536507687283909325679*c_0101_6^5 + 8031400755763010775567215660443647927394450344214008473508451847640\ 8016/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^4 + 159880638894141534708821097531032297993575795\ 651171889524111675479095787/275212329012709197929226153270519710693\ 0033531960755553810987365279753*c_0101_6^3 - 1725372916981994251342946108285908633172517669750268322279437696384\ 1691/27521232901270919792922615327051971069300335319607555538109873\ 65279753*c_0101_6^2 - 395435117467245182125484293499542061136556149\ 82736195770527831879347190/2752123290127091979292261532705197106930\ 033531960755553810987365279753*c_0101_6 - 6886736209087970028321074033932677416261936220238983086486478990516\ 258/275212329012709197929226153270519710693003353196075555381098736\ 5279753, c_0101_6^31 + 12*c_0101_6^30 + 42*c_0101_6^29 + 210*c_0101_6^28 + 479*c_0101_6^27 - 1249*c_0101_6^26 - 3459*c_0101_6^25 + 2827*c_0101_6^24 + 5883*c_0101_6^23 - 13567*c_0101_6^22 + 2628*c_0101_6^21 + 29993*c_0101_6^20 - 6851*c_0101_6^19 - 23812*c_0101_6^18 - 1244*c_0101_6^17 + 14930*c_0101_6^16 + 6792*c_0101_6^15 - 12950*c_0101_6^14 - 2092*c_0101_6^13 + 6041*c_0101_6^12 - 1702*c_0101_6^11 - 1703*c_0101_6^10 + 467*c_0101_6^9 + 636*c_0101_6^8 + 126*c_0101_6^7 - 165*c_0101_6^6 + 6*c_0101_6^5 + 35*c_0101_6^4 - 17*c_0101_6^3 - 9*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB