Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 1275973761] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2260 geometric_solution 5.68782704 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 1 0 -1 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 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.455377308729 0.646060455233 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507985181002 0.527549912107 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507985181002 0.527549912107 1 5 2 5 0132 0132 2310 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.915107291557 1.356188142394 6 1 2 6 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.936281251200 0.655245351986 3 3 5 5 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.304529041020 0.279840753874 4 6 6 4 0132 1230 3012 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 0 0 0 0 0 0 0 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.655421037069 0.382754839701 ==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_0011_1'], 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 2340032540973713387350548072720189979526157888909043543808456335660\ 274279233955568658/122958564724778292967118839960215885132219185609\ 84754477883385723151344069676765513*c_0110_5^30 + 6540253566662160964593692324441074806936999704146567701868788607090\ 216305122919192332/409861882415927643223729466534052950440730618699\ 4918159294461907717114689892255171*c_0110_5^29 - 6783487473242519115075607654740371765132471497424745944179357507244\ 705670597115297117/409861882415927643223729466534052950440730618699\ 4918159294461907717114689892255171*c_0110_5^28 - 3245968330205408998578394585368510500793522042815712655518885897291\ 14291029292815598128/1229585647247782929671188399602158851322191856\ 0984754477883385723151344069676765513*c_0110_5^27 + 2009230922497587976480985288551977544079235458025181982960284998710\ 11015860066614034457/1229585647247782929671188399602158851322191856\ 0984754477883385723151344069676765513*c_0110_5^26 + 2375400492001229946362062600679986222181815760089513383455256900472\ 55272511996937830336/1229585647247782929671188399602158851322191856\ 0984754477883385723151344069676765513*c_0110_5^25 - 1483279998781604926045495776182573368466703101885375180122116249324\ 002671657513006178074/122958564724778292967118839960215885132219185\ 60984754477883385723151344069676765513*c_0110_5^24 + 2572109644555189420550393896776868217636588581671680892527110310841\ 2225456671048834148363/12295856472477829296711883996021588513221918\ 560984754477883385723151344069676765513*c_0110_5^23 - 3677510794757366523027422510186712847717185183433563326589093836454\ 3850275942888303066691/12295856472477829296711883996021588513221918\ 560984754477883385723151344069676765513*c_0110_5^22 - 3748592775511128923872586181424119286662910711524118182753424078334\ 5218714905997730638034/40986188241592764322372946653405295044073061\ 86994918159294461907717114689892255171*c_0110_5^21 + 2835464480832685949625949509888571405411856822977737590549607231811\ 03054877365137142036439/1229585647247782929671188399602158851322191\ 8560984754477883385723151344069676765513*c_0110_5^20 - 6933819574774003062462459372693621786707914169052798858753757111453\ 6421158451529296755/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^19 - 5084799110854786562786147192823283004895198568597969834007418175728\ 46817646834593361638558/1229585647247782929671188399602158851322191\ 8560984754477883385723151344069676765513*c_0110_5^18 + 4362302002203487468987360180984197017936996588641061237943250199652\ 09930685017090555285961/1229585647247782929671188399602158851322191\ 8560984754477883385723151344069676765513*c_0110_5^17 + 1039720413730564115078384766860130820896775240880022139047284418167\ 4000904649422530821729/13662062747197588107457648884468431681357687\ 28998306053098153969239038229964085057*c_0110_5^16 - 1767050903345156602998763970278823708597490974963951219142636429892\ 39544111578183724977183/1229585647247782929671188399602158851322191\ 8560984754477883385723151344069676765513*c_0110_5^15 - 1191115474741068241499413528482992927188932966448981016100685926063\ 1696893861006549129722/40986188241592764322372946653405295044073061\ 86994918159294461907717114689892255171*c_0110_5^14 + 1358565760685212772126140580593162376308751069098522056673779751550\ 4484208865336065348070/13662062747197588107457648884468431681357687\ 28998306053098153969239038229964085057*c_0110_5^13 - 6441998970830400656595609684236393137343631303987909444469578198681\ 437335936407852491507/122958564724778292967118839960215885132219185\ 60984754477883385723151344069676765513*c_0110_5^12 - 3753631748146563355607916891189094321640248519356180230802585925276\ 7887653279274585080205/40986188241592764322372946653405295044073061\ 86994918159294461907717114689892255171*c_0110_5^11 + 1437210766790910651026440326503340653849881976922551756606962688817\ 75498609990755938261/5346024553251230129005166954791995005748660243\ 90641499038408074919623655203337631*c_0110_5^10 - 2610411076854568632341998688821974843716342794826091844621912974903\ 224667795365385782834/122958564724778292967118839960215885132219185\ 60984754477883385723151344069676765513*c_0110_5^9 - 3156804291566340361803355832032960749119497383474457079234454231507\ 071949775085075050213/122958564724778292967118839960215885132219185\ 60984754477883385723151344069676765513*c_0110_5^8 + 7463255278779680042314720147585158666149298954930774154917455685765\ 73881223671478297826/1229585647247782929671188399602158851322191856\ 0984754477883385723151344069676765513*c_0110_5^7 + 1870377771239152064508094402713165093360749619284023299936270694585\ 49720467168655540893/4098618824159276432237294665340529504407306186\ 994918159294461907717114689892255171*c_0110_5^6 - 4288116566628806585079790863441951687942364382060046153735640605288\ 43525938777834719014/1229585647247782929671188399602158851322191856\ 0984754477883385723151344069676765513*c_0110_5^5 - 1079848496694282557138829931283367377533848248182359638922629584601\ 63570952264506307445/4098618824159276432237294665340529504407306186\ 994918159294461907717114689892255171*c_0110_5^4 + 2095806425113758954000439198531363043414491627006746291447880177334\ 70002573506929336994/1229585647247782929671188399602158851322191856\ 0984754477883385723151344069676765513*c_0110_5^3 + 4773016836620667184790596371660542716336443796321095479412156767748\ 6661903701982824272/40986188241592764322372946653405295044073061869\ 94918159294461907717114689892255171*c_0110_5^2 + 2965911019496140670475648819364667623575162253277761456856588959985\ 7187393786788655931/12295856472477829296711883996021588513221918560\ 984754477883385723151344069676765513*c_0110_5 + 3534041716518241475519203095301190328178396053561998912275700102712\ 247809004489544779/122958564724778292967118839960215885132219185609\ 84754477883385723151344069676765513, c_0011_0 - 1, c_0011_1 - 502055955659562466547572322644985488614868839674808728398481\ 44199461481775010660/5940027281390255698894629949768883339720733604\ 3404611004267563879958183911481959*c_0110_5^30 - 4263874365045543909994334309815699625039582295505383650634963617603\ 06529907498217/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^29 + 3925374329441560744849423502524920599517884934098648367694610563561\ 02810991990293/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^28 + 7022596104188695775222803831865173510952416788948511529070107114606\ 710186095210634/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^27 - 3573861500906764204521546444108620705819887083137393386946306989101\ 703554481603963/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^26 - 5748830044351748933080196515717419733574322331072620295431691436133\ 291275936479343/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^25 + 3144522847268988224729539136869939290602644384827631866989543844917\ 9635791012002983/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^24 - 5483295732824278021656143834542299607607083405082346747004353811873\ 87789268843907832/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^23 + 7285268844619190335890938371395823475271066963079915269408293263106\ 39193412540157513/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^22 + 2513457688420333241851811392050380338577971035524327944912995598721\ 384558619805391250/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^21 - 5849179326620476185616151967742155490922539334033100096113531585839\ 304706486760065620/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^20 - 4071133589392947596274370011144323517940658560768134127197986169467\ 93135385663000150/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^19 + 1112527839574120397308869430205809114383085558390759838099780911158\ 8422721967307321349/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^18 - 8244832442471206551089483584619409367039186647974823624807091918274\ 835694353196137533/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^17 - 3288954429233211342466749630068106239839146437882329440937385188962\ 415395756798620627/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^16 + 3902554710718530460024154803921321373586356465610546796022935290028\ 390613782811579783/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^15 + 1121303969330484521906352449668074938463948153702736679357401655274\ 191831132157450133/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^14 - 2602576551254771948875556286851364579038231929349919316847742712653\ 353547329821924951/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^13 - 1562653318484503888158752706166709403904988999696114249740403843411\ 21530508043031461/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^12 + 2498210096845086185670794718237192896069995668419888981826775816362\ 912746298503857575/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^11 + 1696245277994766896452075408876268183246375018934213123545228725031\ 44119783449195173/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^10 - 7206141680001913712823676012403527938249515668997889208401458314643\ 565808934156594/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^9 + 8858096197740054095212874242609186007362572247676560588256343256476\ 5089902323771370/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^8 - 1799816709827011997470098437230462457431716526795767584388956676859\ 1680144746674260/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^7 - 9891533233022781732517817921683999069413643732958129743088326070684\ 727610707493162/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^6 + 7472992721646337736979884996665352770053262526015150519781073272191\ 967610669114797/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^5 + 8531514976072862789188399985310476565630683900425952241636667732455\ 284297657730006/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^4 - 4062665260365608052839646387022554740836177806362210287309481032204\ 391738628131326/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^3 - 3682078769429001607955830668805388140514514671224071235469657182543\ 372344818969208/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^2 - 7889251004063920160264745747586228367079674911926938186291512958130\ 24581906642759/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5 - 1118151157708884093082633125584887541954501593183501545434895564619\ 17667161105414/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959, c_0101_0 + 784226858957326155934789258967567271504110595603014937372171\ 28422781829893866305/5940027281390255698894629949768883339720733604\ 3404611004267563879958183911481959*c_0110_5^30 + 6577447726117215596335407284981466743312392384067846372345570462925\ 29861754609340/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^29 - 6795931215844131803601405231015701125016471527126068993277880580919\ 48726743294221/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^28 - 1087254713973926767044391439114415739756229879226786864714398085207\ 8981984408167051/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^27 + 6700975374255700896749874931621842991242764370721241396569394301129\ 225316352426293/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^26 + 7852900695205556854000443803242941763407997992808228501645943930774\ 347404169687688/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^25 - 4962543219815734292943514387471994859529769735977741075422297907392\ 6739570020915879/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^24 + 8620075212603736104184360802998210261134339315073513316803771430152\ 35584179666881732/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^23 - 1231011904659295440410893051693934010855724609917777815462410345742\ 218974756734336092/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^22 - 3762177441348508791210298913882820976118522536253129564201082571698\ 587621435036144723/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^21 + 9481063619442742257704945522051022789260695605498338177769001346486\ 534010307596070913/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^20 - 5042079955613294551932625336273891266961708607710997618770393607594\ 44315111184251467/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^19 - 1693601662873538954604864399640064515427250490319528233650564823375\ 2795178898503147697/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^18 + 1459122980249346598580400918493956806229710183294422002244598974702\ 9386517315359667844/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^17 + 2953320997480184875563772162268202381979403724605165879341297852548\ 054361107613253197/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^16 - 5754566840387492482997643167794344649564144812665836939921267515823\ 706113889625481992/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^15 - 1126960009266600894832883192944570408717039154795825820376275743834\ 055021506503640059/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^14 + 3976979502485466981670009417583148587158115702606709017063348272316\ 653195195242236543/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^13 - 2053649040954560214430707719481619947579228179921149964968459309082\ 61467339726131508/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^12 - 3720371420134093199059978995902725709133463055452743649493278876246\ 099797986879211370/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^11 + 9779241321976126651910313719745069698926933154204877916610461115007\ 7133630140947351/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^10 - 1381016050287454702925676814576254206174158780537008474697411904972\ 62057938303375438/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^9 - 1021582009673144566908344681366495335589317196464333260663787279511\ 52127433713485309/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^8 + 3017452871678455900736399368263630554625254777586732436504984983266\ 4599520170060997/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^7 + 1272526112338329697763354505952390331507251147319659443211823089220\ 0340104147757801/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^6 - 1186906025104416239704709656856116552677476899633259898879911742350\ 0135488748712596/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^5 - 1031242823179482263688216276954418343609762742786549171300800189390\ 1585018912818933/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^4 + 6747658995449459322283751378466693747344399932358303640541739235262\ 682895569774988/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^3 + 4635952319724859016072351566043552466235857347210645528419930314538\ 762892575076445/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^2 + 1120871964781839656353691968774348783543892343931168217659678282273\ 363949586125737/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5 + 1617665683758909495875810617179732492390968069122248714099616563788\ 53053406200471/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959, c_0101_1 + 157610331035081271283709373552742157481673287749115345811361\ 63166422618938925983/5940027281390255698894629949768883339720733604\ 3404611004267563879958183911481959*c_0110_5^30 + 1343346362251656937289318614003173915310664040534426930489518245650\ 72695629415449/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^29 - 1187202175939530678818615907600528561146169379841230560059833059982\ 46542710736656/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^28 - 2204919795670771639014653921689145191139579929249107052628513941707\ 129914010678608/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^27 + 1048882692749845312371354644354273247275249630321459603200134843348\ 384207176287469/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^26 + 1780667611974606799570750548655782723455162184653877569629019034114\ 431364621845635/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^25 - 9741594112017572407496447618982204232916137282338082009273358349513\ 573101224794873/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^24 + 1718462144678067236936920703609454534471677265011487619085573473723\ 54046065411137084/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^23 - 2237701393781786438941506931081556948661648416168718609769928381651\ 24744521559197882/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^22 - 7909664639612910659878448157471149888629525179311748115440404120610\ 86089183541281738/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^21 + 1802214846475413011368154238402597248473848140293980711890427748310\ 129715056577598045/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^20 + 1677428237469210300536885547352204392994790457127882427335748080230\ 35990788828594337/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^19 - 3423786382739265704811650217368716594250397347233053004790513017579\ 722427168471054190/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^18 + 2442595033252531365652432750179605291420571544563652455322558850870\ 750821590757689524/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^17 + 1029513264583816409945066576155233613462059214715356647570484823132\ 090274676030160527/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^16 - 1058450539686689486578510551847453149260656854875510523704232786238\ 733580338078394461/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^15 - 4391506244074393464398391553723223510174924837312203625647615495001\ 76512738070514567/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^14 + 7877863806041632295397960681468026462739073522995419502954092957111\ 82988735546984756/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^13 + 7753249304958975034146024274293465677761841969899286754742957080888\ 7136360628605182/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^12 - 7579526787996566516835396457621691952742918608856366275024741613839\ 10690286276291297/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^11 - 9046593171718656374843669584995499306991889698524072122203646116737\ 7985555202587320/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^10 - 1740511653738688243901045431794989609869911839129745355080395431705\ 9669463275021176/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^9 - 1564825809547487118552735583558873233111942926507103221667464614701\ 3274778754559984/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^8 + 9674499662917368155868028068552926963734064146984781540203153033889\ 50371540278707/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^7 + 4786868775231833819907105847164511661163086175759727561004448175713\ 953981278120177/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^6 - 3110640407261907681752913061911702206625551477603791081326348572064\ 584837335962137/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^5 - 2413785949119592335532015251453055985362080164588430781472651611116\ 754591001918267/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^4 + 1094617604507578381199905016502904466661460978688944083023054709804\ 424264312059461/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^3 + 1061067301742426081906724076268562656087884101829030821425356021047\ 254159484898352/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^2 + 3572125630433533778196515452337191760500395184566695688493506477547\ 75346995734123/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5 + 2486363621713587749120508794925539852864874408562694259492915811169\ 8540343700287/59400272813902556988946299497688833397207336043404611\ 004267563879958183911481959, c_0101_4 - 808109568939914918331205936661362743569793445460537779812995\ 61219654663914869945/5940027281390255698894629949768883339720733604\ 3404611004267563879958183911481959*c_0110_5^30 - 6703221860368757127151065528546155473874380038870684222636350256929\ 32626160310679/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^29 + 7636406307643787507701239652579812057867536905912467795297476827884\ 31485765015922/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^28 + 1114610057089655506599522522428688567106243177239493884407485775519\ 9195106690589384/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^27 - 7945943428398514346366061740217837565126391708941672604790624966955\ 464240220931160/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^26 - 7573859353079232528278118219055127785943657115193572254661420863257\ 312330296973546/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^25 + 5195868377772844056775466832142029306228820055156445750689067809113\ 4303747158640316/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^24 - 8928494006179119750287848084633789508766979688901920106290818757330\ 15052670241469151/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^23 + 1349841173657015234300325697296605271003377207630699801250877164785\ 690472623781502302/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^22 + 3768957762213197211842132064182710969371726894414574755509297815520\ 172417536854715524/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^21 - 1014025985358211130873753319716875828479762412393251078447563534520\ 4594756562751121622/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^20 + 1376749345212389336161494027791528162394080057280477648943378122023\ 605286047651665919/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^19 + 1751242490223485617490817096890651350130132450796744426979670805551\ 5799417005605493745/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^18 - 1663897823992232512382267641289526389485099994282422546191260532776\ 5684121111437344658/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^17 - 1885359565353294810290835565980178035709311790686071212174449781713\ 939029156106828284/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^16 + 6396948669644327853424264782829806319275853548833289031314474909649\ 249999541170235834/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^15 + 7061309571707945091740173023814320389890653136662277191471749117917\ 03303465274788141/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^14 - 4372090659221890954248095138117247840271300982706528189197976650724\ 209334185003549041/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^13 + 6194676705926227649080761795369306170297975508269524598664382734980\ 31491077231979595/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^12 + 3876174168287433031249690206016285197418158713055731657437200390089\ 976006224771118673/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^11 - 4699726569224773360245026584976141345552257004644604424013807863691\ 77368578934039292/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^10 + 9685335481599632836150447764302483817085417264878686556910542568762\ 0432553058310405/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^9 + 1059824717778658754102061854668483483205156998839289899729797843777\ 85488054081597071/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^8 - 3125260839522389589954030263620668181578692623508918777788403314104\ 0214843368184294/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^7 - 2134331964189760297716038570623767930383926368324598323909006022029\ 1533174400078498/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^6 + 1730633943831274378974869914070667662924261516799963376650862785802\ 8457447419863643/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^5 + 9926949249618245823175827217223672806196141200546792023073473919805\ 161050479544183/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^4 - 8333795252272049467723573950398094083664221618902403940843502466828\ 683066178884812/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^3 - 4143583210558638750085868602491752952630923412022585777475474438935\ 173605049252382/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^2 - 6121782818593792437206567397859426703352954319957447113592782651662\ 63774458737505/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5 - 4716333034944347204000843972217654225146937303379354049362364786215\ 8798358900997/59400272813902556988946299497688833397207336043404611\ 004267563879958183911481959, c_0101_6 + 868365151544828655841134102264028002182125678002958175439204\ 86027179312152889375/5940027281390255698894629949768883339720733604\ 3404611004267563879958183911481959*c_0110_5^30 + 7486637176475819847656265968711809847157438419511208651054338066748\ 15046615782976/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^29 - 5878822161983028881638426375714663467632476756526136403244164516505\ 48782244846925/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959*c_0110_5^28 - 1226544063398038111742683056116999027334609992118305086268239878157\ 6238891246794564/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^27 + 4657725135159442992717643679187495921566386615462844866883803143883\ 293908453908730/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^26 + 1126802309523027995206231779956514764528979143485874549937967822691\ 9593488480036076/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^25 - 5354098918564533416481529564794175384814890744394264506560683372306\ 4047003350922028/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^24 + 9410698545275861827062712697876935715284448495750063420099859308275\ 61202387843020733/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^23 - 1135466653642522211431257043411549321563714179547885961896149800130\ 464658735174579893/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^22 - 4552394827979580124768851585037687907189401524087167636321223348130\ 936912134547888744/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^21 + 9625853341469831744309850024671618761232289461364680740083155165558\ 294114903436775570/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^20 + 2180737587105908832679758080385470058360511165220929427763128506385\ 474999077571278974/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^19 - 1965612420256706730319417634931271163152820368949468662578227084690\ 9248053968674862685/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^18 + 1189629265118956267831188055470453206164509322287413802578081355381\ 6484786429883089420/59400272813902556988946299497688833397207336043\ 404611004267563879958183911481959*c_0110_5^17 + 8368104764975140950198864577079035618036964156809829665538938485562\ 502075543617960278/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^16 - 6913319446392237436954539784715998105337352795002150353803243964090\ 795789224720086924/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^15 - 2830722632912109921436959468853391154842507816512287587928987546377\ 049094035977660822/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^14 + 4610129766936185421037548045982251745497710766708566452057610088404\ 103654522558118579/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^13 + 8239493076924225258755432444304594772373573207139375414326203202742\ 57737104020843442/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^12 - 4505110672645181316547852498683021783008441954329743325266715507357\ 690350779071501335/594002728139025569889462994976888333972073360434\ 04611004267563879958183911481959*c_0110_5^11 - 7901485275560642704486041877561092586521208569650127471545063721476\ 98468025348630893/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^10 + 1614112362880769440354781982941778797965422408406658525715332011647\ 04309441915872977/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^9 - 1992760424694116698973585879094735520982017560323362253666871507255\ 49706680270895626/5940027281390255698894629949768883339720733604340\ 4611004267563879958183911481959*c_0110_5^8 + 1609989799358559843655464807888619927594657039851048548411510622411\ 1342902264131622/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^7 + 3304739748302745381876711125005445499840382755810973919685128739996\ 3897293433365120/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^6 - 1308483130876009151291527637675070628808168263796498654782110464087\ 1887693493273878/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^5 - 1662384254495422580006964430635112868876920538814402376663867765476\ 0483028451165554/59400272813902556988946299497688833397207336043404\ 611004267563879958183911481959*c_0110_5^4 + 6022365494183520379348313127363940977628118814005992961425050565193\ 676053147191928/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^3 + 7507074943659397126485519240216776221673993139582038988273866819591\ 099597914576753/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5^2 + 1840939627414603360066337910721601202634347311143523691527641856721\ 021783239165981/594002728139025569889462994976888333972073360434046\ 11004267563879958183911481959*c_0110_5 + 1923901753093536799870166197469889175334929457621699370547386881887\ 25697772746012/5940027281390255698894629949768883339720733604340461\ 1004267563879958183911481959, c_0110_5^31 + 8*c_0110_5^30 - 12*c_0110_5^29 - 136*c_0110_5^28 + 140*c_0110_5^27 + 79*c_0110_5^26 - 681*c_0110_5^25 + 11229*c_0110_5^24 - 19896*c_0110_5^23 - 42860*c_0110_5^22 + 140990*c_0110_5^21 - 49262*c_0110_5^20 - 224720*c_0110_5^19 + 271866*c_0110_5^18 - 15316*c_0110_5^17 - 107473*c_0110_5^16 + 12958*c_0110_5^15 + 64056*c_0110_5^14 - 22436*c_0110_5^13 - 51187*c_0110_5^12 + 20708*c_0110_5^11 + 1946*c_0110_5^10 - 1526*c_0110_5^9 + 984*c_0110_5^8 + 193*c_0110_5^7 - 304*c_0110_5^6 - 86*c_0110_5^5 + 160*c_0110_5^4 + 35*c_0110_5^3 - 19*c_0110_5^2 - 7*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB