Magma V2.19-8 Tue Aug 20 2013 23:43:47 on localhost [Seed = 3583226049] Type ? for help. Type -D to quit. Loading file "K13n1529__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1529 geometric_solution 10.49153604 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 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 -1 0 1 -1 0 0 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.144528984896 1.111001803639 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 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 1 0 -1 1 0 -5 4 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.153358158789 0.493785607753 6 0 0 7 0213 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.324894766711 1.234923719190 8 9 6 0 0132 0132 2310 0132 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 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720667535622 1.032035055982 6 1 10 9 2031 0132 0132 2103 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 0 -1 1 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756169871006 0.732265315074 7 8 1 9 1302 2310 0132 1302 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 -4 4 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463637481119 0.961929197731 2 3 4 1 0213 3201 1302 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 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.511639432791 0.978736108651 11 5 2 11 0132 2031 0132 2103 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 1 0 -1 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854323281832 0.971318947973 3 10 11 5 0132 0132 0213 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.613722358761 0.662932475132 10 3 5 4 0132 0132 2031 2103 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 0 0 0 -1 0 1 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.364622196995 1.306121622620 9 8 11 4 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0.258207484899 0.594861741933 7 8 10 7 0132 0213 3120 2103 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 0 0 0 0 -1 0 1 0 0 0 0 0 5 -4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854323281832 0.971318947973 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_1001_10']), 'c_1001_7' : negation(d['c_0110_5']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_0110_5']), 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_11' : negation(d['c_0011_5']), 'c_1010_10' : negation(d['c_1001_10']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], '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' : negation(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' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_8' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : d['c_0101_4'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0101_1'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : d['c_1001_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_1']), 'c_0110_10' : d['c_0101_4'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_11'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : d['c_0011_11'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_10'], '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_5, c_0011_6, c_0101_1, c_0101_10, c_0101_3, c_0101_4, c_0110_5, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 830069955022363792281047345212671831663172/114183040198730785612860\ 05940480658473431*c_1001_10^18 + 6551832408565988531655242925430367\ 4788786573/45673216079492314245144023761922633893724*c_1001_10^17 + 1224891395452232912945492120354806253033953463/91346432158984628490\ 288047523845267787448*c_1001_10^16 + 864849144645946183146043470038526253609827135/913464321589846284902\ 88047523845267787448*c_1001_10^15 + 5190766926723935844838697878072405488134094305/91346432158984628490\ 288047523845267787448*c_1001_10^14 - 5749699979118186466036548652034189869926521921/91346432158984628490\ 288047523845267787448*c_1001_10^13 + 11669256943352492017507751487436664970704865733/9134643215898462849\ 0288047523845267787448*c_1001_10^12 - 8101861627808775067006036544920263287474368855/91346432158984628490\ 288047523845267787448*c_1001_10^11 + 6760314296389221942959287749533978610194457599/45673216079492314245\ 144023761922633893724*c_1001_10^10 - 9925016674181106293779695969390375213887036297/91346432158984628490\ 288047523845267787448*c_1001_10^9 + 53502454720253238166825192181154675462861448/4964480008640468939689\ 56780020898194497*c_1001_10^8 - 14358742851231017572671011056346265\ 99140659607/91346432158984628490288047523845267787448*c_1001_10^7 + 1756153221102906217086972831197440886366301183/45673216079492314245\ 144023761922633893724*c_1001_10^6 - 673780142739888139524276319746545334415300517/228366080397461571225\ 72011880961316946862*c_1001_10^5 + 1309830163052413841900521989333228274450930115/45673216079492314245\ 144023761922633893724*c_1001_10^4 - 490133208360280442327067945325845368724868491/456732160794923142451\ 44023761922633893724*c_1001_10^3 + 10747216077644883274177580071027931802210424/1141830401987307856128\ 6005940480658473431*c_1001_10^2 - 597695894514754946671556399568409\ 7525592715/22836608039746157122572011880961316946862*c_1001_10 - 25078184692188463387423928469981824819057413/9134643215898462849028\ 8047523845267787448, c_0011_0 - 1, c_0011_10 + 1366405204016600473647149177715269/469849803488559538494767\ 9654942677*c_1001_10^18 + 27524006932544314743178083572347717/46984\ 98034885595384947679654942677*c_1001_10^17 + 263371877850614817816536146117958961/469849803488559538494767965494\ 2677*c_1001_10^16 + 286645399900542755480516824799767414/4698498034\ 885595384947679654942677*c_1001_10^15 + 1190678973242956332752761134723155709/46984980348855953849476796549\ 42677*c_1001_10^14 - 694501412436170423603923042191480784/469849803\ 4885595384947679654942677*c_1001_10^13 + 2134059647988692966371175064110689415/46984980348855953849476796549\ 42677*c_1001_10^12 - 833669414184439510875927022324594151/469849803\ 4885595384947679654942677*c_1001_10^11 + 2502689006229978648698705317643553440/46984980348855953849476796549\ 42677*c_1001_10^10 - 1078293035231492699779056010571090462/46984980\ 34885595384947679654942677*c_1001_10^9 + 1660717589078172839102757716917267169/46984980348855953849476796549\ 42677*c_1001_10^8 + 306137105785390085920848078330372582/4698498034\ 885595384947679654942677*c_1001_10^7 + 918096643693973168527674634020645791/469849803488559538494767965494\ 2677*c_1001_10^6 - 211290848766124242878086717670774784/46984980348\ 85595384947679654942677*c_1001_10^5 + 477411641255037196330866547390875821/469849803488559538494767965494\ 2677*c_1001_10^4 - 35124202173896078719132899312027319/469849803488\ 5595384947679654942677*c_1001_10^3 + 27299062315229696822084243732845950/4698498034885595384947679654942\ 677*c_1001_10^2 - 5853030336121950368885851815306348/46984980348855\ 95384947679654942677*c_1001_10 - 1409216651148390266182956775528512\ /4698498034885595384947679654942677, c_0011_11 - 6246272660193618289679919189258521/469849803488559538494767\ 9654942677*c_1001_10^18 - 124655967019736031057961389391726024/4698\ 498034885595384947679654942677*c_1001_10^17 - 1180615939522416723942541496248164702/46984980348855953849476796549\ 42677*c_1001_10^16 - 1088531799745970054675284593053148144/46984980\ 34885595384947679654942677*c_1001_10^15 - 5226812508452476280143833629039334435/46984980348855953849476796549\ 42677*c_1001_10^14 + 4126418365824669759068753457505225678/46984980\ 34885595384947679654942677*c_1001_10^13 - 10507719801545872833059774866440895930/4698498034885595384947679654\ 942677*c_1001_10^12 + 5519281116761448095893866730281024167/4698498\ 034885595384947679654942677*c_1001_10^11 - 12298947742536929678452625571372802946/4698498034885595384947679654\ 942677*c_1001_10^10 + 6873568748809132396996922341503179758/4698498\ 034885595384947679654942677*c_1001_10^9 - 8674400355218927055299053751739701450/46984980348855953849476796549\ 42677*c_1001_10^8 - 210333108981528330902363801079298277/4698498034\ 885595384947679654942677*c_1001_10^7 - 3981553753097652291350036019379849964/46984980348855953849476796549\ 42677*c_1001_10^6 + 1499822135604444362263399718942338158/469849803\ 4885595384947679654942677*c_1001_10^5 - 2479202008784423157157719172445011117/46984980348855953849476796549\ 42677*c_1001_10^4 + 426419637573234126235611687549256440/4698498034\ 885595384947679654942677*c_1001_10^3 - 172815942814014004165076982445291715/469849803488559538494767965494\ 2677*c_1001_10^2 - 16537629989232568981813863627209115/469849803488\ 5595384947679654942677*c_1001_10 + 9030972489934031812308558875707372/46984980348855953849476796549426\ 77, c_0011_5 + 2641635379110016266420155472930863/4698498034885595384947679\ 654942677*c_1001_10^18 + 52520050769889572357608005475168133/469849\ 8034885595384947679654942677*c_1001_10^17 + 495281779293089333685350863577441654/469849803488559538494767965494\ 2677*c_1001_10^16 + 421736846488136199284442352544491731/4698498034\ 885595384947679654942677*c_1001_10^15 + 2165490026353513042630737668210914689/46984980348855953849476796549\ 42677*c_1001_10^14 - 1925778216852013977366312128877798768/46984980\ 34885595384947679654942677*c_1001_10^13 + 4526781597354617102748829248092173797/46984980348855953849476796549\ 42677*c_1001_10^12 - 2656080795785882012695134416255888752/46984980\ 34885595384947679654942677*c_1001_10^11 + 5310902994475524368063043760821954718/46984980348855953849476796549\ 42677*c_1001_10^10 - 3290465171379575016553488675474921861/46984980\ 34885595384947679654942677*c_1001_10^9 + 3808872726101811791737599754617500111/46984980348855953849476796549\ 42677*c_1001_10^8 - 178805402792270122119177052895117790/4698498034\ 885595384947679654942677*c_1001_10^7 + 1635604512507672605621321197517341158/46984980348855953849476796549\ 42677*c_1001_10^6 - 791755421025301391036331488383840848/4698498034\ 885595384947679654942677*c_1001_10^5 + 1066361310467677208451283993810976775/46984980348855953849476796549\ 42677*c_1001_10^4 - 263933864653004084334794413437080791/4698498034\ 885595384947679654942677*c_1001_10^3 + 79908390257455560138535268668509709/4698498034885595384947679654942\ 677*c_1001_10^2 + 373483428454600933153134175709225/469849803488559\ 5384947679654942677*c_1001_10 - 3168666034125104294056883352076123/\ 4698498034885595384947679654942677, c_0011_6 - 9374281597633511529567295124439469/4698498034885595384947679\ 654942677*c_1001_10^18 - 187987271392400382976828159998665662/46984\ 98034885595384947679654942677*c_1001_10^17 - 1790074823585813750029612581815660950/46984980348855953849476796549\ 42677*c_1001_10^16 - 1807873199221634705089234378999172443/46984980\ 34885595384947679654942677*c_1001_10^15 - 8030560825064904736382343835054964684/46984980348855953849476796549\ 42677*c_1001_10^14 + 5404253701289107177139753657068897908/46984980\ 34885595384947679654942677*c_1001_10^13 - 15299307025178791411804030500951235229/4698498034885595384947679654\ 942677*c_1001_10^12 + 6836143364869096852311861748163976779/4698498\ 034885595384947679654942677*c_1001_10^11 - 17890491353439130861814383315792029957/4698498034885595384947679654\ 942677*c_1001_10^10 + 8626329022778928528039609501464295111/4698498\ 034885595384947679654942677*c_1001_10^9 - 12296436082305143768077096705188552654/4698498034885595384947679654\ 942677*c_1001_10^8 - 1452769158496010518091448381962093754/46984980\ 34885595384947679654942677*c_1001_10^7 - 6196758521613323986236951721689738002/46984980348855953849476796549\ 42677*c_1001_10^6 + 1637104161365995387118480862731018738/469849803\ 4885595384947679654942677*c_1001_10^5 - 3607273866223950127126190226838412613/46984980348855953849476796549\ 42677*c_1001_10^4 + 298639494042572588030754317016615139/4698498034\ 885595384947679654942677*c_1001_10^3 - 251870763301526021942529054682958982/469849803488559538494767965494\ 2677*c_1001_10^2 - 49773332425404459395036054338968523/469849803488\ 5595384947679654942677*c_1001_10 + 5333206824511304539809285722393795/46984980348855953849476796549426\ 77, c_0101_1 - 926242594134972592364958998416099/46984980348855953849476796\ 54942677*c_1001_10^18 - 16434112569778414810895204877053403/4698498\ 034885595384947679654942677*c_1001_10^17 - 133907735468221152770645535477383884/469849803488559538494767965494\ 2677*c_1001_10^16 + 230937054543324197849703295121487312/4698498034\ 885595384947679654942677*c_1001_10^15 - 372492578755179490507554168145407832/469849803488559538494767965494\ 2677*c_1001_10^14 + 2375736394991385640441814148954202295/469849803\ 4885595384947679654942677*c_1001_10^13 - 2705268963398745973691845015152615279/46984980348855953849476796549\ 42677*c_1001_10^12 + 4146632376608039002539162323163753143/46984980\ 34885595384947679654942677*c_1001_10^11 - 3239740492451301593383863916502658062/46984980348855953849476796549\ 42677*c_1001_10^10 + 4895658311604844447536501159242634119/46984980\ 34885595384947679654942677*c_1001_10^9 - 3077839561517442171853320086261714955/46984980348855953849476796549\ 42677*c_1001_10^8 + 2617964545511852916396454208973180281/469849803\ 4885595384947679654942677*c_1001_10^7 - 192161255196548914947220803687206713/469849803488559538494767965494\ 2677*c_1001_10^6 + 1577337500421009212325322647374480636/4698498034\ 885595384947679654942677*c_1001_10^5 - 688572040859929626317843103536722095/469849803488559538494767965494\ 2677*c_1001_10^4 + 856146579236541419123894566271658203/46984980348\ 85595384947679654942677*c_1001_10^3 - 66199804970158147934148055901192446/4698498034885595384947679654942\ 677*c_1001_10^2 + 51544188340062602421350645792933289/4698498034885\ 595384947679654942677*c_1001_10 + 139230458132102828202715883043800\ 61/4698498034885595384947679654942677, c_0101_10 + 4096584584565114983066407491225528/469849803488559538494767\ 9654942677*c_1001_10^18 + 81873652089453318278270094349472082/46984\ 98034885595384947679654942677*c_1001_10^17 + 776723618236363506962406003727482856/469849803488559538494767965494\ 2677*c_1001_10^16 + 737436745958164167146123999959756402/4698498034\ 885595384947679654942677*c_1001_10^15 + 3459167483272009928920709959524619104/46984980348855953849476796549\ 42677*c_1001_10^14 - 2594806368378316293108697382328511489/46984980\ 34885595384947679654942677*c_1001_10^13 + 6860756048813780357462956339479041056/46984980348855953849476796549\ 42677*c_1001_10^12 - 3444876887576589023891059110666383316/46984980\ 34885595384947679654942677*c_1001_10^11 + 8040929680747364119364706893632276532/46984980348855953849476796549\ 42677*c_1001_10^10 - 4304151539429597098299443411101273188/46984980\ 34885595384947679654942677*c_1001_10^9 + 5653087934994944610871157135406338410/46984980348855953849476796549\ 42677*c_1001_10^8 + 268549832392178239307477160646547928/4698498034\ 885595384947679654942677*c_1001_10^7 + 2677595206264507400029499602818329410/46984980348855953849476796549\ 42677*c_1001_10^6 - 891343777008620351690567988858386554/4698498034\ 885595384947679654942677*c_1001_10^5 + 1635528722713094027589351012398112456/46984980348855953849476796549\ 42677*c_1001_10^4 - 234206130285032937194566864168476874/4698498034\ 885595384947679654942677*c_1001_10^3 + 123438223897011077905327054205332615/469849803488559538494767965494\ 2677*c_1001_10^2 + 12844739281899483952479686572194445/469849803488\ 5595384947679654942677*c_1001_10 - 3221034618852672972598462899387093/46984980348855953849476796549426\ 77, c_0101_3 - 304621575508587889846154757760955/46984980348855953849476796\ 54942677*c_1001_10^18 - 6815692871466794066927844558402433/46984980\ 34885595384947679654942677*c_1001_10^17 - 72408945407566104192121888040290156/4698498034885595384947679654942\ 677*c_1001_10^16 - 194980142379362528362175437693690231/46984980348\ 85595384947679654942677*c_1001_10^15 - 408792930298763326381906331910770238/469849803488559538494767965494\ 2677*c_1001_10^14 - 437367549626581946187088269425034184/4698498034\ 885595384947679654942677*c_1001_10^13 - 132917708849168328175828057671518520/469849803488559538494767965494\ 2677*c_1001_10^12 - 871422771676769102196215220804692350/4698498034\ 885595384947679654942677*c_1001_10^11 - 153813775501583616879176735152029120/469849803488559538494767965494\ 2677*c_1001_10^10 - 1010662556375550454918954883703662126/469849803\ 4885595384947679654942677*c_1001_10^9 + 163688419315390810527148382282577514/469849803488559538494767965494\ 2677*c_1001_10^8 - 902364721815095451116374820010626125/46984980348\ 85595384947679654942677*c_1001_10^7 - 356740106006907524555519518618947559/469849803488559538494767965494\ 2677*c_1001_10^6 - 428377261423128206031566389516196501/46984980348\ 85595384947679654942677*c_1001_10^5 + 1556162946339187754997163421042307/46984980348855953849476796549426\ 77*c_1001_10^4 - 231928483376158152668903015932500354/4698498034885\ 595384947679654942677*c_1001_10^3 + 3749108425236656066295874127878415/46984980348855953849476796549426\ 77*c_1001_10^2 - 18041272463326070316308037945454055/46984980348855\ 95384947679654942677*c_1001_10 + 184107042354546257764222437699122/\ 4698498034885595384947679654942677, c_0101_4 + 6362605021155523728665806527692217/4698498034885595384947679\ 654942677*c_1001_10^18 + 127473993770784915805148205070628596/46984\ 98034885595384947679654942677*c_1001_10^17 + 1212645518292054408129304408441727788/46984980348855953849476796549\ 42677*c_1001_10^16 + 1205356700922735390459074992018307442/46984980\ 34885595384947679654942677*c_1001_10^15 + 5436845548571304771288786793913716992/46984980348855953849476796549\ 42677*c_1001_10^14 - 3758030844607759105766440759754414819/46984980\ 34885595384947679654942677*c_1001_10^13 + 10492159124436848349029852203300156333/4698498034885595384947679654\ 942677*c_1001_10^12 - 4852806174498658316429962195622147330/4698498\ 034885595384947679654942677*c_1001_10^11 + 12279622244513758592772744754109863638/4698498034885595384947679654\ 942677*c_1001_10^10 - 6096947231964526482752233510292184721/4698498\ 034885595384947679654942677*c_1001_10^9 + 8514780630611598688535406651750890498/46984980348855953849476796549\ 42677*c_1001_10^8 + 810112520621228677285049502647523656/4698498034\ 885595384947679654942677*c_1001_10^7 + 4213539588333846062394145694490018251/46984980348855953849476796549\ 42677*c_1001_10^6 - 1174075732137425873390747246031814860/469849803\ 4885595384947679654942677*c_1001_10^5 + 2494215694314623323380893697748361696/46984980348855953849476796549\ 42677*c_1001_10^4 - 263256163367310753885445550241857269/4698498034\ 885595384947679654942677*c_1001_10^3 + 180080837605272020124832669128625666/469849803488559538494767965494\ 2677*c_1001_10^2 + 25881716260200337862393016903416788/469849803488\ 5595384947679654942677*c_1001_10 - 4311813358261722666897577061696976/46984980348855953849476796549426\ 77, c_0110_5 + 2393220167191313407501955548902426/4698498034885595384947679\ 654942677*c_1001_10^18 + 51289896306273304915050793140623559/469849\ 8034885595384947679654942677*c_1001_10^17 + 523494233667829967917045238347818408/469849803488559538494767965494\ 2677*c_1001_10^16 + 1098666492688016893116208306978752055/469849803\ 4885595384947679654942677*c_1001_10^15 + 2757660812233448398781003442983110120/46984980348855953849476796549\ 42677*c_1001_10^14 + 1526007636055149483165919241116861419/46984980\ 34885595384947679654942677*c_1001_10^13 + 2336165871767240368437634187565239359/46984980348855953849476796549\ 42677*c_1001_10^12 + 3468408703987870734824106483435127732/46984980\ 34885595384947679654942677*c_1001_10^11 + 2760192925951370564794435957032651060/46984980348855953849476796549\ 42677*c_1001_10^10 + 3873489851273904676153803476567197916/46984980\ 34885595384947679654942677*c_1001_10^9 + 813169141291587058518911881032037883/469849803488559538494767965494\ 2677*c_1001_10^8 + 4416838187952023109827332048734021002/4698498034\ 885595384947679654942677*c_1001_10^7 + 2581544559911616566550461626182455379/46984980348855953849476796549\ 42677*c_1001_10^6 + 1841990189193259128147804600917350589/469849803\ 4885595384947679654942677*c_1001_10^5 + 621929476253469656479765082799835552/469849803488559538494767965494\ 2677*c_1001_10^4 + 1156405278722383087998506269902223839/4698498034\ 885595384947679654942677*c_1001_10^3 + 101875328823364915783366673627816084/469849803488559538494767965494\ 2677*c_1001_10^2 + 95389565396295427985983543571648878/469849803488\ 5595384947679654942677*c_1001_10 + 26364649732083869648275011212353038/4698498034885595384947679654942\ 677, c_1001_1 - 304621575508587889846154757760955/46984980348855953849476796\ 54942677*c_1001_10^18 - 6815692871466794066927844558402433/46984980\ 34885595384947679654942677*c_1001_10^17 - 72408945407566104192121888040290156/4698498034885595384947679654942\ 677*c_1001_10^16 - 194980142379362528362175437693690231/46984980348\ 85595384947679654942677*c_1001_10^15 - 408792930298763326381906331910770238/469849803488559538494767965494\ 2677*c_1001_10^14 - 437367549626581946187088269425034184/4698498034\ 885595384947679654942677*c_1001_10^13 - 132917708849168328175828057671518520/469849803488559538494767965494\ 2677*c_1001_10^12 - 871422771676769102196215220804692350/4698498034\ 885595384947679654942677*c_1001_10^11 - 153813775501583616879176735152029120/469849803488559538494767965494\ 2677*c_1001_10^10 - 1010662556375550454918954883703662126/469849803\ 4885595384947679654942677*c_1001_10^9 + 163688419315390810527148382282577514/469849803488559538494767965494\ 2677*c_1001_10^8 - 902364721815095451116374820010626125/46984980348\ 85595384947679654942677*c_1001_10^7 - 356740106006907524555519518618947559/469849803488559538494767965494\ 2677*c_1001_10^6 - 428377261423128206031566389516196501/46984980348\ 85595384947679654942677*c_1001_10^5 + 1556162946339187754997163421042307/46984980348855953849476796549426\ 77*c_1001_10^4 - 231928483376158152668903015932500354/4698498034885\ 595384947679654942677*c_1001_10^3 + 3749108425236656066295874127878415/46984980348855953849476796549426\ 77*c_1001_10^2 - 18041272463326070316308037945454055/46984980348855\ 95384947679654942677*c_1001_10 + 184107042354546257764222437699122/\ 4698498034885595384947679654942677, c_1001_10^19 + 20*c_1001_10^18 + 190*c_1001_10^17 + 185*c_1001_10^16 + 869*c_1001_10^15 - 597*c_1001_10^14 + 1766*c_1001_10^13 - 872*c_1001_10^12 + 2130*c_1001_10^11 - 1085*c_1001_10^10 + 1574*c_1001_10^9 + 4*c_1001_10^8 + 793*c_1001_10^7 - 174*c_1001_10^6 + 474*c_1001_10^5 - 64*c_1001_10^4 + 71*c_1001_10^3 + 5*c_1001_10^2 + 2*c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.180 Total time: 1.389 seconds, Total memory usage: 64.12MB