Magma V2.19-8 Wed Aug 21 2013 00:01:28 on localhost [Seed = 1225728192] Type ? for help. Type -D to quit. Loading file "K13n1636__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1636 geometric_solution 11.40846277 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.206622986637 0.923205672930 0 5 7 6 0132 0132 0132 0132 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 0 1 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.038989721123 0.450055735596 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.121385631701 0.862367190578 11 9 10 0 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687550330346 0.765527697598 11 8 0 12 1230 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 9 0 -9 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533359163874 1.167606296645 8 1 12 11 1023 0132 1302 1023 0 0 0 0 0 0 0 0 1 0 -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 1 -1 0 -9 0 9 0 0 -10 0 10 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.056793881278 1.422773785694 11 12 1 9 2103 0132 0132 1230 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 -1 0 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.402507983889 1.672812106896 8 10 9 1 3201 3120 1230 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 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495654862954 1.742934690271 2 5 4 7 0132 1023 3012 2310 0 0 0 0 0 -1 0 1 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 9 0 -9 0 0 0 0 0 0 0 0 10 -1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538381578474 1.029350460387 6 3 2 7 3012 0132 0132 3012 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 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657400467733 0.161767402350 3 7 12 2 2031 3120 2031 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 1 -1 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880119511116 1.035852073545 3 4 6 5 0132 3012 2103 1023 0 0 0 0 0 -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 10 -10 0 0 0 0 0 9 1 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855974017655 0.950824092963 5 6 4 10 2031 0132 0132 1302 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 -1 1 0 1 0 -1 0 1 0 0 -1 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.062627007943 0.832148679728 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_11'], 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0110_12']), 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_0110_12'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_0110_12'], 'c_1001_6' : d['c_0110_12'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0110_12'], 'c_1010_11' : negation(d['c_0101_1']), 'c_1010_10' : negation(d['c_0011_7']), '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : d['c_0101_10'], '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_1100_9' : negation(d['c_0110_12']), 'c_1100_8' : d['c_0011_7'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : d['c_0110_9'], 'c_1100_6' : d['c_0110_9'], 'c_1100_1' : d['c_0110_9'], 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0110_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0110_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_12'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : negation(d['c_0101_1']), '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_0101_10'], '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_11'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} 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_11, c_0011_12, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_0110_12, c_0110_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 343885047882259407463313027499767372/555661119579467837765743456218\ 121959*c_1001_0^19 + 98719020419396369176945340634219343/6174012439\ 7718648640638161802013551*c_1001_0^18 - 4887730663506667721226373068459813746/55566111957946783776574345621\ 8121959*c_1001_0^17 - 7300606018243601404634296699519639811/5556611\ 19579467837765743456218121959*c_1001_0^16 + 41076887123478693462911096907464716606/5556611195794678377657434562\ 18121959*c_1001_0^15 + 17298789339997676316750712938765955811/55566\ 1119579467837765743456218121959*c_1001_0^14 - 111149186838314271076783922338721411177/555661119579467837765743456\ 218121959*c_1001_0^13 - 12747083430773585038157347857623136358/5556\ 61119579467837765743456218121959*c_1001_0^12 + 129954764421434048442514254337813613054/555661119579467837765743456\ 218121959*c_1001_0^11 + 14357266751544465853078385109903319943/5556\ 61119579467837765743456218121959*c_1001_0^10 - 61180317621376143093852349280314238590/5556611195794678377657434562\ 18121959*c_1001_0^9 - 8311124780322586359815521049091492550/6174012\ 4397718648640638161802013551*c_1001_0^8 - 21029161320030745876903035866440841111/5556611195794678377657434562\ 18121959*c_1001_0^7 + 102617132396295111242497403696056965395/55566\ 1119579467837765743456218121959*c_1001_0^6 + 14698765389704833488794657606289218653/5556611195794678377657434562\ 18121959*c_1001_0^5 - 6900987590397221625580551899036481865/6174012\ 4397718648640638161802013551*c_1001_0^4 - 5060308189364734994832515412258147412/55566111957946783776574345621\ 8121959*c_1001_0^3 + 319071836191578398577360575678121136/205800414\ 65906216213546053934004517*c_1001_0^2 + 1942802701617734660266609017869895745/55566111957946783776574345621\ 8121959*c_1001_0 - 496824160764787527064350429145391801/55566111957\ 9467837765743456218121959, c_0011_0 - 1, c_0011_10 + 86696830953993639596045/820668432962360911600767*c_1001_0^1\ 9 - 71083946699736068130714/273556144320786970533589*c_1001_0^18 + 1242808117975586013454502/820668432962360911600767*c_1001_0^17 + 1894163810800879822661267/820668432962360911600767*c_1001_0^16 - 9506031310902544760388007/820668432962360911600767*c_1001_0^15 - 4987944899012393151885149/820668432962360911600767*c_1001_0^14 + 24002750233740903888132134/820668432962360911600767*c_1001_0^13 + 6852198179184639655355404/820668432962360911600767*c_1001_0^12 - 26783642582674615054975712/820668432962360911600767*c_1001_0^11 - 11256810832139640347701208/820668432962360911600767*c_1001_0^10 + 15153809633644094655634336/820668432962360911600767*c_1001_0^9 + 7622763456353354686171822/273556144320786970533589*c_1001_0^8 + 3370346195998778045844740/820668432962360911600767*c_1001_0^7 - 20018624865323053281320204/820668432962360911600767*c_1001_0^6 - 6729464582272770869758339/820668432962360911600767*c_1001_0^5 + 4453534489379513770721279/273556144320786970533589*c_1001_0^4 + 8522722463148638865215533/820668432962360911600767*c_1001_0^3 - 1385401652492987725335370/273556144320786970533589*c_1001_0^2 - 822012104347877134075690/820668432962360911600767*c_1001_0 + 917871673532503477332293/820668432962360911600767, c_0011_11 - 187311468770266638163668/273556144320786970533589*c_1001_0^\ 19 + 378243169222007223629519/273556144320786970533589*c_1001_0^18 - 2430936671693325574132323/273556144320786970533589*c_1001_0^17 - 5426185604805375110337952/273556144320786970533589*c_1001_0^16 + 19594350791958653986837373/273556144320786970533589*c_1001_0^15 + 20476313384557242025426198/273556144320786970533589*c_1001_0^14 - 52512139244088876947522422/273556144320786970533589*c_1001_0^13 - 35791617840483170313424717/273556144320786970533589*c_1001_0^12 + 61028448592130505306492293/273556144320786970533589*c_1001_0^11 + 38858852545908214387868525/273556144320786970533589*c_1001_0^10 - 24699663634610775778450844/273556144320786970533589*c_1001_0^9 - 50432116476717847233278560/273556144320786970533589*c_1001_0^8 - 32149996586592858473701567/273556144320786970533589*c_1001_0^7 + 41800273730125591415352458/273556144320786970533589*c_1001_0^6 + 31160748233343180278209340/273556144320786970533589*c_1001_0^5 - 26719256130321493050717833/273556144320786970533589*c_1001_0^4 - 15508835437624048407517851/273556144320786970533589*c_1001_0^3 + 2955774830914349551777965/273556144320786970533589*c_1001_0^2 + 234446698201260731960384/273556144320786970533589*c_1001_0 - 491111813947779785598195/273556144320786970533589, c_0011_12 + 782587942528188862833707/820668432962360911600767*c_1001_0^\ 19 - 582035584677653474733029/273556144320786970533589*c_1001_0^18 + 10638935380936464038226269/820668432962360911600767*c_1001_0^17 + 20094734069800375672531022/820668432962360911600767*c_1001_0^16 - 84399347982993208813014394/820668432962360911600767*c_1001_0^15 - 65840931546193234953595931/820668432962360911600767*c_1001_0^14 + 219925732615148540533974452/820668432962360911600767*c_1001_0^13 + 101749286193169338234184369/820668432962360911600767*c_1001_0^12 - 243306796677003927274141640/820668432962360911600767*c_1001_0^11 - 116679551998644808292695727/820668432962360911600767*c_1001_0^10 + 95338269541535473130443126/820668432962360911600767*c_1001_0^9 + 64596468868911107705133546/273556144320786970533589*c_1001_0^8 + 104291439809773180500511226/820668432962360911600767*c_1001_0^7 - 175424786898066799884562736/820668432962360911600767*c_1001_0^6 - 89313148432584739982639638/820668432962360911600767*c_1001_0^5 + 34159204861371787508369186/273556144320786970533589*c_1001_0^4 + 47076931087496511064259347/820668432962360911600767*c_1001_0^3 - 3433015624917748572344250/273556144320786970533589*c_1001_0^2 - 450855963371861211040963/820668432962360911600767*c_1001_0 + 1714289781598546238049053/820668432962360911600767, c_0011_7 + 84203987093621005613237/820668432962360911600767*c_1001_0^19 - 97646116962419952738098/273556144320786970533589*c_1001_0^18 + 1457087399977382346755444/820668432962360911600767*c_1001_0^17 + 489022539529573847305427/820668432962360911600767*c_1001_0^16 - 10522796452420355227050496/820668432962360911600767*c_1001_0^15 + 5177138107096423751321542/820668432962360911600767*c_1001_0^14 + 22862829571933505081150705/820668432962360911600767*c_1001_0^13 - 16859669280834851287487792/820668432962360911600767*c_1001_0^12 - 16366244713753784055429317/820668432962360911600767*c_1001_0^11 + 10062528968356351834893655/820668432962360911600767*c_1001_0^10 + 2848930436645795617511176/820668432962360911600767*c_1001_0^9 + 5213042221660045583617218/273556144320786970533589*c_1001_0^8 - 4108314348749738621983687/820668432962360911600767*c_1001_0^7 - 19495440141536744341779233/820668432962360911600767*c_1001_0^6 + 10160050761762127327437557/820668432962360911600767*c_1001_0^5 + 552137780192489927889292/273556144320786970533589*c_1001_0^4 - 1852258558252489574507084/820668432962360911600767*c_1001_0^3 + 968948358379893598642781/273556144320786970533589*c_1001_0^2 - 335225799204345582347848/820668432962360911600767*c_1001_0 - 354336776540578039262419/820668432962360911600767, c_0101_0 - 686289682330015350312950/820668432962360911600767*c_1001_0^1\ 9 + 456250224525776267346912/273556144320786970533589*c_1001_0^18 - 8906714015564123239784975/820668432962360911600767*c_1001_0^17 - 20007760903962572008992737/820668432962360911600767*c_1001_0^16 + 70782317030341258466941597/820668432962360911600767*c_1001_0^15 + 76190308274670139403871833/820668432962360911600767*c_1001_0^14 - 186417876126764157738698477/820668432962360911600767*c_1001_0^13 - 134971191244317405564770521/820668432962360911600767*c_1001_0^12 + 210096703655006767116271508/820668432962360911600767*c_1001_0^11 + 147874816029063109837745732/820668432962360911600767*c_1001_0^10 - 77457185346390257940348529/820668432962360911600767*c_1001_0^9 - 61721130532669051998781919/273556144320786970533589*c_1001_0^8 - 123892917453055238131522115/820668432962360911600767*c_1001_0^7 + 141606507056022765298320800/820668432962360911600767*c_1001_0^6 + 114594840004875305133099268/820668432962360911600767*c_1001_0^5 - 28899810430510108962446054/273556144320786970533589*c_1001_0^4 - 57877125960076962811403602/820668432962360911600767*c_1001_0^3 + 2706279682949246713520449/273556144320786970533589*c_1001_0^2 + 23512817213039301882844/820668432962360911600767*c_1001_0 - 2439152165659359503363300/820668432962360911600767, c_0101_1 - 152799270381629861582930/820668432962360911600767*c_1001_0^1\ 9 + 84939029297591201688364/273556144320786970533589*c_1001_0^18 - 1847599693287620194090634/820668432962360911600767*c_1001_0^17 - 5205349107640384281381248/820668432962360911600767*c_1001_0^16 + 14848742203494916765184023/820668432962360911600767*c_1001_0^15 + 22708168899511577403819605/820668432962360911600767*c_1001_0^14 - 40320808247051931336912764/820668432962360911600767*c_1001_0^13 - 44011180743075965573155003/820668432962360911600767*c_1001_0^12 + 48106775997232483313520704/820668432962360911600767*c_1001_0^11 + 46081807897226032410344798/820668432962360911600767*c_1001_0^10 - 17911014289854861456893377/820668432962360911600767*c_1001_0^9 - 15018045269394968072931999/273556144320786970533589*c_1001_0^8 - 37256725037245551281305052/820668432962360911600767*c_1001_0^7 + 29068689235536778147353041/820668432962360911600767*c_1001_0^6 + 37438905488846897869202107/820668432962360911600767*c_1001_0^5 - 6971315169457809983946762/273556144320786970533589*c_1001_0^4 - 18154313644585817347191019/820668432962360911600767*c_1001_0^3 + 741529983286755967934695/273556144320786970533589*c_1001_0^2 + 263608280921800858671613/820668432962360911600767*c_1001_0 + 140679080125828462917535/820668432962360911600767, c_0101_10 + 346321190113476480558962/820668432962360911600767*c_1001_0^\ 19 - 301041999709269126429777/273556144320786970533589*c_1001_0^18 + 5088668541364211541025631/820668432962360911600767*c_1001_0^17 + 6899529399245173175296889/820668432962360911600767*c_1001_0^16 - 39412520067440195673723520/820668432962360911600767*c_1001_0^15 - 13102229489305761554614766/820668432962360911600767*c_1001_0^14 + 98438775231429640503448826/820668432962360911600767*c_1001_0^13 + 3495138136631205811574059/820668432962360911600767*c_1001_0^12 - 100272881622225822465768050/820668432962360911600767*c_1001_0^11 - 6365915718561641826162383/820668432962360911600767*c_1001_0^10 + 37425351060673144689858037/820668432962360911600767*c_1001_0^9 + 21494896895024784567667023/273556144320786970533589*c_1001_0^8 + 21514072894040563807972091/820668432962360911600767*c_1001_0^7 - 77921895163897079375334143/820668432962360911600767*c_1001_0^6 - 1241017108034979212498398/820668432962360911600767*c_1001_0^5 + 14215553532130243029467678/273556144320786970533589*c_1001_0^4 + 190558445932219510508857/820668432962360911600767*c_1001_0^3 - 917087203165161604688256/273556144320786970533589*c_1001_0^2 + 2712945056469391361965778/820668432962360911600767*c_1001_0 + 364741127702067659829830/820668432962360911600767, c_0101_2 - 52250117553861958547077/273556144320786970533589*c_1001_0^19 + 136541288280180950879115/273556144320786970533589*c_1001_0^18 - 762232087735748620954390/273556144320786970533589*c_1001_0^17 - 1050842649171646131081615/273556144320786970533589*c_1001_0^16 + 6037225932583401294558958/273556144320786970533589*c_1001_0^15 + 2102258070935713572688405/273556144320786970533589*c_1001_0^14 - 15535611184831287244957664/273556144320786970533589*c_1001_0^13 - 967392229583174909409558/273556144320786970533589*c_1001_0^12 + 16925466188012840459110079/273556144320786970533589*c_1001_0^11 + 1753525403813841056252178/273556144320786970533589*c_1001_0^10 - 7839362319197306522771996/273556144320786970533589*c_1001_0^9 - 10758496735687030791363356/273556144320786970533589*c_1001_0^8 - 1983618562376007785746947/273556144320786970533589*c_1001_0^7 + 13223094758772308814942992/273556144320786970533589*c_1001_0^6 + 928334396914573223657677/273556144320786970533589*c_1001_0^5 - 7776655167452587332044790/273556144320786970533589*c_1001_0^4 - 1048645887037293521496963/273556144320786970533589*c_1001_0^3 + 1714650076016831602138471/273556144320786970533589*c_1001_0^2 + 327118323263157772529936/273556144320786970533589*c_1001_0 - 194587108273023605643722/273556144320786970533589, c_0101_8 - 82108646604770343416145/273556144320786970533589*c_1001_0^19 + 188432127897832540141994/273556144320786970533589*c_1001_0^18 - 1125990085710350277241890/273556144320786970533589*c_1001_0^17 - 2051875407025598544132587/273556144320786970533589*c_1001_0^16 + 9039461617929329962713659/273556144320786970533589*c_1001_0^15 + 6252161228097967626892839/273556144320786970533589*c_1001_0^14 - 23986231249892940392071261/273556144320786970533589*c_1001_0^13 - 8176071324942992927600474/273556144320786970533589*c_1001_0^12 + 27528799494373228225751735/273556144320786970533589*c_1001_0^11 + 7658640676958919436592963/273556144320786970533589*c_1001_0^10 - 12226830707414522911399973/273556144320786970533589*c_1001_0^9 - 16562340444757010143553199/273556144320786970533589*c_1001_0^8 - 8809303700623498831268810/273556144320786970533589*c_1001_0^7 + 18758496850223399990207022/273556144320786970533589*c_1001_0^6 + 6375225285392978811678790/273556144320786970533589*c_1001_0^5 - 13213532451911073892606269/273556144320786970533589*c_1001_0^4 - 1853346255212803223847899/273556144320786970533589*c_1001_0^3 + 2189424761694971707933348/273556144320786970533589*c_1001_0^2 - 1154386060359011810714922/273556144320786970533589*c_1001_0 - 245330702376115340422504/273556144320786970533589, c_0110_12 + 243609303841861595491763/820668432962360911600767*c_1001_0^\ 19 - 157471450479570247046249/273556144320786970533589*c_1001_0^18 + 3082622859419696577485966/820668432962360911600767*c_1001_0^17 + 7413597840273618333857513/820668432962360911600767*c_1001_0^16 - 25502682375177195530831005/820668432962360911600767*c_1001_0^15 - 29435927281213274797961576/820668432962360911600767*c_1001_0^14 + 70592284294098886790163221/820668432962360911600767*c_1001_0^13 + 53641767678893630952485185/820668432962360911600767*c_1001_0^12 - 86243678770266724735463744/820668432962360911600767*c_1001_0^11 - 58527973323198346116523115/820668432962360911600767*c_1001_0^10 + 37988204076271356478142263/820668432962360911600767*c_1001_0^9 + 23889569804646004517925344/273556144320786970533589*c_1001_0^8 + 43968442006364657363871464/820668432962360911600767*c_1001_0^7 - 59818328002048839023133926/820668432962360911600767*c_1001_0^6 - 47762938912997551979896741/820668432962360911600767*c_1001_0^5 + 12981147169669488556555787/273556144320786970533589*c_1001_0^4 + 25182731856177466507725676/820668432962360911600767*c_1001_0^3 - 1543654779717020034956820/273556144320786970533589*c_1001_0^2 - 2155714727294935516194925/820668432962360911600767*c_1001_0 + 582862470105952489939946/820668432962360911600767, c_0110_9 - 760498356717125454784048/820668432962360911600767*c_1001_0^1\ 9 + 598968062574787489051733/273556144320786970533589*c_1001_0^18 - 10487774339662128865145245/820668432962360911600767*c_1001_0^17 - 18373608349044805837875211/820668432962360911600767*c_1001_0^16 + 85707732108445580272443239/820668432962360911600767*c_1001_0^15 + 54478463735536295139351982/820668432962360911600767*c_1001_0^14 - 230905359505802263680477574/820668432962360911600767*c_1001_0^13 - 72116859055304043477407828/820668432962360911600767*c_1001_0^12 + 271138642574749131759465565/820668432962360911600767*c_1001_0^11 + 79355024958345773154335578/820668432962360911600767*c_1001_0^10 - 128426166206854354860359090/820668432962360911600767*c_1001_0^9 - 57891968683487815605359838/273556144320786970533589*c_1001_0^8 - 70350347731254154814863315/820668432962360911600767*c_1001_0^7 + 196036792349475088259980288/820668432962360911600767*c_1001_0^6 + 66907091329643517802549994/820668432962360911600767*c_1001_0^5 - 42572834911960494308218913/273556144320786970533589*c_1001_0^4 - 29491816242411386016971819/820668432962360911600767*c_1001_0^3 + 7904147834629681407941811/273556144320786970533589*c_1001_0^2 - 2837710967648958349539787/820668432962360911600767*c_1001_0 - 2640391356967951176462292/820668432962360911600767, c_1001_0^20 - 2*c_1001_0^19 + 13*c_1001_0^18 + 29*c_1001_0^17 - 103*c_1001_0^16 - 111*c_1001_0^15 + 270*c_1001_0^14 + 201*c_1001_0^13 - 302*c_1001_0^12 - 230*c_1001_0^11 + 109*c_1001_0^10 + 287*c_1001_0^9 + 184*c_1001_0^8 - 213*c_1001_0^7 - 177*c_1001_0^6 + 121*c_1001_0^5 + 98*c_1001_0^4 - 7*c_1001_0^3 - 8*c_1001_0^2 + 2*c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 10.720 Total time: 10.929 seconds, Total memory usage: 81.81MB