Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 1696922032] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1090 geometric_solution 4.95570494 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 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 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.517527438878 0.604121928998 0 3 3 4 0132 0321 1302 0132 0 0 0 0 0 -1 1 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 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.705529047910 0.688533518927 0 0 5 5 2310 0132 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.312272491291 1.610666037473 1 4 0 1 2031 1023 0132 0321 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 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705529047910 0.688533518927 3 6 1 6 1023 0132 0132 2310 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 1 0 0 -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.914831689233 0.321872801406 5 2 2 5 3012 3201 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.248042682131 0.135575801462 4 4 6 6 3201 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 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.594156739637 0.213237290525 ==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_0110_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 83002197619444916279802992465385413944738609822901/8781444867012227\ 860431370475522343296244557030321*c_0110_6^39 - 264103010537514894273781549105522768701112575049809/878144486701222\ 7860431370475522343296244557030321*c_0110_6^38 + 1957584923064473152056947394947568855240795589034520/87814448670122\ 27860431370475522343296244557030321*c_0110_6^37 + 6278978742923394376284057432920022145483593574724017/87814448670122\ 27860431370475522343296244557030321*c_0110_6^36 - 16114858416020243786405956978280960607266471421630967/8781444867012\ 227860431370475522343296244557030321*c_0110_6^35 - 52947635457982961107021728982442176099362959572432833/8781444867012\ 227860431370475522343296244557030321*c_0110_6^34 + 59154699325159403869838068753877263208812666556787208/8781444867012\ 227860431370475522343296244557030321*c_0110_6^33 + 205857973369115869286384189710432452077529614786384683/878144486701\ 2227860431370475522343296244557030321*c_0110_6^32 - 106457812140033060288801725806040122426940684806673006/878144486701\ 2227860431370475522343296244557030321*c_0110_6^31 - 430785907117650273081870942974810501042811237906160520/878144486701\ 2227860431370475522343296244557030321*c_0110_6^30 + 85195010592965560408027365305828596384055342089563262/8781444867012\ 227860431370475522343296244557030321*c_0110_6^29 + 600399040664397739719179447538700227246413086294565317/878144486701\ 2227860431370475522343296244557030321*c_0110_6^28 - 12679645571004358990539689389044686289620290660730727/8781444867012\ 227860431370475522343296244557030321*c_0110_6^27 - 781174341039005733659511875385777908313687742735704907/878144486701\ 2227860431370475522343296244557030321*c_0110_6^26 - 27527973699187909160712901841592773286001825557828087/8781444867012\ 227860431370475522343296244557030321*c_0110_6^25 + 1042997010804933332221409750379706433921152783823061431/87814448670\ 12227860431370475522343296244557030321*c_0110_6^24 + 65225383825738272695625313356041077571723348346429490/8781444867012\ 227860431370475522343296244557030321*c_0110_6^23 - 1188175567773721107904870843111233454047909929200876854/87814448670\ 12227860431370475522343296244557030321*c_0110_6^22 - 127457213932801396665172690772289580571740848336454023/878144486701\ 2227860431370475522343296244557030321*c_0110_6^21 + 1161069106562669670176645775221028466559401722091295809/87814448670\ 12227860431370475522343296244557030321*c_0110_6^20 + 187425220637077823673112878467203969540781196581133224/878144486701\ 2227860431370475522343296244557030321*c_0110_6^19 - 1036668100738050434426252594280758843416254691056318993/87814448670\ 12227860431370475522343296244557030321*c_0110_6^18 - 192725593488447111791371114216045793419450402556469351/878144486701\ 2227860431370475522343296244557030321*c_0110_6^17 + 784738930206295792060323598294016630284685669702307907/878144486701\ 2227860431370475522343296244557030321*c_0110_6^16 + 91707776705464752598491896965714248731310723819143684/8781444867012\ 227860431370475522343296244557030321*c_0110_6^15 - 494544579394015858938265955710385035345613720312975791/878144486701\ 2227860431370475522343296244557030321*c_0110_6^14 - 725722665570761271501894665528381612986467393870582/878144486701222\ 7860431370475522343296244557030321*c_0110_6^13 + 289250585454841875479430892330218398200516664363557758/878144486701\ 2227860431370475522343296244557030321*c_0110_6^12 - 10330412638876130503833857625596862161198777900654007/8781444867012\ 227860431370475522343296244557030321*c_0110_6^11 - 158837732074931612533146436789576549077986041624488150/878144486701\ 2227860431370475522343296244557030321*c_0110_6^10 + 6116677248113664735259563734065948443732032786277678/87814448670122\ 27860431370475522343296244557030321*c_0110_6^9 + 75512598825043989948671786794430031978673201314129118/8781444867012\ 227860431370475522343296244557030321*c_0110_6^8 - 5228398756201081646314223375804890885519310004901579/87814448670122\ 27860431370475522343296244557030321*c_0110_6^7 - 31497831611743398808091098362382841320444082146032033/8781444867012\ 227860431370475522343296244557030321*c_0110_6^6 + 2987259575544617104350667862030136973075893827634921/87814448670122\ 27860431370475522343296244557030321*c_0110_6^5 + 11330686860178059295430491976321806579297364184957564/8781444867012\ 227860431370475522343296244557030321*c_0110_6^4 - 1047005938422126783929630120924443927832424285613181/87814448670122\ 27860431370475522343296244557030321*c_0110_6^3 - 3156749883911965630705021086551222381466466765811019/87814448670122\ 27860431370475522343296244557030321*c_0110_6^2 + 276463331167364217518826842988104422125248643041417/878144486701222\ 7860431370475522343296244557030321*c_0110_6 + 515335043106111202724164564006307772142376891873306/878144486701222\ 7860431370475522343296244557030321, c_0011_0 - 1, c_0011_3 + 86280967413007300067555405437853895433841655341492/878144486\ 7012227860431370475522343296244557030321*c_0110_6^39 + 145789252571953052987150103004595731963004519125811/878144486701222\ 7860431370475522343296244557030321*c_0110_6^38 - 2141640140835885982913957185493244070114466099779879/87814448670122\ 27860431370475522343296244557030321*c_0110_6^37 - 3203487890609139058058571788316750285058462579393586/87814448670122\ 27860431370475522343296244557030321*c_0110_6^36 + 18727778069495729368587489049163262757862419925789130/8781444867012\ 227860431370475522343296244557030321*c_0110_6^35 + 24505176816014675035388810917207642664601143902637289/8781444867012\ 227860431370475522343296244557030321*c_0110_6^34 - 73000929981425939762120268468243143195312381236164182/8781444867012\ 227860431370475522343296244557030321*c_0110_6^33 - 87492990208250290999266775829871873445039139921250524/8781444867012\ 227860431370475522343296244557030321*c_0110_6^32 + 141431041977528385137476892871465740449643588448754137/878144486701\ 2227860431370475522343296244557030321*c_0110_6^31 + 181368040745185327187127374552065141896531068894640841/878144486701\ 2227860431370475522343296244557030321*c_0110_6^30 - 161065391834507273905209461715711625269686915228761333/878144486701\ 2227860431370475522343296244557030321*c_0110_6^29 - 269064848343901751734057912880110811650187770378917600/878144486701\ 2227860431370475522343296244557030321*c_0110_6^28 + 171404852330696253481842642161606111709021885766559735/878144486701\ 2227860431370475522343296244557030321*c_0110_6^27 + 365910866335491529606550473315892443790144459653434379/878144486701\ 2227860431370475522343296244557030321*c_0110_6^26 - 222753083852933966476807167850947962728674558089262353/878144486701\ 2227860431370475522343296244557030321*c_0110_6^25 - 476686762391373692168954297332668100770612353773055558/878144486701\ 2227860431370475522343296244557030321*c_0110_6^24 + 239881830290150502044230816187562991063977386880217831/878144486701\ 2227860431370475522343296244557030321*c_0110_6^23 + 530585777839889462871403082470114005574480620541503148/878144486701\ 2227860431370475522343296244557030321*c_0110_6^22 - 207059134356224686260585996459816137920455312468675900/878144486701\ 2227860431370475522343296244557030321*c_0110_6^21 - 522377342078461498432399323470088037918754058649435978/878144486701\ 2227860431370475522343296244557030321*c_0110_6^20 + 162344888963724584978002641528003003244552061199337302/878144486701\ 2227860431370475522343296244557030321*c_0110_6^19 + 460302092384396563641007804249348414955970120636956904/878144486701\ 2227860431370475522343296244557030321*c_0110_6^18 - 114510910411306480356695010814239908489012434205069462/878144486701\ 2227860431370475522343296244557030321*c_0110_6^17 - 319321263688311600487439687952784174594130369681374029/878144486701\ 2227860431370475522343296244557030321*c_0110_6^16 + 90351265389668625305788746121607643714954896254840326/8781444867012\ 227860431370475522343296244557030321*c_0110_6^15 + 181851165072153144453439872625146169871193447774853938/878144486701\ 2227860431370475522343296244557030321*c_0110_6^14 - 71148830876916860256866830784547979789461385522771200/8781444867012\ 227860431370475522343296244557030321*c_0110_6^13 - 103623093777250305936974074822320635733560413522757751/878144486701\ 2227860431370475522343296244557030321*c_0110_6^12 + 41080825712636673117222542626036699393002372511206727/8781444867012\ 227860431370475522343296244557030321*c_0110_6^11 + 54588369745417975779055917845489070007425178923797340/8781444867012\ 227860431370475522343296244557030321*c_0110_6^10 - 20332678652775628303639102726947676682049473890619310/8781444867012\ 227860431370475522343296244557030321*c_0110_6^9 - 24700849885191563487929624054480522378465644856838379/8781444867012\ 227860431370475522343296244557030321*c_0110_6^8 + 9486823786776615369186996765799949185459182637265715/87814448670122\ 27860431370475522343296244557030321*c_0110_6^7 + 9948245478747155458058872015953032900263694362824747/87814448670122\ 27860431370475522343296244557030321*c_0110_6^6 - 3584783853411899573159684890690714830623084153965848/87814448670122\ 27860431370475522343296244557030321*c_0110_6^5 - 3318812952805079497657099044755906227103457858265816/87814448670122\ 27860431370475522343296244557030321*c_0110_6^4 + 1083175483862115930864848681197985778550039029252493/87814448670122\ 27860431370475522343296244557030321*c_0110_6^3 + 888426862251202128304106474846849812191583628732571/878144486701222\ 7860431370475522343296244557030321*c_0110_6^2 - 184236234327838946727023267968596086665547029268381/878144486701222\ 7860431370475522343296244557030321*c_0110_6 - 130795566090806630618628750428605298179778838872310/878144486701222\ 7860431370475522343296244557030321, c_0011_5 - 90958026350905844312501195384916047101176352807598/878144486\ 7012227860431370475522343296244557030321*c_0110_6^39 - 133547740035355906215113633199249947308613308903358/878144486701222\ 7860431370475522343296244557030321*c_0110_6^38 + 2283390351384002699240344550067139437220320229948884/87814448670122\ 27860431370475522343296244557030321*c_0110_6^37 + 2867326049815554625333274609105351247249398454592136/87814448670122\ 27860431370475522343296244557030321*c_0110_6^36 - 20276332854163839953048580222850078046075648928964831/8781444867012\ 227860431370475522343296244557030321*c_0110_6^35 - 21258954862828987481340886035615891171349516197146179/8781444867012\ 227860431370475522343296244557030321*c_0110_6^34 + 80720479888904148935208658684891781861413891315160424/8781444867012\ 227860431370475522343296244557030321*c_0110_6^33 + 73772830994206714875700527389549635565503177860701256/8781444867012\ 227860431370475522343296244557030321*c_0110_6^32 - 161408842933138109148614439359078116396334833892965140/878144486701\ 2227860431370475522343296244557030321*c_0110_6^31 - 153463030286393410292904791925732384970340135705723871/878144486701\ 2227860431370475522343296244557030321*c_0110_6^30 + 194946723518125302912720539696002481895219930758138979/878144486701\ 2227860431370475522343296244557030321*c_0110_6^29 + 235861200997608618292937780567807308778053772330840223/878144486701\ 2227860431370475522343296244557030321*c_0110_6^28 - 221006653254483620322505986262058207071229661556936829/878144486701\ 2227860431370475522343296244557030321*c_0110_6^27 - 328416791404571872725470682812548262326478168959853465/878144486701\ 2227860431370475522343296244557030321*c_0110_6^26 + 293375485325451632341409912835054250680585240746865386/878144486701\ 2227860431370475522343296244557030321*c_0110_6^25 + 425168929428804121784152167657397061103022894675639413/878144486701\ 2227860431370475522343296244557030321*c_0110_6^24 - 328188533291004398268692224538823321713601642801101776/878144486701\ 2227860431370475522343296244557030321*c_0110_6^23 - 470862391680252115203786081333535485760023140843589154/878144486701\ 2227860431370475522343296244557030321*c_0110_6^22 + 300319157042916376292146625813774899042871245668228612/878144486701\ 2227860431370475522343296244557030321*c_0110_6^21 + 466225823464518830700530479138371884603933365274165756/878144486701\ 2227860431370475522343296244557030321*c_0110_6^20 - 252938982159690057695719254033611470396444524061387371/878144486701\ 2227860431370475522343296244557030321*c_0110_6^19 - 410862429330578745158429340767470625484166576941172073/878144486701\ 2227860431370475522343296244557030321*c_0110_6^18 + 192765350255186828173391826841688079378689019130170066/878144486701\ 2227860431370475522343296244557030321*c_0110_6^17 + 277439694283425577818744313230850621000861129865442761/878144486701\ 2227860431370475522343296244557030321*c_0110_6^16 - 141569891839471270031618451685586128955426881530767612/878144486701\ 2227860431370475522343296244557030321*c_0110_6^15 - 149226949264842651473556772086734624139689646172232498/878144486701\ 2227860431370475522343296244557030321*c_0110_6^14 + 97663094674595222510734666115891798037410265181474405/8781444867012\ 227860431370475522343296244557030321*c_0110_6^13 + 82263330713760090681059600369093563838210308530890957/8781444867012\ 227860431370475522343296244557030321*c_0110_6^12 - 54934524277931566142112941862103813371009343069998195/8781444867012\ 227860431370475522343296244557030321*c_0110_6^11 - 42805875608788810494835464836357408614710016384830375/8781444867012\ 227860431370475522343296244557030321*c_0110_6^10 + 27107843229047541720390680266541293303332618739655523/8781444867012\ 227860431370475522343296244557030321*c_0110_6^9 + 18732723245347553319159870774648489620304933021925776/8781444867012\ 227860431370475522343296244557030321*c_0110_6^8 - 12274405341485803548955202781900441533550909664962977/8781444867012\ 227860431370475522343296244557030321*c_0110_6^7 - 7243943701704638019874504567109571565646312693686266/87814448670122\ 27860431370475522343296244557030321*c_0110_6^6 + 4557421201789639590370977234387359727566498500946663/87814448670122\ 27860431370475522343296244557030321*c_0110_6^5 + 2310219051717850216998473627695968020503644394146878/87814448670122\ 27860431370475522343296244557030321*c_0110_6^4 - 1352117592279857566334379932119734772877021279871193/87814448670122\ 27860431370475522343296244557030321*c_0110_6^3 - 592364334805634614847715722254453105643305409618609/878144486701222\ 7860431370475522343296244557030321*c_0110_6^2 + 221640579108684670601815260766955208734811213290094/878144486701222\ 7860431370475522343296244557030321*c_0110_6 + 79488619324818757845112859683286994905495008879074/8781444867012227\ 860431370475522343296244557030321, c_0101_0 - 71520172809863744426246437731426778828555396299817/878144486\ 7012227860431370475522343296244557030321*c_0110_6^39 - 117675675885732122034216498742448378221294377565342/878144486701222\ 7860431370475522343296244557030321*c_0110_6^38 + 1786883627451202480387276937244318010566560430449002/87814448670122\ 27860431370475522343296244557030321*c_0110_6^37 + 2584695809532818245447397373476349145200813943487629/87814448670122\ 27860431370475522343296244557030321*c_0110_6^36 - 15796089493215981013290774199743778788174337682655150/8781444867012\ 227860431370475522343296244557030321*c_0110_6^35 - 19785885615617108051132479709948030595774309146202199/8781444867012\ 227860431370475522343296244557030321*c_0110_6^34 + 62730710680319608393123232598670116207107705258772850/8781444867012\ 227860431370475522343296244557030321*c_0110_6^33 + 70922661822273415778997955682490950865458199842490644/8781444867012\ 227860431370475522343296244557030321*c_0110_6^32 - 125273522532139965761445341534556729725296856882843715/878144486701\ 2227860431370475522343296244557030321*c_0110_6^31 - 148402304037891685168889403430766930547346238540175677/878144486701\ 2227860431370475522343296244557030321*c_0110_6^30 + 148419137538335198984101465697974659323488866533024521/878144486701\ 2227860431370475522343296244557030321*c_0110_6^29 + 223319105370517582966526611905444695497109586663067921/878144486701\ 2227860431370475522343296244557030321*c_0110_6^28 - 160440587766806726242355010066267977356612926456144585/878144486701\ 2227860431370475522343296244557030321*c_0110_6^27 - 306370219497320390332251849324775628321924979439607134/878144486701\ 2227860431370475522343296244557030321*c_0110_6^26 + 208577746537468425797182993674400951803990065501769642/878144486701\ 2227860431370475522343296244557030321*c_0110_6^25 + 399827296551420120381331015796060863546307069615043367/878144486701\ 2227860431370475522343296244557030321*c_0110_6^24 - 231127641729723862816911770342614727752344751529342531/878144486701\ 2227860431370475522343296244557030321*c_0110_6^23 - 446705293845555502054368408063910966602052800526987665/878144486701\ 2227860431370475522343296244557030321*c_0110_6^22 + 205780378814890575047434747334717666153797453271761110/878144486701\ 2227860431370475522343296244557030321*c_0110_6^21 + 441620635157999872984384969773386291769137904467522767/878144486701\ 2227860431370475522343296244557030321*c_0110_6^20 - 166320332286223347674735539816425032242274910957124498/878144486701\ 2227860431370475522343296244557030321*c_0110_6^19 - 391382590174646399854809005337337414363802644949806431/878144486701\ 2227860431370475522343296244557030321*c_0110_6^18 + 122400929206463407325077599693017065164599710302633206/878144486701\ 2227860431370475522343296244557030321*c_0110_6^17 + 273201328353050594124325977328966450634276602271431507/878144486701\ 2227860431370475522343296244557030321*c_0110_6^16 - 94061787105184533250723775901767751787454277510115595/8781444867012\ 227860431370475522343296244557030321*c_0110_6^15 - 153898046278598968886520581660443494202786499213639290/878144486701\ 2227860431370475522343296244557030321*c_0110_6^14 + 70575047566370056718000385732698151969816536097354670/8781444867012\ 227860431370475522343296244557030321*c_0110_6^13 + 86368414933590123602001840214094690915502523093554186/8781444867012\ 227860431370475522343296244557030321*c_0110_6^12 - 40833805811050428994603975581741100664525963875174174/8781444867012\ 227860431370475522343296244557030321*c_0110_6^11 - 45731026781040030339450201799785472689232558305481626/8781444867012\ 227860431370475522343296244557030321*c_0110_6^10 + 20330966535908122750372629576209822028223172375169994/8781444867012\ 227860431370475522343296244557030321*c_0110_6^9 + 20561504518627049540367348410944353411825807068410658/8781444867012\ 227860431370475522343296244557030321*c_0110_6^8 - 9429578810984111223981925483412214277851431403520913/87814448670122\ 27860431370475522343296244557030321*c_0110_6^7 - 8231100690500812383651294907244666673495186807305989/87814448670122\ 27860431370475522343296244557030321*c_0110_6^6 + 3586312822394676012986455956960643113726388461391623/87814448670122\ 27860431370475522343296244557030321*c_0110_6^5 + 2735139783544665119147564572512047693036641794988994/87814448670122\ 27860431370475522343296244557030321*c_0110_6^4 - 1111113464411529884689585585622514069434915457418852/87814448670122\ 27860431370475522343296244557030321*c_0110_6^3 - 726420994678915996186724683953738304788534947401870/878144486701222\ 7860431370475522343296244557030321*c_0110_6^2 + 195664842275933799881267191262210085822854262462407/878144486701222\ 7860431370475522343296244557030321*c_0110_6 + 108997405595997603205459193418830544908468504763644/878144486701222\ 7860431370475522343296244557030321, c_0101_2 - 167358340524891276405268192788390209344059521997284/87814448\ 67012227860431370475522343296244557030321*c_0110_6^39 - 267946384314214687473349646292852607043040574102254/878144486701222\ 7860431370475522343296244557030321*c_0110_6^38 + 4179821168229066805589149745136759302107152161496664/87814448670122\ 27860431370475522343296244557030321*c_0110_6^37 + 5846770443717930378626433116447465005018528047420998/87814448670122\ 27860431370475522343296244557030321*c_0110_6^36 - 36888993072325981635582321544387520359410830426674120/8781444867012\ 227860431370475522343296244557030321*c_0110_6^35 - 44338015961481444316307957157626785808847484068555591/8781444867012\ 227860431370475522343296244557030321*c_0110_6^34 + 145860553334789993123503803479894200192628200792665893/878144486701\ 2227860431370475522343296244557030321*c_0110_6^33 + 157320292602262270092736678136100273261276687847256133/878144486701\ 2227860431370475522343296244557030321*c_0110_6^32 - 289146323697584888281778286296701841727032394133657517/878144486701\ 2227860431370475522343296244557030321*c_0110_6^31 - 327877119803493871211666440757279160774821188684179553/878144486701\ 2227860431370475522343296244557030321*c_0110_6^30 + 341785368458453379009661869335515659251652079696002621/878144486701\ 2227860431370475522343296244557030321*c_0110_6^29 + 494610581012093366143199174711973070770978653392111630/878144486701\ 2227860431370475522343296244557030321*c_0110_6^28 - 374733715409789261396321552271129904659787389618346620/878144486701\ 2227860431370475522343296244557030321*c_0110_6^27 - 680087566091650788567677812403759004380977547623714449/878144486701\ 2227860431370475522343296244557030321*c_0110_6^26 + 490274267570705807914875349637473221184702659357050512/878144486701\ 2227860431370475522343296244557030321*c_0110_6^25 + 885253358860954463242244583613887750679907464298852377/878144486701\ 2227860431370475522343296244557030321*c_0110_6^24 - 541304194303949972541058484205162585915302309123800140/878144486701\ 2227860431370475522343296244557030321*c_0110_6^23 - 986049225814376161886986822382091788817635814412544924/878144486701\ 2227860431370475522343296244557030321*c_0110_6^22 + 484149918331640457143732762200365999354375292385409285/878144486701\ 2227860431370475522343296244557030321*c_0110_6^21 + 974921438413954211074351076510053021276382991432646068/878144486701\ 2227860431370475522343296244557030321*c_0110_6^20 - 395193778479633440109512635265941925322691922314346209/878144486701\ 2227860431370475522343296244557030321*c_0110_6^19 - 861764134671210520084328875574275453119107963712369203/878144486701\ 2227860431370475522343296244557030321*c_0110_6^18 + 292385059278543770979007469577835939508570992632786334/878144486701\ 2227860431370475522343296244557030321*c_0110_6^17 + 596002223097502604132705380662076650258282176325997045/878144486701\ 2227860431370475522343296244557030321*c_0110_6^16 - 222249048989780455885111990636415386971938665656311464/878144486701\ 2227860431370475522343296244557030321*c_0110_6^15 - 333740732470991525549829322572256431479735946892852606/878144486701\ 2227860431370475522343296244557030321*c_0110_6^14 + 163500498629075451275070943450628899997876615182097507/878144486701\ 2227860431370475522343296244557030321*c_0110_6^13 + 187266988946802500319238741501328078405354976516604759/878144486701\ 2227860431370475522343296244557030321*c_0110_6^12 - 93883819967879091504203325756532394321482091528701538/8781444867012\ 227860431370475522343296244557030321*c_0110_6^11 - 98428896052664896370893129775141568430509479361145478/8781444867012\ 227860431370475522343296244557030321*c_0110_6^10 + 46690499280073877486238381520231858967715230770233318/8781444867012\ 227860431370475522343296244557030321*c_0110_6^9 + 44114424634728927993264406003782677857730750961121770/8781444867012\ 227860431370475522343296244557030321*c_0110_6^8 - 21529929632666448218698461215828628769946871714471371/8781444867012\ 227860431370475522343296244557030321*c_0110_6^7 - 17570218350742069906091768176677145628640660999814084/8781444867012\ 227860431370475522343296244557030321*c_0110_6^6 + 8125397293197413200050946654242475076174795983418769/87814448670122\ 27860431370475522343296244557030321*c_0110_6^5 + 5798059808711632163973543832838886449743589785206533/87814448670122\ 27860431370475522343296244557030321*c_0110_6^4 - 2461835100843355197374467837040286688445346750159666/87814448670122\ 27860431370475522343296244557030321*c_0110_6^3 - 1532279733527154973932199044206998047483389972169890/87814448670122\ 27860431370475522343296244557030321*c_0110_6^2 + 416973732563536149019007722587037147708562019207948/878144486701222\ 7860431370475522343296244557030321*c_0110_6 + 225290909432657359257527836712824032264715517385145/878144486701222\ 7860431370475522343296244557030321, c_0101_6 - 37710124664136725506425140556967083257852529675653/878144486\ 7012227860431370475522343296244557030321*c_0110_6^39 - 65106056804351235788004831174755341288820345948572/8781444867012227\ 860431370475522343296244557030321*c_0110_6^38 + 939229946170179274917988801567676145069270927298899/878144486701222\ 7860431370475522343296244557030321*c_0110_6^37 + 1447777288584180497038403083790812707586989970689229/87814448670122\ 27860431370475522343296244557030321*c_0110_6^36 - 8265366263509423977547358650000356771395599534377480/87814448670122\ 27860431370475522343296244557030321*c_0110_6^35 - 11310038882582530779813694725584876625008481581999734/8781444867012\ 227860431370475522343296244557030321*c_0110_6^34 + 32591230606218307207914761839953254995096288703312560/8781444867012\ 227860431370475522343296244557030321*c_0110_6^33 + 41751197610648983946857873194744067184830112961960349/8781444867012\ 227860431370475522343296244557030321*c_0110_6^32 - 64228087121526009121864768127887070253780101311569269/8781444867012\ 227860431370475522343296244557030321*c_0110_6^31 - 89771354576859229537133722986715295045889436016660861/8781444867012\ 227860431370475522343296244557030321*c_0110_6^30 + 73833618362273323580227401217787726514498663221504404/8781444867012\ 227860431370475522343296244557030321*c_0110_6^29 + 135683713567009179779615862115952875850093971349835533/878144486701\ 2227860431370475522343296244557030321*c_0110_6^28 - 75916516037034603116025896129380748549190041973287552/8781444867012\ 227860431370475522343296244557030321*c_0110_6^27 - 182890121050457354604965936704291307704480954255625689/878144486701\ 2227860431370475522343296244557030321*c_0110_6^26 + 95663826860141918659521781000325452013761387979993307/8781444867012\ 227860431370475522343296244557030321*c_0110_6^25 + 238862800090202048859527691670965087880746499025262236/878144486701\ 2227860431370475522343296244557030321*c_0110_6^24 - 102545078502791355507020827962002456547856107126290481/878144486701\ 2227860431370475522343296244557030321*c_0110_6^23 - 271413514133567329897040337689514281422178270722432140/878144486701\ 2227860431370475522343296244557030321*c_0110_6^22 + 86332920796519535361067224591569526305295437207095759/8781444867012\ 227860431370475522343296244557030321*c_0110_6^21 + 269446760834060420640616167670583235746710282668780218/878144486701\ 2227860431370475522343296244557030321*c_0110_6^20 - 64645438638065763116235638961942377464406628785372507/8781444867012\ 227860431370475522343296244557030321*c_0110_6^19 - 239527505667979733259828021572724345434815676141185556/878144486701\ 2227860431370475522343296244557030321*c_0110_6^18 + 42523998370654552923883043246849947383404898338867034/8781444867012\ 227860431370475522343296244557030321*c_0110_6^17 + 172222373926408854425436522433730019311115255492654942/878144486701\ 2227860431370475522343296244557030321*c_0110_6^16 - 33418906549449736415016759916839066766027678814251734/8781444867012\ 227860431370475522343296244557030321*c_0110_6^15 - 101562247758293757046594051272875376581939140361500591/878144486701\ 2227860431370475522343296244557030321*c_0110_6^14 + 29759055626918574522722819629868140630733841765580063/8781444867012\ 227860431370475522343296244557030321*c_0110_6^13 + 58294561990970669984506859239837223842899146095531663/8781444867012\ 227860431370475522343296244557030321*c_0110_6^12 - 18524820693345237083387631410246020050553976587640241/8781444867012\ 227860431370475522343296244557030321*c_0110_6^11 - 31403882387407864251762566037502749818451168939668095/8781444867012\ 227860431370475522343296244557030321*c_0110_6^10 + 9008404230490583215944572898670817159065841242874455/87814448670122\ 27860431370475522343296244557030321*c_0110_6^9 + 14601011763153898373252265459206874081408367604076581/8781444867012\ 227860431370475522343296244557030321*c_0110_6^8 - 4353923553455233460000484910153691519155491308831120/87814448670122\ 27860431370475522343296244557030321*c_0110_6^7 - 6035032610451163630348513389559755244768143214806572/87814448670122\ 27860431370475522343296244557030321*c_0110_6^6 + 1708132581875471854530716511778696144572681743904052/87814448670122\ 27860431370475522343296244557030321*c_0110_6^5 + 2108925930269472992291226741070046400302607163622142/87814448670122\ 27860431370475522343296244557030321*c_0110_6^4 - 535690804801057137632472818271639073243455006429927/878144486701222\ 7860431370475522343296244557030321*c_0110_6^3 - 598432292443831680292542728386842509852593962862740/878144486701222\ 7860431370475522343296244557030321*c_0110_6^2 + 96617989209811516017484528233744026141034513225017/8781444867012227\ 860431370475522343296244557030321*c_0110_6 + 97709575361102153221799328731467894591148888535518/8781444867012227\ 860431370475522343296244557030321, c_0110_6^40 + c_0110_6^39 - 26*c_0110_6^38 - 20*c_0110_6^37 + 243*c_0110_6^36 + 134*c_0110_6^35 - 1045*c_0110_6^34 - 427*c_0110_6^33 + 2350*c_0110_6^32 + 956*c_0110_6^31 - 3336*c_0110_6^30 - 1802*c_0110_6^29 + 4161*c_0110_6^28 + 2840*c_0110_6^27 - 5546*c_0110_6^26 - 3705*c_0110_6^25 + 6649*c_0110_6^24 + 4172*c_0110_6^23 - 6701*c_0110_6^22 - 4333*c_0110_6^21 + 6114*c_0110_6^20 + 3977*c_0110_6^19 - 5062*c_0110_6^18 - 2728*c_0110_6^17 + 3641*c_0110_6^16 + 1335*c_0110_6^15 - 2296*c_0110_6^14 - 600*c_0110_6^13 + 1310*c_0110_6^12 + 287*c_0110_6^11 - 675*c_0110_6^10 - 114*c_0110_6^9 + 308*c_0110_6^8 + 35*c_0110_6^7 - 121*c_0110_6^6 - 8*c_0110_6^5 + 39*c_0110_6^4 + c_0110_6^3 - 9*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB