Magma V2.19-8 Wed Aug 21 2013 00:57:49 on localhost [Seed = 846473358] Type ? for help. Type -D to quit. Loading file "L13n4503__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4503 geometric_solution 12.15454674 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 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 -1 0 1 -1 0 2 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384755474874 0.854455440443 0 5 4 6 0132 0132 0213 0132 1 0 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 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.399205194769 0.588533224761 7 0 9 8 0132 0132 0132 0132 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 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.830799646269 0.977003984136 10 11 12 0 0132 0132 0132 0132 1 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799028054770 0.714543797687 12 1 0 6 0213 0213 0132 0321 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 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.386240652234 0.375103836119 7 1 12 9 1023 0132 0321 0321 1 1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.323642619324 0.870788829879 10 4 1 11 3012 0321 0132 1230 1 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505985493071 0.524261757233 2 5 12 9 0132 1023 3012 3012 1 1 1 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 2 1 -3 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253711081748 1.233677249964 11 11 2 9 3012 0213 0132 1230 1 1 1 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 1 -1 0 0 0 0 -1 0 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646729069795 0.657589708389 8 5 7 2 3012 0321 1230 0132 1 1 1 1 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 1 0 -1 0 0 0 0 0 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423515538012 0.451496599885 3 10 10 6 0132 1230 3012 1230 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444834583322 0.878358066990 6 3 8 8 3012 0132 0213 1230 1 1 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 0 0 1 1 0 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646729069795 0.657589708389 4 7 5 3 0213 1230 0321 0132 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703261580176 0.596646074950 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_12'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_0101_0'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_12'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0101_0'], '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_2_7' : d['1'], 's_2_12' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_12'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_2'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_8'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_9'], 'c_1100_8' : d['c_0101_2'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_5'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_8'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : d['c_0011_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0011_12'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_12'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_9'], 'c_0101_8' : d['c_0101_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_2, c_0101_7, c_1001_0, c_1001_1, c_1001_12, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 34808541110327620679079725594768200575229807109960831484619/2520062\ 667076059349976894193613063305504649683167433656*c_1001_5^20 + 24329287382405244044491047132483321425399263277359199948031/3150078\ 33384507418747111774201632913188081210395929207*c_1001_5^19 + 21579389247354701462425417426689232047740352571436466584791/9692548\ 7195233051922188238215887050211717295506439756*c_1001_5^18 + 26054455533143318318959236838079855720757311814014548356747/5478397\ 1023392594564715091165501376206622819199292036*c_1001_5^17 + 1538110316201667671422401503848374798769686967425550573994667/25200\ 62667076059349976894193613063305504649683167433656*c_1001_5^16 + 542849680511929687840781353678713496259130970245706639019153/126003\ 1333538029674988447096806531652752324841583716828*c_1001_5^15 - 962054645633414342757430304376540489425385762076504876783753/252006\ 2667076059349976894193613063305504649683167433656*c_1001_5^14 - 85665127644486633727744161122488688421850128432553649992965/4846274\ 3597616525961094119107943525105858647753219878*c_1001_5^13 - 4213351246280573400606932962301914586259853810318864093280211/12600\ 31333538029674988447096806531652752324841583716828*c_1001_5^12 - 63611684091587827871045023794335629144106118875497177818988/1369599\ 2755848148641178772791375344051655704799823009*c_1001_5^11 - 1618455614386149861028221185670098863811005303326928543707137/31500\ 7833384507418747111774201632913188081210395929207*c_1001_5^10 - 2819177291130476889781351185637953520055073763350719174104987/63001\ 5666769014837494223548403265826376162420791858414*c_1001_5^9 - 7531643140523318265913985618023658015405055828867370008930403/25200\ 62667076059349976894193613063305504649683167433656*c_1001_5^8 - 33718169985973615573600376831848889845906481430933870509584/2423137\ 1798808262980547059553971762552929323876609939*c_1001_5^7 - 215797016882414984321705008004140952049146286189984083870405/630015\ 666769014837494223548403265826376162420791858414*c_1001_5^6 + 1018052938260700042930479561884002452201413293820893880633/63001566\ 6769014837494223548403265826376162420791858414*c_1001_5^5 + 34988205071119078517191105337725411737033810737210682757867/2520062\ 667076059349976894193613063305504649683167433656*c_1001_5^4 - 3515623711217402243193298095248464134044580321629145957007/12600313\ 33538029674988447096806531652752324841583716828*c_1001_5^3 - 93626539292541361539288138312795049072985488839768700565/9692548719\ 5233051922188238215887050211717295506439756*c_1001_5^2 + 656887018328876042428612144118754456780412723322148660695/126003133\ 3538029674988447096806531652752324841583716828*c_1001_5 + 389809791106072172508762657323300585366006693008847448197/252006266\ 7076059349976894193613063305504649683167433656, c_0011_0 - 1, c_0011_10 + 1273087325964638031451675569177349354452677615160719/190669\ 896504839819326372001761160668495083690137*c_1001_5^20 + 119912824772634780091854005260691565144208489943748/657482401740826\ 9631943862129695195465347713453*c_1001_5^19 + 9409287720896708398967311984606573803942980689444456/19066989650483\ 9819326372001761160668495083690137*c_1001_5^18 + 526867191696655106308083771027319617779059115099297/828999550021042\ 6927233565293963507325873203919*c_1001_5^17 + 8290058781334940157493434648938637906763615449588537/19066989650483\ 9819326372001761160668495083690137*c_1001_5^16 - 8522912323742095926979597777490676973425024808504905/19066989650483\ 9819326372001761160668495083690137*c_1001_5^15 - 37782202170640137154312675452937195792069833026296155/1906698965048\ 39819326372001761160668495083690137*c_1001_5^14 - 65859888155831674357987217523912177974551385402498615/1906698965048\ 39819326372001761160668495083690137*c_1001_5^13 - 84035187603685350898349324910391198387401362355374537/1906698965048\ 39819326372001761160668495083690137*c_1001_5^12 - 3694743889755733617845275556303404184714961244078912/82899955002104\ 26927233565293963507325873203919*c_1001_5^11 - 60480297139285297449769515300621838718593944462290214/1906698965048\ 39819326372001761160668495083690137*c_1001_5^10 - 22349648632769914437848183244978024657008152110386864/1906698965048\ 39819326372001761160668495083690137*c_1001_5^9 + 8544846261466449522081238945211178744285077462991195/19066989650483\ 9819326372001761160668495083690137*c_1001_5^8 + 19673825295210925122189482491174756549154213820475611/1906698965048\ 39819326372001761160668495083690137*c_1001_5^7 + 11865162246499029132492431604234745358201169738705082/1906698965048\ 39819326372001761160668495083690137*c_1001_5^6 + 1852200128396375635557009817123883956573869341558978/19066989650483\ 9819326372001761160668495083690137*c_1001_5^5 - 584512270767073154628916614778620813730244529782656/190669896504839\ 819326372001761160668495083690137*c_1001_5^4 + 58269872259066495128345656172342240991137592491/6574824017408269631\ 943862129695195465347713453*c_1001_5^3 + 88331009502881640100271810648286316918927563596900/1906698965048398\ 19326372001761160668495083690137*c_1001_5^2 - 159877448400620211230655730712749686699681701665/146669151157569091\ 78951692443166205268852591549*c_1001_5 - 5284422063694525718207920361632392725783605348970/19066989650483981\ 9326372001761160668495083690137, c_0011_12 + 440555051422035084725745048182135448787322069934/3867543539\ 65192331290815419393835027373394909*c_1001_5^20 + 987881233003228990556292142214041755856804065039/386754353965192331\ 290815419393835027373394909*c_1001_5^19 + 2772737928741955856113824246802692513349136662850/38675435396519233\ 1290815419393835027373394909*c_1001_5^18 + 123314201308296740455252500905471127980600322396/168154066941387970\ 12644148669297175103191083*c_1001_5^17 + 1478911034620226049428727047608945605930607408958/38675435396519233\ 1290815419393835027373394909*c_1001_5^16 - 3677900177222856163250635781664692274555505940724/38675435396519233\ 1290815419393835027373394909*c_1001_5^15 - 11281687493362490218941724641620447587438158406834/3867543539651923\ 31290815419393835027373394909*c_1001_5^14 - 17274288189109946260721687647224570191917327107893/3867543539651923\ 31290815419393835027373394909*c_1001_5^13 - 20623189819084268970915921372429085319674774731502/3867543539651923\ 31290815419393835027373394909*c_1001_5^12 - 838935734588087028187697461470914706797638460577/168154066941387970\ 12644148669297175103191083*c_1001_5^11 - 11454571529578524544190544464701675287652213379818/3867543539651923\ 31290815419393835027373394909*c_1001_5^10 - 2087633380448579732612024214673504498090143578701/38675435396519233\ 1290815419393835027373394909*c_1001_5^9 + 4018819361667141791429157708725252795579060016300/38675435396519233\ 1290815419393835027373394909*c_1001_5^8 + 4867952797208239124381177662894818724962485580030/38675435396519233\ 1290815419393835027373394909*c_1001_5^7 + 1730741981563078458290596977821689500192697764384/38675435396519233\ 1290815419393835027373394909*c_1001_5^6 - 16345516418333058680465225446089562011266175938/2975033492039941009\ 9293493799525771336414993*c_1001_5^5 - 108560249715007645173496413399197089608698455586/386754353965192331\ 290815419393835027373394909*c_1001_5^4 + 48830201180972159274243279929986016560886428257/3867543539651923312\ 90815419393835027373394909*c_1001_5^3 + 6779083747177686742934410198221922599560473220/38675435396519233129\ 0815419393835027373394909*c_1001_5^2 - 3570336823545926236007689496543936793729715385/38675435396519233129\ 0815419393835027373394909*c_1001_5 + 231372663625507963434636447129578700576902853/386754353965192331290\ 815419393835027373394909, c_0011_6 - 205197465871020397006112186812324052095715117079135/19066989\ 6504839819326372001761160668495083690137*c_1001_5^20 - 15376645722898776404616278884463447865862958168943/6574824017408269\ 631943862129695195465347713453*c_1001_5^19 - 1263106971779615776838956913391729837196286988183309/19066989650483\ 9819326372001761160668495083690137*c_1001_5^18 - 53782462939359217079883263614242480943890715395918/8289995500210426\ 927233565293963507325873203919*c_1001_5^17 - 615575473602406521533348202606616220304197712862483/190669896504839\ 819326372001761160668495083690137*c_1001_5^16 + 1751238916521571178762360473097636388386493222578483/19066989650483\ 9819326372001761160668495083690137*c_1001_5^15 + 5131282346507326861091328520557522819115874012294054/19066989650483\ 9819326372001761160668495083690137*c_1001_5^14 + 7715080270608407577944574495471977810318532983839818/19066989650483\ 9819326372001761160668495083690137*c_1001_5^13 + 9114899345927249407068842518396139840127086323963113/19066989650483\ 9819326372001761160668495083690137*c_1001_5^12 + 365751305221708318869677901093153796782400850363147/828999550021042\ 6927233565293963507325873203919*c_1001_5^11 + 370152654218626148410186006640256476703226751264065/146669151157569\ 09178951692443166205268852591549*c_1001_5^10 + 684713401387449242824215219225871643826082211895089/190669896504839\ 819326372001761160668495083690137*c_1001_5^9 - 1907631221267984243756598391355627397248614581372893/19066989650483\ 9819326372001761160668495083690137*c_1001_5^8 - 2144883648040880912796437716147108529818408752110133/19066989650483\ 9819326372001761160668495083690137*c_1001_5^7 - 676915756231373573702437189464033083514896988186482/190669896504839\ 819326372001761160668495083690137*c_1001_5^6 + 135842795932865175131481395598215292681552923912840/190669896504839\ 819326372001761160668495083690137*c_1001_5^5 + 43648996719932912041794679418279162795689842030432/1906698965048398\ 19326372001761160668495083690137*c_1001_5^4 - 844673446984295949002223028307069505242943623173/657482401740826963\ 1943862129695195465347713453*c_1001_5^3 - 2135471166859253455150661877560684463038200937667/19066989650483981\ 9326372001761160668495083690137*c_1001_5^2 + 1739064183627766374507749691330678666256163672826/19066989650483981\ 9326372001761160668495083690137*c_1001_5 - 194430359596812442522376254506284429457633303716/190669896504839819\ 326372001761160668495083690137, c_0011_8 + 556526390466089414596774270921143908231876779259/38675435396\ 5192331290815419393835027373394909*c_1001_5^20 + 1342546638418439067837364163233916493772953159383/38675435396519233\ 1290815419393835027373394909*c_1001_5^19 + 3730661402387695105075920519800024006627425631781/38675435396519233\ 1290815419393835027373394909*c_1001_5^18 + 183179756752226086902859273357767726986895097207/168154066941387970\ 12644148669297175103191083*c_1001_5^17 + 2575766346695255271589061630592297532224565020433/38675435396519233\ 1290815419393835027373394909*c_1001_5^16 - 4230527698405016605805883299947426994188712122154/38675435396519233\ 1290815419393835027373394909*c_1001_5^15 - 14991235768716011442711048961971293997241283510323/3867543539651923\ 31290815419393835027373394909*c_1001_5^14 - 24377873624675954083511972607999515037040824035497/3867543539651923\ 31290815419393835027373394909*c_1001_5^13 - 30160816483629465030121177597600244441259543535961/3867543539651923\ 31290815419393835027373394909*c_1001_5^12 - 1278664590155554887496781745020603412626234383217/16815406694138797\ 012644148669297175103191083*c_1001_5^11 - 19333645753736573824787687223155242734172203740857/3867543539651923\ 31290815419393835027373394909*c_1001_5^10 - 5767320728852230914142470263630611760523812547849/38675435396519233\ 1290815419393835027373394909*c_1001_5^9 + 4236874888258868070248517815137595444503706988562/38675435396519233\ 1290815419393835027373394909*c_1001_5^8 + 6946225679207043396155050677345501903157090595703/38675435396519233\ 1290815419393835027373394909*c_1001_5^7 + 3374152357874491655102223149627615881096935033086/38675435396519233\ 1290815419393835027373394909*c_1001_5^6 + 271513033383863185497961545657830069642053414642/386754353965192331\ 290815419393835027373394909*c_1001_5^5 - 125244387647259832130993062728867265154100833407/386754353965192331\ 290815419393835027373394909*c_1001_5^4 + 30684212209129196772106390660564868563445809174/3867543539651923312\ 90815419393835027373394909*c_1001_5^3 + 15861444894491372118976895216209599744082096849/3867543539651923312\ 90815419393835027373394909*c_1001_5^2 - 158635194112044082540309966351645264583397452/297503349203994100992\ 93493799525771336414993*c_1001_5 - 833017935150601421670099799643330059054705272/386754353965192331290\ 815419393835027373394909, c_0011_9 - 769909669480304133062278555587538623694276898311/38675435396\ 5192331290815419393835027373394909*c_1001_5^20 - 1802314357481844097597560104818686774455498666650/38675435396519233\ 1290815419393835027373394909*c_1001_5^19 - 385828774604852387780565959525729362841321199730/297503349203994100\ 99293493799525771336414993*c_1001_5^18 - 236297385500829799432509602478427837230200251020/168154066941387970\ 12644148669297175103191083*c_1001_5^17 - 3073872168995987499877146658423556177964186800407/38675435396519233\ 1290815419393835027373394909*c_1001_5^16 + 6169642964080643896474691767253728534940649152408/38675435396519233\ 1290815419393835027373394909*c_1001_5^15 + 20348031225096538118597238400743027107953567859825/3867543539651923\ 31290815419393835027373394909*c_1001_5^14 + 2471612391756523628731160620782456394296448044284/29750334920399410\ 099293493799525771336414993*c_1001_5^13 + 39021765868786079148990306805028160225574400984176/3867543539651923\ 31290815419393835027373394909*c_1001_5^12 + 1621042416486696377707254496110032892759712600544/16815406694138797\ 012644148669297175103191083*c_1001_5^11 + 23355996162575282596669167778702429303497039552616/3867543539651923\ 31290815419393835027373394909*c_1001_5^10 + 5637945113848725534783575717840231171242425388956/38675435396519233\ 1290815419393835027373394909*c_1001_5^9 - 6649646574305612062598012530833594531577757167150/38675435396519233\ 1290815419393835027373394909*c_1001_5^8 - 707218043033874176401014094593201930440787530044/297503349203994100\ 99293493799525771336414993*c_1001_5^7 - 3863361032723963147253804952999844102272771298808/38675435396519233\ 1290815419393835027373394909*c_1001_5^6 + 69444673523030909107647624355156137112897470584/3867543539651923312\ 90815419393835027373394909*c_1001_5^5 + 222839524747972247754297687591727941606139664148/386754353965192331\ 290815419393835027373394909*c_1001_5^4 - 67026004103598915447697633560132928586209864492/3867543539651923312\ 90815419393835027373394909*c_1001_5^3 - 1543462485297571492503224132372245841012268854/29750334920399410099\ 293493799525771336414993*c_1001_5^2 + 5059403966835197197912447572788550718952660096/38675435396519233129\ 0815419393835027373394909*c_1001_5 + 929410049819641829047798264226904321555708717/386754353965192331290\ 815419393835027373394909, c_0101_0 - 1, c_0101_2 - 709515643800939021077833455167555504265206426041/38675435396\ 5192331290815419393835027373394909*c_1001_5^20 - 1404146052428384487285699154609511043376958049216/38675435396519233\ 1290815419393835027373394909*c_1001_5^19 - 4044108534563706356381247065593349976601340659050/38675435396519233\ 1290815419393835027373394909*c_1001_5^18 - 147209302016313421959960376648434602112648011904/168154066941387970\ 12644148669297175103191083*c_1001_5^17 - 1162498362443565787134936308605602194121760936657/38675435396519233\ 1290815419393835027373394909*c_1001_5^16 + 505333486059959861157198418028831977009835135799/297503349203994100\ 99293493799525771336414993*c_1001_5^15 + 16620272998826934787678530703242523133419043658117/3867543539651923\ 31290815419393835027373394909*c_1001_5^14 + 23016272721905473950001046095774999897876866132974/3867543539651923\ 31290815419393835027373394909*c_1001_5^13 + 25820095006326533390276420849558365146039746779520/3867543539651923\ 31290815419393835027373394909*c_1001_5^12 + 966119253968599397452455361480435007267076663399/168154066941387970\ 12644148669297175103191083*c_1001_5^11 + 10132248471824257474112034524521070685561980069757/3867543539651923\ 31290815419393835027373394909*c_1001_5^10 - 1622451225119858222768092437519250977761255530249/38675435396519233\ 1290815419393835027373394909*c_1001_5^9 - 7438656031730934074952792905923012518644823276324/38675435396519233\ 1290815419393835027373394909*c_1001_5^8 - 6155465367556461826384860683955058690281158691112/38675435396519233\ 1290815419393835027373394909*c_1001_5^7 - 53833730056434729136543514109812956808069858812/2975033492039941009\ 9293493799525771336414993*c_1001_5^6 + 1108202047325183265227292389927061771229993604114/38675435396519233\ 1290815419393835027373394909*c_1001_5^5 + 98388214772332754357007831971990640108154451897/3867543539651923312\ 90815419393835027373394909*c_1001_5^4 - 125516304326758139737313088802863368819613234441/386754353965192331\ 290815419393835027373394909*c_1001_5^3 + 9070559481167310189911102731054668999971074870/38675435396519233129\ 0815419393835027373394909*c_1001_5^2 + 9135984714177532610832323500128481482447054538/38675435396519233129\ 0815419393835027373394909*c_1001_5 - 1519352266925998150805691438052694483801099229/38675435396519233129\ 0815419393835027373394909, c_0101_7 - 1377790938651417069223610907652780132085365006056/3867543539\ 65192331290815419393835027373394909*c_1001_5^20 - 3674141960998095851340682205504940864818938293596/38675435396519233\ 1290815419393835027373394909*c_1001_5^19 - 9981619830397593023428134142656748516825191588539/38675435396519233\ 1290815419393835027373394909*c_1001_5^18 - 545919286975767691080607671443534082179375380473/168154066941387970\ 12644148669297175103191083*c_1001_5^17 - 8396992256450997929658808638580527520278580884438/38675435396519233\ 1290815419393835027373394909*c_1001_5^16 + 730842640580085367276063403371525763471700707100/297503349203994100\ 99293493799525771336414993*c_1001_5^15 + 40141260594675126481351124500696335840222041316264/3867543539651923\ 31290815419393835027373394909*c_1001_5^14 + 68975780249345743404805142901102795492554260678224/3867543539651923\ 31290815419393835027373394909*c_1001_5^13 + 87477311349071765160070457086840297613758074426207/3867543539651923\ 31290815419393835027373394909*c_1001_5^12 + 3819237752881965549474886736644186547043060352691/16815406694138797\ 012644148669297175103191083*c_1001_5^11 + 61611986967720251397026897668143988403697998133856/3867543539651923\ 31290815419393835027373394909*c_1001_5^10 + 21941019607617200805721024055790137813910203200345/3867543539651923\ 31290815419393835027373394909*c_1001_5^9 - 9612183317527275714406529797210566788733924778757/38675435396519233\ 1290815419393835027373394909*c_1001_5^8 - 20475267893459188494120666214079697421525563985473/3867543539651923\ 31290815419393835027373394909*c_1001_5^7 - 913604767597998796816378162074413285954931263905/297503349203994100\ 99293493799525771336414993*c_1001_5^6 - 1688361540848532387410753927756831138052370052189/38675435396519233\ 1290815419393835027373394909*c_1001_5^5 + 575862112127695889131545084661430473164984113515/386754353965192331\ 290815419393835027373394909*c_1001_5^4 - 11959893183525634653124710870625235929064388972/3867543539651923312\ 90815419393835027373394909*c_1001_5^3 - 81979474281728360309351669980223012408452464677/3867543539651923312\ 90815419393835027373394909*c_1001_5^2 + 1733614093343535475279323978522688022354668464/38675435396519233129\ 0815419393835027373394909*c_1001_5 + 4870776753149015559855656347724483076390040403/38675435396519233129\ 0815419393835027373394909, c_1001_0 - 111719435354233060488592681058000298966677788264/38675435396\ 5192331290815419393835027373394909*c_1001_5^20 + 8071584637562834627415266776257060223607632998/29750334920399410099\ 293493799525771336414993*c_1001_5^19 + 75479947328602382504809217078328604907802712207/3867543539651923312\ 90815419393835027373394909*c_1001_5^18 + 64204315200810806253279801702023064849547670598/1681540669413879701\ 2644148669297175103191083*c_1001_5^17 + 1797500030170035031352251091239282398919258020748/38675435396519233\ 1290815419393835027373394909*c_1001_5^16 + 2007985690226851321979016448168738398672662859638/38675435396519233\ 1290815419393835027373394909*c_1001_5^15 - 12945687501569642037163179625533432400241528604/2975033492039941009\ 9293493799525771336414993*c_1001_5^14 - 4567955417165408052611943608026460219215329651186/38675435396519233\ 1290815419393835027373394909*c_1001_5^13 - 8237289078953903426206318620335422225433349130933/38675435396519233\ 1290815419393835027373394909*c_1001_5^12 - 479393031097985390881696832631621447612584473594/168154066941387970\ 12644148669297175103191083*c_1001_5^11 - 11803327550727100799027803929193126690872430637063/3867543539651923\ 31290815419393835027373394909*c_1001_5^10 - 7907673684194549479137547064825496115868689217506/38675435396519233\ 1290815419393835027373394909*c_1001_5^9 - 2225456939779879766900454963071899859958632032373/38675435396519233\ 1290815419393835027373394909*c_1001_5^8 + 2096281707094227107944655284899609264126063807412/38675435396519233\ 1290815419393835027373394909*c_1001_5^7 + 3322215741709059032947909246809996785990982606942/38675435396519233\ 1290815419393835027373394909*c_1001_5^6 + 1248126451368018811729305089968909349162793438448/38675435396519233\ 1290815419393835027373394909*c_1001_5^5 - 216065492316142503306740047161242201662779604482/386754353965192331\ 290815419393835027373394909*c_1001_5^4 - 91779027158321733445029084394657406314677313538/3867543539651923312\ 90815419393835027373394909*c_1001_5^3 + 41993406806026047088571405150358738181840777793/3867543539651923312\ 90815419393835027373394909*c_1001_5^2 + 4061604038117228893800910194864242670239697471/38675435396519233129\ 0815419393835027373394909*c_1001_5 - 3104191752526873132439152579751167813340239217/38675435396519233129\ 0815419393835027373394909, c_1001_1 + 220904270101313143668213417205543703893109674538/38675435396\ 5192331290815419393835027373394909*c_1001_5^20 + 517316191708113953840513969250100863479314864441/386754353965192331\ 290815419393835027373394909*c_1001_5^19 + 1456081796162533151266561911436441621481576043663/38675435396519233\ 1290815419393835027373394909*c_1001_5^18 + 69388048167575786857364268225836688438238066883/1681540669413879701\ 2644148669297175103191083*c_1001_5^17 + 984222150128907402484687168900026958810688632039/386754353965192331\ 290815419393835027373394909*c_1001_5^16 - 1672414153562351805692804877186938028415127005206/38675435396519233\ 1290815419393835027373394909*c_1001_5^15 - 5790555026194119120915362420247730015024240663128/38675435396519233\ 1290815419393835027373394909*c_1001_5^14 - 9364510188258748050743148497434166835894108381239/38675435396519233\ 1290815419393835027373394909*c_1001_5^13 - 11610882536204149560099355649582053220068444193942/3867543539651923\ 31290815419393835027373394909*c_1001_5^12 - 492134594406584181320753852227128021817432656907/168154066941387970\ 12644148669297175103191083*c_1001_5^11 - 7434422167827997953735480262788961572362206999136/38675435396519233\ 1290815419393835027373394909*c_1001_5^10 - 2291995568313524616665657280548688788413952359131/38675435396519233\ 1290815419393835027373394909*c_1001_5^9 + 1523481856197510388911137089774330848401469381814/38675435396519233\ 1290815419393835027373394909*c_1001_5^8 + 2581499438869697622384852468357895931115741139359/38675435396519233\ 1290815419393835027373394909*c_1001_5^7 + 1258511840935687659769159753385179385891472869376/38675435396519233\ 1290815419393835027373394909*c_1001_5^6 + 148859923887622150966061604987159940642383599378/386754353965192331\ 290815419393835027373394909*c_1001_5^5 - 10239018797887409782507133002399150583435846662/3867543539651923312\ 90815419393835027373394909*c_1001_5^4 + 10503042461773443003312313904664454936800203010/3867543539651923312\ 90815419393835027373394909*c_1001_5^3 + 3100112561445409344879948803487593782327581674/38675435396519233129\ 0815419393835027373394909*c_1001_5^2 + 7314242068942198028458267793804094597695935/38675435396519233129081\ 5419393835027373394909*c_1001_5 - 220284901183932319130816005231458\ 781186385286/386754353965192331290815419393835027373394909, c_1001_12 + 984322936904635151455657150853582060993844731187/3867543539\ 65192331290815419393835027373394909*c_1001_5^20 + 2641582990052017926231012921946080640529770018800/38675435396519233\ 1290815419393835027373394909*c_1001_5^19 + 7177564393334510141992695740947625444352181166882/38675435396519233\ 1290815419393835027373394909*c_1001_5^18 + 30405081575222554324276758134475801946867259042/1293492822626061308\ 664934513022859623322391*c_1001_5^17 + 6156190233117765601130020920407255364255054683480/38675435396519233\ 1290815419393835027373394909*c_1001_5^16 - 6697576837099542688641040597644183802631619777372/38675435396519233\ 1290815419393835027373394909*c_1001_5^15 - 28799976234899068099767451255097859023396223129415/3867543539651923\ 31290815419393835027373394909*c_1001_5^14 - 49787272980665025115066794270483480077884232098792/3867543539651923\ 31290815419393835027373394909*c_1001_5^13 - 63338710825393683422331594044856254249340925876625/3867543539651923\ 31290815419393835027373394909*c_1001_5^12 - 2774087967022092754018921219083186639272899861548/16815406694138797\ 012644148669297175103191083*c_1001_5^11 - 45051099927213762202063519397257927169807385602644/3867543539651923\ 31290815419393835027373394909*c_1001_5^10 - 1259383097086519829865445571417488860976788363548/29750334920399410\ 099293493799525771336414993*c_1001_5^9 + 6663595560359139788165008952187455215563620297270/38675435396519233\ 1290815419393835027373394909*c_1001_5^8 + 14781441019624441195837928251473499187750248878764/3867543539651923\ 31290815419393835027373394909*c_1001_5^7 + 8743593755913640852598054944160411292995023991278/38675435396519233\ 1290815419393835027373394909*c_1001_5^6 + 1335370543486399630263624094135947401345743638920/38675435396519233\ 1290815419393835027373394909*c_1001_5^5 - 409598613182353026842353265677306337555351335372/386754353965192331\ 290815419393835027373394909*c_1001_5^4 - 339432598951052316982021160845763362867496044/386754353965192331290\ 815419393835027373394909*c_1001_5^3 + 60512609253537725121474551011156324964943914036/3867543539651923312\ 90815419393835027373394909*c_1001_5^2 - 769446751940631907602398358395131421427074078/386754353965192331290\ 815419393835027373394909*c_1001_5 - 283507719981359188373655854308077127123503923/297503349203994100992\ 93493799525771336414993, c_1001_5^21 + 2160/719*c_1001_5^20 + 5872/719*c_1001_5^19 + 8341/719*c_1001_5^18 + 6685/719*c_1001_5^17 - 3405/719*c_1001_5^16 - 22587/719*c_1001_5^15 - 43208/719*c_1001_5^14 - 58160/719*c_1001_5^13 - 61765/719*c_1001_5^12 - 48218/719*c_1001_5^11 - 22827/719*c_1001_5^10 + 887/719*c_1001_5^9 + 12373/719*c_1001_5^8 + 9948/719*c_1001_5^7 + 3106/719*c_1001_5^6 + 23/719*c_1001_5^5 - 108/719*c_1001_5^4 + 44/719*c_1001_5^3 + 15/719*c_1001_5^2 - 3/719*c_1001_5 - 1/719 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.500 Total time: 0.710 seconds, Total memory usage: 32.09MB