Magma V2.19-8 Tue Aug 20 2013 23:48:57 on localhost [Seed = 3019233570] Type ? for help. Type -D to quit. Loading file "K11n121__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n121 geometric_solution 12.27094740 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 1 0 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 -1 1 9 0 0 -9 0 -1 0 1 -1 10 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522024899319 0.927605021326 0 0 5 4 0132 1302 0132 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 9 0 -9 -9 0 0 9 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.539238449903 0.818743948922 6 0 4 7 0132 0132 3012 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.837766460063 1.059043607470 6 8 7 0 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -9 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226985828192 1.031954525798 6 2 1 9 1023 1230 0132 0132 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 0 0 -9 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 0.925057132718 0.938177459275 10 11 8 1 0132 0132 2103 0132 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 -10 10 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.009133907928 1.337588203432 2 4 3 9 0132 1023 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573936191430 0.415264923100 11 12 2 3 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428723820500 0.752430595185 5 3 12 10 2103 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -10 1 0 9 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.532412505338 0.804588022322 12 6 4 10 0213 1302 0132 0213 0 0 0 0 0 0 1 -1 1 0 -1 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 9 -9 9 0 -9 0 -10 0 0 10 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414597032785 0.463608504172 5 8 11 9 0132 2310 1023 0213 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 -9 0 9 0 0 10 -10 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.428020812337 0.864381656699 12 5 10 7 2310 0132 1023 1230 0 0 0 0 0 1 -1 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 10 -10 0 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.269300743478 1.263286288693 9 7 11 8 0213 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 10 0 -10 0 -9 0 0 9 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414597032785 0.463608504172 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_11']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_0110_8']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0110_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_8']), 'c_1100_4' : negation(d['c_0110_8']), 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : negation(d['c_0110_8']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_1001_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : negation(d['c_0011_10']), '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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0011_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_5']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0110_8, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 6030620644992843/2634288972909410*c_1001_4^13 + 136207715877294479/5268577945818820*c_1001_4^12 - 126177026443599319/10537155891637640*c_1001_4^11 - 1119759406777181337/10537155891637640*c_1001_4^10 - 161883959242324973/10537155891637640*c_1001_4^9 + 1755957864727577941/5268577945818820*c_1001_4^8 + 10341837111957749/5268577945818820*c_1001_4^7 - 1193137508780024477/10537155891637640*c_1001_4^6 - 1038011299260793383/2107431178327528*c_1001_4^5 + 2925227442069435619/10537155891637640*c_1001_4^4 - 249949179107908085/2107431178327528*c_1001_4^3 + 927465039090020647/2107431178327528*c_1001_4^2 - 150193221667333779/1317144486454705*c_1001_4 + 204230152412039209/2634288972909410, c_0011_0 - 1, c_0011_10 - 24160800231756/263428897290941*c_1001_4^13 - 22739226272658/263428897290941*c_1001_4^12 + 182724121650421/263428897290941*c_1001_4^11 + 160954973405009/263428897290941*c_1001_4^10 - 524345933470582/263428897290941*c_1001_4^9 - 634545032874126/263428897290941*c_1001_4^8 + 651170495233512/263428897290941*c_1001_4^7 + 895452470867790/263428897290941*c_1001_4^6 + 402417154962329/263428897290941*c_1001_4^5 - 1234288187802589/263428897290941*c_1001_4^4 - 83387008760757/263428897290941*c_1001_4^3 - 492028276126473/263428897290941*c_1001_4^2 + 632973479723852/263428897290941*c_1001_4 - 122281153251311/263428897290941, c_0011_12 - 47552293797776/263428897290941*c_1001_4^13 + 45396722639336/263428897290941*c_1001_4^12 + 214130934029272/263428897290941*c_1001_4^11 - 11902532835886/263428897290941*c_1001_4^10 - 697955434673151/263428897290941*c_1001_4^9 - 95418794746442/263428897290941*c_1001_4^8 + 357408904860875/263428897290941*c_1001_4^7 + 1308364748479430/263428897290941*c_1001_4^6 - 501912842366087/263428897290941*c_1001_4^5 - 87968168706862/263428897290941*c_1001_4^4 - 1213404157748194/263428897290941*c_1001_4^3 + 391844157485761/263428897290941*c_1001_4^2 + 4325983923657/263428897290941*c_1001_4 + 98407412587956/263428897290941, c_0011_3 - 2909567872552/263428897290941*c_1001_4^13 + 3442182518588/263428897290941*c_1001_4^12 + 11758908948294/263428897290941*c_1001_4^11 + 13116127377398/263428897290941*c_1001_4^10 - 31408458142915/263428897290941*c_1001_4^9 - 79018160235577/263428897290941*c_1001_4^8 - 59907749501649/263428897290941*c_1001_4^7 + 272095568568355/263428897290941*c_1001_4^6 + 158215158891895/263428897290941*c_1001_4^5 - 31254109303204/263428897290941*c_1001_4^4 - 196321490913854/263428897290941*c_1001_4^3 - 101186823940975/263428897290941*c_1001_4^2 - 146687757182638/263428897290941*c_1001_4 - 6546915414197/263428897290941, c_0101_0 - 42829579540968/263428897290941*c_1001_4^13 + 73860992441100/263428897290941*c_1001_4^12 + 179233382399726/263428897290941*c_1001_4^11 - 212976929253498/263428897290941*c_1001_4^10 - 666755438692097/263428897290941*c_1001_4^9 + 569140186942334/263428897290941*c_1001_4^8 + 577706788407884/263428897290941*c_1001_4^7 + 467241770973214/263428897290941*c_1001_4^6 - 1293696134241477/263428897290941*c_1001_4^5 + 113935350614702/263428897290941*c_1001_4^4 - 520685258632919/263428897290941*c_1001_4^3 + 686122930818784/263428897290941*c_1001_4^2 + 238703430299649/263428897290941*c_1001_4 - 15372771071593/263428897290941, c_0101_1 - 38261212465572/263428897290941*c_1001_4^13 + 43186100459374/263428897290941*c_1001_4^12 + 161315517723085/263428897290941*c_1001_4^11 - 56655714798324/263428897290941*c_1001_4^10 - 530699336961353/263428897290941*c_1001_4^9 + 120964701727207/263428897290941*c_1001_4^8 + 258830145141750/263428897290941*c_1001_4^7 + 690158380128412/263428897290941*c_1001_4^6 - 679965004403489/263428897290941*c_1001_4^5 + 333238316966175/263428897290941*c_1001_4^4 - 483032834541380/263428897290941*c_1001_4^3 + 278357564306574/263428897290941*c_1001_4^2 - 313040607220289/263428897290941*c_1001_4 - 86299914240857/263428897290941, c_0101_11 - 38261212465572/263428897290941*c_1001_4^13 + 43186100459374/263428897290941*c_1001_4^12 + 161315517723085/263428897290941*c_1001_4^11 - 56655714798324/263428897290941*c_1001_4^10 - 530699336961353/263428897290941*c_1001_4^9 + 120964701727207/263428897290941*c_1001_4^8 + 258830145141750/263428897290941*c_1001_4^7 + 690158380128412/263428897290941*c_1001_4^6 - 679965004403489/263428897290941*c_1001_4^5 + 333238316966175/263428897290941*c_1001_4^4 - 483032834541380/263428897290941*c_1001_4^3 + 278357564306574/263428897290941*c_1001_4^2 - 313040607220289/263428897290941*c_1001_4 - 86299914240857/263428897290941, c_0101_2 - 2909567872552/263428897290941*c_1001_4^13 + 3442182518588/263428897290941*c_1001_4^12 + 11758908948294/263428897290941*c_1001_4^11 + 13116127377398/263428897290941*c_1001_4^10 - 31408458142915/263428897290941*c_1001_4^9 - 79018160235577/263428897290941*c_1001_4^8 - 59907749501649/263428897290941*c_1001_4^7 + 272095568568355/263428897290941*c_1001_4^6 + 158215158891895/263428897290941*c_1001_4^5 - 31254109303204/263428897290941*c_1001_4^4 - 196321490913854/263428897290941*c_1001_4^3 - 101186823940975/263428897290941*c_1001_4^2 - 146687757182638/263428897290941*c_1001_4 - 6546915414197/263428897290941, c_0101_3 - 19982020746776/263428897290941*c_1001_4^13 + 5761143344404/263428897290941*c_1001_4^12 + 82342607635958/263428897290941*c_1001_4^11 + 39830045583380/263428897290941*c_1001_4^10 - 189941887417212/263428897290941*c_1001_4^9 - 106915244616376/263428897290941*c_1001_4^8 - 120380006314163/263428897290941*c_1001_4^7 + 286592162673875/263428897290941*c_1001_4^6 + 167268763846457/263428897290941*c_1001_4^5 + 197664315290337/263428897290941*c_1001_4^4 - 174108182879187/263428897290941*c_1001_4^3 + 9810322826180/263428897290941*c_1001_4^2 - 96372677118256/263428897290941*c_1001_4 - 157978846390889/263428897290941, c_0101_5 - 35026102795576/263428897290941*c_1001_4^13 + 39162209471360/263428897290941*c_1001_4^12 + 139298624220868/263428897290941*c_1001_4^11 - 38623010905619/263428897290941*c_1001_4^10 - 461458215686130/263428897290941*c_1001_4^9 + 68765989175887/263428897290941*c_1001_4^8 + 177870362909766/263428897290941*c_1001_4^7 + 813312534193798/263428897290941*c_1001_4^6 - 631851809725216/263428897290941*c_1001_4^5 + 118581349504153/263428897290941*c_1001_4^4 - 919866454703866/263428897290941*c_1001_4^3 + 457598119550202/263428897290941*c_1001_4^2 + 114226180264218/263428897290941*c_1001_4 + 261309276440674/263428897290941, c_0110_8 - 9616623129648/263428897290941*c_1001_4^13 + 2792330649388/263428897290941*c_1001_4^12 + 63073400860110/263428897290941*c_1001_4^11 + 13604350692335/263428897290941*c_1001_4^10 - 205088760844106/263428897290941*c_1001_4^9 - 85166623686752/263428897290941*c_1001_4^8 + 239446291452758/263428897290941*c_1001_4^7 + 222956645717277/263428897290941*c_1001_4^6 - 28276191532766/263428897290941*c_1001_4^5 - 175295408907811/263428897290941*c_1001_4^4 - 97216212130474/263428897290941*c_1001_4^3 + 35432861876534/263428897290941*c_1001_4^2 + 36787560842077/263428897290941*c_1001_4 - 156354948438521/263428897290941, c_1001_0 + 31901199530664/263428897290941*c_1001_4^13 - 12500154702976/263428897290941*c_1001_4^12 - 175324015946108/263428897290941*c_1001_4^11 - 37902410417467/263428897290941*c_1001_4^10 + 556265135018348/263428897290941*c_1001_4^9 + 228130682807794/263428897290941*c_1001_4^8 - 566846656565420/263428897290941*c_1001_4^7 - 845107686899355/263428897290941*c_1001_4^6 + 379467176706543/263428897290941*c_1001_4^5 + 774377764234056/263428897290941*c_1001_4^4 + 153902066103911/263428897290941*c_1001_4^3 - 151930149919104/263428897290941*c_1001_4^2 - 387519688130215/263428897290941*c_1001_4 + 150402250272319/263428897290941, c_1001_4^14 - 3/2*c_1001_4^13 - 17/4*c_1001_4^12 + 7/2*c_1001_4^11 + 61/4*c_1001_4^10 - 17/2*c_1001_4^9 - 23/2*c_1001_4^8 - 33/2*c_1001_4^7 + 25*c_1001_4^6 - 2*c_1001_4^5 + 65/4*c_1001_4^4 - 55/4*c_1001_4^3 - 1/4*c_1001_4^2 - 1/2*c_1001_4 - 5/2 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0110_8, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 302954134721991471683982294885/667932122231241112961530986182*c_100\ 1_4^15 - 91587606049373173700666111489/3339660611156205564807654930\ 91*c_1001_4^14 - 441945130162190420155047395510/3339660611156205564\ 80765493091*c_1001_4^13 + 3144870828248498939221301699434/333966061\ 115620556480765493091*c_1001_4^12 - 263475064994131670472240087169/30360551010510959680069590281*c_1001\ _4^11 - 30936569564508435860305580461501/66793212223124111296153098\ 6182*c_1001_4^10 + 32030889688388355515549371020625/333966061115620\ 556480765493091*c_1001_4^9 + 36933548656269279984521553780133/66793\ 2122231241112961530986182*c_1001_4^8 - 100143942798170855841139920544645/333966061115620556480765493091*c_\ 1001_4^7 + 123329322570990294695955941615367/6679321222312411129615\ 30986182*c_1001_4^6 + 18040727086341897434367566024227/607211020210\ 21919360139180562*c_1001_4^5 - 352681600030923427576130816596777/66\ 7932122231241112961530986182*c_1001_4^4 + 145804418746170160194539296462433/667932122231241112961530986182*c_\ 1001_4^3 + 98987893193533682636077858971555/66793212223124111296153\ 0986182*c_1001_4^2 - 5071950465861198538353964437965/35154322222696\ 900682185841378*c_1001_4 - 668523800822474766779286969955/333966061\ 115620556480765493091, c_0011_0 - 1, c_0011_10 + 123569012913590780/7769088034368359929*c_1001_4^15 - 213222689321149925/15538176068736719858*c_1001_4^14 - 525530523834296699/7769088034368359929*c_1001_4^13 + 2488608637053363595/7769088034368359929*c_1001_4^12 - 2529219267551144411/7769088034368359929*c_1001_4^11 - 15069493897166762656/7769088034368359929*c_1001_4^10 + 55856227040986387905/15538176068736719858*c_1001_4^9 + 28992480928718217255/7769088034368359929*c_1001_4^8 - 190641471315655946483/15538176068736719858*c_1001_4^7 + 16823325709537376935/7769088034368359929*c_1001_4^6 + 264860032565456388703/15538176068736719858*c_1001_4^5 - 244892799045784431173/15538176068736719858*c_1001_4^4 - 61080953523639888077/15538176068736719858*c_1001_4^3 + 171543623055458738031/15538176068736719858*c_1001_4^2 + 20276697721954824599/15538176068736719858*c_1001_4 - 101367966190703597335/15538176068736719858, c_0011_12 + 39148956828897775/7769088034368359929*c_1001_4^15 + 112517817447215417/7769088034368359929*c_1001_4^14 + 13194284253657580/7769088034368359929*c_1001_4^13 + 506774895119907594/7769088034368359929*c_1001_4^12 + 1565761254271520110/7769088034368359929*c_1001_4^11 - 2902315279767841353/7769088034368359929*c_1001_4^10 - 5760297132671151962/7769088034368359929*c_1001_4^9 + 12150372280498097369/7769088034368359929*c_1001_4^8 + 10459558133104727065/7769088034368359929*c_1001_4^7 - 25966307532752480693/7769088034368359929*c_1001_4^6 - 697138325605572442/7769088034368359929*c_1001_4^5 + 29741721091594085631/7769088034368359929*c_1001_4^4 - 14492787900775242009/7769088034368359929*c_1001_4^3 - 14896326515129321859/7769088034368359929*c_1001_4^2 + 6222006672625602235/7769088034368359929*c_1001_4 + 11794805929732435620/7769088034368359929, c_0011_3 + 345788652807008903/15538176068736719858*c_1001_4^15 + 195999264374189353/15538176068736719858*c_1001_4^14 - 389770943725252760/7769088034368359929*c_1001_4^13 + 3042870221064627400/7769088034368359929*c_1001_4^12 + 241913888443594272/7769088034368359929*c_1001_4^11 - 34528944225675523233/15538176068736719858*c_1001_4^10 + 29325421537141323421/15538176068736719858*c_1001_4^9 + 78292744673997652151/15538176068736719858*c_1001_4^8 - 123491085147072606939/15538176068736719858*c_1001_4^7 - 23665716111130633041/15538176068736719858*c_1001_4^6 + 94114475238705907355/7769088034368359929*c_1001_4^5 - 68688189610330442577/7769088034368359929*c_1001_4^4 - 19874545691707738963/7769088034368359929*c_1001_4^3 + 35098854176603442933/7769088034368359929*c_1001_4^2 + 14443336726717170267/7769088034368359929*c_1001_4 - 42926062390852550575/15538176068736719858, c_0101_0 - 3338321876287055/15538176068736719858*c_1001_4^15 - 76595444640840535/15538176068736719858*c_1001_4^14 + 920314825073808/7769088034368359929*c_1001_4^13 + 98944953919716499/7769088034368359929*c_1001_4^12 - 570410295487072724/7769088034368359929*c_1001_4^11 + 979453515811737773/15538176068736719858*c_1001_4^10 + 8157102961754517021/15538176068736719858*c_1001_4^9 - 6799207823413715285/15538176068736719858*c_1001_4^8 - 17793108983883728335/15538176068736719858*c_1001_4^7 + 22685285493776401303/15538176068736719858*c_1001_4^6 + 5948019293793253205/7769088034368359929*c_1001_4^5 - 15495537976981872215/7769088034368359929*c_1001_4^4 + 9334305082938344462/7769088034368359929*c_1001_4^3 + 10355163174901585835/7769088034368359929*c_1001_4^2 - 5048534013926231491/7769088034368359929*c_1001_4 - 12155968468937382137/15538176068736719858, c_0101_1 + 93005076007284673/15538176068736719858*c_1001_4^15 - 13399781325070227/15538176068736719858*c_1001_4^14 - 167549632790023052/7769088034368359929*c_1001_4^13 + 907694247442317203/7769088034368359929*c_1001_4^12 - 367636259497529174/7769088034368359929*c_1001_4^11 - 10702465455560501363/15538176068736719858*c_1001_4^10 + 15586833860902163733/15538176068736719858*c_1001_4^9 + 25088224750762830603/15538176068736719858*c_1001_4^8 - 57537134527172313919/15538176068736719858*c_1001_4^7 - 6192640814250114309/15538176068736719858*c_1001_4^6 + 42606355600167050665/7769088034368359929*c_1001_4^5 - 28030309509246730976/7769088034368359929*c_1001_4^4 - 16091716621724017868/7769088034368359929*c_1001_4^3 + 21745497533001228931/7769088034368359929*c_1001_4^2 + 2285063818774356905/7769088034368359929*c_1001_4 - 23012259535631338013/15538176068736719858, c_0101_11 - 6023505151279435/15538176068736719858*c_1001_4^15 + 28670965408531757/15538176068736719858*c_1001_4^14 + 61516197906011010/7769088034368359929*c_1001_4^13 - 65842958380893765/7769088034368359929*c_1001_4^12 + 258052752252550810/7769088034368359929*c_1001_4^11 + 2122969782257071015/15538176068736719858*c_1001_4^10 - 3843942066322468925/15538176068736719858*c_1001_4^9 - 4627676803091635449/15538176068736719858*c_1001_4^8 + 13622546273298384549/15538176068736719858*c_1001_4^7 - 563514120594611345/15538176068736719858*c_1001_4^6 - 6240607454724974796/7769088034368359929*c_1001_4^5 + 10121235678101963078/7769088034368359929*c_1001_4^4 - 3638085662100374102/7769088034368359929*c_1001_4^3 - 6035967295179693258/7769088034368359929*c_1001_4^2 + 5069592054411658763/7769088034368359929*c_1001_4 + 1650737966794284017/15538176068736719858, c_0101_2 - 2549280207256621/122347843060919054*c_1001_4^15 + 705092817394703/122347843060919054*c_1001_4^14 + 4398862580803379/61173921530459527*c_1001_4^13 - 24052300592871444/61173921530459527*c_1001_4^12 + 15428361104612193/61173921530459527*c_1001_4^11 + 288524823092883947/122347843060919054*c_1001_4^10 - 420508601819263697/122347843060919054*c_1001_4^9 - 569307091001226257/122347843060919054*c_1001_4^8 + 1486238343042780601/122347843060919054*c_1001_4^7 - 187576313969881933/122347843060919054*c_1001_4^6 - 1001224542878812246/61173921530459527*c_1001_4^5 + 950577919458939400/61173921530459527*c_1001_4^4 + 83579034869944570/61173921530459527*c_1001_4^3 - 544391467484357258/61173921530459527*c_1001_4^2 - 59521757580757642/61173921530459527*c_1001_4 + 654317163771620057/122347843060919054, c_0101_3 + 789133988845002/36820322437764739*c_1001_4^15 - 322969945856552/36820322437764739*c_1001_4^14 - 3128883701058999/36820322437764739*c_1001_4^13 + 14506489923040145/36820322437764739*c_1001_4^12 - 11050042301787184/36820322437764739*c_1001_4^11 - 94951902172025036/36820322437764739*c_1001_4^10 + 132941093415563440/36820322437764739*c_1001_4^9 + 199253552128626670/36820322437764739*c_1001_4^8 - 475817749463227740/36820322437764739*c_1001_4^7 + 3227062017055383/36820322437764739*c_1001_4^6 + 671181991826422761/36820322437764739*c_1001_4^5 - 541352580701897862/36820322437764739*c_1001_4^4 - 159574566882835721/36820322437764739*c_1001_4^3 + 344973384000422148/36820322437764739*c_1001_4^2 + 89354380144616688/36820322437764739*c_1001_4 - 211580164918391859/36820322437764739, c_0101_5 + 32509786053759817/7769088034368359929*c_1001_4^15 - 122972612958386905/7769088034368359929*c_1001_4^14 - 277667964452419716/7769088034368359929*c_1001_4^13 + 804781397493403974/7769088034368359929*c_1001_4^12 - 2251779679846679046/7769088034368359929*c_1001_4^11 - 5554292960662221180/7769088034368359929*c_1001_4^10 + 16522306647873879738/7769088034368359929*c_1001_4^9 + 6549794021024697196/7769088034368359929*c_1001_4^8 - 50677231821748327463/7769088034368359929*c_1001_4^7 + 24517070031820333912/7769088034368359929*c_1001_4^6 + 61685454132085565393/7769088034368359929*c_1001_4^5 - 76230975454460364190/7769088034368359929*c_1001_4^4 - 3833854446611408908/7769088034368359929*c_1001_4^3 + 50452002286727880554/7769088034368359929*c_1001_4^2 + 494404581915825334/7769088034368359929*c_1001_4 - 26915609956943202252/7769088034368359929, c_0110_8 + 137555421630440645/7769088034368359929*c_1001_4^15 + 141078399053138141/15538176068736719858*c_1001_4^14 - 355643362327798312/7769088034368359929*c_1001_4^13 + 2435288939652620168/7769088034368359929*c_1001_4^12 + 190898326205619568/7769088034368359929*c_1001_4^11 - 14473809684633055555/7769088034368359929*c_1001_4^10 + 25489828454151854697/15538176068736719858*c_1001_4^9 + 34854393982310662256/7769088034368359929*c_1001_4^8 - 110925746959603831909/15538176068736719858*c_1001_4^7 - 15859815587776947568/7769088034368359929*c_1001_4^6 + 181328412784240222243/15538176068736719858*c_1001_4^5 - 103979177514621504849/15538176068736719858*c_1001_4^4 - 63270682184853447773/15538176068736719858*c_1001_4^3 + 50694048585192349645/15538176068736719858*c_1001_4^2 + 38264817267106050285/15538176068736719858*c_1001_4 - 32678427533960230181/15538176068736719858, c_1001_0 - 934746377972014/36820322437764739*c_1001_4^15 - 52845238921056/36820322437764739*c_1001_4^14 + 3048188349873856/36820322437764739*c_1001_4^13 - 17122689601867473/36820322437764739*c_1001_4^12 + 5524560221883783/36820322437764739*c_1001_4^11 + 105438000856610749/36820322437764739*c_1001_4^10 - 126168103661639014/36820322437764739*c_1001_4^9 - 238266502398776886/36820322437764739*c_1001_4^8 + 489906932990075483/36820322437764739*c_1001_4^7 + 45210266604720529/36820322437764739*c_1001_4^6 - 744705463580748109/36820322437764739*c_1001_4^5 + 549888864023741149/36820322437764739*c_1001_4^4 + 219860493721302150/36820322437764739*c_1001_4^3 - 399692286389680004/36820322437764739*c_1001_4^2 - 102630153575968113/36820322437764739*c_1001_4 + 248724277090670275/36820322437764739, c_1001_4^16 - c_1001_4^15 - 3*c_1001_4^14 + 22*c_1001_4^13 - 26*c_1001_4^12 - 101*c_1001_4^11 + 255*c_1001_4^10 + 80*c_1001_4^9 - 771*c_1001_4^8 + 576*c_1001_4^7 + 752*c_1001_4^6 - 1449*c_1001_4^5 + 519*c_1001_4^4 + 563*c_1001_4^3 - 351*c_1001_4^2 - 316*c_1001_4 + 269 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.190 Total time: 2.399 seconds, Total memory usage: 64.12MB