Magma V2.19-8 Tue Aug 20 2013 23:42:10 on localhost [Seed = 3230049686] Type ? for help. Type -D to quit. Loading file "K12n77__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n77 geometric_solution 10.50125282 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 0 0 0 0 0 0 0 0 -1 0 1 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 9 0 -9 0 -9 9 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.297015258244 1.171577845041 0 3 5 4 0132 1023 0132 0132 0 0 0 0 0 -1 1 0 1 0 -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 10 -10 0 -9 0 9 0 0 0 0 0 9 -10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.191809331892 0.870371800025 6 0 0 7 0132 0132 0321 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 -1 1 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.297015258244 1.171577845041 1 8 0 9 1023 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -10 0 0 10 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440827255199 0.537895125721 6 10 1 10 3201 0132 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.549238232948 0.731184412278 11 7 10 1 0132 1023 1302 0132 0 0 0 0 0 1 0 -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 -10 0 10 9 0 0 -9 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.218377770199 1.239990759970 2 8 11 4 0132 1023 1230 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.641638490313 1.444019184957 5 8 2 11 1023 3201 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 0 -1 1 10 0 -1 -9 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.143615083991 1.443742862832 6 3 7 9 1023 0132 2310 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 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.049174350333 0.330587450124 10 11 3 8 3012 3120 0132 0213 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -10 10 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.178556297040 0.542501830181 5 4 4 9 2031 0132 1230 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.020467350245 1.194524305371 5 9 7 6 0132 3120 0132 3012 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 -1 1 -9 0 9 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.575782432839 0.459869861855 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : d['c_0011_9'], 'c_1001_4' : d['c_0101_9'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_8']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_11']), 'c_1001_8' : negation(d['c_1001_11']), 'c_1010_11' : negation(d['c_0011_9']), 'c_1010_10' : d['c_0101_9'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : negation(d['c_0101_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_0110_4'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : negation(d['c_1001_11']), 'c_1010_2' : negation(d['c_0101_8']), 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0011_9'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_4'], 'c_0110_8' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_9'], 'c_0110_2' : d['c_0011_9'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_8, c_0101_9, c_0110_4, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 16285574820529645582003651845457029954029536795445598086507/3526743\ 5194703146890964807543573302291121105718149586255*c_1001_2^25 - 480237486035342725950608462039058229684037315199194751262832/352674\ 35194703146890964807543573302291121105718149586255*c_1001_2^24 + 12270092542459460019893442659369079234588408762883223770252447/7053\ 4870389406293781929615087146604582242211436299172510*c_1001_2^23 - 89482839209376065977944840438377073886179666439713836093225851/7053\ 4870389406293781929615087146604582242211436299172510*c_1001_2^22 + 413760778217643899644007566435595157363076726942613907772215589/705\ 34870389406293781929615087146604582242211436299172510*c_1001_2^21 - 127293328753938139295047929726978802872801358521186287368194241/705\ 3487038940629378192961508714660458224221143629917251*c_1001_2^20 + 2642894094968600193396296565814766173390539478280864785646763941/70\ 534870389406293781929615087146604582242211436299172510*c_1001_2^19 - 3623653380158121917142419313970237366934846122148867139604287483/70\ 534870389406293781929615087146604582242211436299172510*c_1001_2^18 + 3042812135259647598094177993248679315403376029312165749157127601/70\ 534870389406293781929615087146604582242211436299172510*c_1001_2^17 - 1337613254423941705515908441613068078173716419652830251118886957/70\ 534870389406293781929615087146604582242211436299172510*c_1001_2^16 + 543762297468531067893214024333381805296027748427009345747830487/705\ 34870389406293781929615087146604582242211436299172510*c_1001_2^15 - 567869345608331793056141093431184612375634561153862921831654673/352\ 67435194703146890964807543573302291121105718149586255*c_1001_2^14 + 584989126719170433336756215735584433251880483884036148582422764/352\ 67435194703146890964807543573302291121105718149586255*c_1001_2^13 - 8009092088745802462398779315715460492820812464713800479660830/70534\ 87038940629378192961508714660458224221143629917251*c_1001_2^12 - 374624252952795477100969836725445447105992091944678874140693621/705\ 34870389406293781929615087146604582242211436299172510*c_1001_2^11 - 36726463098835267616481906463388874993950483269787142465873389/3526\ 7435194703146890964807543573302291121105718149586255*c_1001_2^10 + 74847190262542649772148817949690080806997588739470255565106416/3526\ 7435194703146890964807543573302291121105718149586255*c_1001_2^9 + 42509377232669860937897781603226202151554101508033418074846506/3526\ 7435194703146890964807543573302291121105718149586255*c_1001_2^8 - 79330371754377581419152121152627131439374742543427501366411489/7053\ 4870389406293781929615087146604582242211436299172510*c_1001_2^7 + 2015379458194851759682739717877646191045525046824649825079997/70534\ 870389406293781929615087146604582242211436299172510*c_1001_2^6 + 4508585473012723771510628965853570959710171542238882620350034/35267\ 435194703146890964807543573302291121105718149586255*c_1001_2^5 - 1930526493741268439025355559399426680475719927083035976350809/35267\ 435194703146890964807543573302291121105718149586255*c_1001_2^4 - 4366741532548898859732550527942560952291221918684170495031173/70534\ 870389406293781929615087146604582242211436299172510*c_1001_2^3 + 720569463527713521039932490060309386455027661476372014351709/705348\ 70389406293781929615087146604582242211436299172510*c_1001_2^2 + 28595732790201132433097019502082938088587207444901437436125/7053487\ 038940629378192961508714660458224221143629917251*c_1001_2 - 100479502805483812022712236599118042733119815388963476842888/352674\ 35194703146890964807543573302291121105718149586255, c_0011_0 - 1, c_0011_10 - 105166455278995302821066302966733915319479/1299406897582773\ 172805485748540858498359841*c_1001_2^25 + 3104275588195948424540279047115728615007841/12994068975827731728054\ 85748540858498359841*c_1001_2^24 - 39754819489633065977954360069401987481167984/1299406897582773172805\ 485748540858498359841*c_1001_2^23 + 291461401185202134753161645075257265654186204/129940689758277317280\ 5485748540858498359841*c_1001_2^22 - 1362292411718992325408198976397117447075685366/12994068975827731728\ 05485748540858498359841*c_1001_2^21 + 4282238922599965388463658872395326195208400293/12994068975827731728\ 05485748540858498359841*c_1001_2^20 - 9286403095604113286282837695321997115413354304/12994068975827731728\ 05485748540858498359841*c_1001_2^19 + 13974216910488764193284180480399771569323557284/1299406897582773172\ 805485748540858498359841*c_1001_2^18 - 14622011807451606594777450957143106549438841554/1299406897582773172\ 805485748540858498359841*c_1001_2^17 + 11323212368552187359954638447076612299727145795/1299406897582773172\ 805485748540858498359841*c_1001_2^16 - 8638323985092378724120876024471708811407869205/12994068975827731728\ 05485748540858498359841*c_1001_2^15 + 8201255666132308185391661329464091489316194863/12994068975827731728\ 05485748540858498359841*c_1001_2^14 - 6573366131582656149119388524681713311694528623/12994068975827731728\ 05485748540858498359841*c_1001_2^13 + 3293231839763354042272253144137156564517327149/12994068975827731728\ 05485748540858498359841*c_1001_2^12 - 1766063115629538923144093215497902711750145406/12994068975827731728\ 05485748540858498359841*c_1001_2^11 + 1554792377669093760583532901891434012573433136/12994068975827731728\ 05485748540858498359841*c_1001_2^10 - 623956723551867604392345135484304521981303790/129940689758277317280\ 5485748540858498359841*c_1001_2^9 + 71412556442779037736915167501027005447703892/1299406897582773172805\ 485748540858498359841*c_1001_2^8 - 163058810350438321199138502845610871339650726/129940689758277317280\ 5485748540858498359841*c_1001_2^7 + 36933963904865932758241970213410105071860288/1299406897582773172805\ 485748540858498359841*c_1001_2^6 + 42607693550152509361383970867808058891505253/1299406897582773172805\ 485748540858498359841*c_1001_2^5 + 14389428775507657347953129873100128252643861/1299406897582773172805\ 485748540858498359841*c_1001_2^4 - 1837194488387110105111310120068801945056547/12994068975827731728054\ 85748540858498359841*c_1001_2^3 + 337423380523105135023593855282402\ 9762105335/1299406897582773172805485748540858498359841*c_1001_2^2 + 1122617112448304822159343228486216608020164/12994068975827731728054\ 85748540858498359841*c_1001_2 - 53026019892773236431178582278826213\ 6087344/1299406897582773172805485748540858498359841, c_0011_11 - 485165220496694796185833098845391932854186/1299406897582773\ 172805485748540858498359841*c_1001_2^25 + 14387822567518498467410329493356318850387422/1299406897582773172805\ 485748540858498359841*c_1001_2^24 - 185208539109744417829126935466691809076893563/129940689758277317280\ 5485748540858498359841*c_1001_2^23 + 1364916354753075204189342218830218106158167864/12994068975827731728\ 05485748540858498359841*c_1001_2^22 - 6405542052407390863930258480616570297696545188/12994068975827731728\ 05485748540858498359841*c_1001_2^21 + 20140558635458544504258418116610035268462799531/1299406897582773172\ 805485748540858498359841*c_1001_2^20 - 43269156053324195549390149445476360763309524058/1299406897582773172\ 805485748540858498359841*c_1001_2^19 + 62995635625531211138762355298204809697391955181/1299406897582773172\ 805485748540858498359841*c_1001_2^18 - 60010601489718464983377011690978389779024509235/1299406897582773172\ 805485748540858498359841*c_1001_2^17 + 36721984158471056854937104466969035055216679021/1299406897582773172\ 805485748540858498359841*c_1001_2^16 - 21858037576881411030109199248134074567661010369/1299406897582773172\ 805485748540858498359841*c_1001_2^15 + 26518180037965965450018986225781106466032466054/1299406897582773172\ 805485748540858498359841*c_1001_2^14 - 25726167842334284573504533551627349701447951867/1299406897582773172\ 805485748540858498359841*c_1001_2^13 + 8977623275259706742749405218333942906538678106/12994068975827731728\ 05485748540858498359841*c_1001_2^12 + 526124670519134158644935694361288801143788844/129940689758277317280\ 5485748540858498359841*c_1001_2^11 + 3214402157770489684941054284765073082141782445/12994068975827731728\ 05485748540858498359841*c_1001_2^10 - 3424789988485113231155673389746938673474349668/12994068975827731728\ 05485748540858498359841*c_1001_2^9 - 281628031201082093030050509287182691711372769/129940689758277317280\ 5485748540858498359841*c_1001_2^8 + 698517308076809282808777215897361819651875699/129940689758277317280\ 5485748540858498359841*c_1001_2^7 + 52666844638246941960835421825474191764223649/1299406897582773172805\ 485748540858498359841*c_1001_2^6 - 107078887294432806770164222951859031955098709/129940689758277317280\ 5485748540858498359841*c_1001_2^5 + 68453463824475834872676997834922790251075951/1299406897582773172805\ 485748540858498359841*c_1001_2^4 + 35138336316574772417944542274701674235276311/1299406897582773172805\ 485748540858498359841*c_1001_2^3 - 8103221269613446074824015847208538979069645/12994068975827731728054\ 85748540858498359841*c_1001_2^2 - 228528678293169914554335584588877\ 9119648759/1299406897582773172805485748540858498359841*c_1001_2 + 1053078366793404560755018501430092649233894/12994068975827731728054\ 85748540858498359841, c_0011_9 + 735913498792596551231819555018620130304833/12994068975827731\ 72805485748540858498359841*c_1001_2^25 - 21899821682822268366671994223063545345731821/1299406897582773172805\ 485748540858498359841*c_1001_2^24 + 283200953764022333062512572828704212132885234/129940689758277317280\ 5485748540858498359841*c_1001_2^23 - 2099899735959722943228619193159631935491118199/12994068975827731728\ 05485748540858498359841*c_1001_2^22 + 9936995808982319314142694618218233738195526955/12994068975827731728\ 05485748540858498359841*c_1001_2^21 - 31605475084042579954024675622573712194331730553/1299406897582773172\ 805485748540858498359841*c_1001_2^20 + 69031857136206963649013562131451983009008126044/1299406897582773172\ 805485748540858498359841*c_1001_2^19 - 103098909068173061744728588964480152486959669394/129940689758277317\ 2805485748540858498359841*c_1001_2^18 + 102534072173690992840514669933531851646372550002/129940689758277317\ 2805485748540858498359841*c_1001_2^17 - 67476352265847451528202375604243278367178551653/1299406897582773172\ 805485748540858498359841*c_1001_2^16 + 41157052923806433303135509780178555287271794673/1299406897582773172\ 805485748540858498359841*c_1001_2^15 - 45011341157283006292341002477937145955015287584/1299406897582773172\ 805485748540858498359841*c_1001_2^14 + 43963539170584325928074205016769336224225184433/1299406897582773172\ 805485748540858498359841*c_1001_2^13 - 18590574536135850795426461863429504545358245939/1299406897582773172\ 805485748540858498359841*c_1001_2^12 + 1551180171210985792417789136907586585042904064/12994068975827731728\ 05485748540858498359841*c_1001_2^11 - 5174652348033455952102350935263739201302596996/12994068975827731728\ 05485748540858498359841*c_1001_2^10 + 5723350951933200329269039781326800313136789850/12994068975827731728\ 05485748540858498359841*c_1001_2^9 - 214895499291088862848369256460441156859159776/129940689758277317280\ 5485748540858498359841*c_1001_2^8 - 983108136898449401726930047772716814848645856/129940689758277317280\ 5485748540858498359841*c_1001_2^7 + 7337774637771618039456719460207955092739750/12994068975827731728054\ 85748540858498359841*c_1001_2^6 + 159038252778503098635798855092254\ 284684337250/1299406897582773172805485748540858498359841*c_1001_2^5 - 117158994947521309275794401960254481027344833/1299406897582773172\ 805485748540858498359841*c_1001_2^4 - 38469434696677577567679959393213283039788828/1299406897582773172805\ 485748540858498359841*c_1001_2^3 + 13374777125832551774276835798318625790586697/1299406897582773172805\ 485748540858498359841*c_1001_2^2 + 2129868221601720509782086637268461655288626/12994068975827731728054\ 85748540858498359841*c_1001_2 - 13798440036283184759493074608517772\ 27468066/1299406897582773172805485748540858498359841, c_0101_0 + 19932238462701704734513761722226182360267/129940689758277317\ 2805485748540858498359841*c_1001_2^25 - 613273507127431547718390980241696176959868/129940689758277317280548\ 5748540858498359841*c_1001_2^24 + 826275863863964465624731950512386\ 6193635518/1299406897582773172805485748540858498359841*c_1001_2^23 - 64432804769265432907969386408299379398659950/1299406897582773172805\ 485748540858498359841*c_1001_2^22 + 324251202879899581102761676312287121543167827/129940689758277317280\ 5485748540858498359841*c_1001_2^21 - 1111516151975362067867078719487853308055774079/12994068975827731728\ 05485748540858498359841*c_1001_2^20 + 2662473799490209089867195435789026643424433261/12994068975827731728\ 05485748540858498359841*c_1001_2^19 - 4474479622335653396106459215681902554405003525/12994068975827731728\ 05485748540858498359841*c_1001_2^18 + 5210171173253264431466000785296719248429941632/12994068975827731728\ 05485748540858498359841*c_1001_2^17 - 4186953277009253777341273224162675884026332893/12994068975827731728\ 05485748540858498359841*c_1001_2^16 + 2719539214357789844574638635468281521190039048/12994068975827731728\ 05485748540858498359841*c_1001_2^15 - 2390350466995618519930769250301451983696909597/12994068975827731728\ 05485748540858498359841*c_1001_2^14 + 2501038709500039893131600651036559666345670711/12994068975827731728\ 05485748540858498359841*c_1001_2^13 - 1633592657696293656334915638068386771616752204/12994068975827731728\ 05485748540858498359841*c_1001_2^12 + 498859096874317340484928422375041095516509352/129940689758277317280\ 5485748540858498359841*c_1001_2^11 - 280305263257966852650286220165740048250448844/129940689758277317280\ 5485748540858498359841*c_1001_2^10 + 378424453527023706489704840524609777438797625/129940689758277317280\ 5485748540858498359841*c_1001_2^9 - 154616719934763223243211431045936606465996479/129940689758277317280\ 5485748540858498359841*c_1001_2^8 - 19853315572792521804148984998064832035450584/1299406897582773172805\ 485748540858498359841*c_1001_2^7 + 10808389565299036174040170338294354450127428/1299406897582773172805\ 485748540858498359841*c_1001_2^6 + 10336404053578601036207344000240365211355839/1299406897582773172805\ 485748540858498359841*c_1001_2^5 - 10266036757832415643973404027756498356603963/1299406897582773172805\ 485748540858498359841*c_1001_2^4 - 1500090241357623180593120682555786009195585/12994068975827731728054\ 85748540858498359841*c_1001_2^3 + 444702015896767393377941379712560\ 9718834496/1299406897582773172805485748540858498359841*c_1001_2^2 + 677017525341915244569134182169542629114293/129940689758277317280548\ 5748540858498359841*c_1001_2 + 149317904472528177856293440430273834\ 8960116/1299406897582773172805485748540858498359841, c_0101_1 + 286029715175627659963497352551388516334027/12994068975827731\ 72805485748540858498359841*c_1001_2^25 - 8542181006990862646051383156651109182167329/12994068975827731728054\ 85748540858498359841*c_1001_2^24 + 110964317960935105010114906465772728234533339/129940689758277317280\ 5485748540858498359841*c_1001_2^23 - 827532405607054640734172446550439565692001585/129940689758277317280\ 5485748540858498359841*c_1001_2^22 + 3944753725897159228091984004757290809925623462/12994068975827731728\ 05485748540858498359841*c_1001_2^21 - 12663810591588995207561711294249939516545138856/1299406897582773172\ 805485748540858498359841*c_1001_2^20 + 27991056005301824806834244498536801508416865783/1299406897582773172\ 805485748540858498359841*c_1001_2^19 - 42459506687820890239574825616761707537872128039/1299406897582773172\ 805485748540858498359841*c_1001_2^18 + 43085065573615621424636698559421570283149624286/1299406897582773172\ 805485748540858498359841*c_1001_2^17 - 28887775287329352730168297222043564032722141135/1299406897582773172\ 805485748540858498359841*c_1001_2^16 + 17130645816231978920838688904730856229189547667/1299406897582773172\ 805485748540858498359841*c_1001_2^15 - 17980132906630710960180185880305913896785464654/1299406897582773172\ 805485748540858498359841*c_1001_2^14 + 18120233335898589812884363076935295645773929053/1299406897582773172\ 805485748540858498359841*c_1001_2^13 - 8219319815860611005463519150797061713616783926/12994068975827731728\ 05485748540858498359841*c_1001_2^12 + 602262423072496860980237034827757353088061280/129940689758277317280\ 5485748540858498359841*c_1001_2^11 - 1685490454513067482780915717976270690109046934/12994068975827731728\ 05485748540858498359841*c_1001_2^10 + 2323088018368401994775242154091511488153409906/12994068975827731728\ 05485748540858498359841*c_1001_2^9 - 187241728228819814476890025199184562154628176/129940689758277317280\ 5485748540858498359841*c_1001_2^8 - 493961753761634599338116479282647454126780240/129940689758277317280\ 5485748540858498359841*c_1001_2^7 + 65108097502685112034883985287547578367533544/1299406897582773172805\ 485748540858498359841*c_1001_2^6 + 69777938085437001817064535750596478432918347/1299406897582773172805\ 485748540858498359841*c_1001_2^5 - 46256897228811380806063907573335564383862099/1299406897582773172805\ 485748540858498359841*c_1001_2^4 - 14162557528228322972603667658112779291299976/1299406897582773172805\ 485748540858498359841*c_1001_2^3 + 7449541049373018079516721252529366525118571/12994068975827731728054\ 85748540858498359841*c_1001_2^2 + 801092827314582978975145212580499\ 887374674/1299406897582773172805485748540858498359841*c_1001_2 - 689025483266759492843440629776027300396391/129940689758277317280548\ 5748540858498359841, c_0101_10 - 172245513256571389302969365126252446162475/1299406897582773\ 172805485748540858498359841*c_1001_2^25 + 5182321378687580586543806129803597104737588/12994068975827731728054\ 85748540858498359841*c_1001_2^24 - 67950416734302798168264380630370182226701719/1299406897582773172805\ 485748540858498359841*c_1001_2^23 + 512742824925261940009004316652560289798593830/129940689758277317280\ 5485748540858498359841*c_1001_2^22 - 2480452194194952032653527704111115748480152999/12994068975827731728\ 05485748540858498359841*c_1001_2^21 + 8110062407803337917641838349799730536493414756/12994068975827731728\ 05485748540858498359841*c_1001_2^20 - 18337097745327531203511840683508054784790699646/1299406897582773172\ 805485748540858498359841*c_1001_2^19 + 28610258223355320094199400416499956870876090917/1299406897582773172\ 805485748540858498359841*c_1001_2^18 - 30015988115247194251147606203452287498276466489/1299406897582773172\ 805485748540858498359841*c_1001_2^17 + 20603641767024845633314609872917236967671302343/1299406897582773172\ 805485748540858498359841*c_1001_2^16 - 11424855067857652259143805842379816729608506656/1299406897582773172\ 805485748540858498359841*c_1001_2^15 + 11145290697547791158073951169279146246957217461/1299406897582773172\ 805485748540858498359841*c_1001_2^14 - 12191282418450584480703136028153143418803207087/1299406897582773172\ 805485748540858498359841*c_1001_2^13 + 6346905876816362609681806986260233060269064354/12994068975827731728\ 05485748540858498359841*c_1001_2^12 - 350940808780097796010032791382136739790990417/129940689758277317280\ 5485748540858498359841*c_1001_2^11 + 457695696781882824174692879774430275991785359/129940689758277317280\ 5485748540858498359841*c_1001_2^10 - 1520978474966904472955172959166771933985976153/12994068975827731728\ 05485748540858498359841*c_1001_2^9 + 359008883038384599597728594769895651268846597/129940689758277317280\ 5485748540858498359841*c_1001_2^8 + 408030551608291380567193431413135479310917148/129940689758277317280\ 5485748540858498359841*c_1001_2^7 - 141393792104188994911230196845808068067976798/129940689758277317280\ 5485748540858498359841*c_1001_2^6 - 64061940389782049796679620372251151242024049/1299406897582773172805\ 485748540858498359841*c_1001_2^5 + 47165537464869690696628318325125727958104923/1299406897582773172805\ 485748540858498359841*c_1001_2^4 + 7438659097209691656251375596651660393993121/12994068975827731728054\ 85748540858498359841*c_1001_2^3 - 861835177628881104006894869031255\ 9125556704/1299406897582773172805485748540858498359841*c_1001_2^2 - 252025685842502068513855204193090495126995/129940689758277317280548\ 5748540858498359841*c_1001_2 + 833879518526163919664667642184651305\ 169486/1299406897582773172805485748540858498359841, c_0101_8 - 290933201736948108807521072880652209338718/12994068975827731\ 72805485748540858498359841*c_1001_2^25 + 8584406853605404784408044214261060964429848/12994068975827731728054\ 85748540858498359841*c_1001_2^24 - 109749737041196236309810228951715748132131064/129940689758277317280\ 5485748540858498359841*c_1001_2^23 + 801153132013957599242528329156509101964827372/129940689758277317280\ 5485748540858498359841*c_1001_2^22 - 3709084443550458243034629017169784559359021734/12994068975827731728\ 05485748540858498359841*c_1001_2^21 + 11430144472815774583488466009967659038773843639/1299406897582773172\ 805485748540858498359841*c_1001_2^20 - 23791147134227717845406832937166051432442599649/1299406897582773172\ 805485748540858498359841*c_1001_2^19 + 32771254465285080684770130582481314079019217798/1299406897582773172\ 805485748540858498359841*c_1001_2^18 - 27850749944227463702306459490363283303024657732/1299406897582773172\ 805485748540858498359841*c_1001_2^17 + 12874288511596186917832068959390891656779478134/1299406897582773172\ 805485748540858498359841*c_1001_2^16 - 6013561646045264035702831128338900038364805348/12994068975827731728\ 05485748540858498359841*c_1001_2^15 + 11438101411820663361807670440442438538683918408/1299406897582773172\ 805485748540858498359841*c_1001_2^14 - 11636133758737440225096526566652747085566985732/1299406897582773172\ 805485748540858498359841*c_1001_2^13 + 1619368358327418707395524409156209942753449123/12994068975827731728\ 05485748540858498359841*c_1001_2^12 + 2611649099556823003817063023758413920323896506/12994068975827731728\ 05485748540858498359841*c_1001_2^11 + 1303123432451946268332392257577532256384157172/12994068975827731728\ 05485748540858498359841*c_1001_2^10 - 1744397282462360985852918402224456756699034984/12994068975827731728\ 05485748540858498359841*c_1001_2^9 - 573669922102479542109162497435654812249297126/129940689758277317280\ 5485748540858498359841*c_1001_2^8 + 554412771340982229560769443475182704441365104/129940689758277317280\ 5485748540858498359841*c_1001_2^7 + 87987834155590390097682110531325118423428860/1299406897582773172805\ 485748540858498359841*c_1001_2^6 - 103914341951075716769621858633947065034478322/129940689758277317280\ 5485748540858498359841*c_1001_2^5 + 42883669135758375738169662825594185590556924/1299406897582773172805\ 485748540858498359841*c_1001_2^4 + 29177246654959033080531996805678573217981469/1299406897582773172805\ 485748540858498359841*c_1001_2^3 - 5564057172266118638565987502676627513146120/12994068975827731728054\ 85748540858498359841*c_1001_2^2 - 252650107462825329306419376178844\ 7576295147/1299406897582773172805485748540858498359841*c_1001_2 + 959588335327244593005924709991288472657718/129940689758277317280548\ 5748540858498359841, c_0101_9 + 3857527457743461712818635829574968464080/1299406897582773172\ 805485748540858498359841*c_1001_2^25 - 116762236199968988440085549501192240998733/129940689758277317280548\ 5748540858498359841*c_1001_2^24 + 155778324951733841288298086365707\ 9324041087/1299406897582773172805485748540858498359841*c_1001_2^23 - 12203646402681165696678186627605121494845503/1299406897582773172805\ 485748540858498359841*c_1001_2^22 + 63390284136787330272661158430810433829380907/1299406897582773172805\ 485748540858498359841*c_1001_2^21 - 234529934944339165704812488675853727476644790/129940689758277317280\ 5485748540858498359841*c_1001_2^20 + 647483762985499645406827563512699297018481711/129940689758277317280\ 5485748540858498359841*c_1001_2^19 - 1370475570314186899811052062262064227793685435/12994068975827731728\ 05485748540858498359841*c_1001_2^18 + 2246208729737780205124789413489431805698642597/12994068975827731728\ 05485748540858498359841*c_1001_2^17 - 2835286083203556977756612820359460762798852361/12994068975827731728\ 05485748540858498359841*c_1001_2^16 + 2731474280121056019362676417069552797991465597/12994068975827731728\ 05485748540858498359841*c_1001_2^15 - 2081831394447364315082229269067792883545967998/12994068975827731728\ 05485748540858498359841*c_1001_2^14 + 1527365814851276612215388689428648037709588836/12994068975827731728\ 05485748540858498359841*c_1001_2^13 - 1339593402584506025215251010969435293935044560/12994068975827731728\ 05485748540858498359841*c_1001_2^12 + 1088205476142507558350633503238677692507428151/12994068975827731728\ 05485748540858498359841*c_1001_2^11 - 562684423904681345117821823509178563766717334/129940689758277317280\ 5485748540858498359841*c_1001_2^10 + 196884882477329086560802536042050627182390338/129940689758277317280\ 5485748540858498359841*c_1001_2^9 - 149502621444632583482083656328998116532400763/129940689758277317280\ 5485748540858498359841*c_1001_2^8 + 111575176383485901337870252430010076809350083/129940689758277317280\ 5485748540858498359841*c_1001_2^7 - 24676394044012065170248865288747901739122383/1299406897582773172805\ 485748540858498359841*c_1001_2^6 - 8460290206773516616359685378395341160404964/12994068975827731728054\ 85748540858498359841*c_1001_2^5 + 655393205715462537166853138481668\ 9749320631/1299406897582773172805485748540858498359841*c_1001_2^4 + 1957419170471843010474168394712177529576635/12994068975827731728054\ 85748540858498359841*c_1001_2^3 - 477331011026239469973793850622811\ 6755795715/1299406897582773172805485748540858498359841*c_1001_2^2 - 978739494741195902797171652300186258762131/129940689758277317280548\ 5748540858498359841*c_1001_2 + 115437633416226473526594205167545781\ 2344291/1299406897582773172805485748540858498359841, c_0110_4 + 164962801883210142274057458587626868375817/12994068975827731\ 72805485748540858498359841*c_1001_2^25 - 4960332882284941212191883250374141788962288/12994068975827731728054\ 85748540858498359841*c_1001_2^24 + 64997977263278983183308363126859742870732385/1299406897582773172805\ 485748540858498359841*c_1001_2^23 - 490135061356565951486582136510112721076429163/129940689758277317280\ 5485748540858498359841*c_1001_2^22 + 2369596159723971618779589917114121532550930174/12994068975827731728\ 05485748540858498359841*c_1001_2^21 - 7744041950400028790357610501635727146878321122/12994068975827731728\ 05485748540858498359841*c_1001_2^20 + 17507351665629814208898899284996343843728584171/1299406897582773172\ 805485748540858498359841*c_1001_2^19 - 27326007989248294868356817767876345611114057214/1299406897582773172\ 805485748540858498359841*c_1001_2^18 + 28688072094901629152180049394377485357052468797/1299406897582773172\ 805485748540858498359841*c_1001_2^17 - 19640854629364005323292554750914205402409474496/1299406897582773172\ 805485748540858498359841*c_1001_2^16 + 10607087837649524196304189042852220478950875937/1299406897582773172\ 805485748540858498359841*c_1001_2^15 - 9982296721709773593070352719807985416978308550/12994068975827731728\ 05485748540858498359841*c_1001_2^14 + 10932907949095593740603512598832258714124968863/1299406897582773172\ 805485748540858498359841*c_1001_2^13 - 5669309194528879691261344073002778248091630268/12994068975827731728\ 05485748540858498359841*c_1001_2^12 + 121688513148305306782089383804404753980654592/129940689758277317280\ 5485748540858498359841*c_1001_2^11 - 91434310886032115482363181189412009725446243/1299406897582773172805\ 485748540858498359841*c_1001_2^10 + 1132037423226876940480781609765807839949212091/12994068975827731728\ 05485748540858498359841*c_1001_2^9 - 279554657687542359582656358348210101552111591/129940689758277317280\ 5485748540858498359841*c_1001_2^8 - 374284123130603527529607884997874117907823497/129940689758277317280\ 5485748540858498359841*c_1001_2^7 + 194463755968777630969063640110408572209205861/129940689758277317280\ 5485748540858498359841*c_1001_2^6 + 19742192413386018687751247474861624685887706/1299406897582773172805\ 485748540858498359841*c_1001_2^5 - 56434273453938126020614450591156017881051927/1299406897582773172805\ 485748540858498359841*c_1001_2^4 + 3023413927909884065521798946145294135907346/12994068975827731728054\ 85748540858498359841*c_1001_2^3 + 107612244052565728354903006210475\ 55504657740/1299406897582773172805485748540858498359841*c_1001_2^2 - 2077601043436966859716007614438459874023940/12994068975827731728054\ 85748540858498359841*c_1001_2 - 13650896012807210471978977839999091\ 52224056/1299406897582773172805485748540858498359841, c_1001_11 + 398092281529811384035919556895375091057673/1299406897582773\ 172805485748540858498359841*c_1001_2^25 - 11800327929221752340931677326468369531127855/1299406897582773172805\ 485748540858498359841*c_1001_2^24 + 151806071392382622238767114763835844441086879/129940689758277317280\ 5485748540858498359841*c_1001_2^23 - 1117751623728980761664132859697894596768407175/12994068975827731728\ 05485748540858498359841*c_1001_2^22 + 5238587681948004041201090750912275185672575798/12994068975827731728\ 05485748540858498359841*c_1001_2^21 - 16436719338230085213508360421404454583301508978/1299406897582773172\ 805485748540858498359841*c_1001_2^20 + 35185777871361338455935351808916671582426619329/1299406897582773172\ 805485748540858498359841*c_1001_2^19 - 50879110532159601614832623280332035841190357367/1299406897582773172\ 805485748540858498359841*c_1001_2^18 + 47741857467012083485971084873661318590617677041/1299406897582773172\ 805485748540858498359841*c_1001_2^17 - 28132071994596587202116100701573013909648040784/1299406897582773172\ 805485748540858498359841*c_1001_2^16 + 16041762171953246337508654612108114383720222102/1299406897582773172\ 805485748540858498359841*c_1001_2^15 - 20476775696358565177442588122914104501642041696/1299406897582773172\ 805485748540858498359841*c_1001_2^14 + 20333257693089044729422829127394886105283122377/1299406897582773172\ 805485748540858498359841*c_1001_2^13 - 6690037792920352106208808190857349600077387802/12994068975827731728\ 05485748540858498359841*c_1001_2^12 - 1035297609345572007137384107844930627862436744/12994068975827731728\ 05485748540858498359841*c_1001_2^11 - 2367261166212732485809546052835855680285802139/12994068975827731728\ 05485748540858498359841*c_1001_2^10 + 2823707549153680688413233035646496331589562798/12994068975827731728\ 05485748540858498359841*c_1001_2^9 + 220470548896983138046484899182852096324521151/129940689758277317280\ 5485748540858498359841*c_1001_2^8 - 606421964743768748303902191597528433173363555/129940689758277317280\ 5485748540858498359841*c_1001_2^7 - 63528254422464741297244375752636767406345053/1299406897582773172805\ 485748540858498359841*c_1001_2^6 + 123114744119297876083470674650966928926207107/129940689758277317280\ 5485748540858498359841*c_1001_2^5 - 66485018428162090584060365165576434079586389/1299406897582773172805\ 485748540858498359841*c_1001_2^4 - 26726007339586980625340079584521373371430104/1299406897582773172805\ 485748540858498359841*c_1001_2^3 + 7145379146909178609724529400475657911013153/12994068975827731728054\ 85748540858498359841*c_1001_2^2 + 216693804167772681507876497163680\ 9747237860/1299406897582773172805485748540858498359841*c_1001_2 - 995420770425210399392692596532320841553172/129940689758277317280548\ 5748540858498359841, c_1001_2^26 - 30*c_1001_2^25 + 392*c_1001_2^24 - 2946*c_1001_2^23 + 14187*c_1001_2^22 - 46169*c_1001_2^21 + 103974*c_1001_2^20 - 162028*c_1001_2^19 + 171332*c_1001_2^18 - 122044*c_1001_2^17 + 73935*c_1001_2^16 - 71181*c_1001_2^15 + 72493*c_1001_2^14 - 38358*c_1001_2^13 + 6636*c_1001_2^12 - 6201*c_1001_2^11 + 9076*c_1001_2^10 - 2219*c_1001_2^9 - 1413*c_1001_2^8 + 497*c_1001_2^7 + 235*c_1001_2^6 - 260*c_1001_2^5 - 14*c_1001_2^4 + 39*c_1001_2^3 - 4*c_1001_2^2 - 4*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.340 Total time: 1.540 seconds, Total memory usage: 32.09MB