Magma V2.19-8 Tue Aug 20 2013 23:38:20 on localhost [Seed = 1713373775] Type ? for help. Type -D to quit. Loading file "K13n3594__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3594 geometric_solution 8.72101158 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.190139363050 0.557308459051 0 3 5 5 0132 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576875312937 0.600493504604 6 0 7 5 0132 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 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.044781601443 0.361383959171 1 7 8 0 1302 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.534466642914 0.976468339502 8 9 0 9 1302 0132 0132 1230 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 2 -1 -1 -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.841998449125 0.610698999219 1 2 1 6 2310 0321 0132 1302 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000975611008 0.807187258211 2 8 5 9 0132 3012 2031 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 -1 0 0 1 -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.185757846043 1.285435153595 8 9 3 2 2310 0321 2310 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.385712347167 1.071617188440 6 4 7 3 1230 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.018388087214 0.554453327163 4 4 6 7 3012 0132 0132 0321 0 0 0 0 0 -1 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 0 0 0 0 0 -2 2 0 1 0 -1 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.397070871575 1.534736732307 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_0011_4'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_9' : negation(d['c_1001_0']), 'c_1100_8' : negation(d['c_0011_7']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : d['c_0011_3'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : negation(d['c_0101_2']), 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_7, c_0011_8, c_0101_0, c_0101_2, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 45963931255660169072207305886117317994525675489/1258421343916663122\ 4516948279121628914887680*c_1001_2^19 - 26610275729252908648048625859237753670185972889411/2202237351854160\ 464290465948846285060105344000*c_1001_2^18 + 5360110464612462245482329537223438168249651384973/89887238851190223\ 032263916279440206534912000*c_1001_2^17 - 186213096948496016791561047185394772639605559875563/146815823456944\ 0309526977299230856706736896000*c_1001_2^16 + 225521535146838744416849994226829439764779930506719/125842134391666\ 3122451694827912162891488768000*c_1001_2^15 - 347507817147817912398850028606514075520972551015073/176178988148332\ 8371432372759077028048084275200*c_1001_2^14 + 624983250654442100152540816095906854652169390684879/293631646913888\ 0619053954598461713413473792000*c_1001_2^13 - 2819677046394943977515074364546574541813443296806403/88089494074166\ 41857161863795385140240421376000*c_1001_2^12 + 640617291911314954809573851268160797500247007659283/176178988148332\ 8371432372759077028048084275200*c_1001_2^11 - 422030996082755045351752080619565196512472940363/256074110680716333\ 0570309242844517511750400*c_1001_2^10 - 91428469054162790584513953959483881266262151180197/1761789881483328\ 371432372759077028048084275200*c_1001_2^9 - 1129922405264967390808500926129891619735581662298423/44044747037083\ 20928580931897692570120210688000*c_1001_2^8 + 216204928485582832907559536243532716576133617147003/251684268783332\ 624490338965582432578297753600*c_1001_2^7 - 5052220371412985012168195266923158914606909879031071/88089494074166\ 41857161863795385140240421376000*c_1001_2^6 - 2076891331179809199706280043832141885539075123138817/88089494074166\ 41857161863795385140240421376000*c_1001_2^5 + 90634222685756281882406794992532222495448744151149/5872632938277761\ 23810790919692342682694758400*c_1001_2^4 + 1200659173828077271309676837823088907863363413625773/29363164691388\ 80619053954598461713413473792000*c_1001_2^3 - 404597303910813437397246525834628927653681481868483/880894940741664\ 185716186379538514024042137600*c_1001_2^2 + 204477371852225056264493281867665563439857978629589/110111867592708\ 0232145232974423142530052672000*c_1001_2 - 2567312562331033365054940160598426944741942954539/91759889660590019\ 345436081201928544171056000, c_0011_0 - 1, c_0011_3 - 1241985882282629482639778346742968651891/8710003764650215410\ 1030926627364541216*c_1001_2^19 + 234533383864879912005865637608518\ 04496033/609700263525515078707216486391551788512*c_1001_2^18 - 36949474085250188690104752630674059987881/1742000752930043082020618\ 53254729082432*c_1001_2^17 + 45408207615654487866875930489764167256\ 2571/1219400527051030157414432972783103577024*c_1001_2^16 - 178323875190561569864153420614584287545045/348400150586008616404123\ 706509458164864*c_1001_2^15 + 1265492534369464588179952692998195608\ 744407/2438801054102060314828865945566207154048*c_1001_2^14 - 1453151131949390244438097206305039054026863/24388010541020603148288\ 65945566207154048*c_1001_2^13 + 23485460744616233017813739997990664\ 21842913/2438801054102060314828865945566207154048*c_1001_2^12 - 2255411974005882332839256987038695080859477/24388010541020603148288\ 65945566207154048*c_1001_2^11 + 36493889511365320922737857721024205\ 449055/152425065881378769676804121597887947128*c_1001_2^10 + 526592400212579875307736788479622208532019/243880105410206031482886\ 5945566207154048*c_1001_2^9 + 1388405352737015624610772627852011313\ 783133/1219400527051030157414432972783103577024*c_1001_2^8 - 910206274821449696443323481756521818383277/348400150586008616404123\ 706509458164864*c_1001_2^7 + 21455118238904147760251405801071159158\ 75349/2438801054102060314828865945566207154048*c_1001_2^6 + 2477518730915375746989213658547106004468427/24388010541020603148288\ 65945566207154048*c_1001_2^5 + 132126693704919144504849206882035893\ 886079/2438801054102060314828865945566207154048*c_1001_2^4 - 3283200581989358286487768292535844787601933/24388010541020603148288\ 65945566207154048*c_1001_2^3 + 127673291309537796153648522720546288\ 7294245/1219400527051030157414432972783103577024*c_1001_2^2 - 100255763384287228386310136865533105490775/304850131762757539353608\ 243195775894256*c_1001_2 + 2934219115738212876249664578831463720087\ /76212532940689384838402060798943973564, c_0011_4 + 2859495378563686991775512961621349483231/6968003011720172328\ 08247413018916329728*c_1001_2^19 - 40470739484120315498317180087576090532165/4877602108204120629657731\ 891132414308096*c_1001_2^18 + 7589881559819288566589875704305592593\ 2205/1393600602344034465616494826037832659456*c_1001_2^17 - 664555392900534736591027088289201944812823/975520421640824125931546\ 3782264828616192*c_1001_2^16 + 244396165314392955957916905783035782\ 614025/2787201204688068931232989652075665318912*c_1001_2^15 - 1367113131740927179610194908660094438360595/19510408432816482518630\ 927564529657232384*c_1001_2^14 + 1899386432526696464205628320265666\ 781212299/19510408432816482518630927564529657232384*c_1001_2^13 - 3643032418802254097090475047759762429643781/19510408432816482518630\ 927564529657232384*c_1001_2^12 + 2131368026662695797950551130937969\ 720262345/19510408432816482518630927564529657232384*c_1001_2^11 + 71228084596295539399821381986205742528793/1219400527051030157414432\ 972783103577024*c_1001_2^10 - 1254378280487559898851290687697245603\ 330463/19510408432816482518630927564529657232384*c_1001_2^9 - 3629586571923117887109092976318480921160401/97552042164082412593154\ 63782264828616192*c_1001_2^8 + 143573043086846175688239622046857675\ 9782209/2787201204688068931232989652075665318912*c_1001_2^7 + 3491076002033598582431389943809831423896439/19510408432816482518630\ 927564529657232384*c_1001_2^6 - 61683050958966998900603947862737197\ 19660759/19510408432816482518630927564529657232384*c_1001_2^5 - 4468778822970876271506508767305816519362139/19510408432816482518630\ 927564529657232384*c_1001_2^4 + 59307463429098483258928785810692202\ 86405985/19510408432816482518630927564529657232384*c_1001_2^3 - 604088052597577201341095544858142757438841/975520421640824125931546\ 3782264828616192*c_1001_2^2 - 6539892999526899911237339556627400314\ 5837/2438801054102060314828865945566207154048*c_1001_2 + 5418402678576270778014967846814564554969/60970026352551507870721648\ 6391551788512, c_0011_5 - 4219904535692912561196529426038021244271/3484001505860086164\ 04123706509458164864*c_1001_2^19 + 10865172185739312415397642275970200749731/3484001505860086164041237\ 06509458164864*c_1001_2^18 - 12301990594021209037834035766121207769\ 1741/696800301172017232808247413018916329728*c_1001_2^17 + 205695133641570435670232776794626140961505/696800301172017232808247\ 413018916329728*c_1001_2^16 - 5596653493380507013416109727218965363\ 35097/1393600602344034465616494826037832659456*c_1001_2^15 + 553413153553375389876886827181761971574469/139360060234403446561649\ 4826037832659456*c_1001_2^14 - 647041147223285763748636055865288180\ 903437/1393600602344034465616494826037832659456*c_1001_2^13 + 1070986310652231822180413440762123441324515/13936006023440344656164\ 94826037832659456*c_1001_2^12 - 97398450116460197580397207979740256\ 8106559/1393600602344034465616494826037832659456*c_1001_2^11 + 11495084285018390084812482802679537548145/8710003764650215410103092\ 6627364541216*c_1001_2^10 + 260071116113716662828837281475202978679\ 961/1393600602344034465616494826037832659456*c_1001_2^9 + 691411968014842542979032758079016332756599/696800301172017232808247\ 413018916329728*c_1001_2^8 - 29176845742207596347826817730934620907\ 60369/1393600602344034465616494826037832659456*c_1001_2^7 + 708583765708512959831955062750601748800127/139360060234403446561649\ 4826037832659456*c_1001_2^6 + 1230949020420854139159436733900471615\ 079713/1393600602344034465616494826037832659456*c_1001_2^5 + 229183388023439501392923093314058600056509/139360060234403446561649\ 4826037832659456*c_1001_2^4 - 1538712493873117751608743635094329239\ 889511/1393600602344034465616494826037832659456*c_1001_2^3 + 528791773557071109350734159489467999382031/696800301172017232808247\ 413018916329728*c_1001_2^2 - 36400284134851839583809135305997071615\ 365/174200075293004308202061853254729082432*c_1001_2 + 886598583196612034572637113679179136497/435500188232510770505154633\ 13682270608, c_0011_7 + 3667455101757990236427063175785995014091/3484001505860086164\ 04123706509458164864*c_1001_2^19 - 73675427730355967994785757169442435332777/2438801054102060314828865\ 945566207154048*c_1001_2^18 + 1119123812491990186999134076470449896\ 37041/696800301172017232808247413018916329728*c_1001_2^17 - 1463326553620469618671364491317610219612899/48776021082041206296577\ 31891132414308096*c_1001_2^16 + 57602321833809750323876163254639129\ 6436285/1393600602344034465616494826037832659456*c_1001_2^15 - 4215224132790865925833404576030351561661327/97552042164082412593154\ 63782264828616192*c_1001_2^14 + 47165036874002211873113253395385255\ 20261991/9755204216408241259315463782264828616192*c_1001_2^13 - 7485663662348205585726645823672129192503657/97552042164082412593154\ 63782264828616192*c_1001_2^12 + 76018791802483482743632683157996801\ 11026813/9755204216408241259315463782264828616192*c_1001_2^11 - 152428163919445958392303009605084271873931/609700263525515078707216\ 486391551788512*c_1001_2^10 - 1569652389246963913367531616564701048\ 762251/9755204216408241259315463782264828616192*c_1001_2^9 - 3979289619445775568334532120725326884372837/48776021082041206296577\ 31891132414308096*c_1001_2^8 + 290550950226708193188528322274709987\ 1004629/1393600602344034465616494826037832659456*c_1001_2^7 - 8845759683212183381680093275296650702979645/97552042164082412593154\ 63782264828616192*c_1001_2^6 - 735501323729961430473836353512600095\ 3488803/9755204216408241259315463782264828616192*c_1001_2^5 + 763315193020743323021169785478969099658633/975520421640824125931546\ 3782264828616192*c_1001_2^4 + 1030183203170251472405379221063925583\ 9144949/9755204216408241259315463782264828616192*c_1001_2^3 - 4442855734536374258661260496588000853695533/48776021082041206296577\ 31891132414308096*c_1001_2^2 + 382953009921934428424505367846075541\ 379055/1219400527051030157414432972783103577024*c_1001_2 - 12508343037897961556382334541773737321347/3048501317627575393536082\ 43195775894256, c_0011_8 - 8471842507505118614444526226983619470067/6968003011720172328\ 08247413018916329728*c_1001_2^19 + 172194047420549376352525862932925635540065/487760210820412062965773\ 1891132414308096*c_1001_2^18 - 259241438977507788186825136165592677\ 013417/1393600602344034465616494826037832659456*c_1001_2^17 + 3427327699414177439128812512849829567580363/97552042164082412593154\ 63782264828616192*c_1001_2^16 - 13380372924146382456455019525341574\ 74149845/2787201204688068931232989652075665318912*c_1001_2^15 + 9807000029277865482196113796307112038265879/19510408432816482518630\ 927564529657232384*c_1001_2^14 - 1089630180036497345065565058945889\ 6518089519/19510408432816482518630927564529657232384*c_1001_2^13 + 17374005174611151418713184164508821418121249/1951040843281648251863\ 0927564529657232384*c_1001_2^12 - 177682610080690856183524980734758\ 11558239637/19510408432816482518630927564529657232384*c_1001_2^11 + 347931011372308867771001593788728776206235/121940052705103015741443\ 2972783103577024*c_1001_2^10 + 391746405089026723910587118435983411\ 9455411/19510408432816482518630927564529657232384*c_1001_2^9 + 9167411639206255597938121220942168484165373/97552042164082412593154\ 63782264828616192*c_1001_2^8 - 682744486156107630220107191413175883\ 8694061/2787201204688068931232989652075665318912*c_1001_2^7 + 20893132070139763993565846781780386039838805/1951040843281648251863\ 0927564529657232384*c_1001_2^6 + 1809348066762798114991154983993528\ 7036792203/19510408432816482518630927564529657232384*c_1001_2^5 - 2144098044125672917954140126405183550728513/19510408432816482518630\ 927564529657232384*c_1001_2^4 - 24675441976190677142274071449604975\ 910468685/19510408432816482518630927564529657232384*c_1001_2^3 + 10390866298506144631940045640606519716210821/9755204216408241259315\ 463782264828616192*c_1001_2^2 - 84308624043915112809843061393488330\ 7639319/2438801054102060314828865945566207154048*c_1001_2 + 24406641559649497890179503887325331491579/6097002635255150787072164\ 86391551788512, c_0101_0 + 7089495675269469903223734647072204461933/6968003011720172328\ 08247413018916329728*c_1001_2^19 - 130492836051384753958560433043451227802047/487760210820412062965773\ 1891132414308096*c_1001_2^18 + 208505577543638876374702650039349816\ 110455/1393600602344034465616494826037832659456*c_1001_2^17 - 2494984698104978808867238001830296392982165/97552042164082412593154\ 63782264828616192*c_1001_2^16 + 97322654985669123685407594388224665\ 2955851/2787201204688068931232989652075665318912*c_1001_2^15 - 6807202388456735557068172863740419493291209/19510408432816482518630\ 927564529657232384*c_1001_2^14 + 7894884616395584530117496037028703\ 933537457/19510408432816482518630927564529657232384*c_1001_2^13 - 12931236887734007443568318519752603972204031/1951040843281648251863\ 0927564529657232384*c_1001_2^12 + 120665436450800964014831448010076\ 17828507403/19510408432816482518630927564529657232384*c_1001_2^11 - 164378221321050186995137614415046738498597/121940052705103015741443\ 2972783103577024*c_1001_2^10 - 307229244961051143490175950866588629\ 3915565/19510408432816482518630927564529657232384*c_1001_2^9 - 8039589388100726752862421807434867235851171/97552042164082412593154\ 63782264828616192*c_1001_2^8 + 503454920601706120143023327742334893\ 1476723/2787201204688068931232989652075665318912*c_1001_2^7 - 9997611768505679455489632765080345634202699/19510408432816482518630\ 927564529657232384*c_1001_2^6 - 14481693920678772179209163510619412\ 568962517/19510408432816482518630927564529657232384*c_1001_2^5 - 1837649439466797649273032030367033929683745/19510408432816482518630\ 927564529657232384*c_1001_2^4 + 18474753051082868220770020104089581\ 932540755/19510408432816482518630927564529657232384*c_1001_2^3 - 6676284829032351810188148254035696511089435/97552042164082412593154\ 63782264828616192*c_1001_2^2 + 480260073320860251277573303004255606\ 612809/2438801054102060314828865945566207154048*c_1001_2 - 12063203789058223539661905095491295625925/6097002635255150787072164\ 86391551788512, c_0101_2 - 4463058986437822449657584126280693105365/6968003011720172328\ 08247413018916329728*c_1001_2^19 + 87147233076485562129189899991607838150839/4877602108204120629657731\ 891132414308096*c_1001_2^18 - 1346083394163868935950301583276944767\ 09679/1393600602344034465616494826037832659456*c_1001_2^17 + 1711140726339580253251756534831126256789053/97552042164082412593154\ 63782264828616192*c_1001_2^16 - 67313064151904203039613790152154405\ 3261603/2787201204688068931232989652075665318912*c_1001_2^15 + 4854636590474624530785632074303806625145361/19510408432816482518630\ 927564529657232384*c_1001_2^14 - 5499374252693861850169809347739200\ 565892409/19510408432816482518630927564529657232384*c_1001_2^13 + 8785430260680927737861967775391937706421495/19510408432816482518630\ 927564529657232384*c_1001_2^12 - 8718822897850019866982989125447049\ 788957795/19510408432816482518630927564529657232384*c_1001_2^11 + 159248524542266831443096072189972563901661/121940052705103015741443\ 2972783103577024*c_1001_2^10 + 190495980631831838056673792043728093\ 2758805/19510408432816482518630927564529657232384*c_1001_2^9 + 4902634481876183106569788414804099478791483/97552042164082412593154\ 63782264828616192*c_1001_2^8 - 341234304620927035035704886307039090\ 0473483/2787201204688068931232989652075665318912*c_1001_2^7 + 9351725865764428783008479506104457242661283/19510408432816482518630\ 927564529657232384*c_1001_2^6 + 89324874404005357354398355162607903\ 12731517/19510408432816482518630927564529657232384*c_1001_2^5 - 282582094047881940018397008310341893858007/195104084328164825186309\ 27564529657232384*c_1001_2^4 - 121785901419688488634770340406566227\ 73656811/19510408432816482518630927564529657232384*c_1001_2^3 + 5027217602316726216407435110726287804623475/97552042164082412593154\ 63782264828616192*c_1001_2^2 - 417992741422048077475540777087585796\ 519505/2438801054102060314828865945566207154048*c_1001_2 + 12910142932003407512452808884426352330765/6097002635255150787072164\ 86391551788512, c_1001_0 - 6516196721575603388095384613182426127/2990559232497928037803\ 636965746422016*c_1001_2^19 + 7715019181803284445546296759903318638\ 9/20933914627485496264625458760224954112*c_1001_2^18 - 163858852399071076772021906379371225917/598111846499585607560727393\ 1492844032*c_1001_2^17 + 1105458225849731134071742655365847325895/4\ 1867829254970992529250917520449908224*c_1001_2^16 - 401598978948211043491212294822213459289/119622369299917121512145478\ 62985688064*c_1001_2^15 + 1648099627951828903278709176081776467587/\ 83735658509941985058501835040899816448*c_1001_2^14 - 3065653581040971371793204064621241483387/83735658509941985058501835\ 040899816448*c_1001_2^13 + 6627552992165508468277654102686356461845\ /83735658509941985058501835040899816448*c_1001_2^12 - 1847901319438808714579118397274779579673/83735658509941985058501835\ 040899816448*c_1001_2^11 - 290140573112765217342198786980338736889/\ 5233478656871374066156364690056238528*c_1001_2^10 + 2497744972512992184217139640102346878671/83735658509941985058501835\ 040899816448*c_1001_2^9 + 8660305625102293188023290006438253298209/\ 41867829254970992529250917520449908224*c_1001_2^8 - 2504045641858843124759000576878248190481/11962236929991712151214547\ 862985688064*c_1001_2^7 - 15981045927262064306783731883127260973863\ /83735658509941985058501835040899816448*c_1001_2^6 + 12803764449551098545536171204883641137287/8373565850994198505850183\ 5040899816448*c_1001_2^5 + 1418026474543554370254601992152639347796\ 3/83735658509941985058501835040899816448*c_1001_2^4 - 10743445386718203685266450385017458478385/8373565850994198505850183\ 5040899816448*c_1001_2^3 - 786063806129868476470538555423907902135/\ 41867829254970992529250917520449908224*c_1001_2^2 + 369959265818654006583672584793415790653/104669573137427481323127293\ 80112477056*c_1001_2 - 19710186253600687811001310182948362345/26167\ 39328435687033078182345028119264, c_1001_2^20 - 25/7*c_1001_2^19 + 241/14*c_1001_2^18 - 547/14*c_1001_2^17 + 1637/28*c_1001_2^16 - 1887/28*c_1001_2^15 + 2047/28*c_1001_2^14 - 2901/28*c_1001_2^13 + 3453/28*c_1001_2^12 - 145/2*c_1001_2^11 - 33/28*c_1001_2^10 - 467/7*c_1001_2^9 + 7093/28*c_1001_2^8 - 6169/28*c_1001_2^7 - 555/28*c_1001_2^6 + 1629/28*c_1001_2^5 + 2777/28*c_1001_2^4 - 1087/7*c_1001_2^3 + 601/7*c_1001_2^2 - 156/7*c_1001_2 + 16/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.340 seconds, Total memory usage: 32.09MB