Magma V2.19-8 Wed Aug 21 2013 00:34:42 on localhost [Seed = 2834217471] Type ? for help. Type -D to quit. Loading file "K14n21888__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21888 geometric_solution 11.06834261 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 2 0132 0132 0213 0213 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 -6 0 0 6 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732028847593 0.695203743168 0 0 4 3 0132 0213 0132 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 6 0 0 -6 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.482729329387 1.252355836485 5 0 6 0 0132 0132 0132 0213 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 1 -1 0 0 1 -1 5 1 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732028847593 0.695203743168 5 7 1 6 1302 0132 0132 1302 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 1 -1 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.507815942438 1.084692970423 5 7 8 1 2310 0321 0132 0132 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176229207740 0.338656731789 2 3 4 9 0132 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562377395335 0.829458980228 10 11 3 2 0132 0132 2031 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 1 0 -1 0 0 1 -1 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332933659047 0.301686453751 9 3 11 4 1230 0132 3120 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.238028357548 0.387749847537 11 11 10 4 3201 3012 1230 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 0 0 0 5 0 0 -5 -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.851198458319 0.634190087893 12 7 5 12 0132 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.074025370552 0.654796174538 6 12 12 8 0132 3201 0132 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.352761213776 0.997358306128 8 6 7 8 1230 0132 3120 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 -1 0 1 -1 0 0 1 -1 6 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350666692120 1.494536533590 9 9 10 10 0132 2310 2310 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 1.761084485951 1.164041862086 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_11']), 'c_1001_7' : negation(d['c_1001_11']), 'c_1001_6' : negation(d['c_0101_4']), '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_11'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_4']), 'c_1010_10' : d['c_0011_8'], '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'], 'c_0101_12' : d['c_0101_12'], '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' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : negation(d['c_1001_11']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_11'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : d['c_0101_6'], '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' : negation(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_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_8'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0011_8']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : negation(d['c_0011_0']), 'c_1100_9' : negation(d['c_0011_12']), 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} 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_3, c_0011_8, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_4, c_0101_6, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 63953733210000506290306502288367601219210053136/9634523604059929721\ 2198889245366815850744309*c_1001_11^26 - 19372163134701503036169117332174415524379261981/9634523604059929721\ 2198889245366815850744309*c_1001_11^25 - 4986164521386926572646760645367181889400660680155/19269047208119859\ 4424397778490733631701488618*c_1001_11^24 - 4360098223243607089959946269150936873738413518840/96345236040599297\ 212198889245366815850744309*c_1001_11^23 + 24273266813625240520914246863800288917687275908879/9634523604059929\ 7212198889245366815850744309*c_1001_11^22 + 158396946689341348135544643801218807711721553007735/192690472081198\ 594424397778490733631701488618*c_1001_11^21 - 20762148201036626190831352530519410875602289146741/9634523604059929\ 7212198889245366815850744309*c_1001_11^20 - 738950815418045592093100231478644582527519921999397/192690472081198\ 594424397778490733631701488618*c_1001_11^19 - 429868966226977427006275750951574247541315922197839/963452360405992\ 97212198889245366815850744309*c_1001_11^18 + 621243734397782078150525395060653124586206805684013/192690472081198\ 594424397778490733631701488618*c_1001_11^17 + 1058519139174711251561449424139312958315534692363647/96345236040599\ 297212198889245366815850744309*c_1001_11^16 + 1392185221590356160584613093291158225467112490197541/19269047208119\ 8594424397778490733631701488618*c_1001_11^15 - 152119550107285513373566443375753014046239435016214/963452360405992\ 97212198889245366815850744309*c_1001_11^14 - 63636652138103501371898829672383510710618180959410/9634523604059929\ 7212198889245366815850744309*c_1001_11^13 + 710613652734213189223103117377280316826612112030164/963452360405992\ 97212198889245366815850744309*c_1001_11^12 + 897783399270671419132581143922275563859203228340357/963452360405992\ 97212198889245366815850744309*c_1001_11^11 + 394464490686493461048706125791600104903461141200599/963452360405992\ 97212198889245366815850744309*c_1001_11^10 + 54498978763174580718167250836628918815606636636095/9634523604059929\ 7212198889245366815850744309*c_1001_11^9 + 145794819376454574939190581954698116616383543190715/963452360405992\ 97212198889245366815850744309*c_1001_11^8 + 546128186318886206462268344572153713385449597328245/192690472081198\ 594424397778490733631701488618*c_1001_11^7 + 220116976766190483136167966608676088056095145609421/963452360405992\ 97212198889245366815850744309*c_1001_11^6 + 202543192564878612109568404572351188217831117869903/192690472081198\ 594424397778490733631701488618*c_1001_11^5 + 37164094728123037705110205531332706459551126116994/9634523604059929\ 7212198889245366815850744309*c_1001_11^4 + 31463218273892450774095255957897261311571265763989/1926904720811985\ 94424397778490733631701488618*c_1001_11^3 + 6384103190975147126056268277663291976180068993174/96345236040599297\ 212198889245366815850744309*c_1001_11^2 + 1411482080250932127138735675901404898564234989025/19269047208119859\ 4424397778490733631701488618*c_1001_11 - 102541366302019879644348870962143270190490746790/963452360405992972\ 12198889245366815850744309, c_0011_0 - 1, c_0011_10 + 51399627270680264167071940926861953/29404817714367149339877\ 0836294091613*c_1001_11^26 - 82927957391781049037777706695431304/29\ 4048177143671493398770836294091613*c_1001_11^25 - 1900652074631731311917869624062520800/29404817714367149339877083629\ 4091613*c_1001_11^24 - 1004930570838201410147098917366378923/294048\ 177143671493398770836294091613*c_1001_11^23 + 21029139958771754983593492707218540368/2940481771436714933987708362\ 94091613*c_1001_11^22 + 36228895313467063425302340579817031488/2940\ 48177143671493398770836294091613*c_1001_11^21 - 66218028891840283368972679617041829915/2940481771436714933987708362\ 94091613*c_1001_11^20 - 214143694020477672383459696188970074220/294\ 048177143671493398770836294091613*c_1001_11^19 - 60868631745185689834245307131690175706/2940481771436714933987708362\ 94091613*c_1001_11^18 + 348325097214491841864132010997507216951/294\ 048177143671493398770836294091613*c_1001_11^17 + 413966493528591388469515280813095069779/294048177143671493398770836\ 294091613*c_1001_11^16 + 9793617349022275518970689915791447676/2940\ 48177143671493398770836294091613*c_1001_11^15 - 186197036733555842455752337597773717743/294048177143671493398770836\ 294091613*c_1001_11^14 + 132362974310303077551001902638857846332/29\ 4048177143671493398770836294091613*c_1001_11^13 + 381537521296188260793883890563439648506/294048177143671493398770836\ 294091613*c_1001_11^12 + 228072630400225590907910488054346619527/29\ 4048177143671493398770836294091613*c_1001_11^11 - 9868897217790638316692692247622924432/29404817714367149339877083629\ 4091613*c_1001_11^10 - 7135333195590916917796536100564217396/294048\ 177143671493398770836294091613*c_1001_11^9 + 83381256538437835075208714787699146905/2940481771436714933987708362\ 94091613*c_1001_11^8 + 98848866866614210427192400172970904934/29404\ 8177143671493398770836294091613*c_1001_11^7 + 43568100846924040705996475294958699654/2940481771436714933987708362\ 94091613*c_1001_11^6 + 7900273106708877730881495972183670529/294048\ 177143671493398770836294091613*c_1001_11^5 + 995249373991330963406372986699127859/294048177143671493398770836294\ 091613*c_1001_11^4 + 1713744866703446158695532777386847533/29404817\ 7143671493398770836294091613*c_1001_11^3 + 88410768776429844577801982027075916/2940481771436714933987708362940\ 91613*c_1001_11^2 - 497180642490410679842858919634684784/2940481771\ 43671493398770836294091613*c_1001_11 - 2585465750214536935321746521626990/29404817714367149339877083629409\ 1613, c_0011_12 - 112582182272630909424884375516262519/2940481771436714933987\ 70836294091613*c_1001_11^26 + 179595717115992128486453591824968104/\ 294048177143671493398770836294091613*c_1001_11^25 + 4174321248048454602403593674063486405/29404817714367149339877083629\ 4091613*c_1001_11^24 + 2252897308516618150837898602414948860/294048\ 177143671493398770836294091613*c_1001_11^23 - 46282273045417138898942725258433432971/2940481771436714933987708362\ 94091613*c_1001_11^22 - 79983015488447445227301826687824554045/2940\ 48177143671493398770836294091613*c_1001_11^21 + 146566373166330327862738444648566567915/294048177143671493398770836\ 294091613*c_1001_11^20 + 473030741701015396548255224337734901832/29\ 4048177143671493398770836294091613*c_1001_11^19 + 129520550508548403017100128889721087466/294048177143671493398770836\ 294091613*c_1001_11^18 - 774271456438006856481862537832744046778/29\ 4048177143671493398770836294091613*c_1001_11^17 - 906195027876728024321795965743508939860/294048177143671493398770836\ 294091613*c_1001_11^16 - 14447906586794017711748160113041746965/294\ 048177143671493398770836294091613*c_1001_11^15 + 409382408088013812622109988901259444962/294048177143671493398770836\ 294091613*c_1001_11^14 - 275183410233732470590321524406944284610/29\ 4048177143671493398770836294091613*c_1001_11^13 - 816311904104044058338557535538947041400/294048177143671493398770836\ 294091613*c_1001_11^12 - 503837312500955781825980660007917758966/29\ 4048177143671493398770836294091613*c_1001_11^11 + 12632383336718047248810296039559265228/2940481771436714933987708362\ 94091613*c_1001_11^10 + 31552311949907538392444937758852822486/2940\ 48177143671493398770836294091613*c_1001_11^9 - 161061285453319468694452810667634175031/294048177143671493398770836\ 294091613*c_1001_11^8 - 213457399765899372687403197540598199229/294\ 048177143671493398770836294091613*c_1001_11^7 - 98019791197189217434065685777324218776/2940481771436714933987708362\ 94091613*c_1001_11^6 - 15687855729980531938402031778475454181/29404\ 8177143671493398770836294091613*c_1001_11^5 + 4566100637064213932710388260822749957/29404817714367149339877083629\ 4091613*c_1001_11^4 - 144619633727167926255256797033843601/29404817\ 7143671493398770836294091613*c_1001_11^3 + 633052213950424263021418194377989493/294048177143671493398770836294\ 091613*c_1001_11^2 + 842964268141230388691310806065415119/294048177\ 143671493398770836294091613*c_1001_11 + 180059238113752717282185671441605396/294048177143671493398770836294\ 091613, c_0011_3 + 89823222982349794962877962330214154/294048177143671493398770\ 836294091613*c_1001_11^26 - 109815678941881262622454749652999753/29\ 4048177143671493398770836294091613*c_1001_11^25 - 3390858080264681268606614171071512953/29404817714367149339877083629\ 4091613*c_1001_11^24 - 3030362012398479982449536734254543086/294048\ 177143671493398770836294091613*c_1001_11^23 + 36517938346561913580478105719647850711/2940481771436714933987708362\ 94091613*c_1001_11^22 + 77843341942379762028020954372239839163/2940\ 48177143671493398770836294091613*c_1001_11^21 - 95965693857495747412114657203486987752/2940481771436714933987708362\ 94091613*c_1001_11^20 - 427528108213174004212818183133193374183/294\ 048177143671493398770836294091613*c_1001_11^19 - 236756611094189205794652143101229425068/294048177143671493398770836\ 294091613*c_1001_11^18 + 615264313786563685179151816749954363352/29\ 4048177143671493398770836294091613*c_1001_11^17 + 972261426686473413131174198654195241209/294048177143671493398770836\ 294091613*c_1001_11^16 + 226069848456005277175490126309305658699/29\ 4048177143671493398770836294091613*c_1001_11^15 - 397116193700962407097546496112555450905/294048177143671493398770836\ 294091613*c_1001_11^14 + 89394762586028969726197698578197442184/294\ 048177143671493398770836294091613*c_1001_11^13 + 761497876739734209034718663140579288847/294048177143671493398770836\ 294091613*c_1001_11^12 + 628257161251497058667149771950993982615/29\ 4048177143671493398770836294091613*c_1001_11^11 + 75489065994484094695824204396874942584/2940481771436714933987708362\ 94091613*c_1001_11^10 - 72135557358645010396146169988150415364/2940\ 48177143671493398770836294091613*c_1001_11^9 + 111912730224334168197070141711170347892/294048177143671493398770836\ 294091613*c_1001_11^8 + 222671321378416284794822699699184812574/294\ 048177143671493398770836294091613*c_1001_11^7 + 127174176210895068572671135649770667438/294048177143671493398770836\ 294091613*c_1001_11^6 + 25139414938101657294177931051186286033/2940\ 48177143671493398770836294091613*c_1001_11^5 - 9492112465895895780659925840681135072/29404817714367149339877083629\ 4091613*c_1001_11^4 - 2801627079279010281243596407364922625/2940481\ 77143671493398770836294091613*c_1001_11^3 - 1023540577859920219813143501325936880/29404817714367149339877083629\ 4091613*c_1001_11^2 - 978576896794528353454273976493685615/29404817\ 7143671493398770836294091613*c_1001_11 - 358877243166221441580281379812459173/294048177143671493398770836294\ 091613, c_0011_8 + 14501017012375797393618034740478107/294048177143671493398770\ 836294091613*c_1001_11^26 - 23083477371989650993784874172531917/294\ 048177143671493398770836294091613*c_1001_11^25 - 527422000257640502682744829088736217/294048177143671493398770836294\ 091613*c_1001_11^24 - 314773160664645519598463414157627861/29404817\ 7143671493398770836294091613*c_1001_11^23 + 5583626739249547132772333999440020069/29404817714367149339877083629\ 4091613*c_1001_11^22 + 10367832142126953429635501603434205791/29404\ 8177143671493398770836294091613*c_1001_11^21 - 14368073715963446266176771823587094627/2940481771436714933987708362\ 94091613*c_1001_11^20 - 56550474450374467672702225378495869410/2940\ 48177143671493398770836294091613*c_1001_11^19 - 35995809622869584724656726610210166170/2940481771436714933987708362\ 94091613*c_1001_11^18 + 66031856856860843250262585023806336922/2940\ 48177143671493398770836294091613*c_1001_11^17 + 137937155955294779584360527207924359182/294048177143671493398770836\ 294091613*c_1001_11^16 + 78333168512911585873505090450807552253/294\ 048177143671493398770836294091613*c_1001_11^15 - 28519016568535281555844907669049370563/2940481771436714933987708362\ 94091613*c_1001_11^14 - 16724961912038277987609828752775082695/2940\ 48177143671493398770836294091613*c_1001_11^13 + 85165875202520681729663614655426891053/2940481771436714933987708362\ 94091613*c_1001_11^12 + 120161181990214176103732676959056133658/294\ 048177143671493398770836294091613*c_1001_11^11 + 43044751941741156222508957756612893294/2940481771436714933987708362\ 94091613*c_1001_11^10 - 10006681882661005446812529193284116154/2940\ 48177143671493398770836294091613*c_1001_11^9 + 906279408967606942350652850939677642/294048177143671493398770836294\ 091613*c_1001_11^8 + 32056849129527864773470144953084353949/2940481\ 77143671493398770836294091613*c_1001_11^7 + 27094627501651082596866934789845885112/2940481771436714933987708362\ 94091613*c_1001_11^6 + 9911270583741562670262612477603487979/294048\ 177143671493398770836294091613*c_1001_11^5 - 2664755532866359127804636806831472897/29404817714367149339877083629\ 4091613*c_1001_11^4 - 2246044298983548313199594315762255497/2940481\ 77143671493398770836294091613*c_1001_11^3 - 728986208255668566458584065639833241/294048177143671493398770836294\ 091613*c_1001_11^2 - 17641505351937990999102994712594902/2940481771\ 43671493398770836294091613*c_1001_11 + 31996690260949605701110334242109834/2940481771436714933987708362940\ 91613, c_0101_1 + 18354115527454066040570928567096513/294048177143671493398770\ 836294091613*c_1001_11^26 - 26676317121178205881871969209269579/294\ 048177143671493398770836294091613*c_1001_11^25 - 685670908722239030510562949085248871/294048177143671493398770836294\ 091613*c_1001_11^24 - 459882432011839188445807300928118785/29404817\ 7143671493398770836294091613*c_1001_11^23 + 7525490431165758974660773101424285003/29404817714367149339877083629\ 4091613*c_1001_11^22 + 14045630469428049259257060095958670445/29404\ 8177143671493398770836294091613*c_1001_11^21 - 22489101736474360030109818218117791904/2940481771436714933987708362\ 94091613*c_1001_11^20 - 80288954987434538548730755444749599437/2940\ 48177143671493398770836294091613*c_1001_11^19 - 29148796444533972476259575777079535257/2940481771436714933987708362\ 94091613*c_1001_11^18 + 124519641409862368973124234242661581239/294\ 048177143671493398770836294091613*c_1001_11^17 + 156893373637357045428503596903527362027/294048177143671493398770836\ 294091613*c_1001_11^16 + 13637890930292073015192152558934804874/294\ 048177143671493398770836294091613*c_1001_11^15 - 57197117252322577094228602560041500275/2940481771436714933987708362\ 94091613*c_1001_11^14 + 53984297367833688705289812396972844350/2940\ 48177143671493398770836294091613*c_1001_11^13 + 140803820814554508784583556263980919117/294048177143671493398770836\ 294091613*c_1001_11^12 + 89608379915838612301074770974050333898/294\ 048177143671493398770836294091613*c_1001_11^11 + 9722054628608679518207864970240705323/29404817714367149339877083629\ 4091613*c_1001_11^10 + 7750709690407097844082547319094957633/294048\ 177143671493398770836294091613*c_1001_11^9 + 33703678012133040758157481054580051926/2940481771436714933987708362\ 94091613*c_1001_11^8 + 38073628728747445717433122582613350546/29404\ 8177143671493398770836294091613*c_1001_11^7 + 18963311494358958093497948464297913226/2940481771436714933987708362\ 94091613*c_1001_11^6 + 7173871764670224249103645187818304426/294048\ 177143671493398770836294091613*c_1001_11^5 + 2494284419265002528993310197881827516/29404817714367149339877083629\ 4091613*c_1001_11^4 + 1605559498469139827803932800236412307/2940481\ 77143671493398770836294091613*c_1001_11^3 - 320251512504977293504082792621586705/294048177143671493398770836294\ 091613*c_1001_11^2 - 38149536134788286981715715640966999/2940481771\ 43671493398770836294091613*c_1001_11 - 209159628094145358932791696525100856/294048177143671493398770836294\ 091613, c_0101_10 + 3463279727291339189831295822245557/294048177143671493398770\ 836294091613*c_1001_11^26 - 5253240420285728711267845512641747/2940\ 48177143671493398770836294091613*c_1001_11^25 - 128980015697373182821100175251395943/294048177143671493398770836294\ 091613*c_1001_11^24 - 78543047351105822447507867198136637/294048177\ 143671493398770836294091613*c_1001_11^23 + 1421778517503518406504020102454780132/29404817714367149339877083629\ 4091613*c_1001_11^22 + 2554438347110021702817425451152269328/294048\ 177143671493398770836294091613*c_1001_11^21 - 4368166941950034796124743733569985763/29404817714367149339877083629\ 4091613*c_1001_11^20 - 14777912957141021229495588782181292361/29404\ 8177143671493398770836294091613*c_1001_11^19 - 4677242856766134059542609422697548202/29404817714367149339877083629\ 4091613*c_1001_11^18 + 23300599017648720586367032472887782472/29404\ 8177143671493398770836294091613*c_1001_11^17 + 27974544945923155001110623622148062566/2940481771436714933987708362\ 94091613*c_1001_11^16 + 1593296633221202024521154770621409697/29404\ 8177143671493398770836294091613*c_1001_11^15 - 10037226737185369488561232424292503641/2940481771436714933987708362\ 94091613*c_1001_11^14 + 10722479679498263091556263984471746233/2940\ 48177143671493398770836294091613*c_1001_11^13 + 25476037728520844809508152442460730985/2940481771436714933987708362\ 94091613*c_1001_11^12 + 15680924285719955474953200168129813460/2940\ 48177143671493398770836294091613*c_1001_11^11 + 1593800339832616239617654825383709338/29404817714367149339877083629\ 4091613*c_1001_11^10 + 1741466037795012146951961586951341520/294048\ 177143671493398770836294091613*c_1001_11^9 + 6156342248116123087342303335536052447/29404817714367149339877083629\ 4091613*c_1001_11^8 + 6834909871884561109258081418437174241/2940481\ 77143671493398770836294091613*c_1001_11^7 + 3257431928549596907679813096551774736/29404817714367149339877083629\ 4091613*c_1001_11^6 + 1330647363430385258837658060366878313/2940481\ 77143671493398770836294091613*c_1001_11^5 + 67949281018094983706004572530022490/2940481771436714933987708362940\ 91613*c_1001_11^4 + 300898296655286076256571711862220648/2940481771\ 43671493398770836294091613*c_1001_11^3 + 433772712669255034037919565992793070/294048177143671493398770836294\ 091613*c_1001_11^2 - 1709712340005786357968847282750381/29404817714\ 3671493398770836294091613*c_1001_11 + 8322201593724139841301040642173066/29404817714367149339877083629409\ 1613, c_0101_11 + 51399627270680264167071940926861953/29404817714367149339877\ 0836294091613*c_1001_11^26 - 82927957391781049037777706695431304/29\ 4048177143671493398770836294091613*c_1001_11^25 - 1900652074631731311917869624062520800/29404817714367149339877083629\ 4091613*c_1001_11^24 - 1004930570838201410147098917366378923/294048\ 177143671493398770836294091613*c_1001_11^23 + 21029139958771754983593492707218540368/2940481771436714933987708362\ 94091613*c_1001_11^22 + 36228895313467063425302340579817031488/2940\ 48177143671493398770836294091613*c_1001_11^21 - 66218028891840283368972679617041829915/2940481771436714933987708362\ 94091613*c_1001_11^20 - 214143694020477672383459696188970074220/294\ 048177143671493398770836294091613*c_1001_11^19 - 60868631745185689834245307131690175706/2940481771436714933987708362\ 94091613*c_1001_11^18 + 348325097214491841864132010997507216951/294\ 048177143671493398770836294091613*c_1001_11^17 + 413966493528591388469515280813095069779/294048177143671493398770836\ 294091613*c_1001_11^16 + 9793617349022275518970689915791447676/2940\ 48177143671493398770836294091613*c_1001_11^15 - 186197036733555842455752337597773717743/294048177143671493398770836\ 294091613*c_1001_11^14 + 132362974310303077551001902638857846332/29\ 4048177143671493398770836294091613*c_1001_11^13 + 381537521296188260793883890563439648506/294048177143671493398770836\ 294091613*c_1001_11^12 + 228072630400225590907910488054346619527/29\ 4048177143671493398770836294091613*c_1001_11^11 - 9868897217790638316692692247622924432/29404817714367149339877083629\ 4091613*c_1001_11^10 - 7135333195590916917796536100564217396/294048\ 177143671493398770836294091613*c_1001_11^9 + 83381256538437835075208714787699146905/2940481771436714933987708362\ 94091613*c_1001_11^8 + 98848866866614210427192400172970904934/29404\ 8177143671493398770836294091613*c_1001_11^7 + 43568100846924040705996475294958699654/2940481771436714933987708362\ 94091613*c_1001_11^6 + 7900273106708877730881495972183670529/294048\ 177143671493398770836294091613*c_1001_11^5 + 995249373991330963406372986699127859/294048177143671493398770836294\ 091613*c_1001_11^4 + 1713744866703446158695532777386847533/29404817\ 7143671493398770836294091613*c_1001_11^3 + 88410768776429844577801982027075916/2940481771436714933987708362940\ 91613*c_1001_11^2 - 497180642490410679842858919634684784/2940481771\ 43671493398770836294091613*c_1001_11 - 2585465750214536935321746521626990/29404817714367149339877083629409\ 1613, c_0101_12 - 91649178093080450228834800188804763/29404817714367149339877\ 0836294091613*c_1001_11^26 + 96015788176623034258431017382859746/29\ 4048177143671493398770836294091613*c_1001_11^25 + 3526995885320747421838212731943060926/29404817714367149339877083629\ 4091613*c_1001_11^24 + 3583565056502834297678893100059692234/294048\ 177143671493398770836294091613*c_1001_11^23 - 38414250804872282848256538356114109191/2940481771436714933987708362\ 94091613*c_1001_11^22 - 85525141812806742728254814645891746619/2940\ 48177143671493398770836294091613*c_1001_11^21 + 104021398404265786095657722558037824085/294048177143671493398770836\ 294091613*c_1001_11^20 + 471662953423727209541994410555772889623/29\ 4048177143671493398770836294091613*c_1001_11^19 + 232529514343366616939898694776793379199/294048177143671493398770836\ 294091613*c_1001_11^18 - 730816288027218439977826288412521934906/29\ 4048177143671493398770836294091613*c_1001_11^17 - 1007732264745009969410788576387910467312/29404817714367149339877083\ 6294091613*c_1001_11^16 - 71378722508344875532081067336130203034/29\ 4048177143671493398770836294091613*c_1001_11^15 + 470279726828532609514667971459800485006/294048177143671493398770836\ 294091613*c_1001_11^14 - 247208489101514190368101508536522366757/29\ 4048177143671493398770836294091613*c_1001_11^13 - 880765429339173477613225696006483559184/294048177143671493398770836\ 294091613*c_1001_11^12 - 538199938573174052458651174173943133256/29\ 4048177143671493398770836294091613*c_1001_11^11 + 6565202745779054516331092471048030889/29404817714367149339877083629\ 4091613*c_1001_11^10 + 25723091768018860177349173358477868391/29404\ 8177143671493398770836294091613*c_1001_11^9 - 188107522665389089542382002011940723503/294048177143671493398770836\ 294091613*c_1001_11^8 - 225260447882285363674946233701597719241/294\ 048177143671493398770836294091613*c_1001_11^7 - 105764241139991678954097447463570420281/294048177143671493398770836\ 294091613*c_1001_11^6 - 21659527289285491823384490278147701873/2940\ 48177143671493398770836294091613*c_1001_11^5 - 5074013469474462957457630723792330248/29404817714367149339877083629\ 4091613*c_1001_11^4 - 4654224433432324017065994500700018034/2940481\ 77143671493398770836294091613*c_1001_11^3 - 363506755996652639665572140039069335/294048177143671493398770836294\ 091613*c_1001_11^2 + 657570516531983865728053215661901432/294048177\ 143671493398770836294091613*c_1001_11 + 2424464911410101830920239760969339/29404817714367149339877083629409\ 1613, c_0101_4 - 9584744696634395631871575984575527/2940481771436714933987708\ 36294091613*c_1001_11^26 + 43922593641170345315006680223004516/2940\ 48177143671493398770836294091613*c_1001_11^25 + 315280301975642679437619850515399220/294048177143671493398770836294\ 091613*c_1001_11^24 - 889670576911032488264691049238958515/29404817\ 7143671493398770836294091613*c_1001_11^23 - 4689074536341796759709389339508043401/29404817714367149339877083629\ 4091613*c_1001_11^22 + 5212249896311360556748014717274821572/294048\ 177143671493398770836294091613*c_1001_11^21 + 34912704794017196068037143842202119010/2940481771436714933987708362\ 94091613*c_1001_11^20 + 2855153100508996056963843026522958864/29404\ 8177143671493398770836294091613*c_1001_11^19 - 119659385804178855616339105980423883792/294048177143671493398770836\ 294091613*c_1001_11^18 - 105934967331637768446519268011292117367/29\ 4048177143671493398770836294091613*c_1001_11^17 + 140546458977397867333805492920203775122/294048177143671493398770836\ 294091613*c_1001_11^16 + 255013824341255525052450363685898736714/29\ 4048177143671493398770836294091613*c_1001_11^15 + 25250718098287558114318571399455897395/2940481771436714933987708362\ 94091613*c_1001_11^14 - 158919419384685793916318348211109206094/294\ 048177143671493398770836294091613*c_1001_11^13 + 6884199067398623931228732427627289084/29404817714367149339877083629\ 4091613*c_1001_11^12 + 195795270228293279507978539541622956003/2940\ 48177143671493398770836294091613*c_1001_11^11 + 131845792069067297358754990341860339538/294048177143671493398770836\ 294091613*c_1001_11^10 - 20794815987454394850451245815923602842/294\ 048177143671493398770836294091613*c_1001_11^9 - 29661002641060330276533748922357127025/2940481771436714933987708362\ 94091613*c_1001_11^8 + 32376032041762484320649591830886085312/29404\ 8177143671493398770836294091613*c_1001_11^7 + 50760648928889504423774845729995686586/2940481771436714933987708362\ 94091613*c_1001_11^6 + 21122694195942152111755650295962113425/29404\ 8177143671493398770836294091613*c_1001_11^5 + 631888066629119656105288220976710906/294048177143671493398770836294\ 091613*c_1001_11^4 - 1299241207657530709020911826416227504/29404817\ 7143671493398770836294091613*c_1001_11^3 + 698291513919703428994236919209713972/294048177143671493398770836294\ 091613*c_1001_11^2 + 7921627773065387488218173588047399/29404817714\ 3671493398770836294091613*c_1001_11 - 212306926831314594597002907212982581/294048177143671493398770836294\ 091613, c_0101_6 + c_1001_11, c_1001_0 - 84888549049526134465979139768990757/294048177143671493398770\ 836294091613*c_1001_11^26 + 103242664576980200506550068336087270/29\ 4048177143671493398770836294091613*c_1001_11^25 + 3199088546760814903825335342012379187/29404817714367149339877083629\ 4091613*c_1001_11^24 + 2879648151357858617060560921212362923/294048\ 177143671493398770836294091613*c_1001_11^23 - 34245524953723240705905504928986440071/2940481771436714933987708362\ 94091613*c_1001_11^22 - 73118631165884068768019409679116934147/2940\ 48177143671493398770836294091613*c_1001_11^21 + 88068445240614838513590869974518610549/2940481771436714933987708362\ 94091613*c_1001_11^20 + 394228785547649434063381778907857834209/294\ 048177143671493398770836294091613*c_1001_11^19 + 223272496413670918301610648369161347595/294048177143671493398770836\ 294091613*c_1001_11^18 - 535763657172105942969223081918416373033/29\ 4048177143671493398770836294091613*c_1001_11^17 - 852462669601133912595829685358653041074/294048177143671493398770836\ 294091613*c_1001_11^16 - 241403698503019577485870526892577269817/29\ 4048177143671493398770836294091613*c_1001_11^15 + 226962814691751248928197730798408577215/294048177143671493398770836\ 294091613*c_1001_11^14 - 202780978872259897703382827263860648530/29\ 4048177143671493398770836294091613*c_1001_11^13 - 709673089881703416950658528964868005622/294048177143671493398770836\ 294091613*c_1001_11^12 - 570307554573325919636923697580854652272/29\ 4048177143671493398770836294091613*c_1001_11^11 - 159963954289768223028903899946782491682/294048177143671493398770836\ 294091613*c_1001_11^10 - 66762528065014367635639339961619966734/294\ 048177143671493398770836294091613*c_1001_11^9 - 175438779158470300333500436302387095973/294048177143671493398770836\ 294091613*c_1001_11^8 - 217396650076365264992208814382094607280/294\ 048177143671493398770836294091613*c_1001_11^7 - 135014122783236342458698343406358802977/294048177143671493398770836\ 294091613*c_1001_11^6 - 61086590259344186707920380337860370625/2940\ 48177143671493398770836294091613*c_1001_11^5 - 25593108168446863654764302763012127776/2940481771436714933987708362\ 94091613*c_1001_11^4 - 13634539900144963019542726358226416314/29404\ 8177143671493398770836294091613*c_1001_11^3 - 3912196189750058912484711284747986898/29404817714367149339877083629\ 4091613*c_1001_11^2 - 959977374906093279231082493786393419/29404817\ 7143671493398770836294091613*c_1001_11 - 207926634233840555913673995178948513/294048177143671493398770836294\ 091613, c_1001_11^27 - c_1001_11^26 - 38*c_1001_11^25 - 42*c_1001_11^24 + 398*c_1001_11^23 + 950*c_1001_11^22 - 872*c_1001_11^21 - 4909*c_1001_11^20 - 3576*c_1001_11^19 + 5968*c_1001_11^18 + 11509*c_1001_11^17 + 4692*c_1001_11^16 - 2513*c_1001_11^15 + 1715*c_1001_11^14 + 8996*c_1001_11^13 + 8377*c_1001_11^12 + 2940*c_1001_11^11 + 901*c_1001_11^10 + 2158*c_1001_11^9 + 2958*c_1001_11^8 + 2039*c_1001_11^7 + 943*c_1001_11^6 + 386*c_1001_11^5 + 190*c_1001_11^4 + 65*c_1001_11^3 + 11*c_1001_11^2 + 2*c_1001_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 20.370 Total time: 20.579 seconds, Total memory usage: 86.31MB