Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 1259001733] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0345 geometric_solution 4.36931839 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 -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.462086603456 0.103706726787 0 3 0 3 0132 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 -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 -2.564864007760 3.100571854860 2 0 2 0 2310 0132 3201 1023 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 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.718389736812 0.030136102137 1 1 4 5 3201 0132 0132 0132 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 1 -1 0 -1 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.176038464081 0.502696940093 6 6 5 3 0132 3201 2031 0132 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 -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.517373673084 1.018472885068 6 6 3 4 1023 2310 0132 1302 0 0 0 0 0 -1 1 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 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.517373673084 1.018472885068 4 5 4 5 0132 1023 2310 3201 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 -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.396466303913 0.780461398378 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(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_0101_4'], 'c_1100_4' : d['c_0101_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_0101_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(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_0011_5' : negation(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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : 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_5']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 5837315242312650130469526965217525414422550655396643400093316568053\ 3525372707226222/18335781310247860657324463544596392528980850454805\ 707019047310300704229524816459117*c_0101_5^30 - 6659372204585751217880896433701543113795273280422884263800289351186\ 0073145691230031/26193973300354086653320662206566275041401214935436\ 72431292472900100604217830922731*c_0101_5^29 - 1746745199480163009467784126226129793262032008841098692464472110358\ 115236240052940043/183357813102478606573244635445963925289808504548\ 05707019047310300704229524816459117*c_0101_5^28 - 1399357364662946256660568774540676117967698819090318389149735677019\ 3744204897771174493/18335781310247860657324463544596392528980850454\ 805707019047310300704229524816459117*c_0101_5^27 - 1538763506844947229582315941993440010244566983240865130217034381374\ 92107581666797741021/3667156262049572131464892708919278505796170090\ 9611414038094620601408459049632918234*c_0101_5^26 + 3511480462867685379521188813854851597586499048386661606971019742236\ 15052535240482561417/3667156262049572131464892708919278505796170090\ 9611414038094620601408459049632918234*c_0101_5^25 + 3038937171940918525603208157464591216137688229012505762749032326256\ 652992834230343411513/366715626204957213146489270891927850579617009\ 09611414038094620601408459049632918234*c_0101_5^24 - 5680713167280009616282700271441789565556419254289940893086140551680\ 85938708286813667532/1833578131024786065732446354459639252898085045\ 4805707019047310300704229524816459117*c_0101_5^23 - 2633144246082458301963904369081722463624870078820122458005222449244\ 2591501060634928843329/36671562620495721314648927089192785057961700\ 909611414038094620601408459049632918234*c_0101_5^22 - 5550940712552899371345022091428416423478783072949626702454331158540\ 26141691857997310209/2820889432345824716511455929937906542920130839\ 200878002930355430877573773048686018*c_0101_5^21 + 9145527881491726263936749247997836135535148976235183921321275269210\ 213679742986276617046/261939733003540866533206622065662750414012149\ 3543672431292472900100604217830922731*c_0101_5^20 + 6919928288411686013537395278697777837607614872832874154670348788640\ 8894629312803694377401/36671562620495721314648927089192785057961700\ 909611414038094620601408459049632918234*c_0101_5^19 - 3932443785284877885523117647394488821299433928967431665694337275146\ 72574008322335813027171/3667156262049572131464892708919278505796170\ 0909611414038094620601408459049632918234*c_0101_5^18 - 1220683834249979848290269052770999852220838954301644026052563439992\ 10872912071204589738750/1833578131024786065732446354459639252898085\ 0454805707019047310300704229524816459117*c_0101_5^17 + 8226373813464226000459043021774089097384614858500876789491965739809\ 44194513912867379219565/3667156262049572131464892708919278505796170\ 0909611414038094620601408459049632918234*c_0101_5^16 + 4811306079335300372175178560776017274513148732856200844854565218350\ 64985428870357340930699/3667156262049572131464892708919278505796170\ 0909611414038094620601408459049632918234*c_0101_5^15 - 1746169345175268416914082794327743438361709366531922635633225293993\ 98405044427421110367863/5238794660070817330664132441313255008280242\ 987087344862584945800201208435661845462*c_0101_5^14 - 2870687080822319563096423181252136409536653601598117091639782869910\ 65092802850258433891572/1833578131024786065732446354459639252898085\ 0454805707019047310300704229524816459117*c_0101_5^13 + 6546496226152858869039905043516128874193658216908833888241319357117\ 39614289366479881079568/1833578131024786065732446354459639252898085\ 0454805707019047310300704229524816459117*c_0101_5^12 + 2021962959636096942385049550319533152293894846430744209582960462161\ 36912523496642099734426/1833578131024786065732446354459639252898085\ 0454805707019047310300704229524816459117*c_0101_5^11 - 4998718513360456153891808324562166860267579316860283579840312085301\ 34385906673646940686069/1833578131024786065732446354459639252898085\ 0454805707019047310300704229524816459117*c_0101_5^10 - 1338262024261888741397533951539387428539221845717692956931523046345\ 41478930470409614819661/3667156262049572131464892708919278505796170\ 0909611414038094620601408459049632918234*c_0101_5^9 + 5239506023821693807069862566105506697654776698479498799682045087687\ 68013574379655646151429/3667156262049572131464892708919278505796170\ 0909611414038094620601408459049632918234*c_0101_5^8 - 1724759566340813753148233167005168567643973863918914486742650979583\ 2601615624730583605891/36671562620495721314648927089192785057961700\ 909611414038094620601408459049632918234*c_0101_5^7 - 1751213839497622855481047062105644918183568340803505938136060215733\ 05666215659442647303575/3667156262049572131464892708919278505796170\ 0909611414038094620601408459049632918234*c_0101_5^6 + 2474521630963705700916324631847695185158737084611490075531810518797\ 535877876297083894735/282088943234582471651145592993790654292013083\ 9200878002930355430877573773048686018*c_0101_5^5 + 1603697547818081199798602998008530027871638079748523612513005829274\ 2024099820569796794218/18335781310247860657324463544596392528980850\ 454805707019047310300704229524816459117*c_0101_5^4 - 5331349878063358495119293308166123518382662962472952994090612003582\ 754020695816137854024/183357813102478606573244635445963925289808504\ 54805707019047310300704229524816459117*c_0101_5^3 - 1931981907836722588074558754322417617138646853337067911633141856648\ 869042421394274544839/366715626204957213146489270891927850579617009\ 09611414038094620601408459049632918234*c_0101_5^2 + 6055441876239236670396907256963093007514368271103043012512857035819\ 94760340516249765484/1833578131024786065732446354459639252898085045\ 4805707019047310300704229524816459117*c_0101_5 - 9599102942937335739815834299926837552494840796784966687528513548017\ 904848461300456340/261939733003540866533206622065662750414012149354\ 3672431292472900100604217830922731, c_0011_0 - 1, c_0011_4 + 542655549608029323476226196103673432570280153111683830050903\ 40130972382896159395/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^30 - 5089749767462949500081896137430484739059381210707850255579424530892\ 57541924450067/3404521728693236726824170949925059620765675150759680\ 34836422207174879593298979347*c_0101_5^29 - 9387302513586314750019768563207205060026834104881644623569016042619\ 01905748204731/3404521728693236726824170949925059620765675150759680\ 34836422207174879593298979347*c_0101_5^28 - 1150726685239995829575098758005745440168147165275208992068550269156\ 0294878073917698/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^27 - 5479151452353916688618872106063893651573793951104556459642900766371\ 9865022553929290/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^26 + 2455616599189484198009391262831837788894061699684524092201098076668\ 39429580006313028/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^25 + 1575289892444454352136276986355287409947374563352588885899898327199\ 36826696867302222/4863602469561766752605958499892942315379535929656\ 6862119488886739268513328425621*c_0101_5^24 - 3046292751982861370749372200551434838782578929550029716374461140353\ 37053639867891497/4863602469561766752605958499892942315379535929656\ 6862119488886739268513328425621*c_0101_5^23 - 2013708702296905057793074647362929283166228483878787427826859588861\ 36451354507909796/6948003527945381075151369285561346164827908470938\ 123159926983819895501904060803*c_0101_5^22 + 1055860469697531657410770932060805219642846763356559602847014837742\ 7753133631726338326/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^21 + 4970327438472442802932487370769534772296565759564480850433856261516\ 0112264077517460694/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^20 - 3522656498945914901768435600281757045248606411298529632135093428672\ 7385877387728502449/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^19 - 2223340235382688836268110750430185621894685018237798640780772220360\ 7753541025464443347/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^18 + 8879012191697545894509514284659382692053287325361908817345173540937\ 6759888123985280527/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^17 + 3188399737850998528033179271212497340991877890696407980323890173820\ 44098794707443158463/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^16 - 1739910295690974703545505867175022373332949516742455379632437188787\ 20099493991950742659/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^15 - 4349484824489581364991516061479448461974175731965874830022490151432\ 43012527083862916963/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^14 + 2544032375463013456819426270246789151053384867116677632130014651636\ 00329863890787733110/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^13 + 5584940652726641007544394035700975353505557515854897399194032231561\ 7258720051461254555/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^12 - 2611861590921111645686800315174699173692015785483517386619422891460\ 10385246529800571990/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^11 - 3162800626459974073276040373124793290730372664596217445167130334354\ 2563445972122541847/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^10 + 1777672804396543867547720426566600599360756553642853430405201811968\ 27649407469234807431/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^9 + 7031726563354856948501712574100691139740110979526838940687340825596\ 4917511108290435819/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^8 - 7525265060094616127014941695432138412705807553851217860209996651921\ 7395093322721303311/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^7 - 7887631245597430676628610223535373897387636107927134676981595714944\ 124843825813416219/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^6 + 1789965648476597255690060538469893918635457040990029849483950438280\ 4864420521337109206/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^5 - 1508950324224033911827739880223772709355098104600879744259868813856\ 647069919705013474/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^4 - 1901690209580111571716087901216790273660619601766812535599825166778\ 336206251225575902/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^3 + 4025850047978680817044578677041673095015034835824308710508556074334\ 91276938837860259/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^2 + 4258299946148334207452031403963884955432953331874737202462793236043\ 404372924231683/486360246956176675260595849989294231537953592965668\ 62119488886739268513328425621*c_0101_5 - 9698247459809896371123512295402439884565345345452185664712515991036\ 885663714182574/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347, c_0101_0 - 128702463975366296207737298989527624887674386506825869198338\ 047589675510342211686/340452172869323672682417094992505962076567515\ 075968034836422207174879593298979347*c_0101_5^30 + 1095818814331459886762457572663056305104249483473471834638902202480\ 447074798769616/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347*c_0101_5^29 + 3214649146057045253075891861382517262536803504398737098688369595328\ 616911926439835/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347*c_0101_5^28 + 2967388123797693591456484938525672001510406211720455699744879390712\ 5240041842550758/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^27 + 1550961535403231869318607578822832613576011620753661389002961554757\ 73930200030723578/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^26 - 4563940690979376112330171515520451176338407408195647746256284486854\ 15132887522010542/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^25 - 4351969278941666117012432240791966865763922933510515994668373882306\ 56760517111118547/4863602469561766752605958499892942315379535929656\ 6862119488886739268513328425621*c_0101_5^24 + 3753493646394406032706829493972309578230160202453665313373170114491\ 67199101033689126/4863602469561766752605958499892942315379535929656\ 6862119488886739268513328425621*c_0101_5^23 + 3773893815052867253544153119278663794806382385555190456253552485703\ 801329731023423587/486360246956176675260595849989294231537953592965\ 66862119488886739268513328425621*c_0101_5^22 - 4209483109185172500670162833633426480994925633389948794637688974257\ 583970422845296562/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^21 - 1283046172471238808310534889895507958834026485075840489296171969713\ 43273719824359823130/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^20 - 1587036416946536484732200854983822735041037581517652284954207304568\ 4179718383633336532/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^19 + 5576025039474908931729648069457586711547423747283426093439367469402\ 6615383146476233811/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^18 + 8306287781284190531753019965562632420652290558192811480083367910046\ 6987794075659571383/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^17 - 7954523999384067170607244052772217543847743645343868548934901787996\ 07688120287162348221/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^16 - 1566004242268797170074436785501041123985948482108977753678941397949\ 22160981268728904807/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^15 + 1123678720604154663939196750615740381758049353217773038453338332918\ 005606230133179849622/340452172869323672682417094992505962076567515\ 075968034836422207174879593298979347*c_0101_5^14 + 1363569994860588570644004737318619986652794737164434587039347190284\ 51454762235142791632/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^13 - 1587703616000729199078855730493912376060459191320170129429686493799\ 20250847604292070312/4863602469561766752605958499892942315379535929\ 6566862119488886739268513328425621*c_0101_5^12 - 1831528946256288576903918571777676440009604781442170363311861431396\ 0746657137950473564/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^11 + 1086970603129414569992037808099638965255852290476025959796662826428\ 33213103980079648421/4863602469561766752605958499892942315379535929\ 6566862119488886739268513328425621*c_0101_5^10 - 7420098239247509344338231022223931758087300356446627912989157332947\ 6533407762603423833/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^9 - 3482935106103731723627257413698873579765489416795418551525842273985\ 91651235478196558161/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^8 + 7335440089104033861738621363797488474065860280263207469079676379458\ 0231152088075399570/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^7 + 9926218666916674720809829408449886775473643331671931897177483673078\ 2137980261911856615/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^6 - 3227576990352915846978735229503247863571849047583967458355804563326\ 9090227948069032282/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^5 - 1493297409534082418992828187876039132724044492453010293716577685033\ 8064752797865971287/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^4 + 7069715024313232808565236916313735688517141367257019421627319842289\ 934912082540039584/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^3 + 5709738704273022737363819773579468325689108970563534838042831256880\ 74991641748230100/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^2 - 8902195567662571034804530284469795442389949954069744106666274774471\ 3084692231910910/48636024695617667526059584998929423153795359296566\ 862119488886739268513328425621*c_0101_5 + 7561270415324352781234433991620564847528589927159440936288634888089\ 1629622982013297/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347, c_0101_1 + 113653505640279076447878807498227302861821893626630304731714\ 82764679361703985022/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^30 - 7292179022922090299534092343586085642666393487923510768398561900775\ 1604868204102/34045217286932367268241709499250596207656751507596803\ 4836422207174879593298979347*c_0101_5^29 - 4888499578247608587940382489791854043409685975674321631442363066826\ 84389836946833/3404521728693236726824170949925059620765675150759680\ 34836422207174879593298979347*c_0101_5^28 - 3189111249052269191994467925017990955092914774601830562497231934414\ 011019504925376/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347*c_0101_5^27 - 1923686773446553091241278596937491374311074519888426603205969420179\ 7561471909936748/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^26 + 1176785412566143979038632122526775885791717750567437498996880890882\ 0208885475312423/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^25 + 5049872379037524852424213880436060218820614143466400243038194841880\ 2234097928356992/48636024695617667526059584998929423153795359296566\ 862119488886739268513328425621*c_0101_5^24 + 4474369868038597568845394098712168234993856929310625956992972390422\ 1889207023998490/48636024695617667526059584998929423153795359296566\ 862119488886739268513328425621*c_0101_5^23 - 4039158636021437821690624150403158253882876923597143563013933123981\ 42614118608972976/4863602469561766752605958499892942315379535929656\ 6862119488886739268513328425621*c_0101_5^22 - 4246818450100038496388726335406671488504181555896397189443599853219\ 124976282447244717/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^21 + 1227253297064784539388490181450961759990228468846832790349737513937\ 6445314218046399070/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^20 + 2310083146352040279924120685557829484918927094888257538147908331117\ 2935675281071492482/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^19 - 4699065995602418839226461911820506436051347037616575086670179889602\ 421305050538007190/486360246956176675260595849989294231537953592965\ 66862119488886739268513328425621*c_0101_5^18 - 7041716849091242621760485652267665738535766494682122390537581186235\ 6386769840225232546/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^17 + 6069823642363841896277917838855892095317990557729683075427070553670\ 4215255933844914363/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^16 + 1348141717527752704454976733618713664247237321276644098773602482765\ 95071835976712059126/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^15 - 8422698727202814719626321257406599611065397931680981054283623666013\ 6204099203606976151/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^14 - 1694379669116069237337834178778693598312223163441920546583185456356\ 50228548466138261665/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^13 + 1316370854757401118691861295328500815933167766464542927123103120629\ 0485738658902862181/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^12 + 1404515494591477806277010919124604303997357184708820624147095985667\ 16292661420256591012/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^11 - 1107538834003317447125723623325754934222955374910532298548764055293\ 8931780382148851516/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^10 - 7403679015889857825299030376858686719244155047461034539204106277987\ 9716140341419128307/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^9 + 4637463223884068793933808110257878558306661103616960466523367170926\ 6288108542680523669/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^8 + 2222611333267225806684624066350505892519671494911636539230625362028\ 8041527192104316210/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^7 - 1778823257581706362976043269930796647768053003654894291610021242199\ 1791878864491598697/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^6 - 2481236792149505874219055070721724702196892525622615165354621959610\ 775638694379271065/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^5 + 3770204307788196516382808465286140768377168096381770632827197488561\ 477480910567122922/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^4 - 3622830458702681394922176682983631183500238213660977907922876624679\ 62055300238619595/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^3 - 3042985235377234454826417816748319150858282220390564290529034004758\ 64716206661646936/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^2 + 1827217176224633201183335830512237221411259394957798874263834824965\ 390049888472130/694800352794538107515136928556134616482790847093812\ 3159926983819895501904060803*c_0101_5 - 7943764825305176730737823583286791356605427498669336357384319510643\ 176137469930579/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347, c_0101_2 + 124283674118199796953044912668178323295851992941945823822405\ 64046282390313258735/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^30 - 2510220365985579169637568631026306888864901053700159480907902655853\ 8230982246577/34045217286932367268241709499250596207656751507596803\ 4836422207174879593298979347*c_0101_5^29 - 1043541386366420797735945201032991079839372137490383899139420055401\ 297809936306381/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347*c_0101_5^28 - 4456273691477164863538136510634478668045150494380488194083103587001\ 466597753547761/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347*c_0101_5^27 - 3276730993254258552648108943136343830676046241136516165118693343360\ 0211941288046155/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^26 - 4324189463277972771373734461392451070926155358207500389326361777404\ 4458795654641373/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^25 + 8973963431363967106826532387318243347422145605450534861660676065979\ 3046448976527005/48636024695617667526059584998929423153795359296566\ 862119488886739268513328425621*c_0101_5^24 + 2083441027706264788725830330656423147501571852824346951975806916861\ 74870838554984895/4863602469561766752605958499892942315379535929656\ 6862119488886739268513328425621*c_0101_5^23 - 7328573131334713747226457069021437472549745050767904399543583775210\ 96811211447198328/4863602469561766752605958499892942315379535929656\ 6862119488886739268513328425621*c_0101_5^22 - 1451422460524428691132367479262345296333133398985091556395432137001\ 3336722914736421123/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^21 + 2313907829942031290966189365756162725998727901033869901112885565718\ 6373166202918189651/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^20 + 7421954290764344425184416947006830553439437427152293630717124411331\ 9684231762546171961/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^19 - 9602148965118588830234953711422510294981913506895320709247438767156\ 754409760298327319/486360246956176675260595849989294231537953592965\ 66862119488886739268513328425621*c_0101_5^18 - 2273576821114682389840885802140443518331259731981496050926094739873\ 45514922163456780980/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^17 + 1435830217675337763561639495859535300392648634873294961842118222350\ 38240479007883840806/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^16 + 4481424613886341454641344695486218182668055558339577817775827362538\ 36151352573899996777/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^15 - 2433490528311467425692352196277853460443553367426867256971581146301\ 08688202312431984269/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^14 - 5828762586486223133884085758893459494522752446417226733187696080537\ 51676928422207107802/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^13 + 4614816338378285716172713127127369424420622579273120655187647266180\ 9455633925366026774/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^12 + 4950856222822503280140376935855071882785735813352433468008190019026\ 75399969745987422565/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^11 - 4461083138909995052857116456686190711209602592174732368932004351841\ 6391798834053073282/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^10 - 2597304579168487622242486924234497362303535951885724305352774740866\ 92625495603910224397/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^9 + 2025208422093769388098199795607003473299892637637749771650433037749\ 56982765043665720814/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^8 + 7122316321516594117456516796678603157323217439923222318211236176238\ 0185817191622626791/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^7 - 8073251596296270051936050880477711553894376883821784445691894453350\ 3616823362253792348/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^6 - 2973535657042813528895809192066096011073992369854587582554694848417\ 440460689613470451/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^5 + 1719360687460684341663731657851931786862945352887413026339903184251\ 0304036138846502283/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^4 - 3131765611169132045475994999814536399028791227858756776821017536939\ 999977379435719019/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^3 - 1297966859197126818632634252081718133428743453553282462561461124215\ 533997191625689068/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^2 + 7610376624654481726864788619977551071828954595664860998929898030874\ 2883406285094871/48636024695617667526059584998929423153795359296566\ 862119488886739268513328425621*c_0101_5 - 5439330979719327869146034182566170548824913610404503924619674071619\ 7639851947752312/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347, c_0101_4 - 293663648470302658077500033125437161489757693847321665745577\ 25874362650467661096/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^30 + 2501775959801747982534927532329080683311426209515085232076351686244\ 17794053261371/3404521728693236726824170949925059620765675150759680\ 34836422207174879593298979347*c_0101_5^29 + 7228301766582132330754978023064584829913796829039529498190201744785\ 89529740175602/3404521728693236726824170949925059620765675150759680\ 34836422207174879593298979347*c_0101_5^28 + 6848635619675111579593995952068137731172158793581562816302777988297\ 057214566262768/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347*c_0101_5^27 + 3558019632407882345779998997849373551431782337917980996126358828883\ 4011973326289229/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^26 - 1021122427574574783822766252059450668476653257192671090070667831424\ 37516516757782348/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^25 - 9761530950424380205200716223529702364125811420821467733112346172551\ 0279853962320834/48636024695617667526059584998929423153795359296566\ 862119488886739268513328425621*c_0101_5^24 + 8132175319277565157940320783734744894529242948988689935089394560548\ 3611512698108528/48636024695617667526059584998929423153795359296566\ 862119488886739268513328425621*c_0101_5^23 + 8298957169842535856937057487840787620852968626469281862489784923276\ 31460933969734881/4863602469561766752605958499892942315379535929656\ 6862119488886739268513328425621*c_0101_5^22 - 7908580435971121143526171052124516692410206176784413134329822486005\ 90343192737698900/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^21 - 2744607775256180856162708857537352038312359031477335584410389728769\ 6207959395441043610/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^20 - 3878618339919982054281939328674156765720166221058889652883780541178\ 715086613093304680/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^19 + 1150129508861324269921674137116057145873771407685227854330283564252\ 8817147568405353216/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^18 + 1803450222622881346039959908147005444960889557243210241467445834071\ 5123469273339949229/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^17 - 1566966881335882470154505601090383064585606202430442915225208992187\ 08539159340057852288/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^16 - 3152439160211202058422876589236733542104285373332764966876894913277\ 5752920776688309719/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^15 + 2088580488833061358369020741373075097559492139459844667248073360019\ 05772574482763907433/3404521728693236726824170949925059620765675150\ 75968034836422207174879593298979347*c_0101_5^14 + 2489535223408756490602217789490090483566590934371362128260151112822\ 1370364685163292537/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^13 - 2739329263827653079686207317470407304639278287253256359700930988793\ 5284881187821732962/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^12 - 1923139945023114468914046082403679220314346540871535850979020145333\ 081731798436518050/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^11 + 1701003937156057058305827403853803038845218033050983450348308776300\ 3460044109252437855/48636024695617667526059584998929423153795359296\ 566862119488886739268513328425621*c_0101_5^10 - 1245981242685095402027822639954726798166350413975753792964441587939\ 3780098319359684481/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^9 - 4782687234261034879023735132526100410853982340762763343494779417776\ 2950108184373966804/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^8 + 1024567450075276286083517957909186063690715097696443605773232374262\ 6156880823351673507/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^7 + 1138787560725900014657939442641230445464814413470330160414302517187\ 5992307809505521717/34045217286932367268241709499250596207656751507\ 5968034836422207174879593298979347*c_0101_5^6 - 3666893271161182835891686629270252150075771995075163685826068710230\ 542083021343272942/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^5 - 1314060700921592126483415590777490307940704380869248551878613359391\ 185078590736185317/340452172869323672682417094992505962076567515075\ 968034836422207174879593298979347*c_0101_5^4 + 6143225562232767102171655927684963518323059834737785743000751073307\ 88344767965077052/3404521728693236726824170949925059620765675150759\ 68034836422207174879593298979347*c_0101_5^3 + 2519906396480318725948898114685866244334859309734722490837948981036\ 8542699373091407/34045217286932367268241709499250596207656751507596\ 8034836422207174879593298979347*c_0101_5^2 - 7614910432786520716491330114797412376116745008868336936078474460879\ 60044240784225/6948003527945381075151369285561346164827908470938123\ 159926983819895501904060803*c_0101_5 + 3944284989769197509402613947690663355814117874647994453549226795109\ 239769103373947/340452172869323672682417094992505962076567515075968\ 034836422207174879593298979347, c_0101_5^31 - 9*c_0101_5^30 - 21*c_0101_5^29 - 217*c_0101_5^28 - 1090*c_0101_5^27 + 4166*c_0101_5^26 + 22118*c_0101_5^25 - 32564*c_0101_5^24 - 198688*c_0101_5^23 + 137475*c_0101_5^22 + 1010235*c_0101_5^21 - 382324*c_0101_5^20 - 3235455*c_0101_5^19 + 887953*c_0101_5^18 + 6927436*c_0101_5^17 - 1925371*c_0101_5^16 - 10184585*c_0101_5^15 + 3468444*c_0101_5^14 + 10298082*c_0101_5^13 - 4513851*c_0101_5^12 - 6990621*c_0101_5^11 + 3962349*c_0101_5^10 + 2984054*c_0101_5^9 - 2252527*c_0101_5^8 - 663645*c_0101_5^7 + 783666*c_0101_5^6 + 9090*c_0101_5^5 - 147496*c_0101_5^4 + 27278*c_0101_5^3 + 10065*c_0101_5^2 - 3982*c_0101_5 + 377 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB