(************** Content-type: application/mathematica ************** Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. *******************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 246649, 3795]*) (*NotebookOutlinePosition[ 247547, 3825]*) (* CellTagsIndexPosition[ 247457, 3819]*) (*WindowFrame->Normal*) Notebook[{ Cell[BoxData[ \(1\/16\ \[Sqrt]\((1\/2\ \((257 - \@257 - \@\(514 - 2\ \@257\) - 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \ \((257 + \@257)\)\)\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\))\) - 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 8\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 2\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 8\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 - \@\(514 - 2\ \@257\) - 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\))\) + 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 8\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\))\) + 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 2\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 8\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\))\))\) - 8\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\))\) - 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 8\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 2\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 24\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 8\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 2\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\))\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) - 12\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) - 4\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \[Sqrt]\((257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\))\) + 6\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \[Sqrt]\((257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\))\) - 24\ \[Sqrt]\((257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\))\) + 12\ \[Sqrt]\((257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \((257 + \ \@257)\)\))\))\))\))\))\))\))\))\)\)], "Output"], Cell[CellGroupData[{ Cell[BoxData[ \(?? Simplify\)], "Input"], Cell[BoxData[ RowBox[{"\<\"Simplify[expr] performs a sequence of algebraic \ transformations on expr, and returns the simplest form it finds. \ Simplify[expr, assum] does simplification using assumptions.\"\>", " ", ButtonBox[ StyleBox["More\[Ellipsis]", "SR"], ButtonData:>"Simplify", Active->True, ButtonStyle->"RefGuideLink"]}]], "Print", CellTags->"Info3217065914-1940074"], Cell[BoxData[ InterpretationBox[GridBox[{ {\(Attributes[Simplify] = {Protected}\)}, {" "}, {GridBox[{ {\(Options[Simplify] = {ComplexityFunction \[Rule] Automatic, TimeConstraint \[Rule] 300, TransformationFunctions \[Rule] Automatic, Trig \[Rule] True}\)} }, GridBaseline->{Baseline, {1, 1}}, ColumnWidths->0.999, ColumnAlignments->{Left}]} }, GridBaseline->{Baseline, {1, 1}}, ColumnAlignments->{Left}], Definition[ "Simplify"], Editable->False]], "Print", CellTags->"Info3217065914-1940074"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(N[Out[10]]\)], "Input"], Cell[BoxData[ \(0.012223791492531982`\)], "Output"], Cell[BoxData[ \(1\/16\ \[Sqrt]\((1\/2\ \((257 - \@257 - \@\(514 - 2\ \@257\) - 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \ \((257 + \@257)\)\)\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) \ - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) \ + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) \ + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 - \@\(514 - 2\ \@257\) - 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \ \@\(2\ \((257 + \@257)\)\)\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) + 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\) - 8\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\))\))\))\)\)], \ "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(ByteCount[%]\)], "Input"], Cell[BoxData[ \(316512\)], "Output"] }, Open ]], Cell[BoxData[""], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(LeafCount[Out[3]]\)], "Input"], Cell[BoxData[ \(15825\)], "Output"], Cell[BoxData[ \(15825\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(TraditionalForm[Out[3]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`1\/16\ \[Sqrt]\((1\/2\ \((257 - \@257 - \@\(514 - 2\ \ \@257\) - 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \@\(2\ \ \((257 + \@257)\)\)\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) - 8\ \ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) - 7\ \ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) + 7\ \ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) \ - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) \ + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) \ + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 - \@\(514 - 2\ \@257\) - 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \ \@\(2\ \((257 + \@257)\)\)\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) + 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\) - 8\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\))\))\))\)\)], \ "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ \(\(ReplaceAll[ 1\/16\ \[Sqrt]\((1\/2\ \((257 - \@257 - \@\(514 - 2\ \@257\) - 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) + 8\ \ \@\(2\ \((257 + \@257)\)\)\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) \ - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) \ + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) \ + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \@257\) \ - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \@257\) \ - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \@257\) \ + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) \ + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 - \@\(514 - 2\ \@257\) - 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \@257\) \ + 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - 2\ \ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - 2\ \ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - 2\ \ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - 2\ \ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) + 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\) - 8\ \[Sqrt]\((2\ \((257 + 7\ \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 2\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 8\ \[Sqrt]\((257 + \@257 - 4\ \@\(514 - 2\ \@257\) - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) - 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\) - 8\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 8\ \[Sqrt]\((257 + \@257 + 4\ \@\(514 - 2\ \@257\) + 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 2\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \[Sqrt]\((514 - 18\ \@257 - 6\ \@\(514 - 2\ \@257\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 24\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 8\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) + 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) + 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((257 - \@257 + 3\ \@\(514 - 2\ \@257\) - 4\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 2\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\) + 4\ \[Sqrt]\((2\ \((257 - 9\ \@257 - 3\ \@\(514 - 2\ \@257\) + 6\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) - 12\ \@\(257 - 15\ \@257 + 8\ \@\(514 \ - 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 + 3\ \@\(2\ \((257 + \@257)\)\) - 12\ \@\(257 + 15\ \@257 - 7\ \@\(514 \ - 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 - 8\ \@\(514 - \ 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) - 4\ \@\(257 + 15\ \@257 + 7\ \@\(514 - \ 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) - 4\ \[Sqrt]\((2\ \((257 + 9\ \@257 - 3\ \@\(2\ \((257 + \@257)\)\) - 4\ \@\(257 + 15\ \@257 - 7\ \@\(514 - \ 2\ \@257\) - 8\ \@\(2\ \((257 + \@257)\)\)\) + 6\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\) + 6\ \[Sqrt]\((514 - 18\ \@257 + 6\ \@\(514 - 2\ \@257\) + 8\ \@\(257 - 15\ \@257 + 8\ \@\(514 - \ 2\ \@257\) - 7\ \@\(2\ \((257 + \@257)\)\)\) - 24\ \@\(257 - 15\ \@257 - 8\ \@\(514 \ - 2\ \@257\) + 7\ \@\(2\ \((257 + \@257)\)\)\) + 12\ \@\(257 + 15\ \@257 + 7\ \@\(514 \ - 2\ \@257\) + 8\ \@\(2\ \((257 + \@257)\)\)\))\))\))\))\))\))\))\), {\@\(257 \ + A_\ \@257 + B_\ \@\(514 - 2\ \@257\) + C_\ \ \@\(2\ \((257 + \@257)\)\)\) \ \[Rule] \[Theta][A, B, C], \@\(2\ \((257 + \@257)\)\) \[Rule] \[Alpha], \ \@\(514 - 2\ \ \@257\) \[Rule] \[Beta]}];\)\), "\[IndentingNewLine]", \(TraditionalForm[Sin[Pi/257] == %]\)}], "Input"], Cell[BoxData[ \(TraditionalForm\`sin(\[Pi]\/257) == \(\(1\/\(16\ \ \@2\)\)\((\[Sqrt]\((\(-\[Beta]\) - 2\ \(\[Theta](15, 7, 8)\) - 2\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \(-8\), 7)\) + 8\ \ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\) - 18\ \@257 + \ 514\) - 4\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) - 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \(\[Theta](\(-15\), \ \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \(\[Theta](15, \ \(-7\), \(-8\))\) - 9\ \@257 + 257\) - 4\ \@2\ \@\(3\ \[Alpha] + 6\ \(\[Theta](\(-15\), \ \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \(\[Theta](15, 7, 8)\ \) + 9\ \@257 + 257\) - 6\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \(-8\), \ 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\) - 18\ \ \@257 + 514\) + 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \(\[Theta](\(-15\), \ 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \(\[Theta](15, 7, 8)\ \) + 9\ \@257 + 257\) - \@257 + 257)\) - 4\ \@2\ \[Sqrt]\((3\ \[Beta] + 4\ \(\[Theta](\(-15\), \(-8\), 7)\) - 4\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \(\[Theta](15, 7, 8)\) - 4\ \@2\ \@\(3\ \[Alpha] - 6\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \(\[Theta](15, 7, 8)\ \) + 9\ \@257 + 257\) - 2\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \(-8\), \ 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\) - 18\ \ \@257 + 514\) - 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \(\[Theta](\(-15\), \ 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \(\[Theta](15, 7, 8)\ \) + 9\ \@257 + 257\) - 8\ \[Sqrt]\((3\ \[Alpha] + 4\ \[Beta] - 2\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) + 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \(\[Theta](15, 7, 8)\) + 4\ \@\(\(-6\)\ \[Beta] + 8\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 24\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \(\[Theta](15, \(-7\ \), \(-8\))\) - 18\ \@257 + 514\) - 4\ \@2\ \@\(\(-3\)\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), 8, \(-7\))\) + 4\ \(\[Theta](15, \(-7\), \(-8\))\) - 12\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 6\ \@2\ \@\(3\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 4\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\ \) - 18\ \@257 + 514\) + \@257 + 257)\) - 8\ \[Sqrt]\((\(-3\)\ \[Alpha] - 4\ \[Beta] + 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 2\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \(\[Theta](15, 7, 8)\) + 4\ \@\(\(-6\)\ \[Beta] + 8\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 24\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \(\[Theta](15, \(-7\ \), \(-8\))\) - 18\ \@257 + 514\) + 4\ \@\(6\ \[Beta] + 24\ \(\[Theta](\(-15\), \ \(-8\), 7)\) - 8\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \(\[Theta](15, 7, 8)\ \) - 18\ \@257 + 514\) + 4\ \@2\ \@\(3\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 6\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + \@257 + 257)\) + 8\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) + 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \ \(\[Theta](15, \(-7\), \(-8\))\) - 9\ \@257 + 257\) + 4\ \@2\ \@\(3\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 6\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\ \) - 18\ \@257 + 514\) - 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - \@257 + 257)\) - 4\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) - 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \ \(\[Theta](15, \(-7\), \(-8\))\) - 9\ \@257 + 257\) - 4\ \@2\ \@\(3\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 6\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\ \) - 18\ \@257 + 514\) + 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - \@257 + 257)\) + 7\ \@257 + 257)\) - 8\ \[Sqrt]\((\(-\[Beta]\) - 2\ \(\[Theta](15, 7, 8)\) + 6\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \(-8\), \ 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\) - 18\ \ \@257 + 514\) - 8\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) + 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \ \(\[Theta](15, \(-7\), \(-8\))\) - 9\ \@257 + 257\) + 4\ \@2\ \@\(3\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 6\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\ \) - 18\ \@257 + 514\) - 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - \@257 + 257)\) - 4\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) - 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \ \(\[Theta](15, \(-7\), \(-8\))\) - 9\ \@257 + 257\) - 4\ \@2\ \@\(3\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 6\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\ \) - 18\ \@257 + 514\) + 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - \@257 + 257)\) + 4\ \@2\ \[Sqrt]\((3\ \[Beta] + 4\ \(\[Theta](\(-15\), \(-8\), 7)\) - 4\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \(\[Theta](15, 7, 8)\) - 4\ \@2\ \@\(3\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 2\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\ \) - 18\ \@257 + 514\) - 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 8\ \[Sqrt]\((3\ \[Alpha] + 4\ \[Beta] - 2\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) + 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \(\[Theta](15, 7, 8)\) + 4\ \@\(\(-6\)\ \[Beta] + 8\ \(\[Theta](\ \(-15\), \(-8\), 7)\) + 24\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \ \(\[Theta](15, \(-7\), \(-8\))\) - 18\ \@257 + 514\) - 4\ \@2\ \@\(\(-3\)\ \[Alpha] - 6\ \(\ \[Theta](\(-15\), 8, \(-7\))\) + 4\ \(\[Theta](15, \(-7\), \(-8\))\) - 12\ \(\ \[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 6\ \@2\ \@\(3\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 4\ \@\(6\ \[Beta] - 24\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \ \(\[Theta](15, 7, 8)\) - 18\ \@257 + 514\) + \@257 + 257)\) + 8\ \[Sqrt]\((\(-3\)\ \[Alpha] - 4\ \[Beta] + 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 2\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \(\[Theta](15, 7, 8)\) + 4\ \@\(\(-6\)\ \[Beta] + 8\ \(\[Theta](\ \(-15\), \(-8\), 7)\) + 24\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \ \(\[Theta](15, \(-7\), \(-8\))\) - 18\ \@257 + 514\) + 4\ \@\(6\ \[Beta] + 24\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 8\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \ \(\[Theta](15, 7, 8)\) - 18\ \@257 + 514\) + 4\ \@2\ \@\(3\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 6\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \(\ \[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \(\ \[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + \@257 + 257)\) - 8\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) + 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \(\ \[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \(\ \[Theta](15, \(-7\), \(-8\))\) - 9\ \@257 + 257\) + 4\ \@2\ \@\(3\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 6\ \@\(6\ \[Beta] - 24\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \ \(\[Theta](15, 7, 8)\) - 18\ \@257 + 514\) - 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \(\ \[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \(\ \[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - \@257 + 257)\) + 4\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) - 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \(\ \[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \(\ \[Theta](15, \(-7\), \(-8\))\) - 9\ \@257 + 257\) - 4\ \@2\ \@\(3\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 6\ \@\(6\ \[Beta] - 24\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \ \(\[Theta](15, 7, 8)\) - 18\ \@257 + 514\) + 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \(\ \[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \(\ \[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - \@257 + 257)\) + 7\ \@257 + 257)\) - 8\ \@2\ \[Sqrt]\((3\ \[Beta] + 4\ \(\[Theta](\(-15\), \(-8\), 7)\) - 4\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \(\[Theta](15, 7, 8)\) + 4\ \@2\ \@\(3\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 2\ \@\(6\ \[Beta] - 24\ \(\[Theta](\(-15\), \ \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \(\[Theta](15, 7, 8)\ \) - 18\ \@257 + 514\) + 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 8\ \[Sqrt]\((3\ \[Alpha] + 4\ \[Beta] - 2\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) + 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \(\[Theta](15, 7, 8)\) - 4\ \@\(\(-6\)\ \[Beta] + 8\ \(\[Theta](\ \(-15\), \(-8\), 7)\) + 24\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \ \(\[Theta](15, \(-7\), \(-8\))\) - 18\ \@257 + 514\) + 4\ \@2\ \@\(\(-3\)\ \[Alpha] - 6\ \(\ \[Theta](\(-15\), 8, \(-7\))\) + 4\ \(\[Theta](15, \(-7\), \(-8\))\) - 12\ \(\ \[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 6\ \@2\ \@\(3\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 4\ \@\(6\ \[Beta] - 24\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \ \(\[Theta](15, 7, 8)\) - 18\ \@257 + 514\) + \@257 + 257)\) - 4\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) + 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \(\ \[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \(\ \[Theta](15, \(-7\), \(-8\))\) - 9\ \@257 + 257\) + 4\ \@2\ \@\(3\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 6\ \@\(6\ \[Beta] - 24\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \ \(\[Theta](15, 7, 8)\) - 18\ \@257 + 514\) - 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \(\ \[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \(\ \[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - \@257 + 257)\) - 8\ \[Sqrt]\((\(-4\)\ \[Alpha] + 3\ \[Beta] - 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 4\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 2\ \(\[Theta](15, 7, 8)\) - 4\ \@2\ \@\(\(-3\)\ \[Beta] - 4\ \(\ \[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](\(-15\), 8, \(-7\))\) + 6\ \(\ \[Theta](15, \(-7\), \(-8\))\) - 9\ \@257 + 257\) - 4\ \@2\ \@\(3\ \[Alpha] + 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 12\ \(\[Theta](15, \(-7\), \(-8\))\) - 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - 6\ \@\(6\ \[Beta] - 24\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 8\ \(\[Theta](\(-15\), 8, \(-7\))\) + 12\ \ \(\[Theta](15, 7, 8)\) - 18\ \@257 + 514\) + 4\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \(\ \[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \(\ \[Theta](15, 7, 8)\) + 9\ \@257 + 257\) - \@257 + 257)\) - 8\ \[Sqrt]\((\(-3\)\ \[Alpha] - 4\ \[Beta] + 4\ \(\[Theta](\(-15\), \(-8\), 7)\) + 2\ \(\[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \(\[Theta](15, 7, 8)\) - 4\ \@\(\(-6\)\ \[Beta] + 8\ \(\[Theta](\ \(-15\), \(-8\), 7)\) + 24\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \ \(\[Theta](15, \(-7\), \(-8\))\) - 18\ \@257 + 514\) - 4\ \@\(6\ \[Beta] + 24\ \ \(\[Theta](\(-15\), \(-8\), 7)\) - 8\ \(\[Theta](\(-15\), 8, \(-7\))\) - 12\ \ \(\[Theta](15, 7, 8)\) - 18\ \@257 + 514\) - 4\ \@2\ \@\(3\ \[Alpha] - 6\ \ \(\[Theta](\(-15\), \(-8\), 7)\) + 12\ \(\[Theta](15, \(-7\), \(-8\))\) + 4\ \ \(\[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + 6\ \@2\ \@\(\(-3\)\ \[Alpha] + 6\ \(\ \[Theta](\(-15\), 8, \(-7\))\) - 4\ \(\[Theta](15, \(-7\), \(-8\))\) + 12\ \(\ \[Theta](15, 7, 8)\) + 9\ \@257 + 257\) + \@257 + 257)\) + 7\ \@257 + 257)\) - \@257 + 257)\) - \@257 + 257)\))\)\)\)], "Output"] }, Open ]], Cell[BoxData[{ \(\[Alpha] == \@\(2\ \((257 + \@257)\)\)\), "\[IndentingNewLine]", \(\[Beta] == \@\(514 - 2\ \@257\)\), "\[IndentingNewLine]", \(\[Theta][x, y, z] == \@\(257 + x\ \@257 + y\ \[Beta] + z\ \[Alpha]\)\), "\ \[IndentingNewLine]", \(\)}], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(TraditionalForm[ HoldForm[\[Alpha] == \@\(2\ \((257 + \@257)\)\); \[IndentingNewLine]\ \[Beta] == \@\(514 - 2\ \@257\); \[IndentingNewLine]\[Theta][x, y, z] == \@\(257 + x\ \@257 + y\ \[Beta] + z\ \[Alpha]\);]]\)], \ "Input"], Cell[BoxData[ FormBox[ TagBox[\(\[Alpha] == \@\(2\ \((257 + \@257)\)\); \[Beta] == \@\(514 - 2\ \ \@257\); \[Theta](x, y, z) == \@\(\@257\ x + z\ \[Alpha] + y\ \[Beta] + 257\); \), HoldForm], TraditionalForm]], "Output"] }, Open ]] }, FrontEndVersion->"4.1 for Microsoft Windows", ScreenRectangle->{{0, 1024}, {0, 695}}, WindowSize->{997, 646}, WindowMargins->{{Automatic, 7}, {Automatic, -10}} ] (******************************************************************* Cached data follows. If you edit this Notebook file directly, not using Mathematica, you must remove the line containing CacheID at the top of the file. The cache data will then be recreated when you save this file from within Mathematica. *******************************************************************) (*CellTagsOutline CellTagsIndex->{ "Info3217065914-1940074"->{ Cell[73757, 1093, 432, 10, 44, "Print", CellTags->"Info3217065914-1940074"], Cell[74192, 1105, 711, 18, 80, "Print", CellTags->"Info3217065914-1940074"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Info3217065914-1940074", 247257, 3810} } *) (*NotebookFileOutline Notebook[{ Cell[1705, 50, 71980, 1036, 10392, "Output"], Cell[CellGroupData[{ Cell[73710, 1090, 44, 1, 30, "Input"], Cell[73757, 1093, 432, 10, 44, "Print", CellTags->"Info3217065914-1940074"], Cell[74192, 1105, 711, 18, 80, "Print", CellTags->"Info3217065914-1940074"] }, Open ]], Cell[CellGroupData[{ Cell[74940, 1128, 43, 1, 30, "Input"], Cell[74986, 1131, 55, 1, 29, "Output"], Cell[75044, 1134, 49706, 760, 20057, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[124787, 1899, 45, 1, 30, "Input"], Cell[124835, 1902, 40, 1, 29, "Output"] }, Open ]], Cell[124890, 1906, 26, 0, 30, "Input"], Cell[CellGroupData[{ Cell[124941, 1910, 50, 1, 30, "Input"], Cell[124994, 1913, 39, 1, 29, "Output"], Cell[125036, 1916, 39, 1, 29, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[125112, 1922, 56, 1, 30, "Input"], Cell[125171, 1925, 49725, 761, 15638, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[174933, 2691, 50713, 769, 18704, "Input"], Cell[225649, 3462, 20141, 305, 2162, "Output"] }, Open ]], Cell[245805, 3770, 285, 6, 129, "Input"], Cell[CellGroupData[{ Cell[246115, 3780, 264, 5, 109, "Input"], Cell[246382, 3787, 251, 5, 64, "Output"] }, Open ]] } ] *) (******************************************************************* End of Mathematica Notebook file. *******************************************************************)