___
464804365223814107870835117135853897360438346508786704956345241877485996089297093500405237884514041303193215101924740155053065337870826514476072312035409869446245837210093366980439017133586226524815900258928796916661208905117181090477628435015416572585025136010267544004810034867537537090855584669432706213749578906927038499829713588946746390408044859309211747813079494210035035531963128453584033106972864116196181468756429447834368849392055922535565670142052965133664682773097208188491240010100599990361087214067490189652483884467862105460422802458835384733963890820213158563561 63886290776561567474588340587503988245215706775427859156143626588943804488295489863243776710586365576470800500988504253259153437547647413564187602331129259897167205296734873860436110032705015361973775764411366934413738846765764334163397565966328747446909865194088125609679019339695145135060380532642762181378763219259217282580125621924130634034791168400137882625941097873650217557995205095147493163999737176399176567369325669218158191602984303226874599076953113464306965037541633426467398575789276489547962384377779990136651087926234440474572205373773217803*\/ 3
----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - -----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
34327748193105590991010422797913480908017902710644200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1113520532784383294404593317894160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
$$\frac{464804365223814107870835117135853897360438346508786704956345241877485996089297093500405237884514041303193215101924740155053065337870826514476072312035409869446245837210093366980439017133586226524815900258928796916661208905117181090477628435015416572585025136010267544004810034867537537090855584669432706213749578906927038499829713588946746390408044859309211747813079494210035035531963128453584033106972864116196181468756429447834368849392055922535565670142052965133664682773097208188491240010100599990361087214067490189652483884467862105460422802458835384733963890820213158563561}{34327748193105590991010422797913480908017902710644200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000} - \frac{63886290776561567474588340587503988245215706775427859156143626588943804488295489863243776710586365576470800500988504253259153437547647413564187602331129259897167205296734873860436110032705015361973775764411366934413738846765764334163397565966328747446909865194088125609679019339695145135060380532642762181378763219259217282580125621924130634034791168400137882625941097873650217557995205095147493163999737176399176567369325669218158191602984303226874599076953113464306965037541633426467398575789276489547962384377779990136651087926234440474572205373773217803 \sqrt{3}}{1113520532784383294404593317894160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000}$$
464804365223814107870835117135853897360438346508786704956345241877485996089297093500405237884514041303193215101924740155053065337870826514476072312035409869446245837210093366980439017133586226524815900258928796916661208905117181090477628435015416572585025136010267544004810034867537537090855584669432706213749578906927038499829713588946746390408044859309211747813079494210035035531963128453584033106972864116196181468756429447834368849392055922535565670142052965133664682773097208188491240010100599990361087214067490189652483884467862105460422802458835384733963890820213158563561/34327748193105590991010422797913480908017902710644200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 - 63886290776561567474588340587503988245215706775427859156143626588943804488295489863243776710586365576470800500988504253259153437547647413564187602331129259897167205296734873860436110032705015361973775764411366934413738846765764334163397565966328747446909865194088125609679019339695145135060380532642762181378763219259217282580125621924130634034791168400137882625941097873650217557995205095147493163999737176399176567369325669218158191602984303226874599076953113464306965037541633426467398575789276489547962384377779990136651087926234440474572205373773217803*sqrt(3)/1113520532784383294404593317894160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000