Magma V2.19-8 Tue Aug 20 2013 23:53:30 on localhost [Seed = 21457659] Type ? for help. Type -D to quit. Loading file "K12n37__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n37 geometric_solution 11.44268466 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 2 0132 0132 0213 0213 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 -1 0 -9 10 -1 1 0 0 9 -10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722371959041 0.623282122941 0 0 4 3 0132 0213 0132 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 1 0 -1 1 0 0 -1 -9 9 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596334034371 1.338785310162 4 0 5 0 0213 0132 0132 0213 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 1 -1 0 0 0 0 0 10 0 -10 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722371959041 0.623282122941 6 7 1 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 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.163812777554 1.435004173851 2 7 6 1 0213 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244759364018 0.137574179087 8 9 9 2 3201 0132 0321 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 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742704992072 0.603526555172 3 10 9 4 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.929583509717 1.082610625438 11 3 10 4 0132 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.045554612977 0.446752308921 12 11 3 5 0132 1230 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 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.977326903679 0.838077084564 6 5 5 12 2310 0132 0321 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 -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.742704992072 0.603526555172 11 6 7 12 1023 0132 0321 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.788543875301 1.417888195176 7 10 8 12 0132 1023 3012 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.358839200134 0.561027163435 8 11 10 9 0132 0321 1230 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 1 0 -1 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.477358802362 0.608760218729 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0110_10'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_1001_12']), 'c_1001_6' : negation(d['c_0101_12']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : negation(d['c_1001_12']), 'c_1010_12' : d['c_0110_10'], 'c_1010_11' : d['c_0110_10'], 'c_1010_10' : negation(d['c_0101_12']), 's_3_11' : 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' : negation(d['c_0011_4']), 'c_0101_10' : d['c_0011_12'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_1001_2'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : negation(d['c_1001_12']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : negation(d['c_0011_4']), 'c_1100_8' : d['c_0011_5'], '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0110_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_5']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), '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_0011_12']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_12']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_6'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_6']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : negation(d['c_0011_0'])})} 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_4, c_0011_5, c_0101_1, c_0101_12, c_0101_6, c_0110_10, c_1001_0, c_1001_10, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2299585850575121090460383052521888530617/17743687861545248278514099\ 949276726124*c_1001_2^29 + 3660874531697311340017001686822245231823\ /4435921965386312069628524987319181531*c_1001_2^28 - 4400494628794665569234256434019069616021/88718439307726241392570499\ 74638363062*c_1001_2^27 - 73875565458808183861230236328746201714749\ /8871843930772624139257049974638363062*c_1001_2^26 + 182030251720624364327587911221547682510971/887184393077262413925704\ 9974638363062*c_1001_2^25 + 136471604110982450930278517395258783794\ 985/8871843930772624139257049974638363062*c_1001_2^24 - 983671143835448015084345010641320747527793/887184393077262413925704\ 9974638363062*c_1001_2^23 + 141434675724265926287315594365719267142\ 7509/17743687861545248278514099949276726124*c_1001_2^22 + 1743378297737597916901025496503016034755545/88718439307726241392570\ 49974638363062*c_1001_2^21 - 56963122037713570981116082129308623387\ 11359/17743687861545248278514099949276726124*c_1001_2^20 - 1022557298566683477378764533978973053907167/17743687861545248278514\ 099949276726124*c_1001_2^19 + 6933365071372250642936780662819854661\ 871241/17743687861545248278514099949276726124*c_1001_2^18 - 674254252841208067598937756971505252477237/887184393077262413925704\ 9974638363062*c_1001_2^17 - 615911293473791238744681013661019210458\ 4761/17743687861545248278514099949276726124*c_1001_2^16 + 3632787764329346271153138624200003466017209/17743687861545248278514\ 099949276726124*c_1001_2^15 + 1852713698685499738589467390296911356\ 387695/17743687861545248278514099949276726124*c_1001_2^14 - 7788085432775950983881409121201541517103/10499223586713164661842662\ 6918797196*c_1001_2^13 - 32704403553225190131516629187809980655979/\ 682449533136355703019773074972181774*c_1001_2^12 + 522896906881601471167215042605238291410809/177436878615452482785140\ 99949276726124*c_1001_2^11 - 98982632875845875490085272450542492491\ 031/4435921965386312069628524987319181531*c_1001_2^10 + 807823413955505610206750494178664242534731/177436878615452482785140\ 99949276726124*c_1001_2^9 - 673426880157117935567197323773508629627\ 21/8871843930772624139257049974638363062*c_1001_2^8 - 215189203206962976332295238752972571532643/887184393077262413925704\ 9974638363062*c_1001_2^7 - 9881960935029867024186515179102158984471\ /8871843930772624139257049974638363062*c_1001_2^6 + 338183599304161869465725558901986736057459/177436878615452482785140\ 99949276726124*c_1001_2^5 - 112524559573337257077757307639983143128\ 123/17743687861545248278514099949276726124*c_1001_2^4 - 13014033089933591100455098937005641267896/4435921965386312069628524\ 987319181531*c_1001_2^3 + 27489886426872445117942523944278638680001\ /17743687861545248278514099949276726124*c_1001_2^2 + 2088929065672745823414342759331301503467/17743687861545248278514099\ 949276726124*c_1001_2 - 2413563583088598988914005999679685758487/17\ 743687861545248278514099949276726124, c_0011_0 - 1, c_0011_10 - 1911547044838145112885/985709343308615613686*c_1001_2^29 + 11597304044933101094629/985709343308615613686*c_1001_2^28 - 2532742216724474115465/492854671654307806843*c_1001_2^27 - 58720087947635736077002/492854671654307806843*c_1001_2^26 + 268103461632424128295953/985709343308615613686*c_1001_2^25 + 114278120983103343716611/492854671654307806843*c_1001_2^24 - 717393705294795866094672/492854671654307806843*c_1001_2^23 + 499303294410408725047068/492854671654307806843*c_1001_2^22 + 2353428466294468227435291/985709343308615613686*c_1001_2^21 - 3970620257487496014426817/985709343308615613686*c_1001_2^20 - 157334208140490478301887/985709343308615613686*c_1001_2^19 + 4315964128309131805324259/985709343308615613686*c_1001_2^18 - 1484538403690745199783925/985709343308615613686*c_1001_2^17 - 3563442355475969746457265/985709343308615613686*c_1001_2^16 + 1506007996504538372888344/492854671654307806843*c_1001_2^15 + 490405346125039730633441/985709343308615613686*c_1001_2^14 - 471956261968943351276913/492854671654307806843*c_1001_2^13 - 191143987596737093367004/492854671654307806843*c_1001_2^12 + 487310755261920773286977/985709343308615613686*c_1001_2^11 - 167127115306966700366796/492854671654307806843*c_1001_2^10 + 554818931647645319988143/985709343308615613686*c_1001_2^9 - 233358894575450983189541/985709343308615613686*c_1001_2^8 - 112423992869010050885692/492854671654307806843*c_1001_2^7 + 19871418469775547736008/492854671654307806843*c_1001_2^6 + 110937746966811176529138/492854671654307806843*c_1001_2^5 - 58823314445159817633811/492854671654307806843*c_1001_2^4 - 15407926950420050657173/985709343308615613686*c_1001_2^3 + 8098195311537896160371/492854671654307806843*c_1001_2^2 + 1138545587399972924333/985709343308615613686*c_1001_2 - 677579257591881562511/985709343308615613686, c_0011_12 - 3832355412999321878485/985709343308615613686*c_1001_2^29 + 12630776548689517215906/492854671654307806843*c_1001_2^28 - 9594990457635812925302/492854671654307806843*c_1001_2^27 - 124040746232458581420700/492854671654307806843*c_1001_2^26 + 660385867092886211475201/985709343308615613686*c_1001_2^25 + 380069995723112470021275/985709343308615613686*c_1001_2^24 - 3472013358422026119856769/985709343308615613686*c_1001_2^23 + 2870645137700926416791653/985709343308615613686*c_1001_2^22 + 2955620309978797227735907/492854671654307806843*c_1001_2^21 - 10684239591280683782887913/985709343308615613686*c_1001_2^20 - 561169748017510490654789/492854671654307806843*c_1001_2^19 + 12669507309650450382740235/985709343308615613686*c_1001_2^18 - 1552273537673888893670895/492854671654307806843*c_1001_2^17 - 11042832883160436252493095/985709343308615613686*c_1001_2^16 + 6874824043143963868679845/985709343308615613686*c_1001_2^15 + 1614851334010327397668418/492854671654307806843*c_1001_2^14 - 1166689142728658708446283/492854671654307806843*c_1001_2^13 - 781498137203309801393395/492854671654307806843*c_1001_2^12 + 857200603011352863591339/985709343308615613686*c_1001_2^11 - 646163888675551338845315/985709343308615613686*c_1001_2^10 + 758732192817168640723050/492854671654307806843*c_1001_2^9 - 295155808166907615894415/985709343308615613686*c_1001_2^8 - 791078773450302827699227/985709343308615613686*c_1001_2^7 - 13159053306674255829485/985709343308615613686*c_1001_2^6 + 603707717879420661353533/985709343308615613686*c_1001_2^5 - 211131153023781829784059/985709343308615613686*c_1001_2^4 - 44242174077467134587299/492854671654307806843*c_1001_2^3 + 21907941017703128633813/492854671654307806843*c_1001_2^2 + 5544787377479186364405/985709343308615613686*c_1001_2 - 1635860891012981094237/492854671654307806843, c_0011_4 - 111115606192744736105/492854671654307806843*c_1001_2^29 + 849559803512293765225/492854671654307806843*c_1001_2^28 - 1176955439371865032475/492854671654307806843*c_1001_2^27 - 7427242521669672156162/492854671654307806843*c_1001_2^26 + 26537506315489322441556/492854671654307806843*c_1001_2^25 + 334346250053083675372/492854671654307806843*c_1001_2^24 - 127210875024200949786142/492854671654307806843*c_1001_2^23 + 157759141716046081685029/492854671654307806843*c_1001_2^22 + 181837052150838678094676/492854671654307806843*c_1001_2^21 - 491656298884792408715145/492854671654307806843*c_1001_2^20 + 71369593909163775461576/492854671654307806843*c_1001_2^19 + 560972040077695986747030/492854671654307806843*c_1001_2^18 - 275808803087684798154897/492854671654307806843*c_1001_2^17 - 468889850705183323940606/492854671654307806843*c_1001_2^16 + 406256414503984410946605/492854671654307806843*c_1001_2^15 + 135031126220253946515874/492854671654307806843*c_1001_2^14 - 168423905751128097565494/492854671654307806843*c_1001_2^13 - 71862838186002986366996/492854671654307806843*c_1001_2^12 + 59382709734184418113007/492854671654307806843*c_1001_2^11 - 11671306088971283413806/492854671654307806843*c_1001_2^10 + 63827347593411649839520/492854671654307806843*c_1001_2^9 - 26556018032170916857724/492854671654307806843*c_1001_2^8 - 39882427405101185061975/492854671654307806843*c_1001_2^7 + 8922801273373974133607/492854671654307806843*c_1001_2^6 + 30313679137461801549296/492854671654307806843*c_1001_2^5 - 12978313348004476184604/492854671654307806843*c_1001_2^4 - 5315300655817181881390/492854671654307806843*c_1001_2^3 + 3554302687129033365964/492854671654307806843*c_1001_2^2 + 397629912887042506540/492854671654307806843*c_1001_2 - 271245504242506143317/492854671654307806843, c_0011_5 + c_1001_2, c_0101_1 + 144861095597969780094/492854671654307806843*c_1001_2^29 - 742782164943282317341/492854671654307806843*c_1001_2^28 - 628714158721040026362/492854671654307806843*c_1001_2^27 + 10156931061903911967045/492854671654307806843*c_1001_2^26 - 11104426825831246463894/492854671654307806843*c_1001_2^25 - 47854362682970778384767/492854671654307806843*c_1001_2^24 + 103424325522872501274507/492854671654307806843*c_1001_2^23 + 75633924152807402344788/492854671654307806843*c_1001_2^22 - 342370994925985048246923/492854671654307806843*c_1001_2^21 + 61846080788288685316804/492854671654307806843*c_1001_2^20 + 547868409023891878773576/492854671654307806843*c_1001_2^19 - 328366087150941713132685/492854671654307806843*c_1001_2^18 - 514229225505555095268322/492854671654307806843*c_1001_2^17 + 463982900597927629917257/492854671654307806843*c_1001_2^16 + 318883041211846075940020/492854671654307806843*c_1001_2^15 - 377637940782459668598645/492854671654307806843*c_1001_2^14 - 110441672138389191030760/492854671654307806843*c_1001_2^13 + 135571408665687972853142/492854671654307806843*c_1001_2^12 + 62709972478187680667735/492854671654307806843*c_1001_2^11 - 1592312549961670571806/492854671654307806843*c_1001_2^10 - 26305423469669861607069/492854671654307806843*c_1001_2^9 - 65340322489217377024484/492854671654307806843*c_1001_2^8 + 33989514229724511973686/492854671654307806843*c_1001_2^7 + 40255059426582149226673/492854671654307806843*c_1001_2^6 - 14609060487047727487995/492854671654307806843*c_1001_2^5 - 21604862598569920487024/492854671654307806843*c_1001_2^4 + 8560906603924748919642/492854671654307806843*c_1001_2^3 + 3352431490813229695538/492854671654307806843*c_1001_2^2 - 1247069106833768253957/492854671654307806843*c_1001_2 + 162338385558077097763/492854671654307806843, c_0101_12 - 1280814570015892432419/985709343308615613686*c_1001_2^29 + 4133313586584487751371/492854671654307806843*c_1001_2^28 - 2691394655366627024341/492854671654307806843*c_1001_2^27 - 41564956263002180299998/492854671654307806843*c_1001_2^26 + 209649691552426916300787/985709343308615613686*c_1001_2^25 + 149464383163459730819293/985709343308615613686*c_1001_2^24 - 1132431072544536692579033/985709343308615613686*c_1001_2^23 + 828445926934149182383187/985709343308615613686*c_1001_2^22 + 1017012578921151417080861/492854671654307806843*c_1001_2^21 - 3313541693090855217340019/985709343308615613686*c_1001_2^20 - 348118849583213139969320/492854671654307806843*c_1001_2^19 + 4091025812521038862700913/985709343308615613686*c_1001_2^18 - 302993979744193301623563/492854671654307806843*c_1001_2^17 - 3689411264876861296823413/985709343308615613686*c_1001_2^16 + 1872012245814608889875747/985709343308615613686*c_1001_2^15 + 626439565637870347609331/492854671654307806843*c_1001_2^14 - 300714346488693031926501/492854671654307806843*c_1001_2^13 - 295750760872199476839901/492854671654307806843*c_1001_2^12 + 192725956692983180466369/985709343308615613686*c_1001_2^11 - 182128538600823134641389/985709343308615613686*c_1001_2^10 + 248332794137058216032272/492854671654307806843*c_1001_2^9 - 46166561455095472981481/985709343308615613686*c_1001_2^8 - 268687841830125765934521/985709343308615613686*c_1001_2^7 - 38783821893595902647169/985709343308615613686*c_1001_2^6 + 192556729917490756802471/985709343308615613686*c_1001_2^5 - 44824430221070059197787/985709343308615613686*c_1001_2^4 - 16031451466964813959445/492854671654307806843*c_1001_2^3 + 4670363831581940218380/492854671654307806843*c_1001_2^2 + 1060076113654165072153/985709343308615613686*c_1001_2 - 276035711451056605220/492854671654307806843, c_0101_6 + 16104012548170801677/985709343308615613686*c_1001_2^29 + 394249249648747355257/492854671654307806843*c_1001_2^28 - 2341559242308360388306/492854671654307806843*c_1001_2^27 - 479173115040956962995/985709343308615613686*c_1001_2^26 + 26296570257460239548805/492854671654307806843*c_1001_2^25 - 41728951435190953420599/492854671654307806843*c_1001_2^24 - 174348618654034777445979/985709343308615613686*c_1001_2^23 + 528945043431866848651305/985709343308615613686*c_1001_2^22 + 7871968513479403504698/492854671654307806843*c_1001_2^21 - 578790299213403034437970/492854671654307806843*c_1001_2^20 + 368440023497177320654668/492854671654307806843*c_1001_2^19 + 985957694237197535697647/985709343308615613686*c_1001_2^18 - 502756867340485771983874/492854671654307806843*c_1001_2^17 - 641004740545776597354765/985709343308615613686*c_1001_2^16 + 492494869467707134972169/492854671654307806843*c_1001_2^15 - 53189248628064310167215/985709343308615613686*c_1001_2^14 - 95614603428047671215458/492854671654307806843*c_1001_2^13 - 34669587996884828391300/492854671654307806843*c_1001_2^12 + 21014798084146769691031/492854671654307806843*c_1001_2^11 - 30562588183067574421658/492854671654307806843*c_1001_2^10 + 194846503517534377370741/985709343308615613686*c_1001_2^9 - 49492088283239900829799/492854671654307806843*c_1001_2^8 - 19705287545827426185328/492854671654307806843*c_1001_2^7 + 18623922908315342191847/985709343308615613686*c_1001_2^6 + 38345885319122758820051/985709343308615613686*c_1001_2^5 - 38059519892945339238405/985709343308615613686*c_1001_2^4 + 11474346375630995259047/985709343308615613686*c_1001_2^3 + 975038106827444518713/492854671654307806843*c_1001_2^2 - 694834882005803067702/492854671654307806843*c_1001_2 - 483856282387203912422/492854671654307806843, c_0110_10 - 179750829703977390225/985709343308615613686*c_1001_2^29 + 241578086127594635003/492854671654307806843*c_1001_2^28 + 1783337437366161978956/492854671654307806843*c_1001_2^27 - 14373673589125350836313/985709343308615613686*c_1001_2^26 - 6914709858510803787857/492854671654307806843*c_1001_2^25 + 64537070801839134425874/492854671654307806843*c_1001_2^24 - 82711201570970715905039/985709343308615613686*c_1001_2^23 - 462031221098622045197975/985709343308615613686*c_1001_2^22 + 359793946053421273593096/492854671654307806843*c_1001_2^21 + 269483035912581504199247/492854671654307806843*c_1001_2^20 - 896966987703350745027888/492854671654307806843*c_1001_2^19 + 323616602866616848880835/985709343308615613686*c_1001_2^18 + 966393283336372383412108/492854671654307806843*c_1001_2^17 - 923869791490638506214503/985709343308615613686*c_1001_2^16 - 759185788126293688276960/492854671654307806843*c_1001_2^15 + 1203935029997310580208601/985709343308615613686*c_1001_2^14 + 223573449319704592814958/492854671654307806843*c_1001_2^13 - 193818515389731097962965/492854671654307806843*c_1001_2^12 - 125985662797206058262324/492854671654307806843*c_1001_2^11 + 39999728990798122970082/492854671654307806843*c_1001_2^10 - 26526448961121855934065/985709343308615613686*c_1001_2^9 + 126716353301897004427126/492854671654307806843*c_1001_2^8 - 42706278698554083195614/492854671654307806843*c_1001_2^7 - 133654933268207340464953/985709343308615613686*c_1001_2^6 + 14001378238724118328319/985709343308615613686*c_1001_2^5 + 90159456910582170904799/985709343308615613686*c_1001_2^4 - 32179038028090869367871/985709343308615613686*c_1001_2^3 - 5608441226282248858270/492854671654307806843*c_1001_2^2 + 2042760774024349511534/492854671654307806843*c_1001_2 + 394701775854191713363/492854671654307806843, c_1001_0 - 330516286096230709080/492854671654307806843*c_1001_2^29 + 2458475098271584743654/492854671654307806843*c_1001_2^28 - 3386912453713127989981/492854671654307806843*c_1001_2^27 - 20790207610591113280242/492854671654307806843*c_1001_2^26 + 75929671995053823073965/492854671654307806843*c_1001_2^25 - 8129780250965170082174/492854671654307806843*c_1001_2^24 - 349946248174925646483887/492854671654307806843*c_1001_2^23 + 495747157119098352952467/492854671654307806843*c_1001_2^22 + 412430019684866494897308/492854671654307806843*c_1001_2^21 - 1474058758519478996136843/492854671654307806843*c_1001_2^20 + 515975457884509679592724/492854671654307806843*c_1001_2^19 + 1568502700489052308412616/492854671654307806843*c_1001_2^18 - 1229022966763170395375685/492854671654307806843*c_1001_2^17 - 1166337857973418284283162/492854671654307806843*c_1001_2^16 + 1586746724466823348662017/492854671654307806843*c_1001_2^15 + 148006121300094799345660/492854671654307806843*c_1001_2^14 - 732612432049811450150565/492854671654307806843*c_1001_2^13 - 63177843226628199632320/492854671654307806843*c_1001_2^12 + 288269932842146560448102/492854671654307806843*c_1001_2^11 - 55614857944262913182905/492854671654307806843*c_1001_2^10 + 144495885904572302841554/492854671654307806843*c_1001_2^9 - 124138244154154151494749/492854671654307806843*c_1001_2^8 - 105332793106861292823164/492854671654307806843*c_1001_2^7 + 77617663994426965572246/492854671654307806843*c_1001_2^6 + 82891660332995910697993/492854671654307806843*c_1001_2^5 - 65508568545867256686315/492854671654307806843*c_1001_2^4 - 14994536876645306305424/492854671654307806843*c_1001_2^3 + 18145878900715439482962/492854671654307806843*c_1001_2^2 - 115069755707154493025/492854671654307806843*c_1001_2 - 1908101679026229672117/492854671654307806843, c_1001_10 - 601761790338736852397/492854671654307806843*c_1001_2^29 + 4246078021776383010768/492854671654307806843*c_1001_2^28 - 4707316684140883371292/492854671654307806843*c_1001_2^27 - 38513138808755853055054/492854671654307806843*c_1001_2^26 + 122480284817642873437886/492854671654307806843*c_1001_2^25 + 20848935602706707649235/492854671654307806843*c_1001_2^24 - 597530292802523177800253/492854671654307806843*c_1001_2^23 + 690504695630752195283604/492854671654307806843*c_1001_2^22 + 846588330224026336622360/492854671654307806843*c_1001_2^21 - 2220966312894981352759575/492854671654307806843*c_1001_2^20 + 397010481828920711795137/492854671654307806843*c_1001_2^19 + 2477478411499075054437088/492854671654307806843*c_1001_2^18 - 1407194925746303649167480/492854671654307806843*c_1001_2^17 - 1977314040931567703202500/492854671654307806843*c_1001_2^16 + 2039277851673433393569260/492854671654307806843*c_1001_2^15 + 414028610110703534197376/492854671654307806843*c_1001_2^14 - 888898977386009101557149/492854671654307806843*c_1001_2^13 - 192813641871077918703483/492854671654307806843*c_1001_2^12 + 341722517616181412293560/492854671654307806843*c_1001_2^11 - 93338038728895694377384/492854671654307806843*c_1001_2^10 + 252715092690788734773862/492854671654307806843*c_1001_2^9 - 140599565816524320077061/492854671654307806843*c_1001_2^8 - 164709517152375453022245/492854671654307806843*c_1001_2^7 + 73539643149336591428115/492854671654307806843*c_1001_2^6 + 126805131653653177319493/492854671654307806843*c_1001_2^5 - 76966697061751401207837/492854671654307806843*c_1001_2^4 - 22547940139799659623688/492854671654307806843*c_1001_2^3 + 20696697867930935757765/492854671654307806843*c_1001_2^2 + 998023393239323583086/492854671654307806843*c_1001_2 - 2052962774624199452211/492854671654307806843, c_1001_12 + 81523496247352778688/492854671654307806843*c_1001_2^29 - 1003332663939818286208/492854671654307806843*c_1001_2^28 + 2764800972924932684242/492854671654307806843*c_1001_2^27 + 6825460094189964378191/492854671654307806843*c_1001_2^26 - 43180840978881908385269/492854671654307806843*c_1001_2^25 + 26727510172807236607415/492854671654307806843*c_1001_2^24 + 189550895337186617781299/492854671654307806843*c_1001_2^23 - 325691655672358569086887/492854671654307806843*c_1001_2^22 - 242209462276659616631468/492854671654307806843*c_1001_2^21 + 908202218646136825297459/492854671654307806843*c_1001_2^20 - 187198252134614725938758/492854671654307806843*c_1001_2^19 - 1050413423628646052590885/492854671654307806843*c_1001_2^18 + 538553078568300791841600/492854671654307806843*c_1001_2^17 + 864503544556981785040345/492854671654307806843*c_1001_2^16 - 711651702482166144438591/492854671654307806843*c_1001_2^15 - 283089673510836624804192/492854671654307806843*c_1001_2^14 + 303379434844972946792055/492854671654307806843*c_1001_2^13 + 111382032972588157213690/492854671654307806843*c_1001_2^12 - 85350404914972445273050/492854671654307806843*c_1001_2^11 + 28220515586064222383312/492854671654307806843*c_1001_2^10 - 109271083511319127028957/492854671654307806843*c_1001_2^9 + 27157850155490671038100/492854671654307806843*c_1001_2^8 + 73731404844629957121174/492854671654307806843*c_1001_2^7 - 16172274162082555188807/492854671654307806843*c_1001_2^6 - 47276847489390251655258/492854671654307806843*c_1001_2^5 + 23648227789682199770025/492854671654307806843*c_1001_2^4 + 9328722865161608290101/492854671654307806843*c_1001_2^3 - 8286730674761733097428/492854671654307806843*c_1001_2^2 - 435186325761125053998/492854671654307806843*c_1001_2 + 1160454333177476789827/492854671654307806843, c_1001_2^30 - 7*c_1001_2^29 + 8*c_1001_2^28 + 61*c_1001_2^27 - 199*c_1001_2^26 - 9*c_1001_2^25 + 914*c_1001_2^24 - 1187*c_1001_2^23 - 1019*c_1001_2^22 + 3424*c_1001_2^21 - 1374*c_1001_2^20 - 3088*c_1001_2^19 + 2725*c_1001_2^18 + 1973*c_1001_2^17 - 3397*c_1001_2^16 + 517*c_1001_2^15 + 1074*c_1001_2^14 - 143*c_1001_2^13 - 462*c_1001_2^12 + 358*c_1001_2^11 - 442*c_1001_2^10 + 296*c_1001_2^9 + 121*c_1001_2^8 - 132*c_1001_2^7 - 129*c_1001_2^6 + 154*c_1001_2^5 - 20*c_1001_2^4 - 29*c_1001_2^3 + 9*c_1001_2^2 + 2*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.560 Total time: 3.770 seconds, Total memory usage: 32.09MB