Magma V2.19-8 Tue Aug 20 2013 23:45:29 on localhost [Seed = 3187398777] Type ? for help. Type -D to quit. Loading file "K13n3011__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3011 geometric_solution 11.42461795 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 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.450269457348 0.842998225687 0 4 3 5 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.058825650585 1.391082905910 6 0 5 7 0132 0132 0213 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 -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.727440678431 0.610125101086 8 1 9 0 0132 0213 0132 0132 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 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.125875032965 0.803979798254 8 1 0 10 1302 0132 0132 0132 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 1 -1 1 0 0 -1 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450269457348 0.842998225687 10 2 1 7 0132 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144459500277 0.505314411996 2 8 11 11 0132 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 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 10 0 -10 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515921957138 0.654649786651 9 5 2 11 1023 0321 0132 0132 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 -1 1 0 0 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534058626454 0.705665951298 3 4 9 6 0132 2031 2103 2031 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 0 0 1 -1 -9 0 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.038507655852 1.263055171894 8 7 10 3 2103 1023 0132 0132 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 1 0 0 -9 0 9 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398761775336 0.927524491097 5 11 4 9 0132 1023 0132 0132 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 -1 1 0 0 0 1 -1 0 1 0 -1 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443030890682 1.256758158629 10 6 7 6 1023 0321 0132 0132 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 -1 1 1 0 0 -1 -1 10 0 -9 -10 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257390370868 0.942292198558 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_0011_7'], 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : d['c_0101_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0011_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_7'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_10']), '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_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_11, c_0101_3, c_0101_6, c_1001_0, c_1001_11, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 3/11*c_1100_0^5 - 5/11*c_1100_0^4 + 10/11*c_1100_0^3 - 26/11*c_1100_0^2 + 20/11*c_1100_0 - 14/11, c_0011_0 - 1, c_0011_10 + 2*c_1100_0^5 - c_1100_0^4 + 2*c_1100_0^3 - 2*c_1100_0^2 + 2*c_1100_0 - 2, c_0011_3 + c_1100_0^2, c_0011_7 - c_1100_0^5 - c_1100_0^3 - c_1100_0, c_0101_0 + c_1100_0^5 + c_1100_0^3 - c_1100_0^2 + c_1100_0, c_0101_11 - c_1100_0^5 - 2*c_1100_0^3 + c_1100_0^2 - 2*c_1100_0 + 1, c_0101_3 + 1, c_0101_6 - 2*c_1100_0^5 + c_1100_0^4 - 3*c_1100_0^3 + 2*c_1100_0^2 - 3*c_1100_0 + 2, c_1001_0 + c_1100_0^5 + 2*c_1100_0^3 - c_1100_0^2 + c_1100_0 - 1, c_1001_11 + c_1100_0^3 + c_1100_0, c_1001_2 - c_1100_0, c_1100_0^6 - c_1100_0^5 + 2*c_1100_0^4 - 2*c_1100_0^3 + 2*c_1100_0^2 - 2*c_1100_0 + 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_11, c_0101_3, c_0101_6, c_1001_0, c_1001_11, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 3259815031370369612908603486186803130783054/90041647488517460931376\ 541900728204071*c_1100_0^16 + 2288022747136777076029523285414775968\ 1598831/90041647488517460931376541900728204071*c_1100_0^15 + 47266440042927013431976380120421708562294347/8003701998979329860566\ 8037245091736952*c_1100_0^14 + 575584523667575094982235133880484744\ 797899505/960444239877519583268016446941100843424*c_1100_0^13 + 1150271937956540554039197052549067786314203391/96044423987751958326\ 8016446941100843424*c_1100_0^12 + 541950314036029314687739886136952\ 7417918358751/2881332719632558749804049340823302530272*c_1100_0^11 + 1582725789600941664098095041593430175934240597/48022211993875979163\ 4008223470550421712*c_1100_0^10 + 493196524505571483966551817425804\ 8821227973941/2881332719632558749804049340823302530272*c_1100_0^9 + 4498556957672257891346873683164039620384978489/28813327196325587498\ 04049340823302530272*c_1100_0^8 + 606338672850544397402714811494006\ 6403590086991/2881332719632558749804049340823302530272*c_1100_0^7 - 23207463920466964936509491940395247743604451/1200555299846899479085\ 02055867637605428*c_1100_0^6 + 270940922684019920149871809717759519\ 6136085389/2881332719632558749804049340823302530272*c_1100_0^5 - 424645650145377537120724991034165118359608521/144066635981627937490\ 2024670411651265136*c_1100_0^4 + 2243041679110106024534461424441566\ 34533296517/720333179908139687451012335205825632568*c_1100_0^3 - 477614615994493889407278755948133775927590065/288133271963255874980\ 4049340823302530272*c_1100_0^2 + 2760987490193149179542424207663128\ 4520537081/480222119938759791634008223470550421712*c_1100_0 - 34279153208791421917710999912852715794465781/2881332719632558749804\ 049340823302530272, c_0011_0 - 1, c_0011_10 + 2228589149112801756650965813668584576/221232549111836513344\ 905508355597553*c_1100_0^16 + 1639266704144133936442420322474954278\ 4/221232549111836513344905508355597553*c_1100_0^15 + 4627000007231841066533996956835573896/24581394345759612593878389817\ 288617*c_1100_0^14 + 16413419276284815575828401110687374026/7374418\ 3037278837781635169451865851*c_1100_0^13 + 28728829135767176621038590602803373329/7374418303727883778163516945\ 1865851*c_1100_0^12 + 140338588404247271836003218675246734998/22123\ 2549111836513344905508355597553*c_1100_0^11 + 80757660200770583501533670225848309741/7374418303727883778163516945\ 1865851*c_1100_0^10 + 173904348015078971747851991251199597594/22123\ 2549111836513344905508355597553*c_1100_0^9 + 132001375041227605167084057176287716068/221232549111836513344905508\ 355597553*c_1100_0^8 + 160105330032469421429914747461227342147/2212\ 32549111836513344905508355597553*c_1100_0^7 + 11042858333100872373382224195887123920/7374418303727883778163516945\ 1865851*c_1100_0^6 + 55801388429252489865000069891186867569/2212325\ 49111836513344905508355597553*c_1100_0^5 - 284289522039825490664507600043535448/221232549111836513344905508355\ 597553*c_1100_0^4 + 15267955710652206071932943102705702746/22123254\ 9111836513344905508355597553*c_1100_0^3 - 4356142248785928587682200972183227871/22123254911183651334490550835\ 5597553*c_1100_0^2 + 307561785334215854031263263178694692/737441830\ 37278837781635169451865851*c_1100_0 - 25783768392837431409339383522280292/2212325491118365133449055083555\ 97553, c_0011_3 - 279047559031380147464322778758213376/73744183037278837781635\ 169451865851*c_1100_0^16 - 2084410762180650312356124581851192576/73\ 744183037278837781635169451865851*c_1100_0^15 - 611746021606408686938589681217522736/819379811525320419795946327242\ 9539*c_1100_0^14 - 2393024297966897158140056604991300076/2458139434\ 5759612593878389817288617*c_1100_0^13 - 4178261064504514267552531579208083874/24581394345759612593878389817\ 288617*c_1100_0^12 - 19935257367669551743121175971457829055/7374418\ 3037278837781635169451865851*c_1100_0^11 - 11422135899137281407650142492753653174/2458139434575961259387838981\ 7288617*c_1100_0^10 - 28436237164994928737325650905846843252/737441\ 83037278837781635169451865851*c_1100_0^9 - 24593689609074030087864784631538821443/7374418303727883778163516945\ 1865851*c_1100_0^8 - 25336961412668924132272850435267218018/7374418\ 3037278837781635169451865851*c_1100_0^7 - 2761513058045353427607757323449428565/24581394345759612593878389817\ 288617*c_1100_0^6 - 10276843876685976895420395699279535675/73744183\ 037278837781635169451865851*c_1100_0^5 - 689945529761842461928830253294543910/737441830372788377816351694518\ 65851*c_1100_0^4 - 2568150436031757712892469629807332199/7374418303\ 7278837781635169451865851*c_1100_0^3 + 552213463856328140278716838734104164/737441830372788377816351694518\ 65851*c_1100_0^2 - 82644704914441636197237053665789243/245813943457\ 59612593878389817288617*c_1100_0 + 59208454952778348177698664794951969/7374418303727883778163516945186\ 5851, c_0011_7 - 701749484116531315360938889323360256/22123254911183651334490\ 5508355597553*c_1100_0^16 - 5268574120054099703781262206637661632/2\ 21232549111836513344905508355597553*c_1100_0^15 - 1553803103420772482534232428506882016/24581394345759612593878389817\ 288617*c_1100_0^14 - 6051177591890036266127260284771533828/73744183\ 037278837781635169451865851*c_1100_0^13 - 10420256716365889752523054235616333377/7374418303727883778163516945\ 1865851*c_1100_0^12 - 50639919016242567835754016445585126061/221232\ 549111836513344905508355597553*c_1100_0^11 - 28954201140307486603537411352922170621/7374418303727883778163516945\ 1865851*c_1100_0^10 - 72552921412678202891624939668985433169/221232\ 549111836513344905508355597553*c_1100_0^9 - 60505926072632546064771276497650825618/2212325491118365133449055083\ 55597553*c_1100_0^8 - 65655211315672385721089891466628762327/221232\ 549111836513344905508355597553*c_1100_0^7 - 8273167988979174072987469248734095682/73744183037278837781635169451\ 865851*c_1100_0^6 - 25989060777258710602259496979503847576/22123254\ 9111836513344905508355597553*c_1100_0^5 - 4433964131668298386090751034760608245/22123254911183651334490550835\ 5597553*c_1100_0^4 - 6810666120461086581587981781110569052/22123254\ 9111836513344905508355597553*c_1100_0^3 + 825234452015360497426528078749015850/221232549111836513344905508355\ 597553*c_1100_0^2 - 165899521180900483919096072464832020/7374418303\ 7278837781635169451865851*c_1100_0 + 59641561908099283798071750076640579/2212325491118365133449055083555\ 97553, c_0101_0 - 125817395474205051929281725616029440/22123254911183651334490\ 5508355597553*c_1100_0^16 - 734903817666638025049484769105725696/22\ 1232549111836513344905508355597553*c_1100_0^15 - 111178534190122629862591587299847472/245813943457596125938783898172\ 88617*c_1100_0^14 + 132238896381204092934241609837265300/7374418303\ 7278837781635169451865851*c_1100_0^13 - 551829323165749448976959490137711218/737441830372788377816351694518\ 65851*c_1100_0^12 - 1736767643417517625212072928544833399/221232549\ 111836513344905508355597553*c_1100_0^11 - 1177801332584871407497536106620444490/73744183037278837781635169451\ 865851*c_1100_0^10 + 7943931880199767501198420568785813729/22123254\ 9111836513344905508355597553*c_1100_0^9 + 2216779745932166716896437875040302657/22123254911183651334490550835\ 5597553*c_1100_0^8 - 1313099405086888148563966538148818120/22123254\ 9111836513344905508355597553*c_1100_0^7 + 3416560950863703864730776210864514883/73744183037278837781635169451\ 865851*c_1100_0^6 - 1828745678909650044866488862121153914/221232549\ 111836513344905508355597553*c_1100_0^5 + 5712997715421790240590321328990731785/22123254911183651334490550835\ 5597553*c_1100_0^4 - 993578079969665704068908379024599434/221232549\ 111836513344905508355597553*c_1100_0^3 + 2121569468217775033179399924249013583/22123254911183651334490550835\ 5597553*c_1100_0^2 - 115246508785425529036762618338884753/737441830\ 37278837781635169451865851*c_1100_0 + 170545717805718568071508410334170019/221232549111836513344905508355\ 597553, c_0101_11 - 339537385266377409899970590282871296/7374418303727883778163\ 5169451865851*c_1100_0^16 - 2580244661880106726807813602307688960/7\ 3744183037278837781635169451865851*c_1100_0^15 - 772324211623271191969151553778441376/819379811525320419795946327242\ 9539*c_1100_0^14 - 3007856218947983337747060077466540904/2458139434\ 5759612593878389817288617*c_1100_0^13 - 4950952370543531400858185540470624012/24581394345759612593878389817\ 288617*c_1100_0^12 - 24352424465446123964057055238056308950/7374418\ 3037278837781635169451865851*c_1100_0^11 - 13937350519587669782887113633998669473/2458139434575961259387838981\ 7288617*c_1100_0^10 - 35026530118995735425214765330874456796/737441\ 83037278837781635169451865851*c_1100_0^9 - 25749197935069051721333492912261695847/7374418303727883778163516945\ 1865851*c_1100_0^8 - 28097934135646317597648466915899790007/7374418\ 3037278837781635169451865851*c_1100_0^7 - 3340308522532596167242617362858102338/24581394345759612593878389817\ 288617*c_1100_0^6 - 9187534748478592447581035648648131475/737441830\ 37278837781635169451865851*c_1100_0^5 - 1446929802362445217120098556775933524/73744183037278837781635169451\ 865851*c_1100_0^4 - 1849474508343737600378452957857960049/737441830\ 37278837781635169451865851*c_1100_0^3 + 269152343679735842749462025691032624/737441830372788377816351694518\ 65851*c_1100_0^2 + 32940946026553154436640715198290054/245813943457\ 59612593878389817288617*c_1100_0 - 9932728270856251443353677901942429/73744183037278837781635169451865\ 851, c_0101_3 + 506489027145646898779741726762551616/22123254911183651334490\ 5508355597553*c_1100_0^16 + 4014314366292864104270534982458125216/2\ 21232549111836513344905508355597553*c_1100_0^15 + 1298439662568206637896018619645589316/24581394345759612593878389817\ 288617*c_1100_0^14 + 5763951053030800437812827442986230563/73744183\ 037278837781635169451865851*c_1100_0^13 + 9222547703837927806054433304160279517/73744183037278837781635169451\ 865851*c_1100_0^12 + 44779426927589873819393726284265441633/2212325\ 49111836513344905508355597553*c_1100_0^11 + 25428181522044076495684608354781609673/7374418303727883778163516945\ 1865851*c_1100_0^10 + 76165501108111240020327628468580234929/221232\ 549111836513344905508355597553*c_1100_0^9 + 61673378202566027824177209273368534746/2212325491118365133449055083\ 55597553*c_1100_0^8 + 58479828366541488147985512968105525806/221232\ 549111836513344905508355597553*c_1100_0^7 + 10304298901701710162199703254518540207/7374418303727883778163516945\ 1865851*c_1100_0^6 + 22468354240195183235870831571526750783/2212325\ 49111836513344905508355597553*c_1100_0^5 + 7864269077615168292307440319138915232/22123254911183651334490550835\ 5597553*c_1100_0^4 + 4941883229133971380833937310981879408/22123254\ 9111836513344905508355597553*c_1100_0^3 + 690023419925433453996462625088262152/221232549111836513344905508355\ 597553*c_1100_0^2 + 73312390697577499416997482126819487/73744183037\ 278837781635169451865851*c_1100_0 - 99177815019375068338108850863472579/2212325491118365133449055083555\ 97553, c_0101_6 - 510972267291910896685916712120776384/22123254911183651334490\ 5508355597553*c_1100_0^16 - 3614946139837410998921885996777392928/2\ 21232549111836513344905508355597553*c_1100_0^15 - 941679585750481147809431292367683100/245813943457596125938783898172\ 88617*c_1100_0^14 - 2828501843546717556167214745129920913/737441830\ 37278837781635169451865851*c_1100_0^13 - 5438502495881886445394991461863662016/73744183037278837781635169451\ 865851*c_1100_0^12 - 26512144801494082672138647877725358864/2212325\ 49111836513344905508355597553*c_1100_0^11 - 15524679938563867190586082842348370570/7374418303727883778163516945\ 1865851*c_1100_0^10 - 24242409545604889347567278636484062792/221232\ 549111836513344905508355597553*c_1100_0^9 - 18695169511205313660008154749228033207/2212325491118365133449055083\ 55597553*c_1100_0^8 - 29293332015802671690549480158297858984/221232\ 549111836513344905508355597553*c_1100_0^7 - 100762872949708422080826602515793827/737441830372788377816351694518\ 65851*c_1100_0^6 - 13322155478086505325099180552928817444/221232549\ 111836513344905508355597553*c_1100_0^5 + 1848022574087264781737148113214242114/22123254911183651334490550835\ 5597553*c_1100_0^4 - 4684465504890270461315195075843457901/22123254\ 9111836513344905508355597553*c_1100_0^3 + 1215202667914984713070269928080841559/22123254911183651334490550835\ 5597553*c_1100_0^2 - 214334427464715191510197131859580525/737441830\ 37278837781635169451865851*c_1100_0 + 18811538806691701573181127070634431/2212325491118365133449055083555\ 97553, c_1001_0 + c_1100_0, c_1001_11 + 805041724186349668541721912303663104/2212325491118365133449\ 05508355597553*c_1100_0^16 + 5989913083701590921032342219553825792/\ 221232549111836513344905508355597553*c_1100_0^15 + 1722485580982633146766244596375868032/24581394345759612593878389817\ 288617*c_1100_0^14 + 6227962421185416752704627184270920480/73744183\ 037278837781635169451865851*c_1100_0^13 + 10447834666314522621614582660443717744/7374418303727883778163516945\ 1865851*c_1100_0^12 + 50996879267795395126681460104399090900/221232\ 549111836513344905508355597553*c_1100_0^11 + 29433101265516499958173016301013878520/7374418303727883778163516945\ 1865851*c_1100_0^10 + 64773550747682468411987794729649941091/221232\ 549111836513344905508355597553*c_1100_0^9 + 43797662362646749677764175128397618884/2212325491118365133449055083\ 55597553*c_1100_0^8 + 50563653808958096800558557574857523547/221232\ 549111836513344905508355597553*c_1100_0^7 + 2468463657103774839555560066299717189/73744183037278837781635169451\ 865851*c_1100_0^6 + 14174369792008669114613971120271369969/22123254\ 9111836513344905508355597553*c_1100_0^5 - 2700530813274046398209597143814629754/22123254911183651334490550835\ 5597553*c_1100_0^4 + 3073112002891146253856712656629682041/22123254\ 9111836513344905508355597553*c_1100_0^3 - 2153910472973427875523029157114136115/22123254911183651334490550835\ 5597553*c_1100_0^2 + 4526435531105244590503575203851886/73744183037\ 278837781635169451865851*c_1100_0 - 18515781029660754162289641143771674/2212325491118365133449055083555\ 97553, c_1001_2 + 1112672523896208133898751251261374144/2212325491118365133449\ 05508355597553*c_1100_0^16 + 8357381218385249301368223984489089440/\ 221232549111836513344905508355597553*c_1100_0^15 + 2452947344444215024919439617125440092/24581394345759612593878389817\ 288617*c_1100_0^14 + 9315084509861995189353815181524680265/73744183\ 037278837781635169451865851*c_1100_0^13 + 15772707565502237732734868876210669438/7374418303727883778163516945\ 1865851*c_1100_0^12 + 77482801593140810022875576259969786824/221232\ 549111836513344905508355597553*c_1100_0^11 + 44169653708957835313485065824814094398/7374418303727883778163516945\ 1865851*c_1100_0^10 + 106786921935451336855779035363226470980/22123\ 2549111836513344905508355597553*c_1100_0^9 + 81485600194673268696676646303669152597/2212325491118365133449055083\ 55597553*c_1100_0^8 + 92534729992654415632509906288034527247/221232\ 549111836513344905508355597553*c_1100_0^7 + 9493625740156494683449150504443309512/73744183037278837781635169451\ 865851*c_1100_0^6 + 29018255450921072787529238389990763860/22123254\ 9111836513344905508355597553*c_1100_0^5 + 3483196863033185079815725260900151100/22123254911183651334490550835\ 5597553*c_1100_0^4 + 5773826423650036165651506953538889184/22123254\ 9111836513344905508355597553*c_1100_0^3 - 1608480594148401674874509124011814280/22123254911183651334490550835\ 5597553*c_1100_0^2 - 157489932981237806891760950805041267/737441830\ 37278837781635169451865851*c_1100_0 + 31253592506559053206620665601844651/2212325491118365133449055083555\ 97553, c_1100_0^17 + 15/2*c_1100_0^16 + 317/16*c_1100_0^15 + 1617/64*c_1100_0^14 + 1377/32*c_1100_0^13 + 2233/32*c_1100_0^12 + 7669/64*c_1100_0^11 + 6217/64*c_1100_0^10 + 153/2*c_1100_0^9 + 2679/32*c_1100_0^8 + 1691/64*c_1100_0^7 + 1891/64*c_1100_0^6 + 187/64*c_1100_0^5 + 225/32*c_1100_0^4 - 99/64*c_1100_0^3 + 13/64*c_1100_0^2 - 5/64*c_1100_0 - 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.440 Total time: 1.649 seconds, Total memory usage: 64.12MB