Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 2833855558] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0727 geometric_solution 4.67676711 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.321362981452 0.078698121206 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.181572144105 0.674003227931 3 1 1 3 0132 3201 0132 1023 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 1 0 -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 1.146797914852 0.574858779422 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.323723405575 0.264061723949 6 3 5 5 0132 0132 3201 2031 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.238163151061 0.808098224071 4 4 6 3 2310 1302 2310 0132 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 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.238163151061 0.808098224071 4 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.941229044954 1.931419046172 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_6'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 427574357967732532787455646796703669804355509506716793041707002/174\ 603355691548547083281763041087729322821578031579987628495*c_0101_6^\ 29 + 41128839906054555140982366741528886580586241992066013710551372\ 97/174603355691548547083281763041087729322821578031579987628495*c_0\ 101_6^28 + 44589227580590927050403357192498602567593604602266549207\ 15075048/1746033556915485470832817630410877293228215780315799876284\ 95*c_0101_6^27 - 99556488303710064660088806203622227379894983432118\ 161841005786212/174603355691548547083281763041087729322821578031579\ 987628495*c_0101_6^26 + 5192577100574181066400151297957981762306787\ 3425229624429209072497/17460335569154854708328176304108772932282157\ 8031579987628495*c_0101_6^25 + 929467270874962147198328441476413054\ 529798440249976613514655615666/174603355691548547083281763041087729\ 322821578031579987628495*c_0101_6^24 - 1580826370336947410611964628219257376807639510487564572408131363846\ /174603355691548547083281763041087729322821578031579987628495*c_010\ 1_6^23 - 5553478683928876198027329823681621213464015293414408456829\ 710238626/174603355691548547083281763041087729322821578031579987628\ 495*c_0101_6^22 + 2531612534757202328581838088350069555700862198019\ 404139686135547475/349206711383097094166563526082175458645643156063\ 15997525699*c_0101_6^21 + 23018603797364121837096900073526090366038\ 811943084444007129929452804/174603355691548547083281763041087729322\ 821578031579987628495*c_0101_6^20 - 5015506879948086354707519275253248233135287365754789158750995741762\ 1/174603355691548547083281763041087729322821578031579987628495*c_01\ 01_6^19 - 632220052388966339639383154478610043809981615157035803062\ 42294611851/1746033556915485470832817630410877293228215780315799876\ 28495*c_0101_6^18 + 11404807196859144936584800417202424253105244866\ 3528292405097065579581/17460335569154854708328176304108772932282157\ 8031579987628495*c_0101_6^17 + 112249786564299805017515042025639483\ 789198108450656937702008844229804/174603355691548547083281763041087\ 729322821578031579987628495*c_0101_6^16 - 3145183215172846187384177648408993154801866466773109145899889137041\ 0/34920671138309709416656352608217545864564315606315997525699*c_010\ 1_6^15 - 1331226154353051712068019765662004928317054468928884450063\ 82706571074/1746033556915485470832817630410877293228215780315799876\ 28495*c_0101_6^14 + 13702531211418117078347912488550074506939298776\ 5237752534482784775188/17460335569154854708328176304108772932282157\ 8031579987628495*c_0101_6^13 + 114081040912677857547729903324332081\ 564839549052926355964953308658481/174603355691548547083281763041087\ 729322821578031579987628495*c_0101_6^12 - 1690826394822286982618910227604430792861837207771372943545395426727\ 8/34920671138309709416656352608217545864564315606315997525699*c_010\ 1_6^11 - 6971974435653224531394782318102910452523212754913147710618\ 4562543271/17460335569154854708328176304108772932282157803157998762\ 8495*c_0101_6^10 + 423349533448091359944384038798050076781181020131\ 21767668197634268651/1746033556915485470832817630410877293228215780\ 31579987628495*c_0101_6^9 + 250604019849173640824026099956160736910\ 01775859762432515434376565046/1746033556915485470832817630410877293\ 22821578031579987628495*c_0101_6^8 - 2587004476571590870827129323392704794707499907811209093339038573945\ /34920671138309709416656352608217545864564315606315997525699*c_0101\ _6^7 - 674688408881452422095595949609079961652052260038417928702856\ 3433901/17460335569154854708328176304108772932282157803157998762849\ 5*c_0101_6^6 + 5651953167549628427786605693909497223855694746798224\ 88776627604855/3492067113830970941665635260821754586456431560631599\ 7525699*c_0101_6^5 + 1122615774336072779860371108449379484414579008\ 248011730679053136063/174603355691548547083281763041087729322821578\ 031579987628495*c_0101_6^4 - 71625848127762598975604056301996699111\ 299097847633335008927893947/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^3 - 100975428495491896866414118382547\ 202509249366372788147135703320156/174603355691548547083281763041087\ 729322821578031579987628495*c_0101_6^2 + 17825125269517162884928747858864141891187487027451754467007178976/1\ 74603355691548547083281763041087729322821578031579987628495*c_0101_\ 6 + 394749336879298621712122423043526392098639541926282887593869421\ 6/174603355691548547083281763041087729322821578031579987628495, c_0011_0 - 1, c_0011_2 + 154773078209376393028441283933438458873413021267255351328379\ /34920671138309709416656352608217545864564315606315997525699*c_0101\ _6^29 - 13671515340312059492826051404378606249044949069606242176499\ 11/34920671138309709416656352608217545864564315606315997525699*c_01\ 01_6^28 - 268872741783082717484042704246494466581890070560561455253\ 7330/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^27 + 3392780147481201090039016375212931051151361392635905702\ 4275878/34920671138309709416656352608217545864564315606315997525699\ *c_0101_6^26 + 7866833840310709080359574130761677021661244481868554\ 666318139/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^25 - 33034132733768687053020666338434325089367400485889\ 3691146790687/34920671138309709416656352608217545864564315606315997\ 525699*c_0101_6^24 + 3127241656441140316104907705874019932617818056\ 71822043062457989/3492067113830970941665635260821754586456431560631\ 5997525699*c_0101_6^23 + 225662337815890963813167900806258737501925\ 1692410106985978027277/34920671138309709416656352608217545864564315\ 606315997525699*c_0101_6^22 - 2810258831802231573418158573080674504\ 135574932265460283502868143/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^21 - 10543604176230013885166004209742612543287408908435403620818980587/3\ 4920671138309709416656352608217545864564315606315997525699*c_0101_6\ ^20 + 9881161925867208561380548037666022906935633346384135383243313\ 578/34920671138309709416656352608217545864564315606315997525699*c_0\ 101_6^19 + 30658377086873696042912122180339768455941059397247690193\ 896602998/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^18 - 17234129504651469381502245561464594021089819084144\ 230249017182759/349206711383097094166563526082175458645643156063159\ 97525699*c_0101_6^17 - 54187693428276828977510747437805458828218162\ 180693535047974740662/349206711383097094166563526082175458645643156\ 06315997525699*c_0101_6^16 + 14436341395019144674889428715964061396\ 635793453981626699260405245/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^15 + 59535171046567965046661403738283717279420086632544623479854161002/3\ 4920671138309709416656352608217545864564315606315997525699*c_0101_6\ ^14 - 2936692529160838806108234921527976125744768443255702519492698\ 328/34920671138309709416656352608217545864564315606315997525699*c_0\ 101_6^13 - 43586950259630052527125578744837260307622551629431741046\ 414530602/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^12 - 35545550384254196239291489655513185273628641565138\ 05823535893564/3492067113830970941665635260821754586456431560631599\ 7525699*c_0101_6^11 + 224234319003372158996801418664025864834011215\ 90372017711984169038/3492067113830970941665635260821754586456431560\ 6315997525699*c_0101_6^10 + 224141513493614197256229954232026912348\ 5309042944333316780122892/34920671138309709416656352608217545864564\ 315606315997525699*c_0101_6^9 - 72909023088310564569627450026313851\ 39582697607157762351153075005/3492067113830970941665635260821754586\ 4564315606315997525699*c_0101_6^8 - 1022279405944459928926419020522075885946652559294530162563056762/34\ 920671138309709416656352608217545864564315606315997525699*c_0101_6^\ 7 + 162063806165559597162214912288294919771125622620987070333364873\ 3/34920671138309709416656352608217545864564315606315997525699*c_010\ 1_6^6 + 25007199109527499115061791207355296740848722445708398721745\ 2752/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^5 - 20571431586097327417113014267472814854065259556340742381\ 9752760/34920671138309709416656352608217545864564315606315997525699\ *c_0101_6^4 - 32444129252704105209357006230048670812059242426230237\ 599544217/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^3 + 998470053724664003420197401155217221732611668784488\ 2113821604/34920671138309709416656352608217545864564315606315997525\ 699*c_0101_6^2 + 18799877532684791951874605036872166775853185743553\ 98510582815/3492067113830970941665635260821754586456431560631599752\ 5699*c_0101_6 + 540594691009636986710249670623480257673178097376663\ 39836155/3492067113830970941665635260821754586456431560631599752569\ 9, c_0011_5 - 254734909871643513772337408706981423501822093585773912658606\ /34920671138309709416656352608217545864564315606315997525699*c_0101\ _6^29 + 23401967526925267524078135152485026567782550143794874650578\ 49/34920671138309709416656352608217545864564315606315997525699*c_01\ 01_6^28 + 361862897767478301538498750623455059407940581168002921224\ 4397/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^27 - 5730489692599391583737859895263505529373752723749497817\ 7450348/34920671138309709416656352608217545864564315606315997525699\ *c_0101_6^26 + 6971941931673618124681153442627504949286035873363592\ 741985587/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^25 + 54582230132611388690443864411815980886579028035560\ 7446318402268/34920671138309709416656352608217545864564315606315997\ 525699*c_0101_6^24 - 7071122658687963336949336205270558274204906760\ 81009019069041262/3492067113830970941665635260821754586456431560631\ 5997525699*c_0101_6^23 - 350873020340119418998276139365533000333951\ 6800664073524356788432/34920671138309709416656352608217545864564315\ 606315997525699*c_0101_6^22 + 5912415279465846458768876822837394132\ 361664405567620110044159531/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^21 + 15563142369374041872975926484601784854123397015662223961712564986/3\ 4920671138309709416656352608217545864564315606315997525699*c_0101_6\ ^20 - 2217734647313192011672589127047179436468710617159038276265486\ 5406/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^19 - 4400971070727028138266465075058933071982347239704143872\ 2453267880/34920671138309709416656352608217545864564315606315997525\ 699*c_0101_6^18 + 4542273492492414286408210793396372017649038666120\ 6544642608705977/34920671138309709416656352608217545864564315606315\ 997525699*c_0101_6^17 + 7719597488101868632908281933058559373852322\ 5668011975648476329727/34920671138309709416656352608217545864564315\ 606315997525699*c_0101_6^16 - 5384849476195778979490806080127545189\ 8846161087255744360362951522/34920671138309709416656352608217545864\ 564315606315997525699*c_0101_6^15 - 86271569932415317940831637547695680003527530447233719712955755118/3\ 4920671138309709416656352608217545864564315606315997525699*c_0101_6\ ^14 + 3802378005310979844179520142968451976378320811078162139226953\ 9381/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^13 + 6655507526060387447634653172255719441592717818182179909\ 6651007578/34920671138309709416656352608217545864564315606315997525\ 699*c_0101_6^12 - 1873020599196146529330951934157681416418737521765\ 4185481382946724/34920671138309709416656352608217545864564315606315\ 997525699*c_0101_6^11 - 3649540693111430644744411699324465890213787\ 2416712855120247391329/34920671138309709416656352608217545864564315\ 606315997525699*c_0101_6^10 + 9090301509276330398584771895335305078\ 815848899386765336931852089/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^9 + 120404875301850783585161303716682\ 38896714432380769963494652893288/3492067113830970941665635260821754\ 5864564315606315997525699*c_0101_6^8 - 2412402041835223808276426334148025684512132344581385329412600954/34\ 920671138309709416656352608217545864564315606315997525699*c_0101_6^\ 7 - 288567963842017515635275477657283286648128978399420532643450791\ 3/34920671138309709416656352608217545864564315606315997525699*c_010\ 1_6^6 + 50676434980496751430881144894464425125434495623221716117884\ 9687/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^5 + 40059065135932780674279099029996638791049655049163701272\ 4388144/34920671138309709416656352608217545864564315606315997525699\ *c_0101_6^4 - 60971535054658019791368781662060256891100800499457252\ 038811229/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^3 - 258156116030158950032654725390475772489635383156239\ 82969433259/3492067113830970941665635260821754586456431560631599752\ 5699*c_0101_6^2 + 2565451974571822311412617717871036864793157793567\ 052410185166/349206711383097094166563526082175458645643156063159975\ 25699*c_0101_6 + 55200387804449839572017150405928802271648594420540\ 1631610702/34920671138309709416656352608217545864564315606315997525\ 699, c_0101_0 - 112045002613362921389744171349391744668700390533658543010724\ /34920671138309709416656352608217545864564315606315997525699*c_0101\ _6^29 + 10782607731896410308858904208415028962731826013520185523989\ 68/34920671138309709416656352608217545864564315606315997525699*c_01\ 01_6^28 + 114939288501994375248531788262162162863708415403622948841\ 3666/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^27 - 2596597371811717580813171685063880940820435186426787143\ 0067689/34920671138309709416656352608217545864564315606315997525699\ *c_0101_6^26 + 1396102663939453589651821503321648503869943165787418\ 3448903646/34920671138309709416656352608217545864564315606315997525\ 699*c_0101_6^25 + 2403622455675211250028041438853065416342941700288\ 92237796500655/3492067113830970941665635260821754586456431560631599\ 7525699*c_0101_6^24 - 415829122753829988768662222692746200232946380\ 181433325331208496/349206711383097094166563526082175458645643156063\ 15997525699*c_0101_6^23 - 14232507930206034228776569970677706635080\ 68777485353852966078414/3492067113830970941665635260821754586456431\ 5606315997525699*c_0101_6^22 + 329246450609273916891130138363865386\ 0102237168313815767958895400/34920671138309709416656352608217545864\ 564315606315997525699*c_0101_6^21 + 5814294816161746629359048852792985598661517407186461302611198746/34\ 920671138309709416656352608217545864564315606315997525699*c_0101_6^\ 20 - 12900777717986402846157045491534494210606259305269714483217971\ 750/34920671138309709416656352608217545864564315606315997525699*c_0\ 101_6^19 - 15577788261803912779524895928855700283472344409401789026\ 977228724/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^18 + 29021852566650617622554592461131011380390996246962\ 921591581928562/349206711383097094166563526082175458645643156063159\ 97525699*c_0101_6^17 + 26639897894112739090872216233140729410271188\ 191403334986649244453/349206711383097094166563526082175458645643156\ 06315997525699*c_0101_6^16 - 39691821648707808025581240537815629346\ 926267326636559422593105672/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^15 - 30188372381910953333888613577964951819457122990296729442631841902/3\ 4920671138309709416656352608217545864564315606315997525699*c_0101_6\ ^14 + 3459789209917792963677462173528754524507981057959257306629390\ 8846/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^13 + 2499114795789411237202985330640946096407519110289267005\ 9023902692/34920671138309709416656352608217545864564315606315997525\ 699*c_0101_6^12 - 2177178166002030551363204630295799647548511434158\ 8305606441394011/34920671138309709416656352608217545864564315606315\ 997525699*c_0101_6^11 - 1484312548946267508440609703841715041091705\ 7847158460009511280581/34920671138309709416656352608217545864564315\ 606315997525699*c_0101_6^10 + 1120827436258239121270076673668868626\ 2424838063553280657167529731/34920671138309709416656352608217545864\ 564315606315997525699*c_0101_6^9 + 4872812466920161159443633267310063843959619298722806790740276735/34\ 920671138309709416656352608217545864564315606315997525699*c_0101_6^\ 8 - 341728849173360982911004764604497642274897703198064965390842625\ 8/34920671138309709416656352608217545864564315606315997525699*c_010\ 1_6^7 - 12718862585158514888665266607714704373023712652086571240212\ 05699/34920671138309709416656352608217545864564315606315997525699*c\ _0101_6^6 + 7693724354029868411479782592129605929956582416493805243\ 49750049/3492067113830970941665635260821754586456431560631599752569\ 9*c_0101_6^5 + 1902125731081979698116736107565189840384057107045317\ 51405289656/3492067113830970941665635260821754586456431560631599752\ 5699*c_0101_6^4 - 9733128926964115635470879739303182173574169405446\ 9431671113275/34920671138309709416656352608217545864564315606315997\ 525699*c_0101_6^3 - 15826531703158197601489418503431744864585115757\ 894217087258039/349206711383097094166563526082175458645643156063159\ 97525699*c_0101_6^2 + 482655826799517204195071211489089680153021308\ 6877625631687844/34920671138309709416656352608217545864564315606315\ 997525699*c_0101_6 + 6788577248260242269474504316673875420025371911\ 63907967401599/3492067113830970941665635260821754586456431560631599\ 7525699, c_0101_1 + 349240888259653122066658513398554897671474243423352424818037\ /34920671138309709416656352608217545864564315606315997525699*c_0101\ _6^29 - 32007177033584522624050834794033721552592932176718731713734\ 37/34920671138309709416656352608217545864564315606315997525699*c_01\ 01_6^28 - 502255421021359027237780112253719212935663561173223951978\ 1914/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^27 + 7837035096672318731959170093250572985285362466269386168\ 7062741/34920671138309709416656352608217545864564315606315997525699\ *c_0101_6^26 - 7951988254044711324676976392158868429036317534866437\ 284132502/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^25 - 74644664648163052367451779957699277262707171405434\ 2564915762416/34920671138309709416656352608217545864564315606315997\ 525699*c_0101_6^24 + 9525403666153239665490682836058246091792694693\ 06881722636244927/3492067113830970941665635260821754586456431560631\ 5997525699*c_0101_6^23 + 481201422161694683736620122670096975570236\ 4719726128540372446413/34920671138309709416656352608217545864564315\ 606315997525699*c_0101_6^22 - 7972850722067120449512314897571739158\ 423053653930882489918793701/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^21 - 21390244705119409173544900133906250861751507635096613444109514647/3\ 4920671138309709416656352608217545864564315606315997525699*c_0101_6\ ^20 + 2971074784012792149028608359614968157981439467378225901863357\ 6585/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^19 + 6045537645784121621465381666778073561842299796853831112\ 3452647498/34920671138309709416656352608217545864564315606315997525\ 699*c_0101_6^18 - 6009763206541409733845211520459326717091578183730\ 1369998146375082/34920671138309709416656352608217545864564315606315\ 997525699*c_0101_6^17 - 1056389483067859385339699955857894540904005\ 30829057458144044660555/3492067113830970941665635260821754586456431\ 5606315997525699*c_0101_6^16 + 697539061199700222460635970376468422\ 81208613187205134438159763986/3492067113830970941665635260821754586\ 4564315606315997525699*c_0101_6^15 + 117117453661369647467868571044334257896770244951344044361615496419/\ 34920671138309709416656352608217545864564315606315997525699*c_0101_\ 6^14 - 475069117768055417561893817651156424249287078275089276091823\ 15630/34920671138309709416656352608217545864564315606315997525699*c\ _0101_6^13 - 892506909543350170318557607808498961115755419740091650\ 57884256987/3492067113830970941665635260821754586456431560631599752\ 5699*c_0101_6^12 + 223566288922194560997229916866398113080431169133\ 17751673484151956/3492067113830970941665635260821754586456431560631\ 5997525699*c_0101_6^11 + 482033050208453278831348206595789519664542\ 34914693664926011663919/3492067113830970941665635260821754586456431\ 5606315997525699*c_0101_6^10 - 108108649928304166422172077845807108\ 51997526699827639927570316416/3492067113830970941665635260821754586\ 4564315606315997525699*c_0101_6^9 - 15526210121235518736895927409795977078395865839319732116194941581/3\ 4920671138309709416656352608217545864564315606315997525699*c_0101_6\ ^8 + 27038688356075521193208388010379925804846000906684209568855646\ 16/34920671138309709416656352608217545864564315606315997525699*c_01\ 01_6^7 + 3656289153666984585654166179572980400011178339356808385026\ 410895/34920671138309709416656352608217545864564315606315997525699*\ c_0101_6^6 - 565302589702207160497543957152254484410682448535757165\ 296143301/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^5 - 483003317090186127814728557490946148202473176300394\ 008015210107/349206711383097094166563526082175458645643156063159975\ 25699*c_0101_6^4 + 639786466472136180620290327937435040298195671153\ 06044083563046/3492067113830970941665635260821754586456431560631599\ 7525699*c_0101_6^3 + 2925345059201553282166542869461252391620743946\ 0969644892555615/34920671138309709416656352608217545864564315606315\ 997525699*c_0101_6^2 - 24031008703151966667031780950951211869382079\ 05184233907881228/3492067113830970941665635260821754586456431560631\ 5997525699*c_0101_6 - 592284744657627058035610816604588397523400044\ 377040424491943/349206711383097094166563526082175458645643156063159\ 97525699, c_0101_3 + 130994431472351713192477511833226429370129632077237830271182\ /34920671138309709416656352608217545864564315606315997525699*c_0101\ _6^29 - 12220731131868238966847277390677361205203447802921706379568\ 33/34920671138309709416656352608217545864564315606315997525699*c_01\ 01_6^28 - 170005632763886070764197114867924412527945160337171670300\ 4297/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^27 + 2982583331846420212461492931019568390337840276221660668\ 7168741/34920671138309709416656352608217545864564315606315997525699\ *c_0101_6^26 - 7589606117208998608415138805018154076044149005487061\ 025298569/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^25 - 28246093040258256468489917766608863027663827210473\ 0486338884136/34920671138309709416656352608217545864564315606315997\ 525699*c_0101_6^24 + 4028493312200890160958602213402880161451314556\ 50130726258330196/3492067113830970941665635260821754586456431560631\ 5997525699*c_0101_6^23 + 177474247698430333986609136421089418142630\ 1266786898127431210435/34920671138309709416656352608217545864564315\ 606315997525699*c_0101_6^22 - 3316612796210675759048163994972597626\ 337895948300394491161624465/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^21 - 7723442565132869554778026280466064657159374437741513991986670692/34\ 920671138309709416656352608217545864564315606315997525699*c_0101_6^\ 20 + 12718404060806639899243905855420259799042679534894813769748401\ 792/34920671138309709416656352608217545864564315606315997525699*c_0\ 101_6^19 + 21724296339202552112702816052720510705257635880059614648\ 084356496/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^18 - 27162463556949460280911471706110203557511338287717\ 129416684851048/349206711383097094166563526082175458645643156063159\ 97525699*c_0101_6^17 - 38420604862860386261917626355531764498190246\ 698591818143896391447/349206711383097094166563526082175458645643156\ 06315997525699*c_0101_6^16 + 34252376692789076685639884011544019049\ 474818223575164001707948527/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^15 + 43915775815104991715810788160956693414862981316342279723147116210/3\ 4920671138309709416656352608217545864564315606315997525699*c_0101_6\ ^14 - 2644145120733944586089022762639240150398377892314778470027923\ 8909/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^13 - 3507052280855711227557822570490180379476085261078608006\ 4774332654/34920671138309709416656352608217545864564315606315997525\ 699*c_0101_6^12 + 1437302514654143010943683945973323166267067810450\ 2602855201889777/34920671138309709416656352608217545864564315606315\ 997525699*c_0101_6^11 + 1988113638461091297085337283071755438148714\ 6869059705719250615769/34920671138309709416656352608217545864564315\ 606315997525699*c_0101_6^10 - 6979827638394456158778543378101046087\ 491581407241672625766839968/349206711383097094166563526082175458645\ 64315606315997525699*c_0101_6^9 - 672717718020870686220857142124749\ 2854165915831771172922388505277/34920671138309709416656352608217545\ 864564315606315997525699*c_0101_6^8 + 1959736565997571420329421309876528871279098422537811176128924339/34\ 920671138309709416656352608217545864564315606315997525699*c_0101_6^\ 7 + 166330803671881959931011199164687362200829620057920859985903068\ 6/34920671138309709416656352608217545864564315606315997525699*c_010\ 1_6^6 - 41124216402935264680740998103683397726008985824365718763366\ 1155/34920671138309709416656352608217545864564315606315997525699*c_\ 0101_6^5 - 24188164676949452722567742830865684980163376247735176657\ 9192337/34920671138309709416656352608217545864564315606315997525699\ *c_0101_6^4 + 49471971977653039789722880529200022783221612837161323\ 971132629/349206711383097094166563526082175458645643156063159975256\ 99*c_0101_6^3 + 166616698339807450413140073860505790621747191975523\ 95765638678/3492067113830970941665635260821754586456431560631599752\ 5699*c_0101_6^2 - 2152637321215783078844633089688374927171149587739\ 856951949160/349206711383097094166563526082175458645643156063159975\ 25699*c_0101_6 - 39862317797171520294942526656772483040963751928932\ 1072377846/34920671138309709416656352608217545864564315606315997525\ 699, c_0101_6^30 - 9*c_0101_6^29 - 16*c_0101_6^28 + 223*c_0101_6^27 + 16*c_0101_6^26 - 2165*c_0101_6^25 + 2372*c_0101_6^24 + 14459*c_0101_6^23 - 20799*c_0101_6^22 - 66562*c_0101_6^21 + 77084*c_0101_6^20 + 194274*c_0101_6^19 - 151072*c_0101_6^18 - 351433*c_0101_6^17 + 163616*c_0101_6^16 + 404412*c_0101_6^15 - 93745*c_0101_6^14 - 317521*c_0101_6^13 + 27119*c_0101_6^12 + 177568*c_0101_6^11 - 8147*c_0101_6^10 - 64504*c_0101_6^9 + 164*c_0101_6^8 + 16493*c_0101_6^7 + 411*c_0101_6^6 - 2704*c_0101_6^5 - 123*c_0101_6^4 + 243*c_0101_6^3 + 18*c_0101_6^2 - 9*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB