Magma V2.19-8 Tue Aug 20 2013 23:40:00 on localhost [Seed = 2480273212] Type ? for help. Type -D to quit. Loading file "K12n107__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n107 geometric_solution 11.12718883 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 -1 1 0 1 0 13 -14 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.340761426548 0.779099263096 0 5 6 6 0132 0132 2103 0132 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 13 -13 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.678355265851 1.110214766933 5 0 7 4 3201 0132 0132 0321 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 -1 1 -13 -1 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.123498938551 1.254054604080 4 8 9 0 0132 0132 0132 0132 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 0 1 -1 0 0 13 -13 -1 0 0 1 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630097140167 0.761834593545 3 2 0 10 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 14 -14 14 -14 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327667581430 0.750158347787 11 1 11 2 0132 0132 2310 2310 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 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470398914675 0.667946338972 1 8 1 9 2103 1023 0132 2310 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 0 -1 1 13 0 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599256716520 0.655867409698 10 9 9 2 3201 3201 3012 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 -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.862684686291 0.667992159212 6 3 11 10 1023 0132 1230 2310 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 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.886113704781 1.547342402005 6 7 7 3 3201 1230 2310 0132 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 1 0 -1 13 0 0 -13 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.862684686291 0.667992159212 8 11 4 7 3201 1230 0132 2310 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 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716374891974 0.988287654658 5 5 10 8 0132 3201 3012 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696778760325 0.401780277317 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_9']), 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_2']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_0_11' : 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' : negation(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' : negation(d['1']), 's_2_7' : 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' : negation(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' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_7'], 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : d['c_0011_9'], 'c_1100_1' : d['c_0011_9'], 'c_1100_0' : d['c_0011_7'], 'c_1100_3' : d['c_0011_7'], 'c_1100_2' : d['c_1001_2'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_0']), 'c_1100_10' : d['c_0011_7'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0101_7'], 's_3_1' : negation(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'], '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_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), '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_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_9'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_7, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 151818296072985754848456421656628502815768209499549369234028/104188\ 599662830326575276464822239046006261819229757004719*c_1001_2^25 - 395525511486801206542867452651245177955576821140263882880078/104188\ 599662830326575276464822239046006261819229757004719*c_1001_2^24 + 5288879861763235871075356683254961802931390571621676091919599/10418\ 8599662830326575276464822239046006261819229757004719*c_1001_2^23 + 51328345942189489737748946967810470426460010010827412823880103/2083\ 77199325660653150552929644478092012523638459514009438*c_1001_2^22 + 29749640952277794305123040283010648379206399347656836204203508/1041\ 88599662830326575276464822239046006261819229757004719*c_1001_2^21 - 9017762796073193328264776221522631587558347395124496928548137/69459\ 066441886884383517643214826030670841212819838003146*c_1001_2^20 - 12702435320184207769609173927357678867747785716549013098484175/6945\ 9066441886884383517643214826030670841212819838003146*c_1001_2^19 - 118279903974132270049716153956988628395408406061724101515242169/208\ 377199325660653150552929644478092012523638459514009438*c_1001_2^18 + 90444354490723205054192821846228040176892904033624623881215689/1041\ 88599662830326575276464822239046006261819229757004719*c_1001_2^17 - 267743259957985747242421800139312197912110362625603338222449637/208\ 377199325660653150552929644478092012523638459514009438*c_1001_2^16 + 210301311456107240581761043081319015688378538572114121927919563/208\ 377199325660653150552929644478092012523638459514009438*c_1001_2^15 + 169466313946319078034795444591118407296145600994887907943947385/208\ 377199325660653150552929644478092012523638459514009438*c_1001_2^14 - 283492647573307701026540208507907494215978404861340544007204753/208\ 377199325660653150552929644478092012523638459514009438*c_1001_2^13 + 218253136658229493418057581227968584236515073965486992035174280/104\ 188599662830326575276464822239046006261819229757004719*c_1001_2^12 - 410535067971764840294174986015914185734589512826590350832153687/208\ 377199325660653150552929644478092012523638459514009438*c_1001_2^11 + 467405638597881164641128520136444367318546349531021219343747911/208\ 377199325660653150552929644478092012523638459514009438*c_1001_2^10 - 100077851259209551277797667571420437942257876724095274233570841/694\ 59066441886884383517643214826030670841212819838003146*c_1001_2^9 + 155104209643438063424528840916740843211438655287554297975103268/104\ 188599662830326575276464822239046006261819229757004719*c_1001_2^8 - 18690231207336812859731835008417883838767708771057765137792184/3472\ 9533220943442191758821607413015335420606409919001573*c_1001_2^7 + 82668687756763561695119847064786580640759705541497138151771550/1041\ 88599662830326575276464822239046006261819229757004719*c_1001_2^6 - 15923960033011453761127466468418777553994373016351468444556507/2083\ 77199325660653150552929644478092012523638459514009438*c_1001_2^5 + 19412184167212675543550840718764201794584756664075861253069405/6945\ 9066441886884383517643214826030670841212819838003146*c_1001_2^4 + 1050933230951562758010318712784343209345893185010115940954879/69459\ 066441886884383517643214826030670841212819838003146*c_1001_2^3 + 3785410340888684212151379411976836847251873991622297792330737/10418\ 8599662830326575276464822239046006261819229757004719*c_1001_2^2 + 379802896468289674494401166350617421592459725422080873980639/694590\ 66441886884383517643214826030670841212819838003146*c_1001_2 - 237025865395098337187262965482629532992803183153747012072509/208377\ 199325660653150552929644478092012523638459514009438, c_0011_0 - 1, c_0011_10 - 13124396056173681937547559507123738297809575984777396/30980\ 850330904051910578788231412145705103127930347013*c_1001_2^25 - 47630056222272104782351589099852198327964417224175784/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^24 + 421392797056566116867614162831509350863126085479064687/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^23 + 2690257208124491626445499739861812295343340256825542645/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^22 + 4893495647173317616436627176652638883812788831509133394/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^21 + 1426633792914451775232266606674710952585853416950704838/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^20 - 3881545650156106502045228122485930500664129924470245210/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^19 - 9300185768413017403770715657595108459758737352213961280/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^18 + 1156289986216339014198572731462219424061729584643085274/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^17 - 2538309485009842038919299844238399823970308222450523718/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^16 + 2387797122704245765695650768199191739420156839614700446/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^15 + 16670014823593460214876852773010162991631607268306113809/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^14 - 2898946260938151808941160237949844103052823641264837672/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^13 + 5077042715800647562221322007661477611979619274956325549/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^12 - 5729838202073955127000006866555293201483501465075110905/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^11 + 2068772828230582271397149651730385429515285398100007594/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^10 + 3891827019329383928889128810137371586649258945829166056/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^9 + 4875670110009268990027024206303625362110280830113950210/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^8 + 6446097150824460756759164179830396261429786141918661837/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^7 + 2316342484309203843991924874614527714940189813167330058/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^6 + 2366818889403349085787536816014929596790399802281257697/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^5 - 279509576343363254997058902703768998763698721668697941/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^4 + 294885430880978715983509793056464178905846513510234937/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^3 - 330382697895893434372211022816251737053854731244454824/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^2 + 7175123224090460080429753318342823091726163293827032/30980850330904\ 051910578788231412145705103127930347013*c_1001_2 - 7526749680455783391556229237748763631080835694308234/30980850330904\ 051910578788231412145705103127930347013, c_0011_3 + 5884918874091749883770143237821949623693090408849556/3098085\ 0330904051910578788231412145705103127930347013*c_1001_2^25 + 19096200929081404310389398525644907053057126369566892/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^24 - 197933343409586066196523630980452583979578816165193807/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^23 - 1136811974124179086067845974326759608295766651554108336/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^22 - 1705368926696786011521108571379605044325715261010272535/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^21 + 376448363145198056965111400367819816976892139776212974/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^20 + 2284624700065931161678427307443404509098289475720889339/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^19 + 3411277626154650888866695804662614292552263079020722769/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^18 - 2731865037479336339696457430251630350247412864392822993/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^17 + 805198187097839589746277552516354517795581974535313760/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^16 - 1087564455884362296925597833179917985993784464967326785/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^15 - 6343334098074571342539344344471471573258452430385750647/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^14 + 3556455016747861487887315292388472585487445309354218527/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^13 - 1449786142209217751925146724749120936070756934580166509/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^12 + 3253412963174141375823328101248490195048622886221078700/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^11 - 3158390915459912289264911453403425882752711830232786438/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^10 - 759582418295047082393594065390474124304840807637463735/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^9 - 1983945500818890137496858006253908217874745380390068485/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^8 - 810166943057162091952803887610276930220637490339840198/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^7 - 528818603443087535860543279711202527023071660170845389/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^6 - 92010328229237056594680952697432897053753899717378274/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^5 + 139532084994018694774864704744711560488923641457338216/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^4 - 3453061792925504662750883720280081727833570960869657/30980850330904\ 051910578788231412145705103127930347013*c_1001_2^3 - 37184728950637003148092158406806812424240221662803157/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^2 - 2995537423291793848598308829002176759722616653540999/30980850330904\ 051910578788231412145705103127930347013*c_1001_2 - 31852219040641676829583591510963424367199626097368275/3098085033090\ 4051910578788231412145705103127930347013, c_0011_7 - 67461063040852465729655944446875734062365128801370004/309808\ 50330904051910578788231412145705103127930347013*c_1001_2^25 - 166035484880636625646901126143623149737914244434295192/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^24 + 2416211366564404406562972937617852454261210010422476067/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^23 + 11199626150572811091166999258240731837165031215548638665/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^22 + 10227687269159566862166674199595630736996993077572889597/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^21 - 15806901057725910478445899601841131248870475819639666505/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^20 - 20326146178056669087620126110514357413631755835277927022/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^19 - 25888441722178182799823805150072807833242499761102027389/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^18 + 56193753751383031909856375353591011192282005514898062893/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^17 - 38823679813616485177772324952298805882297643574298886275/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^16 + 43081751253492056294342151668557856391943838349674883780/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^15 + 43220618409217881097308625741552494976636143027909132950/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^14 - 85410919957497795069334925575842888992958946066642179334/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^13 + 66574503613698250831449237295613813286721805906468592408/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^12 - 87214498229709840712889500194215541468759300735133022768/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^11 + 93514305905456425674768835712037021438772904658625218692/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^10 - 46644881155911309748177082759643306228288008810921122712/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^9 + 49919870060296562981018559528346591724237878179386992005/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^8 - 28957596249320181219876376947830159541162670356616056652/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^7 + 12981714022267447813394006556837077063342528421689591141/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^6 - 12045163187590162062168351266883977835034354400044005081/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^5 + 2578989456896640491122958101305255858051552881970889200/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^4 - 1199026695116219908314250529505679310506445275706112036/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^3 + 143784296024959435760416004478227343926066699754494765/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^2 + 217759983763200387359028098871060647395393971562177479/309808503309\ 04051910578788231412145705103127930347013*c_1001_2 - 50700886066938178550815909978751217047840258898380505/3098085033090\ 4051910578788231412145705103127930347013, c_0011_9 + 16925607413507679640120413374722185722251126852880456/309808\ 50330904051910578788231412145705103127930347013*c_1001_2^25 + 20026774463992012407294739163972032606898388643231644/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^24 - 688923503554954002080049332187045146740871789535946102/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^23 - 2126992439911585192399916520041609927708600844635506319/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^22 + 2018787639908282892696914052367795645202463232956743159/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^21 + 12781574958372397159439216487636587767916909291846740493/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^20 + 8175912623702122560931774143105477807192890681672240407/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^19 - 1253676978860926624432206277331182701372475098854960376/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^18 - 31502771566355702760898476579103332932516978054885845558/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^17 + 10496600266324045632898327463255834673070261619405096720/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^16 - 10752923604332636381863270347694731886616823686365187493/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^15 - 7132619989681601688134781104601367744660470633282009026/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^14 + 48130808540203759464604973465641818834570346179944624438/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^13 - 16780751898656785213917880413467122686422815888214092200/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^12 + 24465617291335516422630082782884060138373296834628006575/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^11 - 33039402179151368064991752922368868204602684224491867520/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^10 + 15052225650893221944318864124034896805514800229601379356/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^9 - 3815302764954792251906272849985139097464447974549206318/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^8 + 16830597648161896203401790946150730822860361228363568111/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^7 + 6379481756209947209251478906779987539393168916674120321/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^6 + 6861796962712833794416258208592211121371116387727514107/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^5 + 2240432024080359063068649520554278936899297390983172093/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^4 + 140792730741863659040191514269084877926814617952017251/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^3 + 330980504323848383248688132874360377394468222863798397/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^2 - 226751936188117883030890565323016196882129286969001145/309808503309\ 04051910578788231412145705103127930347013*c_1001_2 + 26871956706308849253671015193771100915887618843946390/3098085033090\ 4051910578788231412145705103127930347013, c_0101_0 + 10789758851798458606080643506493136930788461442611256/309808\ 50330904051910578788231412145705103127930347013*c_1001_2^25 - 25448828741844939083437140819783352894021311397181316/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^24 - 537491654565748022055916683741900062081685016541087626/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^23 + 1005664276961279101826126352511481819367520657760241/30980850330904\ 051910578788231412145705103127930347013*c_1001_2^22 + 7780951983964333916528873552453873158518945292768187823/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^21 + 14698282639168704306372841542096295912357673233556048152/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^20 - 2884710746643593388462360690538006333966939149252221542/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^19 - 13187127493921300994878812814874502413086049134610529060/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^18 - 36535643891203841610060849973807315799754810922480725098/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^17 + 36304679669815511781187317254153033662795051512154443272/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^16 - 25776968872566302511543097206171879884907787960876320278/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^15 + 18931597643277206147126072118571609352199114426128707249/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^14 + 57390054360073098975619979843688601102309499252840758525/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^13 - 55392208035049643681169000952651373218216728590729227688/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^12 + 48469312646787994714588173400916807571232032602697085630/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^11 - 68351072192479890092627793869223968586000003268756827146/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^10 + 58085389603721282245133283956179106829568304583117884845/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^9 - 25000504000437228754561788910212337028741643644850130772/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^8 + 38370770238356583594699993454854908895922312926744313001/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^7 - 10145823546544642693549724474731169428631967225709391760/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^6 + 10874681618737439534176874158042764449988352317828061957/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^5 - 5612480736215141965503490011381907499862627328129669841/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^4 + 808703446748029253092511336487123695357002201926229352/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^3 - 767837432078749761331766931673277985545941639407988361/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^2 - 131740844120065101014259454886354861410580382281361063/309808503309\ 04051910578788231412145705103127930347013*c_1001_2 + 94640193422742869119568739555798510723343783278736435/3098085033090\ 4051910578788231412145705103127930347013, c_0101_10 + 107925681843247555199081626821189742355976943891757148/3098\ 0850330904051910578788231412145705103127930347013*c_1001_2^25 + 368531930085822241690455925040399234934572406411805852/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^24 - 3530665690226722315072592799196461676543207387269470457/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^23 - 21338547766624328930491342624622138188278354156815739062/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^22 - 36166302825614689507142121609478224761864433097029382200/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^21 - 5997915297540646265703822583348301402253067344712538666/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^20 + 32175164720608710516072669314108255241752063988724387016/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^19 + 73395408954993654555115371434329670570071328669569886936/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^18 - 23638531184616536430986613463880987569474926885448300922/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^17 + 28293432764848159564787396206357140601033087060478607870/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^16 - 38943762895061637027385169350393688314424758242114732872/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^15 - 113791518719906261270385858147741163507688777281375490787/309808503\ 30904051910578788231412145705103127930347013*c_1001_2^14 + 37529727826663533727148047245643355754242785145958618185/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^13 - 55517393145242784782103154028228858828600183861247166088/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^12 + 80996561739467914013604798292541269350168979458789086314/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^11 - 58502084872662300870701261403804974172747359793089876738/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^10 + 1360160353714178887804732619516744841396828317789717489/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^9 - 65437888037139356893826931844956596028715558795786215671/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^8 - 21671232019804549439834403332213480167686060061495919839/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^7 - 26877912343177153802217163450669535688184854215412493515/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^6 - 5216541723825677048180813255815439594462561981200011815/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^5 - 2351433381615252203829784453467363868787971804013203908/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^4 - 462290084683600217863289875752226278375797615347060957/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^3 + 551457166824321671657742344527198029978895135926825621/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^2 - 109761702626996854439189350904451933816285409622465746/309808503309\ 04051910578788231412145705103127930347013*c_1001_2 + 25891973864279780091887332212524916511926661308346570/3098085033090\ 4051910578788231412145705103127930347013, c_0101_11 + 7817735495515146611588161133702340896229292492753396/309808\ 50330904051910578788231412145705103127930347013*c_1001_2^25 + 21513952386452264648706164027301116312478904814338852/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^24 - 268972451332327368487742454887522337291411077382070223/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^23 - 1363081964935335653472096534770955603548146255645288630/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^22 - 1748691769630973157140552563332089815695188500842090539/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^21 + 489457845286721912844933485991926250872930318972010143/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^20 + 1541397272889438143607523500499774144739768907719204997/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^19 + 4202672893903817412846100165822232804151937126261838024/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^18 - 3883668128140848590013616829788788769509825541656354809/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^17 + 5516430291157110022175559677841850816099483540229191315/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^16 - 6527916942206788206793642503245028919529097714174632234/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^15 - 4522176351772942101213190413419960655507204362155261433/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^14 + 6056226517766270854242980659820079300178394622586773715/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^13 - 9884582475663597304011261210257559015827779890213811745/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^12 + 12334865839918010404002787026211549703506122294490402812/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^11 - 11295028137817022574778720526670676389274962898393624561/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^10 + 7140250173986680624583739129104283530978963884232433248/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^9 - 8748754606930243916670407849461342917368195733880681765/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^8 + 2922128242348543149528325893843530836925446337743940853/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^7 - 3704190960702628354741826922645484374440650041553676928/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^6 + 1196765138823332254224796857372341535808769078753256919/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^5 - 730695192441486810595880882365567233500752645251811470/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^4 + 356932857968678166898700955112049188644482937400597385/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^3 - 33610421031874394279128252657330725638757562251712204/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^2 - 10492785864658827424784159084720872675258328366186252/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2 + 5230481534549522611477835673212312750043267657739955/30980850330904\ 051910578788231412145705103127930347013, c_0101_7 + 46786769174395871417932246485502569428816072421774220/309808\ 50330904051910578788231412145705103127930347013*c_1001_2^25 + 128595628732944438115206145725188635844483480517827576/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^24 - 1625780093560850740664926429317356016145547449188621449/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^23 - 8192960669380237981078164378838427433748151298345453591/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^22 - 9881478497192389205092372704258938543723636004435321872/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^21 + 5646158169247899779361501708507809595430722014481278399/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^20 + 11881283918005393121353231304704577473941146534363369313/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^19 + 21497610875871941912390019123258548518355918522000479932/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^18 - 28542778657138603523466004336754221956058555716574347015/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^17 + 27436896829406789660502653525273631067844877010806181561/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^16 - 26780522004941698131013835628919532583077120377728333726/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^15 - 34042997335835459765500189320550432498212219405189684591/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^14 + 42128097539971450784906747366537261001996556388146552892/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^13 - 44772099740641619087468108390598233192302055953976876266/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^12 + 54028134717821376341479144902751366697562906542829743674/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^11 - 57014642900235023634321035976441114352275062167584437542/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^10 + 30296030108673384757658178688294643587519969185788203076/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^9 - 38010200439923205745247068320861389289693957387491763596/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^8 + 13148272695244808691612285778583399506098498126790426188/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^7 - 16211313964300791561441302661193214088668583281360047339/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^6 + 5300730163045095999066874130076096971496548733417045586/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^5 - 3885146034448555544442577870831687520170648909486565191/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^4 + 1100332419302300349539912982031048861011520573459839745/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^3 - 374141103649988225409796762218338932348630274925114395/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^2 + 85158491052020039333266467857238413695459108521297351/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2 - 10058843673897408846431399064526431305983559142368337/3098085033090\ 4051910578788231412145705103127930347013, c_0101_8 + 14505868060220922114904151946819277448099954416753400/309808\ 50330904051910578788231412145705103127930347013*c_1001_2^25 + 62926906226218124816572921098474002078474577710516288/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^24 - 422713769700966327827961009258104234430727256027720786/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^23 - 3286814523406046048245171039833221828437844378810856778/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^22 - 7711522478500178246394488550074597561130272688346221626/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^21 - 6447166326314946865481386943814451418756318862514687422/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^20 + 1757075574511755339956595465397474904172985288482351812/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^19 + 13655544903106550394541869085720881569045218712212182884/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^18 + 7364676858436346775357122474173389743365214071286942020/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^17 + 4811186716452984531174295383762426507417825186526947716/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^16 - 3281138157669388618171282237260084322622016771716882973/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^15 - 17192905120132250056123486115994077265091359265408528300/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^14 - 12713352777118848692394564075474991156272025594813133443/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^13 - 8455296520499236343948468119712772848221437490591566590/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^12 + 6977444608097813449126126512549739473686342034483749695/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^11 - 3130033225603467441724879885292716039554019668416472348/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^10 - 274624927417782879145594037915709302808343501738800622/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^9 - 13595313026284405461224664205835577490380448852055440693/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^8 - 8758318588960227321167606352499037625135271855276800091/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^7 - 11406555293855835873390438970680801973219759257864853543/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^6 - 4371521949412600293333318684258060484295551105548571780/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^5 - 3056794257498021401289822359710379192455431978652233267/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^4 - 162548281423701998269871769445330551452422103967742331/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^3 - 119747310531273306944155230000080524233171159159688727/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^2 + 193922132319968716991312197354053115321984153767101955/309808503309\ 04051910578788231412145705103127930347013*c_1001_2 + 36132062621670318279870989685162292929990452591476487/3098085033090\ 4051910578788231412145705103127930347013, c_1001_0 + 7797530082024408508363783185725512702363494646182424/3098085\ 0330904051910578788231412145705103127930347013*c_1001_2^25 + 22953457687837313166970600112397895568784087161457072/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^24 - 263208257721167171033187489024851754080236143501490386/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^23 - 1407427726498086293644018427817122974979742746022174638/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^22 - 2034818670522710095647886514416217485781394211971467356/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^21 - 44842455385396683499960665977126287357041898031168086/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2^20 + 1242118834741492444569067769972104846747135539259365063/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^19 + 4302701923147619881904696905332258886580806774253579947/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^18 - 2811049276846197892083706424273180287353917370484886412/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^17 + 5534903174829518060905415674936158353118776101486658603/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^16 - 5491035796119971620123526713055690397341168091628132994/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^15 - 5517963833054598690681429735832530301527033813141943695/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^14 + 4802512733531140432869351316927370138291088512718175730/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^13 - 9443445123350903537089502870935681446512201068005883706/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^12 + 10030630286158756933064560228947117196150859970610076715/3098085033\ 0904051910578788231412145705103127930347013*c_1001_2^11 - 9379360869448086638989782128154450941425330347153164979/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^10 + 5913604868475445922932977907465243458984455504041466925/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^9 - 8231273736245252414419938555596953762328244388764982347/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^8 + 1614973213271809276085655249605075593843997883685206367/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^7 - 4118860738651348958413597250918768957961769688785508584/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^6 + 550831762673098393789208571399090125115369385171704524/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^5 - 1216780903616236226255219000002051064972582847273342662/30980850330\ 904051910578788231412145705103127930347013*c_1001_2^4 + 233691874861830799656791876862072977410632128449137707/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^3 - 130364285963700945817845137900571930910669823576056089/309808503309\ 04051910578788231412145705103127930347013*c_1001_2^2 + 36330480606810337139035528739559850453487812934994288/3098085033090\ 4051910578788231412145705103127930347013*c_1001_2 - 7558572476015565593384716976045010806252628745014576/30980850330904\ 051910578788231412145705103127930347013, c_1001_2^26 + 3*c_1001_2^25 - 135/4*c_1001_2^24 - 183*c_1001_2^23 - 266*c_1001_2^22 + 53/4*c_1001_2^21 + 443/2*c_1001_2^20 + 1153/2*c_1001_2^19 - 781/2*c_1001_2^18 + 1143/2*c_1001_2^17 - 2561/4*c_1001_2^16 - 1497/2*c_1001_2^15 + 2337/4*c_1001_2^14 - 1967/2*c_1001_2^13 + 4903/4*c_1001_2^12 - 4547/4*c_1001_2^11 + 1273/2*c_1001_2^10 - 3871/4*c_1001_2^9 + 749/4*c_1001_2^8 - 1789/4*c_1001_2^7 + 361/4*c_1001_2^6 - 102*c_1001_2^5 + 32*c_1001_2^4 - 15/2*c_1001_2^3 + 3*c_1001_2^2 + 1/2*c_1001_2 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.310 Total time: 1.520 seconds, Total memory usage: 32.09MB