Magma V2.19-8 Wed Aug 21 2013 00:57:05 on localhost [Seed = 3583233798] Type ? for help. Type -D to quit. Loading file "L13n3758__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3758 geometric_solution 10.79222888 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2310 1 0 0 1 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 -1 0 1 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481688825750 1.600610136904 0 3 5 4 0132 3201 0132 0132 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 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.264473450317 0.435871650422 0 0 6 4 3201 0132 0132 2103 1 0 1 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 1 0 -1 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.172402577730 0.572878793927 7 4 1 0 0132 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785232501162 0.871990014137 7 3 1 2 2103 0132 0132 2103 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 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 0 0 0.558741615712 0.528148312617 8 9 6 1 0132 0132 0213 0132 1 0 0 1 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 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.934485388456 1.475722346519 9 5 7 2 2310 0213 0132 0132 1 0 0 1 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 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.610190659549 1.075003032017 3 10 4 6 0132 0132 2103 0132 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 0 0 0 0 0 0 0 0 0 0 0 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 1.026780017637 1.108078493621 5 11 12 9 0132 0132 0132 2103 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 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.635164156268 1.044267301181 11 5 6 8 0132 0132 3201 2103 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 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.451336734612 0.602543276872 12 7 11 12 1230 0132 3120 0132 1 0 1 1 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 1 0 -1 0 5 -1 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050908121269 0.561817706569 9 8 10 12 0132 0132 3120 3120 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 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.363955619872 0.504615538694 11 10 10 8 3120 3012 0132 0132 1 0 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 -5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050908121269 0.561817706569 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_0110_2']), 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_3_10' : 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_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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' : 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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_2']), 'c_1100_4' : negation(d['c_0110_2']), 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0110_4']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_6']), 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0110_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0110_2']), 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : negation(d['c_1001_10']), 'c_1100_8' : negation(d['c_0101_11']), 's_3_1' : 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_0101_11']), '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_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_10']), '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' : d['c_0101_1'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : d['c_0011_12'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_1'])})} 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_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0110_2, c_0110_4, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 6396863550236699506227743210255171239927734279424/32008871395181783\ 2295993625571409008700041089*c_1001_10^15 + 32215845481998657550626109603081116068813173577984/1066962379839392\ 77431997875190469669566680363*c_1001_10^14 + 266465437205964420572293606527010844943403851223456/106696237983939\ 277431997875190469669566680363*c_1001_10^13 + 298193290359046477995732321828290968431443126540432/290989739956198\ 02935999420506491728063640099*c_1001_10^12 + 2592386992756397792730256180281076609253268895695119/10669623798393\ 9277431997875190469669566680363*c_1001_10^11 + 4055574620721241429966079822771991905147452604135408/10669623798393\ 9277431997875190469669566680363*c_1001_10^10 + 14265262372010590265605487375317313295700930942581683/3200887139518\ 17832295993625571409008700041089*c_1001_10^9 + 1253034558336508271882290532431605193660447192313078/29098973995619\ 802935999420506491728063640099*c_1001_10^8 + 11109384415513220183850874764886683197351254528265596/3200887139518\ 17832295993625571409008700041089*c_1001_10^7 + 6895545265823590596531901729035105230045699065326086/32008871395181\ 7832295993625571409008700041089*c_1001_10^6 + 994028775496748207818318972849646669718634716848116/106696237983939\ 277431997875190469669566680363*c_1001_10^5 + 860597699008611708288944252277628975636748637182108/320088713951817\ 832295993625571409008700041089*c_1001_10^4 + 61769813199049575059616364549492831858693311996188/1066962379839392\ 77431997875190469669566680363*c_1001_10^3 + 38688806705219475486693050658716011691815146201206/3200887139518178\ 32295993625571409008700041089*c_1001_10^2 + 7017212264103397652631814708824892818998693568967/32008871395181783\ 2295993625571409008700041089*c_1001_10 + 308571074574245683981642377254294338583440993561/320088713951817832\ 295993625571409008700041089, c_0011_0 - 1, c_0011_10 + 15809180825821811197001866840295647360/35092956192098865451\ 755638897019318767*c_1001_10^15 + 209408849677955880237810631113144\ 977664/35092956192098865451755638897019318767*c_1001_10^14 + 1557598401681109438654039673129408862384/35092956192098865451755638\ 897019318767*c_1001_10^13 + 480703625654335214763430450544386276263\ 2/35092956192098865451755638897019318767*c_1001_10^12 + 14223584084249562356649418577766884170865/7018591238419773090351127\ 7794038637534*c_1001_10^11 + 10263518454711775229584844166413064618\ 267/70185912384197730903511277794038637534*c_1001_10^10 + 2056874388178761413173573601319598907635/70185912384197730903511277\ 794038637534*c_1001_10^9 - 6493007892027811702790640622811314296175\ /70185912384197730903511277794038637534*c_1001_10^8 - 14195369440122935354176497694737280284993/7018591238419773090351127\ 7794038637534*c_1001_10^7 - 176780883119575489502033152147434039726\ 95/70185912384197730903511277794038637534*c_1001_10^6 - 13668403089972684065416766333364396068333/7018591238419773090351127\ 7794038637534*c_1001_10^5 - 368479588301141362874718122183259260765\ 1/35092956192098865451755638897019318767*c_1001_10^4 - 1395213132720723025484538191281442270089/35092956192098865451755638\ 897019318767*c_1001_10^3 - 529738060660404566184401236467279012089/\ 70185912384197730903511277794038637534*c_1001_10^2 - 12707464746143291664902863383396567682/3509295619209886545175563889\ 7019318767*c_1001_10 - 10333002458802561275022697876263676599/70185\ 912384197730903511277794038637534, c_0011_11 + 177136413233502598761031827940889773696/3509295619209886545\ 1755638897019318767*c_1001_10^15 + 2709506618921520888258188075715580692736/35092956192098865451755638\ 897019318767*c_1001_10^14 + 226391060902481208165336503190635731338\ 08/35092956192098865451755638897019318767*c_1001_10^13 + 94992226077205376801936691560829207819752/3509295619209886545175563\ 8897019318767*c_1001_10^12 + 46489996148265492296840732967171633800\ 7469/70185912384197730903511277794038637534*c_1001_10^11 + 754597586533755899567741096027175238062583/701859123841977309035112\ 77794038637534*c_1001_10^10 + 9151035567627655889805305927243307581\ 62343/70185912384197730903511277794038637534*c_1001_10^9 + 907667773140664663742507965112567933069465/701859123841977309035112\ 77794038637534*c_1001_10^8 + 75262084036615345946379532922012475691\ 6693/70185912384197730903511277794038637534*c_1001_10^7 + 490840440318159034480266540825331541406823/701859123841977309035112\ 77794038637534*c_1001_10^6 + 23060378953037825010617916908375409839\ 6169/70185912384197730903511277794038637534*c_1001_10^5 + 36920029228061315314815640528100718639030/3509295619209886545175563\ 8897019318767*c_1001_10^4 + 828462231793746101907004203050357873490\ 6/35092956192098865451755638897019318767*c_1001_10^3 + 3145633356501706294784333144982967880991/70185912384197730903511277\ 794038637534*c_1001_10^2 + 253917356560661339947491060747718881142/\ 35092956192098865451755638897019318767*c_1001_10 + 24679458081467222389945593493053343007/7018591238419773090351127779\ 4038637534, c_0011_12 + 360149845460856475679468823950067206528/3509295619209886545\ 1755638897019318767*c_1001_10^15 + 5433010296905661360694330797110786110720/35092956192098865451755638\ 897019318767*c_1001_10^14 + 449118497478896237351603617973111922347\ 68/35092956192098865451755638897019318767*c_1001_10^13 + 184080829284956805349153785597652186464600/350929561920988654517556\ 38897019318767*c_1001_10^12 + 8743495248271638833237409623783502251\ 21011/70185912384197730903511277794038637534*c_1001_10^11 + 1376938698281951780071436676042607814080069/70185912384197730903511\ 277794038637534*c_1001_10^10 + 163295398248034531079329150819857174\ 3859779/70185912384197730903511277794038637534*c_1001_10^9 + 1597310081155220375759662059894232563270267/70185912384197730903511\ 277794038637534*c_1001_10^8 + 1304220682120492935040222714153499766\ 312565/70185912384197730903511277794038637534*c_1001_10^7 + 828033470733857089476418716318882429108387/701859123841977309035112\ 77794038637534*c_1001_10^6 + 37729821152043100914698238786503197569\ 7561/70185912384197730903511277794038637534*c_1001_10^5 + 60204377888491620927734173398113852853028/3509295619209886545175563\ 8897019318767*c_1001_10^4 + 143235134511675173338029211484099619996\ 97/35092956192098865451755638897019318767*c_1001_10^3 + 5490497226493213301201646162806544407019/70185912384197730903511277\ 794038637534*c_1001_10^2 + 424664172960823757849830191287940481629/\ 35092956192098865451755638897019318767*c_1001_10 + 79720423551871484391481100441787997379/7018591238419773090351127779\ 4038637534, c_0011_6 - 75707516799084549325843392665171713664/350929561920988654517\ 55638897019318767*c_1001_10^15 - 1168706628895035321640834013573057\ 057280/35092956192098865451755638897019318767*c_1001_10^14 - 9794490777903565923762316444590123811312/35092956192098865451755638\ 897019318767*c_1001_10^13 - 413139056607764983092996940857380289865\ 68/35092956192098865451755638897019318767*c_1001_10^12 - 199709076571904685644018459753516015135421/701859123841977309035112\ 77794038637534*c_1001_10^11 - 3105236907957947815483966963634320542\ 22297/70185912384197730903511277794038637534*c_1001_10^10 - 349989186822300677350041710546407192731303/701859123841977309035112\ 77794038637534*c_1001_10^9 - 32020779033804493514641356231954029437\ 3107/70185912384197730903511277794038637534*c_1001_10^8 - 243124358725642882417079297948262210766721/701859123841977309035112\ 77794038637534*c_1001_10^7 - 13391562594410476867190310400250126733\ 6859/70185912384197730903511277794038637534*c_1001_10^6 - 37894049398474117963016255096060398112825/7018591238419773090351127\ 7794038637534*c_1001_10^5 + 132778315538692378827174461157688046611\ 0/35092956192098865451755638897019318767*c_1001_10^4 + 2212403249185461580463862484922678021500/35092956192098865451755638\ 897019318767*c_1001_10^3 + 889086318678797883310903956220200120905/\ 70185912384197730903511277794038637534*c_1001_10^2 + 85514916203852843836323824171038173932/3509295619209886545175563889\ 7019318767*c_1001_10 + 79510205782957304199541720666638893693/70185\ 912384197730903511277794038637534, c_0101_0 - 432978795781001597392360535395570369920/35092956192098865451\ 755638897019318767*c_1001_10^15 - 638533421219611016880658325276051\ 5384576/35092956192098865451755638897019318767*c_1001_10^14 - 51795150485754271860331132389465870552720/3509295619209886545175563\ 8897019318767*c_1001_10^13 - 20320034471213118319518648820289022459\ 8040/35092956192098865451755638897019318767*c_1001_10^12 - 904045302703941637046635611547057765462827/701859123841977309035112\ 77794038637534*c_1001_10^11 - 1311248471527847212714941229974302541\ 131357/70185912384197730903511277794038637534*c_1001_10^10 - 1431942405802239278320275906731094276636013/70185912384197730903511\ 277794038637534*c_1001_10^9 - 1302282066043034268985914602361882199\ 510613/70185912384197730903511277794038637534*c_1001_10^8 - 972500575335354811121884153130971608728599/701859123841977309035112\ 77794038637534*c_1001_10^7 - 51840670801884882151045133291496787312\ 9445/70185912384197730903511277794038637534*c_1001_10^6 - 160674624742045032403200335806301706789219/701859123841977309035112\ 77794038637534*c_1001_10^5 - 94540101684620290697284271787481388454\ 10/35092956192098865451755638897019318767*c_1001_10^4 + 1175928055602361553018598363662296255799/35092956192098865451755638\ 897019318767*c_1001_10^3 + 978683121760093267951751697307113363821/\ 70185912384197730903511277794038637534*c_1001_10^2 + 126292813698409236386383669390767075390/350929561920988654517556388\ 97019318767*c_1001_10 + 157026711992160673085146208614760505137/701\ 85912384197730903511277794038637534, c_0101_1 - 1, c_0101_11 + 137861780067871700900791526394901991552/3509295619209886545\ 1755638897019318767*c_1001_10^15 + 2014837521649068172044664935005627745280/35092956192098865451755638\ 897019318767*c_1001_10^14 + 162741873182893446592151784600018407418\ 08/35092956192098865451755638897019318767*c_1001_10^13 + 63263203034428207890017239793567512341288/3509295619209886545175563\ 8897019318767*c_1001_10^12 + 28266639540645071642379498927616019396\ 2401/70185912384197730903511277794038637534*c_1001_10^11 + 424535433815326800751277068120091589441249/701859123841977309035112\ 77794038637534*c_1001_10^10 + 4964369629184535376050234365751683078\ 58709/70185912384197730903511277794038637534*c_1001_10^9 + 487269685192258253654046785741952789420129/701859123841977309035112\ 77794038637534*c_1001_10^8 + 39651348359718231297849193410483229177\ 1065/70185912384197730903511277794038637534*c_1001_10^7 + 251291245336875214031625421509080515725033/701859123841977309035112\ 77794038637534*c_1001_10^6 + 12224620215831935136692366418788683264\ 1203/70185912384197730903511277794038637534*c_1001_10^5 + 23401191635505303742693083339242814305748/3509295619209886545175563\ 8897019318767*c_1001_10^4 + 652292338960368348501573831905174509261\ 3/35092956192098865451755638897019318767*c_1001_10^3 + 2388529676507260014969709530938622561529/70185912384197730903511277\ 794038637534*c_1001_10^2 + 202048038324399341104390327978964468148/\ 35092956192098865451755638897019318767*c_1001_10 + 63531730497983103861656601991739392595/7018591238419773090351127779\ 4038637534, c_0101_3 + 208220062408272779877415169780973036416/35092956192098865451\ 755638897019318767*c_1001_10^15 + 315031931551937830467898811448070\ 3298048/35092956192098865451755638897019318767*c_1001_10^14 + 26084299979752619940866749058118947481296/3509295619209886545175563\ 8897019318767*c_1001_10^13 + 10727686656883929219684247290015369140\ 9752/35092956192098865451755638897019318767*c_1001_10^12 + 510104453289799190008377624112625265698759/701859123841977309035112\ 77794038637534*c_1001_10^11 + 7998582039894861776839572001110944186\ 98723/70185912384197730903511277794038637534*c_1001_10^10 + 938079967229726103259167787251834187926537/701859123841977309035112\ 77794038637534*c_1001_10^9 + 90407792514473547270525560264525055497\ 4707/70185912384197730903511277794038637534*c_1001_10^8 + 725573089651446174976355349712899268402945/701859123841977309035112\ 77794038637534*c_1001_10^7 + 44738818995226396767548575825170016673\ 9427/70185912384197730903511277794038637534*c_1001_10^6 + 189245800816081984801666236532267666693097/701859123841977309035112\ 77794038637534*c_1001_10^5 + 25123713297498004803693518907528094842\ 209/35092956192098865451755638897019318767*c_1001_10^4 + 4158122022749831765656847167792087982048/35092956192098865451755638\ 897019318767*c_1001_10^3 + 1347702546930787067429505019212612962187\ /70185912384197730903511277794038637534*c_1001_10^2 + 104611455398228642085551267778837008495/350929561920988654517556388\ 97019318767*c_1001_10 - 60689345915898570105476180851291435597/7018\ 5912384197730903511277794038637534, c_0110_2 - 432978795781001597392360535395570369920/35092956192098865451\ 755638897019318767*c_1001_10^15 - 638533421219611016880658325276051\ 5384576/35092956192098865451755638897019318767*c_1001_10^14 - 51795150485754271860331132389465870552720/3509295619209886545175563\ 8897019318767*c_1001_10^13 - 20320034471213118319518648820289022459\ 8040/35092956192098865451755638897019318767*c_1001_10^12 - 904045302703941637046635611547057765462827/701859123841977309035112\ 77794038637534*c_1001_10^11 - 1311248471527847212714941229974302541\ 131357/70185912384197730903511277794038637534*c_1001_10^10 - 1431942405802239278320275906731094276636013/70185912384197730903511\ 277794038637534*c_1001_10^9 - 1302282066043034268985914602361882199\ 510613/70185912384197730903511277794038637534*c_1001_10^8 - 972500575335354811121884153130971608728599/701859123841977309035112\ 77794038637534*c_1001_10^7 - 51840670801884882151045133291496787312\ 9445/70185912384197730903511277794038637534*c_1001_10^6 - 160674624742045032403200335806301706789219/701859123841977309035112\ 77794038637534*c_1001_10^5 - 94540101684620290697284271787481388454\ 10/35092956192098865451755638897019318767*c_1001_10^4 + 1175928055602361553018598363662296255799/35092956192098865451755638\ 897019318767*c_1001_10^3 + 978683121760093267951751697307113363821/\ 70185912384197730903511277794038637534*c_1001_10^2 + 126292813698409236386383669390767075390/350929561920988654517556388\ 97019318767*c_1001_10 + 157026711992160673085146208614760505137/701\ 85912384197730903511277794038637534, c_0110_4 + 638340381140658869771141462816733595776/35092956192098865451\ 755638897019318767*c_1001_10^15 + 940190420028722042222083996125940\ 2503424/35092956192098865451755638897019318767*c_1001_10^14 + 76181978751277450900258005386480116572080/3509295619209886545175563\ 8897019318767*c_1001_10^13 + 29811440648173182773983348951889340078\ 9768/35092956192098865451755638897019318767*c_1001_10^12 + 1321234948740850810778164186754304765322993/70185912384197730903511\ 277794038637534*c_1001_10^11 + 190801234943368857650726278590563471\ 6253427/70185912384197730903511277794038637534*c_1001_10^10 + 2077836384027454561946291135076571380051953/70185912384197730903511\ 277794038637534*c_1001_10^9 + 1889254900816525687349990198602549232\ 354643/70185912384197730903511277794038637534*c_1001_10^8 + 1410695128724847953888720933689629089104885/70185912384197730903511\ 277794038637534*c_1001_10^7 + 7510668215692880192726632368542477795\ 09549/70185912384197730903511277794038637534*c_1001_10^6 + 234876911044948017241063955733600048798049/701859123841977309035112\ 77794038637534*c_1001_10^5 + 16255639899674597172606935776489938207\ 316/35092956192098865451755638897019318767*c_1001_10^4 - 57815152808894811669137014666059369539/3509295619209886545175563889\ 7019318767*c_1001_10^3 - 855386239226301818111949681900047262371/70\ 185912384197730903511277794038637534*c_1001_10^2 - 175920964230504028298314996205276921265/350929561920988654517556388\ 97019318767*c_1001_10 - 200485142254082124369622989487460389969/701\ 85912384197730903511277794038637534, c_1001_0 - 319170190570329434885570731408366797888/35092956192098865451\ 755638897019318767*c_1001_10^15 - 470095210014361021111041998062970\ 1251712/35092956192098865451755638897019318767*c_1001_10^14 - 38090989375638725450129002693240058286040/3509295619209886545175563\ 8897019318767*c_1001_10^13 - 14905720324086591386991674475944670039\ 4884/35092956192098865451755638897019318767*c_1001_10^12 - 1321234948740850810778164186754304765322993/14037182476839546180702\ 2555588077275068*c_1001_10^11 - 19080123494336885765072627859056347\ 16253427/140371824768395461807022555588077275068*c_1001_10^10 - 2077836384027454561946291135076571380051953/14037182476839546180702\ 2555588077275068*c_1001_10^9 - 188925490081652568734999019860254923\ 2354643/140371824768395461807022555588077275068*c_1001_10^8 - 1410695128724847953888720933689629089104885/14037182476839546180702\ 2555588077275068*c_1001_10^7 - 751066821569288019272663236854247779\ 509549/140371824768395461807022555588077275068*c_1001_10^6 - 234876911044948017241063955733600048798049/140371824768395461807022\ 555588077275068*c_1001_10^5 - 8127819949837298586303467888244969103\ 658/35092956192098865451755638897019318767*c_1001_10^4 + 57815152808894811669137014666059369539/7018591238419773090351127779\ 4038637534*c_1001_10^3 + 855386239226301818111949681900047262371/14\ 0371824768395461807022555588077275068*c_1001_10^2 + 175920964230504028298314996205276921265/701859123841977309035112777\ 94038637534*c_1001_10 + 130299229869884393466111711693421752435/140\ 371824768395461807022555588077275068, c_1001_10^16 + 15*c_1001_10^15 + 987/8*c_1001_10^14 + 7999/16*c_1001_10^13 + 298545/256*c_1001_10^12 + 57441/32*c_1001_10^11 + 33329/16*c_1001_10^10 + 128365/64*c_1001_10^9 + 51569/32*c_1001_10^8 + 127225/128*c_1001_10^7 + 55419/128*c_1001_10^6 + 34673/256*c_1001_10^5 + 4611/128*c_1001_10^4 + 2231/256*c_1001_10^3 + 403/256*c_1001_10^2 + 43/256*c_1001_10 + 9/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB