Magma V2.19-8 Tue Aug 20 2013 23:41:42 on localhost [Seed = 2277630766] Type ? for help. Type -D to quit. Loading file "K12n640__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n640 geometric_solution 11.65039248 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 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -12 -1 13 0 0 0 0 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500523974226 1.020678132145 0 5 6 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 -13 -12 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734544278691 0.839053750834 7 0 3 8 0132 0132 1302 0132 0 0 0 0 0 -1 1 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 12 -12 0 0 0 -1 1 -13 12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366127529865 0.862201117390 2 9 10 0 2031 0132 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 -1 0 1 12 0 -12 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.057751801190 0.824544524934 11 1 0 8 0132 1302 0132 0213 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 1 0 0 -1 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553866559402 0.842142746629 9 1 7 11 0213 0132 0132 3012 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 13 0 0 -13 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780711532338 1.155161487197 11 8 10 1 3120 1023 2103 0132 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0 -13 -12 12 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568035130424 0.490404063883 2 9 10 5 0132 0213 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 0 13 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422337416866 0.877344740284 6 10 2 4 1023 0213 0132 0213 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 -1 1 -12 12 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737834522792 0.775348985905 5 3 7 11 0213 0132 0213 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -13 0 13 0 0 1 0 -1 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.196119792842 1.397369666958 6 7 8 3 2103 0213 0213 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 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118130894755 0.856065721550 4 9 5 6 0132 2310 1230 3120 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 13 -13 -12 0 0 12 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521304046481 0.567670530627 ==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' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_11']), 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_1001_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : d['c_1010_8'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_1010_8'], 'c_1100_3' : d['c_1010_8'], 'c_1100_2' : d['c_0101_3'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : d['c_1010_8'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_1001_11']), 'c_1010_8' : d['c_1010_8'], 'c_1100_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} 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_11, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_1001_0, c_1001_11, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 839792384894234820299290853511279932635486830377618/180067508031472\ 6506605078428000474639754087357*c_1010_8^23 + 13970478115358624801559177473879204137300216437010695/3601350160629\ 453013210156856000949279508174714*c_1010_8^22 - 114736408092913594107862852991712598158102715824716931/360135016062\ 9453013210156856000949279508174714*c_1010_8^21 + 493200887502057087401065802506723624826655913979019713/180067508031\ 4726506605078428000474639754087357*c_1010_8^20 - 5336818296472682310778674918824860011571943812744139167/36013501606\ 29453013210156856000949279508174714*c_1010_8^19 + 18364008261044432081702173210467509749265462739332242327/3601350160\ 629453013210156856000949279508174714*c_1010_8^18 - 38314356423081059502895033945442096885388561600175796879/3601350160\ 629453013210156856000949279508174714*c_1010_8^17 + 35473721493267695114644089460181749729103082474005230251/3601350160\ 629453013210156856000949279508174714*c_1010_8^16 + 31136789367547485976192958883891361434586564995910865299/3601350160\ 629453013210156856000949279508174714*c_1010_8^15 - 125338988847550988410136180181943782088814378266539349789/360135016\ 0629453013210156856000949279508174714*c_1010_8^14 + 108612305792550340787888692638101284437811682939415186559/360135016\ 0629453013210156856000949279508174714*c_1010_8^13 + 64550844032916360893867633747766275631116511475929430263/3601350160\ 629453013210156856000949279508174714*c_1010_8^12 - 91340589781308892623147323329499717595133972540496088113/1800675080\ 314726506605078428000474639754087357*c_1010_8^11 + 3414241878614826972213772750630533195995994704136081007/18954474529\ 6287000695271413473734172605693406*c_1010_8^10 + 52411677597340427639645409330902939612328860086489974584/1800675080\ 314726506605078428000474639754087357*c_1010_8^9 - 88105883375291567491852781513024772825730479857777143681/3601350160\ 629453013210156856000949279508174714*c_1010_8^8 - 9509656408092397834745685717663585400932054899676658341/18006750803\ 14726506605078428000474639754087357*c_1010_8^7 + 40386304100543136610180888654696589064150753463192951147/3601350160\ 629453013210156856000949279508174714*c_1010_8^6 - 4669071664349818219809773513498342400799673587214186139/36013501606\ 29453013210156856000949279508174714*c_1010_8^5 - 4212125946440736700966093059783151345826809958471662816/18006750803\ 14726506605078428000474639754087357*c_1010_8^4 + 2467377136316482819854243345283970769211394171778520739/36013501606\ 29453013210156856000949279508174714*c_1010_8^3 + 306560715920812829187987610019947749117308341852972643/180067508031\ 4726506605078428000474639754087357*c_1010_8^2 - 157681126438719158904207056325761832418275135091407757/180067508031\ 4726506605078428000474639754087357*c_1010_8 + 27884273301909831373772368718303149521005313991779681/3601350160629\ 453013210156856000949279508174714, c_0011_0 - 1, c_0011_10 - 9420219745006606808423400083421647754854346/729018251139565\ 3872895054364374391254065131*c_1010_8^23 + 75127084155723083418081674935039177229982246/7290182511395653872895\ 054364374391254065131*c_1010_8^22 - 619947773866325907783403304743130307585439997/729018251139565387289\ 5054364374391254065131*c_1010_8^21 + 5336517011236875466892747023405878284036308853/72901825113956538728\ 95054364374391254065131*c_1010_8^20 - 28241134154496982653429994990570642530510717318/7290182511395653872\ 895054364374391254065131*c_1010_8^19 + 94505691894140775161141748992363409958569403123/7290182511395653872\ 895054364374391254065131*c_1010_8^18 - 188628648393077061250382586018730053780998156656/729018251139565387\ 2895054364374391254065131*c_1010_8^17 + 154139019825832096598191788010655547857522437130/729018251139565387\ 2895054364374391254065131*c_1010_8^16 + 190058776647199808414034194471316572479215898040/729018251139565387\ 2895054364374391254065131*c_1010_8^15 - 612532181103965129954382338036630802005912431219/729018251139565387\ 2895054364374391254065131*c_1010_8^14 + 445581912126297102985985458745481941736395147202/729018251139565387\ 2895054364374391254065131*c_1010_8^13 + 397124305110075302711530340421940391263782994427/729018251139565387\ 2895054364374391254065131*c_1010_8^12 - 825970718718083591531701240551349044179511236617/729018251139565387\ 2895054364374391254065131*c_1010_8^11 + 177799920874809160764148862686123645939215879218/729018251139565387\ 2895054364374391254065131*c_1010_8^10 + 512372199475610319832006901567680475126308338105/729018251139565387\ 2895054364374391254065131*c_1010_8^9 - 324872743536507211073911893444972110005107355259/729018251139565387\ 2895054364374391254065131*c_1010_8^8 - 123550967371297137585152141056819199764791323852/729018251139565387\ 2895054364374391254065131*c_1010_8^7 + 156194084599225669014930204010979952374104287626/729018251139565387\ 2895054364374391254065131*c_1010_8^6 - 4161832801721095192114820780816733966906641365/72901825113956538728\ 95054364374391254065131*c_1010_8^5 - 33461244711420841860273320989337320923799146813/7290182511395653872\ 895054364374391254065131*c_1010_8^4 + 7317241313558311825900074710207812978942606462/72901825113956538728\ 95054364374391254065131*c_1010_8^3 + 2595548335821035459741188522912815300679207287/72901825113956538728\ 95054364374391254065131*c_1010_8^2 - 1047008571833865352893785343863357167065538996/72901825113956538728\ 95054364374391254065131*c_1010_8 + 87467254297647311685623322912625496306980511/7290182511395653872895\ 054364374391254065131, c_0011_11 - 148142823845838944124608502419434854787390/8783352423368257\ 6781868124871980617518857*c_1010_8^23 + 1190783813246134868608227804171773609324133/87833524233682576781868\ 124871980617518857*c_1010_8^22 - 9808891531666335298617621611591035\ 594129509/87833524233682576781868124871980617518857*c_1010_8^21 + 84425419902108995535402466305931966224534617/8783352423368257678186\ 8124871980617518857*c_1010_8^20 - 448485951233125933930208180572548\ 420930313673/87833524233682576781868124871980617518857*c_1010_8^19 + 1506221003690449430162424460048646671886295371/87833524233682576781\ 868124871980617518857*c_1010_8^18 - 3019441947123937156653797905983481197570974055/87833524233682576781\ 868124871980617518857*c_1010_8^17 + 2482057620742924371465938496438088214684924202/87833524233682576781\ 868124871980617518857*c_1010_8^16 + 3070322945148877299761016314898043925816766465/87833524233682576781\ 868124871980617518857*c_1010_8^15 - 9954041099075739789478705530415442749654534043/87833524233682576781\ 868124871980617518857*c_1010_8^14 + 7273073037488314299505670408444480151910969074/87833524233682576781\ 868124871980617518857*c_1010_8^13 + 6549429848607476648263441300119315021213808463/87833524233682576781\ 868124871980617518857*c_1010_8^12 - 13678299608145313559865077286437432246217579165/8783352423368257678\ 1868124871980617518857*c_1010_8^11 + 2900643292586538320519226680255274294909798231/87833524233682576781\ 868124871980617518857*c_1010_8^10 + 8676151340211880609165263310057767555765669971/87833524233682576781\ 868124871980617518857*c_1010_8^9 - 5423197392102065547641456432396267161286016098/87833524233682576781\ 868124871980617518857*c_1010_8^8 - 2213024419771991072305097996245026076326841376/87833524233682576781\ 868124871980617518857*c_1010_8^7 + 2641256924927006686049054116604578368210847575/87833524233682576781\ 868124871980617518857*c_1010_8^6 - 4493703319705610093425956353554035933827008/87833524233682576781868\ 124871980617518857*c_1010_8^5 - 57034129314821251126704042181206894\ 0562927320/87833524233682576781868124871980617518857*c_1010_8^4 + 108587174431738271724950509816994039331059290/878335242336825767818\ 68124871980617518857*c_1010_8^3 + 443381351548206771429768347874446\ 94632617847/87833524233682576781868124871980617518857*c_1010_8^2 - 16542768987292422749974692042907057055208752/8783352423368257678186\ 8124871980617518857*c_1010_8 + 142684533278247843203072584936859566\ 2194112/87833524233682576781868124871980617518857, c_0011_3 - 36538826277509687597290890080680431305724389/729018251139565\ 3872895054364374391254065131*c_1010_8^23 + 301960940801040759807677491632037415538341940/729018251139565387289\ 5054364374391254065131*c_1010_8^22 - 2482532398358114524896196509372549254794499418/72901825113956538728\ 95054364374391254065131*c_1010_8^21 + 21345827060286455982909297871364851550629821757/7290182511395653872\ 895054364374391254065131*c_1010_8^20 - 115122519280525479963630106626544289229032702600/729018251139565387\ 2895054364374391254065131*c_1010_8^19 + 394771080994480696523383965169561341895374117432/729018251139565387\ 2895054364374391254065131*c_1010_8^18 - 819737673267219692338287337277078331995936931732/729018251139565387\ 2895054364374391254065131*c_1010_8^17 + 751320095537351358725785708292809245577258585094/729018251139565387\ 2895054364374391254065131*c_1010_8^16 + 674810580923233529761159393073829165125533214877/729018251139565387\ 2895054364374391254065131*c_1010_8^15 - 2667071927969733611605894415538443992373875043011/72901825113956538\ 72895054364374391254065131*c_1010_8^14 + 2286838850549830933267044199044447033424899960277/72901825113956538\ 72895054364374391254065131*c_1010_8^13 + 1381673424078637075990138393109559753682691096447/72901825113956538\ 72895054364374391254065131*c_1010_8^12 - 3843153483107566757610263694922668578232189608824/72901825113956538\ 72895054364374391254065131*c_1010_8^11 + 1351695194776252904848240086706950308158685689738/72901825113956538\ 72895054364374391254065131*c_1010_8^10 + 2183610585228499989078315334574628031116211229698/72901825113956538\ 72895054364374391254065131*c_1010_8^9 - 1835958944427872212410288442080468576438924380405/72901825113956538\ 72895054364374391254065131*c_1010_8^8 - 376700665460737163854618771008459319875913421503/729018251139565387\ 2895054364374391254065131*c_1010_8^7 + 833951466148987327817187420585278039939284581092/729018251139565387\ 2895054364374391254065131*c_1010_8^6 - 109071796918479333721972085350583436566990181585/729018251139565387\ 2895054364374391254065131*c_1010_8^5 - 170694219738767134424244185154671766290498143267/729018251139565387\ 2895054364374391254065131*c_1010_8^4 + 54383465594931578056774768749532020461981764554/7290182511395653872\ 895054364374391254065131*c_1010_8^3 + 11656121853952496296337892260367254355604577161/7290182511395653872\ 895054364374391254065131*c_1010_8^2 - 6854925489774898602799708352940283857563111496/72901825113956538728\ 95054364374391254065131*c_1010_8 + 680174243718914608580734602589220828269409612/729018251139565387289\ 5054364374391254065131, c_0011_6 - 8549833271737909740117154622609067683093275/7290182511395653\ 872895054364374391254065131*c_1010_8^23 + 67524295987546628198210935581837684517538525/7290182511395653872895\ 054364374391254065131*c_1010_8^22 - 557045932430239546398637252643029535094860778/729018251139565387289\ 5054364374391254065131*c_1010_8^21 + 4797300698265997358611172554528517559080322841/72901825113956538728\ 95054364374391254065131*c_1010_8^20 - 25235202270928878057584872011450031283475523162/7290182511395653872\ 895054364374391254065131*c_1010_8^19 + 83602114398419378869372378613234674749450495170/7290182511395653872\ 895054364374391254065131*c_1010_8^18 - 163591367760765756358957692246827449900162640240/729018251139565387\ 2895054364374391254065131*c_1010_8^17 + 123469129378275696733413723859128730565053586386/729018251139565387\ 2895054364374391254065131*c_1010_8^16 + 189568815304705337084422240882136921470735114313/729018251139565387\ 2895054364374391254065131*c_1010_8^15 - 547972990407960366173628288525089063549615970781/729018251139565387\ 2895054364374391254065131*c_1010_8^14 + 357497679360723551557371250588077635707571056810/729018251139565387\ 2895054364374391254065131*c_1010_8^13 + 406079621582699311398965399344900473088834050184/729018251139565387\ 2895054364374391254065131*c_1010_8^12 - 732050301631474485381648971399584434672454169842/729018251139565387\ 2895054364374391254065131*c_1010_8^11 + 96979470751302571188016567886234483630346683470/7290182511395653872\ 895054364374391254065131*c_1010_8^10 + 488998350260977638270238537656021281423626429474/729018251139565387\ 2895054364374391254065131*c_1010_8^9 - 259848617289441533127748952214845667600243880421/729018251139565387\ 2895054364374391254065131*c_1010_8^8 - 138231038569504410372712817433316806481056943987/729018251139565387\ 2895054364374391254065131*c_1010_8^7 + 132937690799182901555780450306806610539748946215/729018251139565387\ 2895054364374391254065131*c_1010_8^6 + 6807526038242631546463938232485677357495375058/72901825113956538728\ 95054364374391254065131*c_1010_8^5 - 29511877426069669248272286553933200902579341958/7290182511395653872\ 895054364374391254065131*c_1010_8^4 + 4656631958619760543751195290683216655861323266/72901825113956538728\ 95054364374391254065131*c_1010_8^3 + 2395050700487890441833582039361821575084269932/72901825113956538728\ 95054364374391254065131*c_1010_8^2 - 821263659470094234339120863085993287606997520/729018251139565387289\ 5054364374391254065131*c_1010_8 + 646083698603911687099761722002764\ 75120653353/7290182511395653872895054364374391254065131, c_0101_0 - 2274875534642316104397970076768887848913443/7290182511395653\ 872895054364374391254065131*c_1010_8^23 + 21476803918813116261666249552602662060491560/7290182511395653872895\ 054364374391254065131*c_1010_8^22 - 175094916590008612293655428644570278032964830/729018251139565387289\ 5054364374391254065131*c_1010_8^21 + 1498392064483670539782764258307022815068960623/72901825113956538728\ 95054364374391254065131*c_1010_8^20 - 8628615646559108147862947007608849958473605404/72901825113956538728\ 95054364374391254065131*c_1010_8^19 + 32127537216824358541571847765225631249750007258/7290182511395653872\ 895054364374391254065131*c_1010_8^18 - 75324631921998180510627849194975756498848286663/7290182511395653872\ 895054364374391254065131*c_1010_8^17 + 91611205413159523689526102911736750643073219430/7290182511395653872\ 895054364374391254065131*c_1010_8^16 + 16253416132906074448925861523352969546184818393/7290182511395653872\ 895054364374391254065131*c_1010_8^15 - 236039269551460570154942724065655403518465676676/729018251139565387\ 2895054364374391254065131*c_1010_8^14 + 300400021367873344478209424244346483494003272703/729018251139565387\ 2895054364374391254065131*c_1010_8^13 + 17516235206404902513624806807821455992024055138/7290182511395653872\ 895054364374391254065131*c_1010_8^12 - 397167483749132204484650290310241788458717401981/729018251139565387\ 2895054364374391254065131*c_1010_8^11 + 282815856922197688009910572231665256073452307220/729018251139565387\ 2895054364374391254065131*c_1010_8^10 + 165118816417350963999970649631646364416947859254/729018251139565387\ 2895054364374391254065131*c_1010_8^9 - 275561860428764436230472763533123015236764765799/729018251139565387\ 2895054364374391254065131*c_1010_8^8 + 17492845139750963790305074144295874875520229408/7290182511395653872\ 895054364374391254065131*c_1010_8^7 + 114425694164622086410822502156693134964543500101/729018251139565387\ 2895054364374391254065131*c_1010_8^6 - 35110646748256410032008808953576680730331285976/7290182511395653872\ 895054364374391254065131*c_1010_8^5 - 22170817575071310314322581209691122997955490522/7290182511395653872\ 895054364374391254065131*c_1010_8^4 + 10584580259564015783528647425496220890324495646/7290182511395653872\ 895054364374391254065131*c_1010_8^3 + 1303353140985408403827470481403813411106701259/72901825113956538728\ 95054364374391254065131*c_1010_8^2 - 1135677275880230112922490720923003097436364731/72901825113956538728\ 95054364374391254065131*c_1010_8 + 124811119019619161357650012908289275230815216/729018251139565387289\ 5054364374391254065131, c_0101_1 - 4786097999312316236453415990099519513986562/7290182511395653\ 872895054364374391254065131*c_1010_8^23 + 42068983057586386181537534044746644138073148/7290182511395653872895\ 054364374391254065131*c_1010_8^22 - 345208165154928358769259787104214054889044183/729018251139565387289\ 5054364374391254065131*c_1010_8^21 + 2960579602514721458193976308241936008929299714/72901825113956538728\ 95054364374391254065131*c_1010_8^20 - 16497330007896108422736987321218296657636648170/7290182511395653872\ 895054364374391254065131*c_1010_8^19 + 59189014401567679728201491828360955438477551239/7290182511395653872\ 895054364374391254065131*c_1010_8^18 - 132134616236548777473076768352685762508324265818/729018251139565387\ 2895054364374391254065131*c_1010_8^17 + 146600244820856331299327298561581968194167573426/729018251139565387\ 2895054364374391254065131*c_1010_8^16 + 53440510029866852200268268676769557747090965833/7290182511395653872\ 895054364374391254065131*c_1010_8^15 - 409553356831873755359441618131285434087817689128/729018251139565387\ 2895054364374391254065131*c_1010_8^14 + 464135549368065032647950249348465853331271699187/729018251139565387\ 2895054364374391254065131*c_1010_8^13 + 83962466036932109660333871044008146155503841832/7290182511395653872\ 895054364374391254065131*c_1010_8^12 - 641853891045399859978497118702730961651603422957/729018251139565387\ 2895054364374391254065131*c_1010_8^11 + 397504304790714222858681337890725806837964221685/729018251139565387\ 2895054364374391254065131*c_1010_8^10 + 281876061821394036178135629915896352756453518290/729018251139565387\ 2895054364374391254065131*c_1010_8^9 - 405704670002426349566980540593342612626636491068/729018251139565387\ 2895054364374391254065131*c_1010_8^8 + 14649442484211291954483781019063039535469785873/7290182511395653872\ 895054364374391254065131*c_1010_8^7 + 169133690658789637296655561062315102793260243376/729018251139565387\ 2895054364374391254065131*c_1010_8^6 - 51437932982137869432469090589126478178598710594/7290182511395653872\ 895054364374391254065131*c_1010_8^5 - 32421436993064290859832539555840518494099351929/7290182511395653872\ 895054364374391254065131*c_1010_8^4 + 16229265879717718103816010208567237155295421908/7290182511395653872\ 895054364374391254065131*c_1010_8^3 + 1832542061836301972681030554198824840171597601/72901825113956538728\ 95054364374391254065131*c_1010_8^2 - 1787276232331978107869536616819567444498872789/72901825113956538728\ 95054364374391254065131*c_1010_8 + 190858810951512893654864774523531076159197315/729018251139565387289\ 5054364374391254065131, c_0101_11 - 32803272455001317844616531979373188990561475/72901825113956\ 53872895054364374391254065131*c_1010_8^23 + 270743600835516201235805340935261188179029082/729018251139565387289\ 5054364374391254065131*c_1010_8^22 - 2225894559646617766959106890882768611446272684/72901825113956538728\ 95054364374391254065131*c_1010_8^21 + 19140511680848779377198738769305972318680626146/7290182511395653872\ 895054364374391254065131*c_1010_8^20 - 103155051560053864831717387876883159987875473125/729018251139565387\ 2895054364374391254065131*c_1010_8^19 + 353357175100129721261084514034445302066739185401/729018251139565387\ 2895054364374391254065131*c_1010_8^18 - 732456416975299871674508715262912263305232164211/729018251139565387\ 2895054364374391254065131*c_1010_8^17 + 668056837739860398527077390118722419044331128157/729018251139565387\ 2895054364374391254065131*c_1010_8^16 + 608630547732408850662336639998813284565929953468/729018251139565387\ 2895054364374391254065131*c_1010_8^15 - 2379110851346012405113578484880912430556165604452/72901825113956538\ 72895054364374391254065131*c_1010_8^14 + 2018824326482066096229571783734142170878349054395/72901825113956538\ 72895054364374391254065131*c_1010_8^13 + 1257668832883113075678285214257481321315372279560/72901825113956538\ 72895054364374391254065131*c_1010_8^12 - 3412586530584901018646766362202188870394321570863/72901825113956538\ 72895054364374391254065131*c_1010_8^11 + 1153271371934774881188615295280068535493160161551/72901825113956538\ 72895054364374391254065131*c_1010_8^10 + 1964919086928044337079875509660014533977298713551/72901825113956538\ 72895054364374391254065131*c_1010_8^9 - 1595858860549382811735573364177904670132193495764/72901825113956538\ 72895054364374391254065131*c_1010_8^8 - 367470353075805993400144448304475768931763871627/729018251139565387\ 2895054364374391254065131*c_1010_8^7 + 729534402785541710503279919159640026175075372050/729018251139565387\ 2895054364374391254065131*c_1010_8^6 - 79116594182242950080625491451041539508564249879/7290182511395653872\ 895054364374391254065131*c_1010_8^5 - 150855125230797307093937176923518406719903651615/729018251139565387\ 2895054364374391254065131*c_1010_8^4 + 43747630726805256034359330836911446127759202661/7290182511395653872\ 895054364374391254065131*c_1010_8^3 + 10669191143394187370085532483503840796874756048/7290182511395653872\ 895054364374391254065131*c_1010_8^2 - 5612826729762660683833897569759621449321631686/72901825113956538728\ 95054364374391254065131*c_1010_8 + 542527206377809297178404330190958975745130248/729018251139565387289\ 5054364374391254065131, c_0101_3 - 29004524917168207799078893153465071020520527/729018251139565\ 3872895054364374391254065131*c_1010_8^23 + 235907776665706162165726321677215399892029740/729018251139565387289\ 5054364374391254065131*c_1010_8^22 - 1940719552528120561660362539952204657196403631/72901825113956538728\ 95054364374391254065131*c_1010_8^21 + 16698113824222206338824317881209687476138809848/7290182511395653872\ 895054364374391254065131*c_1010_8^20 - 89263091073349700676403416795572814815399587045/7290182511395653872\ 895054364374391254065131*c_1010_8^19 + 302226118372860102758002094461317241159656249930/729018251139565387\ 2895054364374391254065131*c_1010_8^18 - 613987000464847446466659349194126835431498086192/729018251139565387\ 2895054364374391254065131*c_1010_8^17 + 525495432800434952190856347276733285414762664272/729018251139565387\ 2895054364374391254065131*c_1010_8^16 + 585558054571738073326612070708999601395803231136/729018251139565387\ 2895054364374391254065131*c_1010_8^15 - 2025004569578729795467540027583480458341012910724/72901825113956538\ 72895054364374391254065131*c_1010_8^14 + 1569491602007947458637325213067403343011520390249/72901825113956538\ 72895054364374391254065131*c_1010_8^13 + 1240244805253946080622960405222858902391772898188/72901825113956538\ 72895054364374391254065131*c_1010_8^12 - 2844059935251923387635937978443657585187248269955/72901825113956538\ 72895054364374391254065131*c_1010_8^11 + 743289084627257288534365070835215402952598152728/729018251139565387\ 2895054364374391254065131*c_1010_8^10 + 1745474785377023931601611382784148202788140051958/72901825113956538\ 72895054364374391254065131*c_1010_8^9 - 1214631968457967959525519606734575211387726196579/72901825113956538\ 72895054364374391254065131*c_1010_8^8 - 400683007205074277205130074610746928956141472312/729018251139565387\ 2895054364374391254065131*c_1010_8^7 + 578200735602024538123999946824992290652283050578/729018251139565387\ 2895054364374391254065131*c_1010_8^6 - 28784364134561900103754492574269514091536838939/7290182511395653872\ 895054364374391254065131*c_1010_8^5 - 123125683259785809059023561153599154081146180324/729018251139565387\ 2895054364374391254065131*c_1010_8^4 + 29185964545913055180721732543790975172496502975/7290182511395653872\ 895054364374391254065131*c_1010_8^3 + 9278526085897793323887469078349616834776814593/72901825113956538728\ 95054364374391254065131*c_1010_8^2 - 4098642439613052063906978359227033681110608876/72901825113956538728\ 95054364374391254065131*c_1010_8 + 370093068339938225180895853215982817151638143/729018251139565387289\ 5054364374391254065131, c_1001_0 - 47935676845145728390081939373286695590316140/729018251139565\ 3872895054364374391254065131*c_1010_8^23 + 396319920991335109989550516431914221516393996/729018251139565387289\ 5054364374391254065131*c_1010_8^22 - 3257683579724935587433979925776695499614752453/72901825113956538728\ 95054364374391254065131*c_1010_8^21 + 28011029600815450510356249603730948309502541688/7290182511395653872\ 895054364374391254065131*c_1010_8^20 - 151093913652228988850900956870786831023866921313/729018251139565387\ 2895054364374391254065131*c_1010_8^19 + 518122621542033966827136489767428212518177846223/729018251139565387\ 2895054364374391254065131*c_1010_8^18 - 1075617843393675252783829857772046773483128720910/72901825113956538\ 72895054364374391254065131*c_1010_8^17 + 984224841373879472657366261813826964432700115989/729018251139565387\ 2895054364374391254065131*c_1010_8^16 + 891369474588029345120836332704294539302674926383/729018251139565387\ 2895054364374391254065131*c_1010_8^15 - 3507362210695319733559025918798965823246018172297/72901825113956538\ 72895054364374391254065131*c_1010_8^14 + 2997833154561790878013038708871042527061319931584/72901825113956538\ 72895054364374391254065131*c_1010_8^13 + 1833488697332509925022227942122541986442076220151/72901825113956538\ 72895054364374391254065131*c_1010_8^12 - 5059895172564212819804125553459674009528569083515/72901825113956538\ 72895054364374391254065131*c_1010_8^11 + 1759093811172120677725152512263633440955977624666/72901825113956538\ 72895054364374391254065131*c_1010_8^10 + 2893266141728335063058548017636408969903182448649/72901825113956538\ 72895054364374391254065131*c_1010_8^9 - 2409147621352630534462375924614122691445112630910/72901825113956538\ 72895054364374391254065131*c_1010_8^8 - 513180361796540728555655467604142153938873764676/729018251139565387\ 2895054364374391254065131*c_1010_8^7 + 1098729101111167571327016770309437352658491882065/72901825113956538\ 72895054364374391254065131*c_1010_8^6 - 136610967951783612888101692735234903524468967318/729018251139565387\ 2895054364374391254065131*c_1010_8^5 - 225915251221750433317801127877957641340065448815/729018251139565387\ 2895054364374391254065131*c_1010_8^4 + 70289878022956427365870608388550703553164717850/7290182511395653872\ 895054364374391254065131*c_1010_8^3 + 15559037023039941771462304906609584127670674780/7290182511395653872\ 895054364374391254065131*c_1010_8^2 - 8944072200478050449495968994317905808904577331/72901825113956538728\ 95054364374391254065131*c_1010_8 + 888783011924886077333135273650591795659159288/729018251139565387289\ 5054364374391254065131, c_1001_11 - 2194329321634290384840390827259209957526225/729018251139565\ 3872895054364374391254065131*c_1010_8^23 + 21789571195588380435233701882176114181457386/7290182511395653872895\ 054364374391254065131*c_1010_8^22 - 176589971049826555996851213377521876450378277/729018251139565387289\ 5054364374391254065131*c_1010_8^21 + 1510062021518584175816928626517114993222702478/72901825113956538728\ 95054364374391254065131*c_1010_8^20 - 8881577155296299967850603479986128439138512919/72901825113956538728\ 95054364374391254065131*c_1010_8^19 + 33779233570390932640898025994830411711906961664/7290182511395653872\ 895054364374391254065131*c_1010_8^18 - 81363333274719705308986666836890276661997169271/7290182511395653872\ 895054364374391254065131*c_1010_8^17 + 103892186692438409210796906477731900820450609338/729018251139565387\ 2895054364374391254065131*c_1010_8^16 + 6796638095001296996735973976730577426973616537/72901825113956538728\ 95054364374391254065131*c_1010_8^15 - 247636410126097005899665557051743549628369652438/729018251139565387\ 2895054364374391254065131*c_1010_8^14 + 332536598521692875138375812688391624206729149390/729018251139565387\ 2895054364374391254065131*c_1010_8^13 + 634544367380450893414809613719583100634852199/729018251139565387289\ 5054364374391254065131*c_1010_8^12 - 419428346070155738722244402065893747744064963489/729018251139565387\ 2895054364374391254065131*c_1010_8^11 + 308180936414335289092211232008278112270112521308/729018251139565387\ 2895054364374391254065131*c_1010_8^10 + 170155945553808642281991085539837247539746829074/729018251139565387\ 2895054364374391254065131*c_1010_8^9 - 286287608625564735801040064100225853197572838355/729018251139565387\ 2895054364374391254065131*c_1010_8^8 + 15204994758072991363243521163564321319067519948/7290182511395653872\ 895054364374391254065131*c_1010_8^7 + 115700991822471444024149311694750127005002803849/729018251139565387\ 2895054364374391254065131*c_1010_8^6 - 32815564728253568910589720288740858117812944284/7290182511395653872\ 895054364374391254065131*c_1010_8^5 - 22022029850866749972154108768084837600778399801/7290182511395653872\ 895054364374391254065131*c_1010_8^4 + 9765548618362259199843147961279087782293545041/72901825113956538728\ 95054364374391254065131*c_1010_8^3 + 1303405226985542500783464225306317003957205063/72901825113956538728\ 95054364374391254065131*c_1010_8^2 - 1023896778591989572929230527185173048952515564/72901825113956538728\ 95054364374391254065131*c_1010_8 + 105726696291408147492350888700251142196550292/729018251139565387289\ 5054364374391254065131, c_1010_8^24 - 9*c_1010_8^23 + 74*c_1010_8^22 - 634*c_1010_8^21 + 3579*c_1010_8^20 - 13109*c_1010_8^19 + 30312*c_1010_8^18 - 36823*c_1010_8^17 - 3844*c_1010_8^16 + 87027*c_1010_8^15 - 115854*c_1010_8^14 + 6642*c_1010_8^13 + 134246*c_1010_8^12 - 113432*c_1010_8^11 - 34689*c_1010_8^10 + 94697*c_1010_8^9 - 25340*c_1010_8^8 - 31185*c_1010_8^7 + 19412*c_1010_8^6 + 2828*c_1010_8^5 - 4892*c_1010_8^4 + 704*c_1010_8^3 + 426*c_1010_8^2 - 151*c_1010_8 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.080 Total time: 1.300 seconds, Total memory usage: 64.12MB