Magma V2.19-8 Wed Aug 21 2013 00:33:03 on localhost [Seed = 947792114] Type ? for help. Type -D to quit. Loading file "K14n19763__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n19763 geometric_solution 12.14830939 oriented_manifold CS_known 0.0000000000000001 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282487609603 0.300540266711 0 5 7 6 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 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.219031116498 0.717715536114 4 0 5 8 1023 0132 2031 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 -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.620304929941 0.893341630749 9 10 10 0 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 -1 -17 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443562268736 1.136566607803 11 2 0 12 0132 1023 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 0.992272473839 1.574664870425 9 1 9 2 3201 0132 0213 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.892380431535 0.949744850447 11 7 1 8 2310 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460831571681 1.053273903622 11 6 10 1 3120 2103 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 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.187464105463 1.064080850447 12 10 2 6 3201 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720648824378 0.925587632017 3 5 11 5 0132 0213 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.892380431535 0.949744850447 3 3 8 7 2031 0132 0213 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 -18 17 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702013443487 0.763549096887 4 9 6 7 0132 3201 3201 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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.782582121247 0.520379981391 12 12 4 8 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.303604318870 0.681433399756 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : d['c_0011_6'], 's_0_10' : 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' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0011_8'], '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_0'], 'c_1100_8' : negation(d['c_1001_1']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : d['c_1010_8'], 'c_1100_6' : d['c_1010_8'], 'c_1100_1' : d['c_1010_8'], 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : negation(d['c_1001_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : d['c_1010_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : d['c_1001_1'], '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_0011_7'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : d['c_1010_8'], '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_0011_8'], '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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : negation(d['c_0101_8']), 'c_0101_12' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], '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_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_8, c_1001_0, c_1001_1, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 8393045711033415455924191444009153021897312/15655306534823632684871\ 292500278516157*c_1010_8^17 - 1629202783274701408961150755056435454\ 20214144/15655306534823632684871292500278516157*c_1010_8^16 + 1196820840078130108891175399273679001840679376/15655306534823632684\ 871292500278516157*c_1010_8^15 - 4653303445703768903582772320651089\ 202466116548/15655306534823632684871292500278516157*c_1010_8^14 + 10515130074995933768473419590459751969691170630/1565530653482363268\ 4871292500278516157*c_1010_8^13 - 128333161361334781671595947352532\ 56870544482357/15655306534823632684871292500278516157*c_1010_8^12 + 1968729645907981014642488544847333041623576451/15655306534823632684\ 871292500278516157*c_1010_8^11 + 2319625018950445805060877093376322\ 5830913748501/15655306534823632684871292500278516157*c_1010_8^10 - 48475486987243907663589170011211041443802952669/1565530653482363268\ 4871292500278516157*c_1010_8^9 + 5550734071878236795359694417103663\ 3428373670338/15655306534823632684871292500278516157*c_1010_8^8 - 40258603797256974637694848110099866892413779367/1565530653482363268\ 4871292500278516157*c_1010_8^7 + 1698775538070262001948254562159449\ 0903732233072/15655306534823632684871292500278516157*c_1010_8^6 - 1541498427520293216279539949216605485198668111/15655306534823632684\ 871292500278516157*c_1010_8^5 - 67842801254067753674590904787282068\ 23215431/36323217018152280011302302784868947*c_1010_8^4 + 70156486068416227431464975621966341499193455/5398381563732287132714\ 23879319948833*c_1010_8^3 - 676846933604084834937849324852140391233\ 561143/15655306534823632684871292500278516157*c_1010_8^2 + 121104489479504159896026256527998990219460019/156553065348236326848\ 71292500278516157*c_1010_8 - 93834249024082360649083188328108161974\ 44226/15655306534823632684871292500278516157, c_0011_0 - 1, c_0011_10 + 83116662962083166108176/156753815152624402577*c_1010_8^17 - 1541235523538033664215032/156753815152624402577*c_1010_8^16 + 10536691132934763127537588/156753815152624402577*c_1010_8^15 - 37346451936234930076524176/156753815152624402577*c_1010_8^14 + 74431935590403528922663367/156753815152624402577*c_1010_8^13 - 71649537231103830028002552/156753815152624402577*c_1010_8^12 - 25797284409388584369117059/156753815152624402577*c_1010_8^11 + 193956698459266716789507394/156753815152624402577*c_1010_8^10 - 323397986193844962493268453/156753815152624402577*c_1010_8^9 + 317162806925683986025839835/156753815152624402577*c_1010_8^8 - 193681595010677918393548357/156753815152624402577*c_1010_8^7 + 61170507828677628263709654/156753815152624402577*c_1010_8^6 + 6526672455699892903269736/156753815152624402577*c_1010_8^5 - 17185215815082621545608757/156753815152624402577*c_1010_8^4 + 302368967229084001878100/5405303970780151813*c_1010_8^3 - 2388659350727316586280155/156753815152624402577*c_1010_8^2 + 354563782464823174530361/156753815152624402577*c_1010_8 - 22561712547355667761783/156753815152624402577, c_0011_12 - 221559568824751521014864/156753815152624402577*c_1010_8^17 + 4123193058704549365213192/156753815152624402577*c_1010_8^16 - 28357487601894621831837052/156753815152624402577*c_1010_8^15 + 101353747475278461436200652/156753815152624402577*c_1010_8^14 - 204557715260086341115769791/156753815152624402577*c_1010_8^13 + 202525702859128033669344047/156753815152624402577*c_1010_8^12 + 59259902734746240514333393/156753815152624402577*c_1010_8^11 - 524355832305973789200432310/156753815152624402577*c_1010_8^10 + 894668432591300440463953743/156753815152624402577*c_1010_8^9 - 893941757219986819409364618/156753815152624402577*c_1010_8^8 + 559016328996819798014238869/156753815152624402577*c_1010_8^7 - 185228956129942653423234737/156753815152624402577*c_1010_8^6 - 13079266404723360769741889/156753815152624402577*c_1010_8^5 + 48386646587199236101163242/156753815152624402577*c_1010_8^4 - 887878113538926456906104/5405303970780151813*c_1010_8^3 + 7236227093057409888102966/156753815152624402577*c_1010_8^2 - 1105704812395163687830753/156753815152624402577*c_1010_8 + 71994356607681880329857/156753815152624402577, c_0011_6 + 47012089854524943246968/156753815152624402577*c_1010_8^17 - 878613848957231334032200/156753815152624402577*c_1010_8^16 + 6084925822172144926476654/156753815152624402577*c_1010_8^15 - 21955580437402236109428733/156753815152624402577*c_1010_8^14 + 44929088352081743538840777/156753815152624402577*c_1010_8^13 - 45806707878340386798072946/156753815152624402577*c_1010_8^12 - 10286968642573804743919734/156753815152624402577*c_1010_8^11 + 113142930099466797677974345/156753815152624402577*c_1010_8^10 - 197877878191396910572772679/156753815152624402577*c_1010_8^9 + 201532163216995479683934660/156753815152624402577*c_1010_8^8 - 128991809898990772545683948/156753815152624402577*c_1010_8^7 + 44668217230290204110317011/156753815152624402577*c_1010_8^6 + 1715763569110868360006168/156753815152624402577*c_1010_8^5 - 10873346248354559664483955/156753815152624402577*c_1010_8^4 + 208067214399789176634713/5405303970780151813*c_1010_8^3 - 1748625082195988255657921/156753815152624402577*c_1010_8^2 + 275627349912364322194926/156753815152624402577*c_1010_8 - 18591626627624626729651/156753815152624402577, c_0011_7 - 27729978464377504411272/156753815152624402577*c_1010_8^17 + 509554853475319740245992/156753815152624402577*c_1010_8^16 - 3430940804293938929236458/156753815152624402577*c_1010_8^15 + 11902107227206098725504983/156753815152624402577*c_1010_8^14 - 22948316773168277609933379/156753815152624402577*c_1010_8^13 + 20417777136681148537629807/156753815152624402577*c_1010_8^12 + 11399582695952369355595767/156753815152624402577*c_1010_8^11 - 62369612724568225027254044/156753815152624402577*c_1010_8^10 + 98005820329144886336623942/156753815152624402577*c_1010_8^9 - 91263689629664040175173942/156753815152624402577*c_1010_8^8 + 51864563416915919487024927/156753815152624402577*c_1010_8^7 - 13769879569449884934077364/156753815152624402577*c_1010_8^6 - 3544890413698750892634751/156753815152624402577*c_1010_8^5 + 5025123383769573155850285/156753815152624402577*c_1010_8^4 - 76861686565649567521751/5405303970780151813*c_1010_8^3 + 528837418053904241003055/156753815152624402577*c_1010_8^2 - 64055306676234661023032/156753815152624402577*c_1010_8 + 2657767163947154528750/156753815152624402577, c_0011_8 + 27371733187286084053088/156753815152624402577*c_1010_8^17 - 491365475167601177568544/156753815152624402577*c_1010_8^16 + 3173871534598794305018064/156753815152624402577*c_1010_8^15 - 10323309589600662637238412/156753815152624402577*c_1010_8^14 + 17757755746592469526604658/156753815152624402577*c_1010_8^13 - 10912972130849925204961501/156753815152624402577*c_1010_8^12 - 18939919732818123023257279/156753815152624402577*c_1010_8^11 + 55745754455649821897740884/156753815152624402577*c_1010_8^10 - 70578671097060587405854705/156753815152624402577*c_1010_8^9 + 51169812285456533788694977/156753815152624402577*c_1010_8^8 - 17015857315943078745740227/156753815152624402577*c_1010_8^7 - 3937240406457308191701298/156753815152624402577*c_1010_8^6 + 6710999780356901704080591/156753815152624402577*c_1010_8^5 - 2806723386458300962515778/156753815152624402577*c_1010_8^4 + 10765582196576746129266/5405303970780151813*c_1010_8^3 + 148672646231321564412225/156753815152624402577*c_1010_8^2 - 56548384667877924308044/156753815152624402577*c_1010_8 + 5834267112739596852345/156753815152624402577, c_0101_0 - 74742068318902447658240/156753815152624402577*c_1010_8^17 + 1388168702432551074278192/156753815152624402577*c_1010_8^16 - 9515866626466083855713112/156753815152624402577*c_1010_8^15 + 33857687664608334834933716/156753815152624402577*c_1010_8^14 - 67877405125250021148774156/156753815152624402577*c_1010_8^13 + 66224485015021535335702753/156753815152624402577*c_1010_8^12 + 21686551338526174099515501/156753815152624402577*c_1010_8^11 - 175512542824035022705228389/156753815152624402577*c_1010_8^10 + 295883698520541796909396621/156753815152624402577*c_1010_8^9 - 292795852846659519859108602/156753815152624402577*c_1010_8^8 + 180856373315906692032708875/156753815152624402577*c_1010_8^7 - 58438096799740089044394375/156753815152624402577*c_1010_8^6 - 5260653982809619252640919/156753815152624402577*c_1010_8^5 + 15898469632124132820334240/156753815152624402577*c_1010_8^4 - 284928900965438744156464/5405303970780151813*c_1010_8^3 + 2277462500249892496660976/156753815152624402577*c_1010_8^2 - 339839410403751607620535/156753815152624402577*c_1010_8 + 21406147606724405660978/156753815152624402577, c_0101_1 + 103190224232426555717272/156753815152624402577*c_1010_8^17 - 1921750863386055789726040/156753815152624402577*c_1010_8^16 + 13232879596019985747455278/156753815152624402577*c_1010_8^15 - 47375576842237020461236405/156753815152624402577*c_1010_8^14 + 95856655117863710777366233/156753815152624402577*c_1010_8^13 - 95430629307928156320093725/156753815152624402577*c_1010_8^12 - 26670630845642441860081004/156753815152624402577*c_1010_8^11 + 244881466138862774494345454/156753815152624402577*c_1010_8^10 - 419783499260978280159743869/156753815152624402577*c_1010_8^9 + 421014820999094658931213552/156753815152624402577*c_1010_8^8 - 264525533464341019879342841/156753815152624402577*c_1010_8^7 + 88480215013270241940731783/156753815152624402577*c_1010_8^6 + 5622348730639512526264065/156753815152624402577*c_1010_8^5 - 22767345532665465736515534/156753815152624402577*c_1010_8^4 + 421541468897140467955418/5405303970780151813*c_1010_8^3 - 3459454961199423985690796/156753815152624402577*c_1010_8^2 + 532583386851501168709681/156753815152624402577*c_1010_8 - 34956651964725134245719/156753815152624402577, c_0101_2 - 19360541723769765628624/156753815152624402577*c_1010_8^17 + 350087952346791623212024/156753815152624402577*c_1010_8^16 - 2292719408597494824111004/156753815152624402577*c_1010_8^15 + 7636289777167106177814720/156753815152624402577*c_1010_8^14 - 13776307820341445449064805/156753815152624402577*c_1010_8^13 + 10205533728154663907455505/156753815152624402577*c_1010_8^12 + 10932203748511010728223404/156753815152624402577*c_1010_8^11 - 40242684260268151939282574/156753815152624402577*c_1010_8^10 + 56486838951813762225594956/156753815152624402577*c_1010_8^9 - 47122794694407139009030868/156753815152624402577*c_1010_8^8 + 22579120315249840029723497/156753815152624402577*c_1010_8^7 - 3338813041412466877143183/156753815152624402577*c_1010_8^6 - 3148543947473328147787575/156753815152624402577*c_1010_8^5 + 2455180946078054794486415/156753815152624402577*c_1010_8^4 - 28796146701116229990273/5405303970780151813*c_1010_8^3 + 152605541131183438753027/156753815152624402577*c_1010_8^2 - 14461731763109923274044/156753815152624402577*c_1010_8 + 722864194671522007474/156753815152624402577, c_0101_8 + 303571372271289398707456/156753815152624402577*c_1010_8^17 - 5656220964842577912257248/156753815152624402577*c_1010_8^16 + 38975249512561274543049376/156753815152624402577*c_1010_8^15 - 139641539855016688461570744/156753815152624402577*c_1010_8^14 + 282737967218698390865559260/156753815152624402577*c_1010_8^13 - 281617445941459326061794244/156753815152624402577*c_1010_8^12 - 78834141379808740459059774/156753815152624402577*c_1010_8^11 + 723051480697105747437602217/156753815152624402577*c_1010_8^10 - 1238720257952557919066025696/156753815152624402577*c_1010_8^9 + 1240931748563407016200679505/156753815152624402577*c_1010_8^8 - 777655986684295926871484207/156753815152624402577*c_1010_8^7 + 258054876807282202324658388/156753815152624402577*c_1010_8^6 + 18214733885807249006330822/156753815152624402577*c_1010_8^5 - 67425071383371578757439900/156753815152624402577*c_1010_8^4 + 1235482575752435932116443/5405303970780151813*c_1010_8^3 - 10030134698778508888973215/156753815152624402577*c_1010_8^2 + 1522087047126960011668655/156753815152624402577*c_1010_8 - 98216659653503989777249/156753815152624402577, c_1001_0 + 91127854425599484532640/156753815152624402577*c_1010_8^17 - 1682513046358843218571552/156753815152624402577*c_1010_8^16 + 11417843258936062608444648/156753815152624402577*c_1010_8^15 - 40033471748668486535947868/156753815152624402577*c_1010_8^14 + 78413383516654553000203220/156753815152624402577*c_1010_8^13 - 72356975633799091325508548/156753815152624402577*c_1010_8^12 - 33805000393695696664150934/156753815152624402577*c_1010_8^11 + 209459768654648386747965704/156753815152624402577*c_1010_8^10 - 337489818339091787673528202/156753815152624402577*c_1010_8^9 + 321209824516733380805503944/156753815152624402577*c_1010_8^8 - 188118332011371157109565087/156753815152624402577*c_1010_8^7 + 53894454380807853194865173/156753815152624402577*c_1010_8^6 + 10089128288583466459562752/156753815152624402577*c_1010_8^5 - 17536758255462867713638120/156753815152624402577*c_1010_8^4 + 284338402724544518017093/5405303970780151813*c_1010_8^3 - 2087381163364811583114903/156753815152624402577*c_1010_8^2 + 283553666033835326948273/156753815152624402577*c_1010_8 - 16004581239944548901964/156753815152624402577, c_1001_1 + 217464685210515998000/451740101304393091*c_1010_8^17 - 4069729135189441064784/451740101304393091*c_1010_8^16 + 28247662223994371234060/451740101304393091*c_1010_8^15 - 102229019063489687999226/451740101304393091*c_1010_8^14 + 210110485143214504805282/451740101304393091*c_1010_8^13 - 216175366487743538277994/451740101304393091*c_1010_8^12 - 44008784293054963989871/451740101304393091*c_1010_8^11 + 525970759119004465323030/451740101304393091*c_1010_8^10 - 927313195768972316493141/451740101304393091*c_1010_8^9 + 950291444868676134743630/451740101304393091*c_1010_8^8 - 612855821462320174041262/451740101304393091*c_1010_8^7 + 215303560356831000019177/451740101304393091*c_1010_8^6 + 5986911576198160327462/451740101304393091*c_1010_8^5 - 51130323195665396486067/451740101304393091*c_1010_8^4 + 993313493750694237561/15577244872565279*c_1010_8^3 - 8445583697825705316103/451740101304393091*c_1010_8^2 + 1349773274813008309176/451740101304393091*c_1010_8 - 92628619555116297736/451740101304393091, c_1010_8^18 - 19*c_1010_8^17 + 541/4*c_1010_8^16 - 4059/8*c_1010_8^15 + 8813/8*c_1010_8^14 - 10191/8*c_1010_8^13 + 353/4*c_1010_8^12 + 2472*c_1010_8^11 - 19845/4*c_1010_8^10 + 44863/8*c_1010_8^9 - 32745/8*c_1010_8^8 + 7265/4*c_1010_8^7 - 2117/8*c_1010_8^6 - 1937/8*c_1010_8^5 + 805/4*c_1010_8^4 - 311/4*c_1010_8^3 + 141/8*c_1010_8^2 - 9/4*c_1010_8 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 13.450 Total time: 13.660 seconds, Total memory usage: 80.38MB