Magma V2.19-8 Tue Aug 20 2013 18:37:27 on localhost [Seed = 2067449481] Type ? for help. Type -D to quit. Loading file "11_57__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_57 geometric_solution 12.75112575 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 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 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662993264385 1.131101704008 0 5 7 6 0132 0132 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 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467768920015 0.884782217360 8 0 6 4 0132 0132 3012 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 0 0 1 0 0 -1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050200304880 0.443985291690 7 9 9 0 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 3 0 -3 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513047751183 0.853038715154 9 10 0 2 0321 0132 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 -2 2 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.590310343834 0.663831670029 8 1 10 11 1023 0132 3120 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 3 0 0 -3 1 0 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637275864451 1.054521958401 12 2 1 13 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403056837052 0.693298017700 3 8 12 1 0132 0213 0132 0132 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 0 0 0 -3 0 3 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597728758492 0.640166560122 2 5 7 11 0132 1023 0213 0321 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 -3 0 3 -1 0 0 1 0 -1 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.140801066177 1.377114486812 4 3 3 13 0321 0132 0321 3201 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 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513047751183 0.853038715154 13 4 5 12 3120 0132 3120 2031 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 -1 -2 3 2 0 0 -2 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.286809052723 0.828309796776 13 8 5 12 0132 0321 0132 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 1 2 0 0 3 -3 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804192916503 0.535866282225 6 10 11 7 0132 1302 0132 0132 0 0 0 0 0 1 -1 0 0 0 1 -1 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 2 -2 0 0 0 3 -3 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.713190947277 0.828309796776 11 9 6 10 0132 2310 0132 3120 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 2 -2 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.603837686712 0.475133496349 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_12'], 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_5'], 'c_1010_13' : negation(d['c_0011_10']), 'c_1010_12' : d['c_0101_5'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : d['c_0011_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_1'], 'c_0011_13' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_1001_0'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_10'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_5']), 'c_1100_13' : negation(d['c_0101_10']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0101_12'], 'c_0011_6' : negation(d['c_0011_12']), '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_12'], 'c_0110_10' : d['c_0101_11'], 'c_0110_13' : d['c_0101_11'], 'c_0110_12' : d['c_0101_0'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_1']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_3'], '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 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_5, c_1001_0, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 99146975771777598058589/196920444806896843623*c_1001_10^11 - 465109101014401535076479/393840889613793687246*c_1001_10^10 - 2492983536062523619659959/393840889613793687246*c_1001_10^9 - 5654182236258170913493063/393840889613793687246*c_1001_10^8 - 4220616585447258454351741/196920444806896843623*c_1001_10^7 - 4519109942302854805252915/196920444806896843623*c_1001_10^6 - 8332188375461550257752433/393840889613793687246*c_1001_10^5 - 4788552890772469224671201/393840889613793687246*c_1001_10^4 - 1504106524358679703188208/196920444806896843623*c_1001_10^3 - 237035435482462087540577/131280296537931229082*c_1001_10^2 - 178464005573914660911890/196920444806896843623*c_1001_10 + 31806508344377214504191/393840889613793687246, c_0011_0 - 1, c_0011_10 - 222698118148391/83653296191089*c_1001_10^11 - 1628374834466536/250959888573267*c_1001_10^10 - 8408326659480500/250959888573267*c_1001_10^9 - 6489254264270403/83653296191089*c_1001_10^8 - 28553051243330654/250959888573267*c_1001_10^7 - 9698761378046272/83653296191089*c_1001_10^6 - 8597419402750503/83653296191089*c_1001_10^5 - 4976027096158394/83653296191089*c_1001_10^4 - 9098754288880447/250959888573267*c_1001_10^3 - 2274520124100026/250959888573267*c_1001_10^2 - 434109110489070/83653296191089*c_1001_10 + 140237082365789/250959888573267, c_0011_11 - 3866716655646493/1003839554293068*c_1001_10^11 - 1725967948097069/250959888573267*c_1001_10^10 - 10927790844706444/250959888573267*c_1001_10^9 - 28279056614462173/334613184764356*c_1001_10^8 - 53838784610871041/501919777146534*c_1001_10^7 - 104579965862339989/1003839554293068*c_1001_10^6 - 25466840226087370/250959888573267*c_1001_10^5 - 15295801962507177/334613184764356*c_1001_10^4 - 40804698789230555/1003839554293068*c_1001_10^3 - 2198535655156585/334613184764356*c_1001_10^2 - 6507218955364123/1003839554293068*c_1001_10 + 775060842025393/1003839554293068, c_0011_12 - 1952902029873811/1003839554293068*c_1001_10^11 - 191418716789737/83653296191089*c_1001_10^10 - 4825637594958572/250959888573267*c_1001_10^9 - 9413036425898727/334613184764356*c_1001_10^8 - 10675476532389163/501919777146534*c_1001_10^7 - 6499952679496159/1003839554293068*c_1001_10^6 - 515327932532647/83653296191089*c_1001_10^5 + 13831368624480559/1003839554293068*c_1001_10^4 - 4530513698190409/1003839554293068*c_1001_10^3 + 4996055905277387/1003839554293068*c_1001_10^2 - 3041955105361841/1003839554293068*c_1001_10 + 18430422575413/334613184764356, c_0011_3 - 1447416450561637/501919777146534*c_1001_10^11 - 829006150369019/250959888573267*c_1001_10^10 - 2417071158393098/83653296191089*c_1001_10^9 - 20979747459593089/501919777146534*c_1001_10^8 - 2988961715870736/83653296191089*c_1001_10^7 - 9955569395491961/501919777146534*c_1001_10^6 - 5362532098534996/250959888573267*c_1001_10^5 + 6308459720582257/501919777146534*c_1001_10^4 - 6547954662443563/501919777146534*c_1001_10^3 + 3699008266991729/501919777146534*c_1001_10^2 - 2080648967780137/501919777146534*c_1001_10 + 282733258010325/167306592382178, c_0101_0 - c_1001_10, c_0101_1 + 842569992597/2698493425519*c_1001_10^11 + 29004751071953/8095480276557*c_1001_10^10 + 25579717033379/2698493425519*c_1001_10^9 + 330921914066300/8095480276557*c_1001_10^8 + 211863518689985/2698493425519*c_1001_10^7 + 734814017819453/8095480276557*c_1001_10^6 + 592567887416105/8095480276557*c_1001_10^5 + 447638574971317/8095480276557*c_1001_10^4 + 123740652190397/8095480276557*c_1001_10^3 + 70085533560565/8095480276557*c_1001_10^2 - 3233149282416/2698493425519*c_1001_10 + 2645138125809/2698493425519, c_0101_10 + 3866716655646493/1003839554293068*c_1001_10^11 + 1725967948097069/250959888573267*c_1001_10^10 + 10927790844706444/250959888573267*c_1001_10^9 + 28279056614462173/334613184764356*c_1001_10^8 + 53838784610871041/501919777146534*c_1001_10^7 + 104579965862339989/1003839554293068*c_1001_10^6 + 25466840226087370/250959888573267*c_1001_10^5 + 15295801962507177/334613184764356*c_1001_10^4 + 40804698789230555/1003839554293068*c_1001_10^3 + 2198535655156585/334613184764356*c_1001_10^2 + 6507218955364123/1003839554293068*c_1001_10 - 775060842025393/1003839554293068, c_0101_11 + 2072566088645995/167306592382178*c_1001_10^11 + 6235326698965628/250959888573267*c_1001_10^10 + 12255772208993097/83653296191089*c_1001_10^9 + 152436311218223699/501919777146534*c_1001_10^8 + 35023390627235894/83653296191089*c_1001_10^7 + 213276935090306999/501919777146534*c_1001_10^6 + 99375039106605644/250959888573267*c_1001_10^5 + 33424519077185153/167306592382178*c_1001_10^4 + 76420913087274683/501919777146534*c_1001_10^3 + 13737725201779387/501919777146534*c_1001_10^2 + 11670643702743205/501919777146534*c_1001_10 - 1225468394692003/501919777146534, c_0101_12 + 5202905364536839/501919777146534*c_1001_10^11 + 5080310730660674/250959888573267*c_1001_10^10 + 30263908348893388/250959888573267*c_1001_10^9 + 41257565143002979/167306592382178*c_1001_10^8 + 82391835854201695/250959888573267*c_1001_10^7 + 162772534130617621/501919777146534*c_1001_10^6 + 76725938660426249/250959888573267*c_1001_10^5 + 25247856154823965/167306592382178*c_1001_10^4 + 59002207366991449/501919777146534*c_1001_10^3 + 11144647213669807/501919777146534*c_1001_10^2 + 9111873618298543/501919777146534*c_1001_10 - 1055535006756971/501919777146534, c_0101_5 + 1952902029873811/1003839554293068*c_1001_10^11 + 191418716789737/83653296191089*c_1001_10^10 + 4825637594958572/250959888573267*c_1001_10^9 + 9413036425898727/334613184764356*c_1001_10^8 + 10675476532389163/501919777146534*c_1001_10^7 + 6499952679496159/1003839554293068*c_1001_10^6 + 515327932532647/83653296191089*c_1001_10^5 - 13831368624480559/1003839554293068*c_1001_10^4 + 4530513698190409/1003839554293068*c_1001_10^3 - 4996055905277387/1003839554293068*c_1001_10^2 + 3041955105361841/1003839554293068*c_1001_10 - 18430422575413/334613184764356, c_1001_0 - 4281796173953051/1003839554293068*c_1001_10^11 - 2341047965911153/250959888573267*c_1001_10^10 - 12752325586468052/250959888573267*c_1001_10^9 - 111364056796001317/1003839554293068*c_1001_10^8 - 74702227522288345/501919777146534*c_1001_10^7 - 46724067213618789/334613184764356*c_1001_10^6 - 29822923551689324/250959888573267*c_1001_10^5 - 51637396682594233/1003839554293068*c_1001_10^4 - 28724652606486305/1003839554293068*c_1001_10^3 - 1782432188901245/1003839554293068*c_1001_10^2 - 705410862819783/334613184764356*c_1001_10 + 207377980844665/334613184764356, c_1001_1 + 17512963329337955/1003839554293068*c_1001_10^11 + 9174496774479448/250959888573267*c_1001_10^10 + 52051191521719546/250959888573267*c_1001_10^9 + 443686465147053193/1003839554293068*c_1001_10^8 + 303348046730195837/501919777146534*c_1001_10^7 + 201093896141784137/334613184764356*c_1001_10^6 + 137791843205445418/250959888573267*c_1001_10^5 + 92184415896482631/334613184764356*c_1001_10^4 + 63402032824381087/334613184764356*c_1001_10^3 + 36764457679872853/1003839554293068*c_1001_10^2 + 24849677023087153/1003839554293068*c_1001_10 - 742460282563585/334613184764356, c_1001_10^12 + 47/23*c_1001_10^11 + 272/23*c_1001_10^10 + 569/23*c_1001_10^9 + 775/23*c_1001_10^8 + 757/23*c_1001_10^7 + 671/23*c_1001_10^6 + 297/23*c_1001_10^5 + 206/23*c_1001_10^4 + 6/23*c_1001_10^3 + 22/23*c_1001_10^2 - 10/23*c_1001_10 + 1/23 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_5, c_1001_0, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 95012302691047/1422756060*c_1001_10^11 + 486545911374511/3130063332*c_1001_10^10 + 927762619191741/5216772220*c_1001_10^9 + 589490260357016/3912579165*c_1001_10^8 + 1038388911474281/7825158330*c_1001_10^7 + 1649925237728071/15650316660*c_1001_10^6 + 1065534844549343/15650316660*c_1001_10^5 + 53658817563858/1304193055*c_1001_10^4 + 33168694105791/1304193055*c_1001_10^3 + 8002380410579/711378030*c_1001_10^2 + 2028456643297/474252020*c_1001_10 + 717300077150/782515833, c_0011_0 - 1, c_0011_10 - 672959287/12934146*c_1001_10^11 - 2115811159/12934146*c_1001_10^10 - 458657520/2155691*c_1001_10^9 - 1251785411/6467073*c_1001_10^8 - 1042635496/6467073*c_1001_10^7 - 1663170269/12934146*c_1001_10^6 - 1142832649/12934146*c_1001_10^5 - 241700311/4311382*c_1001_10^4 - 70466026/2155691*c_1001_10^3 - 195432505/12934146*c_1001_10^2 - 13336065/2155691*c_1001_10 - 10244482/6467073, c_0011_11 + 277259906/6467073*c_1001_10^11 + 844194325/12934146*c_1001_10^10 + 157198637/2155691*c_1001_10^9 + 508923407/6467073*c_1001_10^8 + 929683967/12934146*c_1001_10^7 + 290263009/6467073*c_1001_10^6 + 206549399/6467073*c_1001_10^5 + 51160486/2155691*c_1001_10^4 + 25971857/2155691*c_1001_10^3 + 32886512/6467073*c_1001_10^2 + 12995355/4311382*c_1001_10 + 3324529/6467073, c_0011_12 + 752467793/12934146*c_1001_10^11 + 809337490/6467073*c_1001_10^10 + 318411820/2155691*c_1001_10^9 + 1723306115/12934146*c_1001_10^8 + 794735735/6467073*c_1001_10^7 + 1265510077/12934146*c_1001_10^6 + 415587346/6467073*c_1001_10^5 + 166740651/4311382*c_1001_10^4 + 53668680/2155691*c_1001_10^3 + 76235119/6467073*c_1001_10^2 + 16637343/4311382*c_1001_10 + 15826453/12934146, c_0011_3 - 770075999/12934146*c_1001_10^11 - 1430234537/12934146*c_1001_10^10 - 378000443/4311382*c_1001_10^9 - 429350488/6467073*c_1001_10^8 - 921839359/12934146*c_1001_10^7 - 691399393/12934146*c_1001_10^6 - 180447196/6467073*c_1001_10^5 - 47023191/2155691*c_1001_10^4 - 66725425/4311382*c_1001_10^3 - 49051577/12934146*c_1001_10^2 - 4534394/2155691*c_1001_10 - 5106998/6467073, c_0101_0 - c_1001_10, c_0101_1 - 246982043/6467073*c_1001_10^11 - 341018162/6467073*c_1001_10^10 - 21506118/2155691*c_1001_10^9 + 141234245/12934146*c_1001_10^8 - 34183822/6467073*c_1001_10^7 - 19832867/12934146*c_1001_10^6 + 41098096/6467073*c_1001_10^5 + 13965349/4311382*c_1001_10^4 - 1891801/4311382*c_1001_10^3 + 36086597/12934146*c_1001_10^2 + 1396172/2155691*c_1001_10 + 3855473/6467073, c_0101_10 + 371134841/6467073*c_1001_10^11 + 760592645/6467073*c_1001_10^10 + 548154051/4311382*c_1001_10^9 + 670212551/6467073*c_1001_10^8 + 548582872/6467073*c_1001_10^7 + 387109390/6467073*c_1001_10^6 + 258907409/6467073*c_1001_10^5 + 106933271/4311382*c_1001_10^4 + 30662408/2155691*c_1001_10^3 + 75900157/12934146*c_1001_10^2 + 12407443/4311382*c_1001_10 + 1712155/6467073, c_0101_11 + 31291645/2155691*c_1001_10^11 + 225663655/4311382*c_1001_10^10 + 233756777/4311382*c_1001_10^9 + 53763048/2155691*c_1001_10^8 + 55827259/4311382*c_1001_10^7 + 32282127/2155691*c_1001_10^6 + 17452670/2155691*c_1001_10^5 + 4612299/4311382*c_1001_10^4 + 4690551/2155691*c_1001_10^3 + 3375711/4311382*c_1001_10^2 - 293956/2155691*c_1001_10 - 537458/2155691, c_0101_12 - 190284171/2155691*c_1001_10^11 - 833806073/4311382*c_1001_10^10 - 452152735/2155691*c_1001_10^9 - 384251404/2155691*c_1001_10^8 - 707677169/4311382*c_1001_10^7 - 559624311/4311382*c_1001_10^6 - 174014796/2155691*c_1001_10^5 - 218566951/4311382*c_1001_10^4 - 64319630/2155691*c_1001_10^3 - 53811361/4311382*c_1001_10^2 - 9567559/2155691*c_1001_10 - 6239427/4311382, c_0101_5 + 488907034/6467073*c_1001_10^11 + 1100278003/6467073*c_1001_10^10 + 805778525/4311382*c_1001_10^9 + 2018456705/12934146*c_1001_10^8 + 903914696/6467073*c_1001_10^7 + 1400774569/12934146*c_1001_10^6 + 418046953/6467073*c_1001_10^5 + 83815020/2155691*c_1001_10^4 + 113479063/4311382*c_1001_10^3 + 68811004/6467073*c_1001_10^2 + 18323049/4311382*c_1001_10 + 6564278/6467073, c_1001_0 + 40961459/2155691*c_1001_10^11 + 131544689/4311382*c_1001_10^10 + 55317328/2155691*c_1001_10^9 + 93489433/4311382*c_1001_10^8 + 62561439/2155691*c_1001_10^7 + 41446351/2155691*c_1001_10^6 + 49389803/4311382*c_1001_10^5 + 21892872/2155691*c_1001_10^4 + 16650043/2155691*c_1001_10^3 + 8519237/4311382*c_1001_10^2 + 5772829/4311382*c_1001_10 + 1947707/4311382, c_1001_1 + 38382036/2155691*c_1001_10^11 + 122099231/2155691*c_1001_10^10 + 126650233/2155691*c_1001_10^9 + 112424148/2155691*c_1001_10^8 + 109811476/2155691*c_1001_10^7 + 164591397/4311382*c_1001_10^6 + 43426588/2155691*c_1001_10^5 + 67324657/4311382*c_1001_10^4 + 25305901/2155691*c_1001_10^3 + 19618597/4311382*c_1001_10^2 + 9951905/4311382*c_1001_10 + 5271381/4311382, c_1001_10^12 + 202/77*c_1001_10^11 + 260/77*c_1001_10^10 + 22/7*c_1001_10^9 + 219/77*c_1001_10^8 + 26/11*c_1001_10^7 + 18/11*c_1001_10^6 + 80/77*c_1001_10^5 + 51/77*c_1001_10^4 + 26/77*c_1001_10^3 + 1/7*c_1001_10^2 + 4/77*c_1001_10 + 1/77 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 32.670 Total time: 32.880 seconds, Total memory usage: 399.09MB