Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 4105529730] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3052 geometric_solution 6.22302114 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440132508680 0.335763546155 2 0 3 0 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.123655796499 0.759878157585 1 4 5 6 0132 0132 0132 0132 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 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.551212357040 0.440990635902 6 5 4 1 0132 0132 0132 0132 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 0 0 0 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551212357040 0.440990635902 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.984670771653 0.952930195279 5 3 5 2 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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.815883256071 0.813001655330 3 6 2 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.598042615324 0.950424868507 ==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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0011_3, c_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1428473090036084039546204197542616549931449333419467960171788944/45\ 763455113220244142165297055565294650005196240403667694419375*c_1001\ _2^27 - 29847444353989742403767784756916189425900385972286236140640\ 17762/4576345511322024414216529705556529465000519624040366769441937\ 5*c_1001_2^26 + 169354277356036470392213856482391818162207232554930\ 5863305372846/45763455113220244142165297055565294650005196240403667\ 694419375*c_1001_2^25 - 7290558836169923225512231332812212032622798\ 303021710182215051061/457634551132202441421652970555652946500051962\ 40403667694419375*c_1001_2^24 - 72200640913834937560844858835747093\ 373308927487435980772290689913/457634551132202441421652970555652946\ 50005196240403667694419375*c_1001_2^23 + 215025669094934605523358248467433128026203684927143778199054498722/\ 45763455113220244142165297055565294650005196240403667694419375*c_10\ 01_2^22 - 534173790503914188069239642477929290932720462297883180282\ 89186343/4576345511322024414216529705556529465000519624040366769441\ 9375*c_1001_2^21 + 763042189116554806264458512271801817383766688298\ 876479473114848817/457634551132202441421652970555652946500051962404\ 03667694419375*c_1001_2^20 - 37685542947468207434095432394582582966\ 7553179337163290389809020836/45763455113220244142165297055565294650\ 005196240403667694419375*c_1001_2^19 - 508855368267330920707075206038428051973744349590599698825140508319/\ 9152691022644048828433059411113058930001039248080733538883875*c_100\ 1_2^18 - 3077772728926523193024267933831004439572722486656296684894\ 701001421/457634551132202441421652970555652946500051962404036676944\ 19375*c_1001_2^17 - 31964280895991594926787756457582944541952181693\ 40629343119132096211/4576345511322024414216529705556529465000519624\ 0403667694419375*c_1001_2^16 + 763103670451625813739994800850500025\ 7290813829514237366531354160528/45763455113220244142165297055565294\ 650005196240403667694419375*c_1001_2^15 + 1882225565938094213805820791439684054553459747772064953450172883616\ 2/45763455113220244142165297055565294650005196240403667694419375*c_\ 1001_2^14 + 1379493558133616790923579518098908581985684192541473344\ 6713888873671/45763455113220244142165297055565294650005196240403667\ 694419375*c_1001_2^13 - 4498144233491227723596380302015485997396759\ 703681319123656983794757/457634551132202441421652970555652946500051\ 96240403667694419375*c_1001_2^12 - 3074229801775555688603322322170110330374855874338644007105772879528\ 6/45763455113220244142165297055565294650005196240403667694419375*c_\ 1001_2^11 - 4111088215927611391822459366557734982293637955412373216\ 5667684350176/45763455113220244142165297055565294650005196240403667\ 694419375*c_1001_2^10 - 9888277226311722823970659921110162138738020\ 926043024232217169276536/457634551132202441421652970555652946500051\ 96240403667694419375*c_1001_2^9 + 387181137488371804726969644161379\ 0844733414905158422759013639994399/91526910226440488284330594111130\ 58930001039248080733538883875*c_1001_2^8 + 3141599131933095632798139451794434786496054102657946596314449586313\ 7/45763455113220244142165297055565294650005196240403667694419375*c_\ 1001_2^7 + 21063876599839381754927021891755232263595206821474014098\ 119140059317/457634551132202441421652970555652946500051962404036676\ 94419375*c_1001_2^6 + 927233190608505949602251912543938472316754091\ 473523092076841115982/457634551132202441421652970555652946500051962\ 40403667694419375*c_1001_2^5 - 877318972545618349008916730352128920\ 7847005260562349414114025467153/45763455113220244142165297055565294\ 650005196240403667694419375*c_1001_2^4 - 4794638676065317671154488165621459210823943546569173844903836175817\ /45763455113220244142165297055565294650005196240403667694419375*c_1\ 001_2^3 + 532550104875675677688569668840865828201283524584354209526\ 238149986/457634551132202441421652970555652946500051962404036676944\ 19375*c_1001_2^2 + 381759556121768391966530165342265094093474260059\ 175756357549119242/457634551132202441421652970555652946500051962404\ 03667694419375*c_1001_2 + 17753147016427612290423069437020062293641\ 990154865284904273912489/457634551132202441421652970555652946500051\ 96240403667694419375, c_0011_0 - 1, c_0011_1 - 143497642780604044247836578867436559870435319081115999274237\ 82/45763455113220244142165297055565294650005196240403667694419375*c\ _1001_2^27 + 300476690454036624402568892427166561887106936078072898\ 81501836/4576345511322024414216529705556529465000519624040366769441\ 9375*c_1001_2^26 - 172627955608493222079275327012816987971373328182\ 83995736896388/4576345511322024414216529705556529465000519624040366\ 7694419375*c_1001_2^25 + 735783710256034299257445978024537741327959\ 78674800873351739208/4576345511322024414216529705556529465000519624\ 0403667694419375*c_1001_2^24 + 724770433695227818079524323908078478\ 041031237851748633112219864/457634551132202441421652970555652946500\ 05196240403667694419375*c_1001_2^23 - 2162653338597555499088174458080498360676231521320655786622725891/45\ 763455113220244142165297055565294650005196240403667694419375*c_1001\ _2^22 + 55201150810469435896239727444389355468919284233466876641734\ 6279/45763455113220244142165297055565294650005196240403667694419375\ *c_1001_2^21 - 7686089457803297840803776874362830542882408459507974\ 919887634301/457634551132202441421652970555652946500051962404036676\ 94419375*c_1001_2^20 + 38282866617146806647759261489899526664309316\ 89829060570747393283/4576345511322024414216529705556529465000519624\ 0403667694419375*c_1001_2^19 + 509541736842180085106044606449993470\ 7496922663783452587916363827/91526910226440488284330594111130589300\ 01039248080733538883875*c_1001_2^18 + 30846788179684325920657236294277357957164461299996731623290132338/4\ 5763455113220244142165297055565294650005196240403667694419375*c_100\ 1_2^17 + 3216637599857876003707162594979474611054686148867503888156\ 7975108/45763455113220244142165297055565294650005196240403667694419\ 375*c_1001_2^16 - 7658607572424367683546984602643407520278734350728\ 1745565719953834/45763455113220244142165297055565294650005196240403\ 667694419375*c_1001_2^15 - 1885064330690384237405155519727174729377\ 51214981428891252032899961/4576345511322024414216529705556529465000\ 5196240403667694419375*c_1001_2^14 - 138384942797914568681462445245832724200935678101269314366266888713/\ 45763455113220244142165297055565294650005196240403667694419375*c_10\ 01_2^13 + 444023887030221850004225347462878460661539324099463278554\ 98789071/4576345511322024414216529705556529465000519624040366769441\ 9375*c_1001_2^12 + 307715125295108167433583730210368516009542605742\ 838613003832301358/457634551132202441421652970555652946500051962404\ 03667694419375*c_1001_2^11 + 41205433718844612931590698637271747356\ 1231450280011775355706180578/45763455113220244142165297055565294650\ 005196240403667694419375*c_1001_2^10 + 99888600106880824886100791213689796572684313503652706043907827733/4\ 5763455113220244142165297055565294650005196240403667694419375*c_100\ 1_2^9 - 38383005439910403732185857424482158267720096905462762422220\ 377597/915269102264404882843305941111305893000103924808073353888387\ 5*c_1001_2^8 - 3142845834169046560464868469928657923214987037609707\ 64381952918511/4576345511322024414216529705556529465000519624040366\ 7694419375*c_1001_2^7 - 2117113031557394857924679440237315615454464\ 39984820160968648473701/4576345511322024414216529705556529465000519\ 6240403667694419375*c_1001_2^6 - 1073565954662260701090380996233172\ 4185037544924410499080741417296/45763455113220244142165297055565294\ 650005196240403667694419375*c_1001_2^5 + 86688405868600079540325467279019587221174277262559937804715187584/4\ 5763455113220244142165297055565294650005196240403667694419375*c_100\ 1_2^4 + 47803236006679233694201668357431309480040703498390508999580\ 592801/457634551132202441421652970555652946500051962404036676944193\ 75*c_1001_2^3 - 490313313382682385416428961198404272765452272795755\ 4155752737608/45763455113220244142165297055565294650005196240403667\ 694419375*c_1001_2^2 - 35257843825326589848331848907336616407336409\ 49370902475391027426/4576345511322024414216529705556529465000519624\ 0403667694419375*c_1001_2 - 198400148814705248772674858115187708823\ 819105074187418647059717/457634551132202441421652970555652946500051\ 96240403667694419375, c_0011_3 + 938646759698989458760541036280627187770431924156289982043082\ 4/45763455113220244142165297055565294650005196240403667694419375*c_\ 1001_2^27 - 1896214666333360671475703685944341545647866501179806005\ 6707052/45763455113220244142165297055565294650005196240403667694419\ 375*c_1001_2^26 + 9652942007488263805805331148936673175874389331066\ 878733432091/457634551132202441421652970555652946500051962404036676\ 94419375*c_1001_2^25 - 46871635743869892910592627741059752767842953\ 161496410686779681/457634551132202441421652970555652946500051962404\ 03667694419375*c_1001_2^24 - 47793219972429437919288027642205196499\ 2515012378957492013106698/45763455113220244142165297055565294650005\ 196240403667694419375*c_1001_2^23 + 1380663803405763713028389500393197512479761227593086639455447787/45\ 763455113220244142165297055565294650005196240403667694419375*c_1001\ _2^22 - 24731128440241001100764577945801147218815537836148570528945\ 3603/45763455113220244142165297055565294650005196240403667694419375\ *c_1001_2^21 + 4971086164510494837017359058762709343185718755492451\ 754961872657/457634551132202441421652970555652946500051962404036676\ 94419375*c_1001_2^20 - 21211919226616056775343868442499836905197530\ 07528233969455531456/4576345511322024414216529705556529465000519624\ 0403667694419375*c_1001_2^19 - 339056485497487982158630612371809767\ 8957655639719550866670049029/91526910226440488284330594111130589300\ 01039248080733538883875*c_1001_2^18 - 21341727787121884079660377589992073240732410708325903037682578816/4\ 5763455113220244142165297055565294650005196240403667694419375*c_100\ 1_2^17 - 2220441181615631095148373414082035910982555516875316550838\ 4107381/45763455113220244142165297055565294650005196240403667694419\ 375*c_1001_2^16 + 4889729001010796454513050001261584212806302262473\ 1257411310662613/45763455113220244142165297055565294650005196240403\ 667694419375*c_1001_2^15 + 1273774469194524363794240558846976196239\ 61546853788412759013520527/4576345511322024414216529705556529465000\ 5196240403667694419375*c_1001_2^14 + 98560819167113242152154400016293178348474920875312582844941815816/4\ 5763455113220244142165297055565294650005196240403667694419375*c_100\ 1_2^13 - 2467862584654730634866486037298035462213433950586897547612\ 4886197/45763455113220244142165297055565294650005196240403667694419\ 375*c_1001_2^12 - 2048990321476937702549727864442416606798654954312\ 76830185262023306/4576345511322024414216529705556529465000519624040\ 3667694419375*c_1001_2^11 - 283622428057750341283578329903908557273\ 802610798356788461547799071/457634551132202441421652970555652946500\ 05196240403667694419375*c_1001_2^10 - 81328601269111499643450072869825199155542666023624462352992529431/4\ 5763455113220244142165297055565294650005196240403667694419375*c_100\ 1_2^9 + 25112679802767486368801147528495190810097901784666322639760\ 786179/915269102264404882843305941111305893000103924808073353888387\ 5*c_1001_2^8 + 2154965829631277146864651590799756107453597362654615\ 50830801245627/4576345511322024414216529705556529465000519624040366\ 7694419375*c_1001_2^7 + 1511452813229732852129959879309968236453722\ 57565241357913667156507/4576345511322024414216529705556529465000519\ 6240403667694419375*c_1001_2^6 + 1354385708801720661600841992512836\ 8382965722298822004924839152372/45763455113220244142165297055565294\ 650005196240403667694419375*c_1001_2^5 - 58490826733926178565075467788020793873573347954074266944023949113/4\ 5763455113220244142165297055565294650005196240403667694419375*c_100\ 1_2^4 - 35369461890437962957215576757930236225290796574447860850171\ 814657/457634551132202441421652970555652946500051962404036676944193\ 75*c_1001_2^3 + 188992797285745513087184367237073566957959323874953\ 2198714964856/45763455113220244142165297055565294650005196240403667\ 694419375*c_1001_2^2 + 29697105162827227221731063015618883520027476\ 95058324438063058482/4576345511322024414216529705556529465000519624\ 0403667694419375*c_1001_2 + 201001752690493653259879259721898953171\ 899118097710366297696594/457634551132202441421652970555652946500051\ 96240403667694419375, c_0101_0 + 855125726220130857889997954310562137492137057586339709676824\ /9152691022644048828433059411113058930001039248080733538883875*c_10\ 01_2^27 - 164747208361819048636508535029256404252739220970726628997\ 5072/9152691022644048828433059411113058930001039248080733538883875*\ c_1001_2^26 + 70348613764155323404973942399352983217952966214410349\ 3613846/91526910226440488284330594111130589300010392480807335388838\ 75*c_1001_2^25 - 41532745495978407661663639523968951728320291115026\ 01716674466/9152691022644048828433059411113058930001039248080733538\ 883875*c_1001_2^24 - 4396917113083912925276513808196622878813330586\ 5055833857793083/91526910226440488284330594111130589300010392480807\ 33538883875*c_1001_2^23 + 12178954762662880160130337007900816664543\ 6151041697712140780037/91526910226440488284330594111130589300010392\ 48080733538883875*c_1001_2^22 - 10064427962092496891783479972361383\ 351472173591476802090771613/915269102264404882843305941111305893000\ 1039248080733538883875*c_1001_2^21 + 448389902270058973569822149373649814745675998290313802514130307/915\ 2691022644048828433059411113058930001039248080733538883875*c_1001_2\ ^20 - 1495064837470690136258913897832477032288028670656984837518299\ 66/9152691022644048828433059411113058930001039248080733538883875*c_\ 1001_2^19 - 3141256718853801755906050219138892339449037033364924651\ 37387111/1830538204528809765686611882222611786000207849616146707776\ 775*c_1001_2^18 - 2082545186501836952010926289567139490165210070930\ 692683091310856/915269102264404882843305941111305893000103924808073\ 3538883875*c_1001_2^17 - 218167010999809627716392250084939853752120\ 3069480607296673550736/91526910226440488284330594111130589300010392\ 48080733538883875*c_1001_2^16 + 42879735277880488647877044400103401\ 86147159070632793935964698948/9152691022644048828433059411113058930\ 001039248080733538883875*c_1001_2^15 + 12047218701886946989213987829129976526492037388860198787496600502/9\ 152691022644048828433059411113058930001039248080733538883875*c_1001\ _2^14 + 99838443625776084729769183960265946203586502811295876090353\ 24256/9152691022644048828433059411113058930001039248080733538883875\ *c_1001_2^13 - 1566778101075108243687815065315574159057897535244891\ 644276514617/915269102264404882843305941111305893000103924808073353\ 8883875*c_1001_2^12 - 189633124607788681242895256308755674967815860\ 93243619021169840801/9152691022644048828433059411113058930001039248\ 080733538883875*c_1001_2^11 - 2752609443628093083604806472169832471\ 6501466575929360982913104546/91526910226440488284330594111130589300\ 01039248080733538883875*c_1001_2^10 - 9557082984196613196909577865706586390117130995546365277269924126/91\ 52691022644048828433059411113058930001039248080733538883875*c_1001_\ 2^9 + 2213072533108717089121584174093802049088140528538576526186486\ 449/1830538204528809765686611882222611786000207849616146707776775*c\ _1001_2^8 + 2070817122470292207257290588006129015818809261441385942\ 8320090302/91526910226440488284330594111130589300010392480807335388\ 83875*c_1001_2^7 + 154362523161314788001449531416533579827181113120\ 04784786217479997/9152691022644048828433059411113058930001039248080\ 733538883875*c_1001_2^6 + 22831983542774521841355242702454981267720\ 75711257472691198286222/9152691022644048828433059411113058930001039\ 248080733538883875*c_1001_2^5 - 53492420938577565982124872875667407\ 97646655330367815830825697773/9152691022644048828433059411113058930\ 001039248080733538883875*c_1001_2^4 - 3685953484070893011898227004291814219589052314333821703679755182/91\ 52691022644048828433059411113058930001039248080733538883875*c_1001_\ 2^3 - 4790354688893036761192063359371335724764328961104763226986588\ 4/9152691022644048828433059411113058930001039248080733538883875*c_1\ 001_2^2 + 306737708695287931626012458097551378433691833387152974032\ 681767/915269102264404882843305941111305893000103924808073353888387\ 5*c_1001_2 + 275365593950806504135757218972057909051787366309210901\ 04924499/9152691022644048828433059411113058930001039248080733538883\ 875, c_0101_1 + 242830389083369629037233786622109182106867130088366994916122\ 3/9152691022644048828433059411113058930001039248080733538883875*c_1\ 001_2^27 - 50131715697266050474011719558182712571691442310452239100\ 22784/9152691022644048828433059411113058930001039248080733538883875\ *c_1001_2^26 + 2754199521313392031255571916136768356614472957509340\ 794776127/915269102264404882843305941111305893000103924808073353888\ 3875*c_1001_2^25 - 123250097043609063573626370337765798579091811502\ 70267872060302/9152691022644048828433059411113058930001039248080733\ 538883875*c_1001_2^24 - 1230425587455354059890925177783791888025079\ 29308946036054548461/9152691022644048828433059411113058930001039248\ 080733538883875*c_1001_2^23 + 3624473281658873273097266662478125555\ 22851953651673933761453924/9152691022644048828433059411113058930001\ 039248080733538883875*c_1001_2^22 - 81780425369734682523781083145278093980043920319949804200346521/9152\ 691022644048828433059411113058930001039248080733538883875*c_1001_2^\ 21 + 12951078593707628864262529973707561614177605698411797055111762\ 64/9152691022644048828433059411113058930001039248080733538883875*c_\ 1001_2^20 - 6082848968857829883061474786928192730016981428026278615\ 67090252/9152691022644048828433059411113058930001039248080733538883\ 875*c_1001_2^19 - 8679384187431971816619798669238751194834841856754\ 40747388603661/1830538204528809765686611882222611786000207849616146\ 707776775*c_1001_2^18 - 5340117349559235833288349151370147083811132\ 411414389030011337967/915269102264404882843305941111305893000103924\ 8080733538883875*c_1001_2^17 - 556707995027724424830932654355349094\ 3366042684009761494015951357/91526910226440488284330594111130589300\ 01039248080733538883875*c_1001_2^16 + 12829792332587942606401640602485505579615799403052937269018489966/9\ 152691022644048828433059411113058930001039248080733538883875*c_1001\ _2^15 + 32309873432795844429996973046066243835798600022346956788685\ 587179/915269102264404882843305941111305893000103924808073353888387\ 5*c_1001_2^14 + 242517373850660301695863663225780379267050180688664\ 60920341726567/9152691022644048828433059411113058930001039248080733\ 538883875*c_1001_2^13 - 7033388341492278609630111218507688649995322\ 842391390360173750549/915269102264404882843305941111305893000103924\ 8080733538883875*c_1001_2^12 - 524049145930644368121978362470178108\ 77550173343891397705881729392/9152691022644048828433059411113058930\ 001039248080733538883875*c_1001_2^11 - 71154892463463023513378403341577151759729377670487804219762881967/9\ 152691022644048828433059411113058930001039248080733538883875*c_1001\ _2^10 - 18575146487478164416972506878619589675842470590380751921764\ 740567/915269102264404882843305941111305893000103924808073353888387\ 5*c_1001_2^9 + 6478783687059167345747787456042679075175129867973699\ 399595953738/183053820452880976568661188222261178600020784961614670\ 7776775*c_1001_2^8 + 5412598860558923835945171863736882170233068324\ 2132140319468972804/91526910226440488284330594111130589300010392480\ 80733538883875*c_1001_2^7 + 371036765560115445320380052489589768523\ 17701454280223686523369824/9152691022644048828433059411113058930001\ 039248080733538883875*c_1001_2^6 + 2524817004586623706014348559651197096608197266522144900884309119/91\ 52691022644048828433059411113058930001039248080733538883875*c_1001_\ 2^5 - 1478309457747594940671562422829022162673262406405171002915012\ 9141/9152691022644048828433059411113058930001039248080733538883875*\ c_1001_2^4 - 846167874080443197707770899236927367146464573532904251\ 2923762889/91526910226440488284330594111130589300010392480807335388\ 83875*c_1001_2^3 + 696368338817661201370869704721937678349755786324\ 636362103315927/915269102264404882843305941111305893000103924808073\ 3538883875*c_1001_2^2 + 6553986710630115819368830805325329623408744\ 59666252268669005079/9152691022644048828433059411113058930001039248\ 080733538883875*c_1001_2 + 4016310927714963167674258258195129426751\ 8334227838389097588133/91526910226440488284330594111130589300010392\ 48080733538883875, c_0101_3 + 156811021319043725405756266218490116230474192267884444854724\ 2/45763455113220244142165297055565294650005196240403667694419375*c_\ 1001_2^27 - 3481804624344256333626818693828297090328136513916270180\ 065366/457634551132202441421652970555652946500051962404036676944193\ 75*c_1001_2^26 + 23593887122940183341132816285424827019874281661796\ 42504798578/4576345511322024414216529705556529465000519624040366769\ 4419375*c_1001_2^25 - 841983782133284485748593946258633531641340801\ 6031743434873673/45763455113220244142165297055565294650005196240403\ 667694419375*c_1001_2^24 - 7806512463985927466157829621205442755896\ 1134059746576738956259/45763455113220244142165297055565294650005196\ 240403667694419375*c_1001_2^23 + 2460000577688490517576249526998991\ 51822995482283213750461070121/4576345511322024414216529705556529465\ 0005196240403667694419375*c_1001_2^22 - 92992270977656784535871165938696382984198807892693143702711999/4576\ 3455113220244142165297055565294650005196240403667694419375*c_1001_2\ ^21 + 8571968777838326566352011401554172405331931691210661590931435\ 81/45763455113220244142165297055565294650005196240403667694419375*c\ _1001_2^20 - 530154409645601412179698653075236170398199649418660483\ 815215373/457634551132202441421652970555652946500051962404036676944\ 19375*c_1001_2^19 - 53958472315879292431920583611858009914691711813\ 2808286591335907/91526910226440488284330594111130589300010392480807\ 33538883875*c_1001_2^18 - 30463896967883933627097376793777326129287\ 01957957448774604511253/4576345511322024414216529705556529465000519\ 6240403667694419375*c_1001_2^17 - 318062995798116995557983248108674\ 5231855278068473964913463551148/45763455113220244142165297055565294\ 650005196240403667694419375*c_1001_2^16 + 8719515246887403781938784823421382191143308869798046984325045079/45\ 763455113220244142165297055565294650005196240403667694419375*c_1001\ _2^15 + 19443735371257996230651718013876699881649591583576699417500\ 322916/457634551132202441421652970555652946500051962404036676944193\ 75*c_1001_2^14 + 12862130967300575774334261709761891962403035477565\ 286544657454128/457634551132202441421652970555652946500051962404036\ 67694419375*c_1001_2^13 - 61296424982765958096849547272543182634965\ 31564461613176548964901/4576345511322024414216529705556529465000519\ 6240403667694419375*c_1001_2^12 - 326739720326694054016777441544226\ 55939239236708732265363954297798/4576345511322024414216529705556529\ 4650005196240403667694419375*c_1001_2^11 - 41081895600787769392868231742699921913945693082464713417463012668/4\ 5763455113220244142165297055565294650005196240403667694419375*c_100\ 1_2^10 - 6362208255188837022326674867191178162219194978895489693451\ 938048/457634551132202441421652970555652946500051962404036676944193\ 75*c_1001_2^9 + 422309719286562511244254645640451082491555159165600\ 6514954734332/91526910226440488284330594111130589300010392480807335\ 38883875*c_1001_2^8 + 317654964517142016857004733783689006152882522\ 38059778928051204966/4576345511322024414216529705556529465000519624\ 0403667694419375*c_1001_2^7 + 1957129480460440046383213199828782811\ 1500986914489057911530154256/45763455113220244142165297055565294650\ 005196240403667694419375*c_1001_2^6 - 763617354959878148290239670491892470020060171214857086776222824/457\ 63455113220244142165297055565294650005196240403667694419375*c_1001_\ 2^5 - 9186940722162831053121193485668369281211018719878830078599299\ 579/45763455113220244142165297055565294650005196240403667694419375*\ c_1001_2^4 - 421338150858533892567504075046829863913465656381524702\ 9860298331/45763455113220244142165297055565294650005196240403667694\ 419375*c_1001_2^3 + 86160664776525584295675297945097986958349651227\ 0881107775921323/45763455113220244142165297055565294650005196240403\ 667694419375*c_1001_2^2 + 25105711841786919239723652049765244481500\ 0518888861382449104056/45763455113220244142165297055565294650005196\ 240403667694419375*c_1001_2 + 5110709245410633765582594172023101642\ 8353134195478980061171402/45763455113220244142165297055565294650005\ 196240403667694419375, c_1001_2^28 - 2*c_1001_2^27 + c_1001_2^26 - 5*c_1001_2^25 - 51*c_1001_2^24 + 146*c_1001_2^23 - 24*c_1001_2^22 + 531*c_1001_2^21 - 216*c_1001_2^20 - 1804*c_1001_2^19 - 2314*c_1001_2^18 - 2433*c_1001_2^17 + 5138*c_1001_2^16 + 13650*c_1001_2^15 + 10842*c_1001_2^14 - 2264*c_1001_2^13 - 21782*c_1001_2^12 - 30703*c_1001_2^11 - 9528*c_1001_2^10 + 12881*c_1001_2^9 + 23178*c_1001_2^8 + 16726*c_1001_2^7 + 2006*c_1001_2^6 - 6049*c_1001_2^5 - 3895*c_1001_2^4 + 66*c_1001_2^3 + 292*c_1001_2^2 + 34*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB