Magma V2.19-8 Wed Aug 21 2013 00:52:17 on localhost [Seed = 3120540701] Type ? for help. Type -D to quit. Loading file "L12a1283__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1283 geometric_solution 12.13176031 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 0 1 1 0 1 0 -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 1 -1 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.738441453351 0.583825739935 0 0 3 4 0132 1302 3120 0132 0 0 1 1 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.166684092847 0.658835272431 5 0 6 4 0132 0132 0132 3120 1 0 1 1 0 -1 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 0 -1 1 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.852172532788 0.832469480278 7 4 1 0 0132 3120 3120 0132 1 0 1 0 0 0 0 0 -1 0 0 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 -1 1 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.472408699120 0.767685967027 2 3 1 7 3120 3120 0132 2103 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143262413321 1.112250232393 2 6 8 9 0132 3120 0132 0132 1 0 1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.844395048545 0.554915525354 8 5 7 2 0132 3120 3120 0132 1 0 1 1 0 0 1 -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 1 0 -1 1 0 -1 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.413224979658 0.620901350582 3 10 6 4 0132 0132 3120 2103 1 0 0 1 0 -1 0 1 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 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 0 0.399541675266 0.586575147974 6 10 9 5 0132 0321 2103 0132 1 0 1 1 0 1 -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 0 0 0 0 -1 0 1 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.638539202214 0.549522145611 8 11 5 12 2103 0132 0132 0132 1 0 1 1 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 -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.676714622327 1.129436476758 12 7 12 8 0321 0132 2031 0321 1 1 1 0 0 1 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 0 0 0 0 0 0 0 0 0 -1 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.676714622327 1.129436476758 11 9 11 12 2310 0132 3201 2031 1 1 1 1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480682988819 0.574527976176 10 11 9 10 0321 1302 0132 1302 1 0 1 1 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 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.609640889701 0.651509223622 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : negation(d['c_1001_5']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_5'], 's_3_11' : d['1'], 's_0_11' : 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_11'], '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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_0']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_5'], 'c_1100_8' : d['c_0101_10'], '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' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_11']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : negation(d['c_0101_10']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0101_8' : d['c_0101_2'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_5'], '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_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2']})} 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_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 157987747214285533092622001567311261507/168350779120656738595112151\ 93079761600*c_1001_5^21 - 1773865092653149580908406325598657861/226\ 27792892561389596117224721881400*c_1001_5^20 - 1222716875777113426036562603178734079433/42087694780164184648778037\ 98269940400*c_1001_5^19 - 1759042391758364816676320577442594837871/\ 2405011130295096265644459313297108800*c_1001_5^18 - 502777225629322070257263036840609330809/271533514710736675153406696\ 662576800*c_1001_5^17 - 4727277951453611482218513455947055240929/93\ 5282106225870769972845288504431200*c_1001_5^16 - 2361649308916193812268103641942287051117/19350664266742153861507143\ 9000916800*c_1001_5^15 - 20403132633212555799722813903366728376549/\ 801670376765032088548153104432369600*c_1001_5^14 - 278709187547251309202297877663365118867169/561169263735522461983707\ 1731026587200*c_1001_5^13 - 104762894333036050591849421486855585364\ 31/116910263278233846246605661063053900*c_1001_5^12 - 579296641639228575202485688891692963379847/420876947801641846487780\ 3798269940400*c_1001_5^11 - 496385767222338470157984048562525181149\ 687/2805846318677612309918535865513293600*c_1001_5^10 - 1956473306542759309420022147632772666701/92602188735234729700281711\ 73311200*c_1001_5^9 - 4539105286925877331633848396166591410611249/1\ 6835077912065673859511215193079761600*c_1001_5^8 - 2967708820171225846852589712103782456006767/84175389560328369297556\ 07596539880800*c_1001_5^7 - 333989890457515752262429566829678744345\ 3/8334196986171125673025354055980080*c_1001_5^6 - 851611771645997115862155615580882697047013/240501113029509626564445\ 9313297108800*c_1001_5^5 - 1202967531071518140282939596434231884385\ 9/52609618475205230810972547478374255*c_1001_5^4 - 863377172121799414770059986434354378372779/841753895603283692975560\ 7596539880800*c_1001_5^3 - 1239110824999373961870608455220647100223\ 71/4208769478016418464877803798269940400*c_1001_5^2 - 3158269060828011182184851828909178904243/67340311648262695438044860\ 7723190464*c_1001_5 - 1252098907471544936521159164710353917413/4208\ 769478016418464877803798269940400, c_0011_0 - 1, c_0011_10 - 208108365650035990430964234349/1710631565306060277714563640\ 390*c_1001_5^21 - 3367137813508097982953168499/36787775597979790918\ 59276646*c_1001_5^20 - 5084616078381188234440567424521/171063156530\ 6060277714563640390*c_1001_5^19 - 1152866657349262894631150404949/1\ 71063156530606027771456364039*c_1001_5^18 - 481721603505502711586815902248/27590831698484843188944574845*c_1001\ _5^17 - 13922027928611061243710362209067/28510526088434337961909394\ 0065*c_1001_5^16 - 63943759814999612871508432078429/570210521768686\ 759238187880130*c_1001_5^15 - 63093087511643842949927427316142/2851\ 05260884343379619093940065*c_1001_5^14 - 241525353014843965116289206197591/570210521768686759238187880130*c_\ 1001_5^13 - 84080247130287688674773695860597/1140421043537373518476\ 37576026*c_1001_5^12 - 1767279456753460582769615261761187/171063156\ 5306060277714563640390*c_1001_5^11 - 678488282349814217043176548736653/570210521768686759238187880130*c_\ 1001_5^10 - 159415986997304576032760333240489/114042104353737351847\ 637576026*c_1001_5^9 - 1645029610712440543179019325835004/855315782\ 653030138857281820195*c_1001_5^8 - 2137728777347649048682816623315761/855315782653030138857281820195*c\ _1001_5^7 - 423415213047040328249394842818837/171063156530606027771\ 456364039*c_1001_5^6 - 2874723578749274819083397478679499/171063156\ 5306060277714563640390*c_1001_5^5 - 237585753175483693624315345389469/342126313061212055542912728078*c_\ 1001_5^4 - 47338974965393121196769886858215/34212631306121205554291\ 2728078*c_1001_5^3 - 12800973911170408162024245934589/1710631565306\ 060277714563640390*c_1001_5^2 - 9164430699507876132116781761903/855\ 315782653030138857281820195*c_1001_5 - 610279159702132268213542419338/171063156530606027771456364039, c_0011_11 - 75159057090974422154151819268/85531578265303013885728182019\ 5*c_1001_5^21 - 1242232581135200804265234376/1839388779898989545929\ 638323*c_1001_5^20 - 1920769119348737375368148678962/85531578265303\ 0138857281820195*c_1001_5^19 - 884453537179087348857207102790/17106\ 3156530606027771456364039*c_1001_5^18 - 366777738305970514255143525157/27590831698484843188944574845*c_1001\ _5^17 - 10571665077956312894383102302043/28510526088434337961909394\ 0065*c_1001_5^16 - 24515525929052351550922029708953/285105260884343\ 379619093940065*c_1001_5^15 - 48779170790177499808159272049383/2851\ 05260884343379619093940065*c_1001_5^14 - 93538050330460341248054135565917/285105260884343379619093940065*c_1\ 001_5^13 - 32768107591430130468361844924548/57021052176868675923818\ 788013*c_1001_5^12 - 699826988721643496754060866636219/855315782653\ 030138857281820195*c_1001_5^11 - 273210346923750547621815473444916/\ 285105260884343379619093940065*c_1001_5^10 - 63971431154896203574283693855892/57021052176868675923818788013*c_10\ 01_5^9 - 1301119755340564945800098774452481/85531578265303013885728\ 1820195*c_1001_5^8 - 1700837940570074854595337553024294/85531578265\ 3030138857281820195*c_1001_5^7 - 346336673782537707654565032942098/\ 171063156530606027771456364039*c_1001_5^6 - 1232655251604914528801670700159223/855315782653030138857281820195*c\ _1001_5^5 - 110166951421161098665819528386346/171063156530606027771\ 456364039*c_1001_5^4 - 25412029436161999868360646556004/17106315653\ 0606027771456364039*c_1001_5^3 - 8113739461659331487730569778908/85\ 5315782653030138857281820195*c_1001_5^2 - 7165129818076644095082287515972/855315782653030138857281820195*c_10\ 01_5 - 784443947494022917988628171499/17106315653060602777145636403\ 9, c_0011_12 + 193538718547618976886158971501/5131894695918180833143690921\ 170*c_1001_5^21 + 8152335926742016676235871147/27590831698484843188\ 944574845*c_1001_5^20 + 2565715112367487914790690783817/25659473479\ 59090416571845460585*c_1001_5^19 + 11883442345574032451393221027793/5131894695918180833143690921170*c_\ 1001_5^18 + 488858687025574582599102695912/827724950954545295668337\ 24535*c_1001_5^17 + 4702853383859527527534265270762/285105260884343\ 379619093940065*c_1001_5^16 + 65886005505865887216826079208743/1710\ 631565306060277714563640390*c_1001_5^15 + 131365604804130808061543787910103/1710631565306060277714563640390*c\ _1001_5^14 + 251849116842988105289662179783631/17106315653060602777\ 14563640390*c_1001_5^13 + 73857006891166973837641150026148/28510526\ 0884343379619093940065*c_1001_5^12 + 953048295845926517393616667790704/2565947347959090416571845460585*c\ _1001_5^11 + 373218996149824392740333601982492/85531578265303013885\ 7281820195*c_1001_5^10 + 145077470737693710859013748512389/28510526\ 0884343379619093940065*c_1001_5^9 + 3533277290588580966672639965483837/5131894695918180833143690921170*\ c_1001_5^8 + 2320676479818262772920906027947686/2565947347959090416\ 571845460585*c_1001_5^7 + 2381398675715619772431627633739598/256594\ 7347959090416571845460585*c_1001_5^6 + 3426019213145443440127541340879971/5131894695918180833143690921170*\ c_1001_5^5 + 778307191383952345358781046143106/25659473479590904165\ 71845460585*c_1001_5^4 + 36919649529254186704616917801453/513189469\ 591818083314369092117*c_1001_5^3 + 13367640562140440570817124241608/2565947347959090416571845460585*c_\ 1001_5^2 + 18812456261500862449364753677411/51318946959181808331436\ 90921170*c_1001_5 + 6898112277684400228887845647009/256594734795909\ 0416571845460585, c_0011_4 - 279932053701711037002608545333/10263789391836361666287381842\ 340*c_1001_5^21 - 5519578597251065193600309317/27590831698484843188\ 944574845*c_1001_5^20 - 1633153791558765150909830039293/25659473479\ 59090416571845460585*c_1001_5^19 - 14886838086755700355294477405511/10263789391836361666287381842340*c\ _1001_5^18 - 633139985353287350448209749511/16554499019090905913366\ 7449070*c_1001_5^17 - 1209764354653271289696201382837/1140421043537\ 37351847637576026*c_1001_5^16 - 82624998218839642347716847544907/34\ 21263130612120555429127280780*c_1001_5^15 - 164215576261071478950854270429177/3421263130612120555429127280780*c\ _1001_5^14 - 316173489257253319509521595872431/34212631306121205554\ 29127280780*c_1001_5^13 - 45648668858770941258908934512913/28510526\ 0884343379619093940065*c_1001_5^12 - 577272487982102216536884149755061/2565947347959090416571845460585*c\ _1001_5^11 - 90619802198611421145525616022387/342126313061212055542\ 912728078*c_1001_5^10 - 180181668765240565902499653863993/570210521\ 768686759238187880130*c_1001_5^9 - 4384401058900953357537975680471831/10263789391836361666287381842340\ *c_1001_5^8 - 2814357763948072240375190674139861/513189469591818083\ 3143690921170*c_1001_5^7 - 1420839431814884180220500333683288/25659\ 47347959090416571845460585*c_1001_5^6 - 4091399330468777047012402364971373/10263789391836361666287381842340\ *c_1001_5^5 - 482294836330815341362742802881096/2565947347959090416\ 571845460585*c_1001_5^4 - 55608620017327885852704685649143/10263789\ 39183636166628738184234*c_1001_5^3 - 23517789733842048423679805561267/2565947347959090416571845460585*c_\ 1001_5^2 - 47217284127136468730021881566361/10263789391836361666287\ 381842340*c_1001_5 - 2223930676788349364821917648254/25659473479590\ 90416571845460585, c_0101_0 - 1, c_0101_1 + 1528582247601926979588393951427/1026378939183636166628738184\ 2340*c_1001_5^21 + 61546224397123600131498146119/551816633969696863\ 77889149690*c_1001_5^20 + 18520155818261095005141362352149/51318946\ 95918180833143690921170*c_1001_5^19 + 84058837527711474033163501702451/10263789391836361666287381842340*c\ _1001_5^18 + 3523469606386303619969105162999/1655449901909090591336\ 67449070*c_1001_5^17 + 33892877630488478935901731332319/57021052176\ 8686759238187880130*c_1001_5^16 + 466287557108837319576767440015481\ /3421263130612120555429127280780*c_1001_5^15 + 921332626400797594349983398222881/3421263130612120555429127280780*c\ _1001_5^14 + 1765325607346317110207256833057977/3421263130612120555\ 429127280780*c_1001_5^13 + 511698573368980325891686348328811/570210\ 521768686759238187880130*c_1001_5^12 + 6456383346224586181382614084793683/5131894695918180833143690921170*\ c_1001_5^11 + 1244281929021249878428578863160947/855315782653030138\ 857281820195*c_1001_5^10 + 488630801875881723033150660033219/285105\ 260884343379619093940065*c_1001_5^9 + 24124756387450239875686207590491879/1026378939183636166628738184234\ 0*c_1001_5^8 + 15640730428033966532472090414034427/5131894695918180\ 833143690921170*c_1001_5^7 + 7772067627520489103961422975965843/256\ 5947347959090416571845460585*c_1001_5^6 + 21339740802964425961512787237048367/1026378939183636166628738184234\ 0*c_1001_5^5 + 4528375970293886087090215786604227/51318946959181808\ 33143690921170*c_1001_5^4 + 98812772456753624721507173111894/513189\ 469591818083314369092117*c_1001_5^3 + 85438501201195321333432348926301/5131894695918180833143690921170*c_\ 1001_5^2 + 157190452521230982315423262709197/1026378939183636166628\ 7381842340*c_1001_5 + 11378118072320333388025053938324/256594734795\ 9090416571845460585, c_0101_10 + 188796058768949638965559531561/1026378939183636166628738184\ 234*c_1001_5^21 + 77829310330309603070602212079/5518166339696968637\ 7889149690*c_1001_5^20 + 4797521169328296599641875886903/1026378939\ 183636166628738184234*c_1001_5^19 + 27504136587468543543730348546664/2565947347959090416571845460585*c_\ 1001_5^18 + 456184584183677400606739855859/165544990190909059133667\ 44907*c_1001_5^17 + 21946204297642302376688276683216/28510526088434\ 3379619093940065*c_1001_5^16 + 304963526864575949236262238104227/17\ 10631565306060277714563640390*c_1001_5^15 + 302622385760154408223580495964191/855315782653030138857281820195*c_\ 1001_5^14 + 1159381032898038525913202314295177/17106315653060602777\ 14563640390*c_1001_5^13 + 676297106184995362111608635885581/5702105\ 21768686759238187880130*c_1001_5^12 + 1726822696230393481000762624183403/1026378939183636166628738184234*\ c_1001_5^11 + 3351294149635620117906781479819457/171063156530606027\ 7714563640390*c_1001_5^10 + 1306788759254070415673023605207093/5702\ 10521768686759238187880130*c_1001_5^9 + 1603050876070888273566194928776209/513189469591818083314369092117*c\ _1001_5^8 + 10479329595651791718318520615763752/2565947347959090416\ 571845460585*c_1001_5^7 + 10583699262291330668711121091141123/25659\ 47347959090416571845460585*c_1001_5^6 + 2966142327726316609402970914965569/1026378939183636166628738184234*\ c_1001_5^5 + 6453175821642483717241274586675007/5131894695918180833\ 143690921170*c_1001_5^4 + 284877702065033269290655958961859/1026378\ 939183636166628738184234*c_1001_5^3 + 20638122421988962509679773990893/1026378939183636166628738184234*c_\ 1001_5^2 + 47561358266859092595298082540446/25659473479590904165718\ 45460585*c_1001_5 + 20281708822779952163172674836589/25659473479590\ 90416571845460585, c_0101_11 - 707256711887596376916762626477/1026378939183636166628738184\ 2340*c_1001_5^21 - 14506269606428980666659314179/275908316984848431\ 88944574845*c_1001_5^20 - 4470390323122304527952312062667/256594734\ 7959090416571845460585*c_1001_5^19 - 41247526751288299574378116177747/10263789391836361666287381842340*c\ _1001_5^18 - 1713429884647174462773107186749/1655449901909090591336\ 67449070*c_1001_5^17 - 16425056263641006792867838517821/57021052176\ 8686759238187880130*c_1001_5^16 - 45677367904184393605970068464287/\ 684252626122424111085825456156*c_1001_5^15 - 90993509052934050716377392614993/684252626122424111085825456156*c_1\ 001_5^14 - 872175935669894505317019337309451/3421263130612120555429\ 127280780*c_1001_5^13 - 127151404117914504762200434991891/285105260\ 884343379619093940065*c_1001_5^12 - 1630004510492552047621535667884194/2565947347959090416571845460585*\ c_1001_5^11 - 1274491184580573132902287971432611/171063156530606027\ 7714563640390*c_1001_5^10 - 496959922277811284842233048308621/57021\ 0521768686759238187880130*c_1001_5^9 - 12106861939166516602132513829022259/1026378939183636166628738184234\ 0*c_1001_5^8 - 7918932736078550773546431288566581/51318946959181808\ 33143690921170*c_1001_5^7 - 4037498693276684916371905157246486/2565\ 947347959090416571845460585*c_1001_5^6 - 11487731660616071410946010019442617/1026378939183636166628738184234\ 0*c_1001_5^5 - 1278016284350038417778520910159777/25659473479590904\ 16571845460585*c_1001_5^4 - 116680219032023104185035055647795/10263\ 78939183636166628738184234*c_1001_5^3 - 18225922032501168281690498171128/2565947347959090416571845460585*c_\ 1001_5^2 - 68179477971466073436417972482381/10263789391836361666287\ 381842340*c_1001_5 - 8671296241910871891990343363528/25659473479590\ 90416571845460585, c_0101_2 + 208108365650035990430964234349/17106315653060602777145636403\ 90*c_1001_5^21 + 3367137813508097982953168499/367877755979797909185\ 9276646*c_1001_5^20 + 5084616078381188234440567424521/1710631565306\ 060277714563640390*c_1001_5^19 + 1152866657349262894631150404949/17\ 1063156530606027771456364039*c_1001_5^18 + 481721603505502711586815902248/27590831698484843188944574845*c_1001\ _5^17 + 13922027928611061243710362209067/28510526088434337961909394\ 0065*c_1001_5^16 + 63943759814999612871508432078429/570210521768686\ 759238187880130*c_1001_5^15 + 63093087511643842949927427316142/2851\ 05260884343379619093940065*c_1001_5^14 + 241525353014843965116289206197591/570210521768686759238187880130*c_\ 1001_5^13 + 84080247130287688674773695860597/1140421043537373518476\ 37576026*c_1001_5^12 + 1767279456753460582769615261761187/171063156\ 5306060277714563640390*c_1001_5^11 + 678488282349814217043176548736653/570210521768686759238187880130*c_\ 1001_5^10 + 159415986997304576032760333240489/114042104353737351847\ 637576026*c_1001_5^9 + 1645029610712440543179019325835004/855315782\ 653030138857281820195*c_1001_5^8 + 2137728777347649048682816623315761/855315782653030138857281820195*c\ _1001_5^7 + 423415213047040328249394842818837/171063156530606027771\ 456364039*c_1001_5^6 + 2874723578749274819083397478679499/171063156\ 5306060277714563640390*c_1001_5^5 + 237585753175483693624315345389469/342126313061212055542912728078*c_\ 1001_5^4 + 47338974965393121196769886858215/34212631306121205554291\ 2728078*c_1001_5^3 + 12800973911170408162024245934589/1710631565306\ 060277714563640390*c_1001_5^2 + 9164430699507876132116781761903/855\ 315782653030138857281820195*c_1001_5 + 610279159702132268213542419338/171063156530606027771456364039, c_0101_3 + 2269057547711330916033546190619/1026378939183636166628738184\ 2340*c_1001_5^21 + 189746532962786180069920224163/11036332679393937\ 2755778299380*c_1001_5^20 + 59134352990376863509947349316021/102637\ 89391836361666287381842340*c_1001_5^19 + 33999774941932146899525124886309/2565947347959090416571845460585*c_\ 1001_5^18 + 2806302669271872553642090725419/82772495095454529566833\ 724535*c_1001_5^17 + 54062691019611162773805349358821/5702105217686\ 86759238187880130*c_1001_5^16 + 754281564488011150856827232970103/3\ 421263130612120555429127280780*c_1001_5^15 + 749448565930471356999064868590109/1710631565306060277714563640390*c\ _1001_5^14 + 574304625332137708091875107749521/68425262612242411108\ 5825456156*c_1001_5^13 + 1679606421705561220583240289012507/1140421\ 043537373518476375760260*c_1001_5^12 + 21533471736838772073738239406277717/1026378939183636166628738184234\ 0*c_1001_5^11 + 8375530455461387227952418794131927/3421263130612120\ 555429127280780*c_1001_5^10 + 3257241712784361950110697637207381/11\ 40421043537373518476375760260*c_1001_5^9 + 9971691293744834760607769850091897/2565947347959090416571845460585*\ c_1001_5^8 + 2615941578913712184133826265253783/5131894695918180833\ 14369092117*c_1001_5^7 + 13282763950445110462914457404013193/256594\ 7347959090416571845460585*c_1001_5^6 + 37469131139841067487475304732824079/1026378939183636166628738184234\ 0*c_1001_5^5 + 16418503735463936654936271681141259/1026378939183636\ 1666287381842340*c_1001_5^4 + 731006829692432011899115459328719/205\ 2757878367272333257476368468*c_1001_5^3 + 246968028961818897586173356467969/10263789391836361666287381842340*\ c_1001_5^2 + 23068064089366328463072889674161/102637893918363616662\ 8738184234*c_1001_5 + 27083272234538295581718747839569/256594734795\ 9090416571845460585, c_0101_5 - 245491122152343030504815269886/25659473479590904165718454605\ 85*c_1001_5^21 - 8050728950179513106793904183/110363326793939372755\ 77829938*c_1001_5^20 - 12375211999914323067270680523313/51318946959\ 18180833143690921170*c_1001_5^19 - 5683698115013776643207444545531/1026378939183636166628738184234*c_1\ 001_5^18 - 1179766636244149487774474480894/827724950954545295668337\ 24535*c_1001_5^17 - 11335075304441397316723914703287/28510526088434\ 3379619093940065*c_1001_5^16 - 78722139219717065950404860353141/855\ 315782653030138857281820195*c_1001_5^15 - 312685261434205579058663481438527/1710631565306060277714563640390*c\ _1001_5^14 - 299453429816075454609274172461874/85531578265303013885\ 7281820195*c_1001_5^13 - 69831034636090093813833336869127/114042104\ 353737351847637576026*c_1001_5^12 - 4459091145241522643231066188213421/5131894695918180833143690921170*\ c_1001_5^11 - 1732796961840164269683811728841919/171063156530606027\ 7714563640390*c_1001_5^10 - 135192632353880022019745366111787/11404\ 2104353737351847637576026*c_1001_5^9 - 8284153406036026498355841387174509/5131894695918180833143690921170*\ c_1001_5^8 - 5412989700579991022956278411954053/2565947347959090416\ 571845460585*c_1001_5^7 - 1094324763916132541088142749879421/513189\ 469591818083314369092117*c_1001_5^6 - 3841888865052070350060085471905376/2565947347959090416571845460585*\ c_1001_5^5 - 673011439876748685792308590700917/10263789391836361666\ 28738184234*c_1001_5^4 - 150567467819460726230818381494107/10263789\ 39183636166628738184234*c_1001_5^3 - 57281235209398416416059858229237/5131894695918180833143690921170*c_\ 1001_5^2 - 47952788838645100221218326528843/51318946959181808331436\ 90921170*c_1001_5 - 2378542610657052799846197454277/513189469591818\ 083314369092117, c_1001_5^22 + 8*c_1001_5^21 + 28*c_1001_5^20 + 67*c_1001_5^19 + 170*c_1001_5^18 + 470*c_1001_5^17 + 1113*c_1001_5^16 + 2259*c_1001_5^15 + 4353*c_1001_5^14 + 7728*c_1001_5^13 + 11396*c_1001_5^12 + 13870*c_1001_5^11 + 16230*c_1001_5^10 + 21371*c_1001_5^9 + 28154*c_1001_5^8 + 30252*c_1001_5^7 + 23713*c_1001_5^6 + 12528*c_1001_5^5 + 4034*c_1001_5^4 + 676*c_1001_5^3 + 137*c_1001_5^2 + 76*c_1001_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB