SU(2) 30 | VerlindeDB

\(\operatorname{SU}(2)_{30}\): \( A_{1} \) at level \(30\)

Fusion Ring

\[ \begin{array}{lllllllllllllllllllllllllllllll} \htmlTitle{1\otimes 1}{1} & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{2\otimes 1}{2} & \htmlTitle{2\otimes 2}{1} & & & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{3\otimes 1}{3} & \htmlTitle{3\otimes 2}{4} & \htmlTitle{3\otimes 3}{1 \oplus 5} & & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{4\otimes 1}{4} & \htmlTitle{4\otimes 2}{3} & \htmlTitle{4\otimes 3}{6 \oplus 2} & \htmlTitle{4\otimes 4}{1 \oplus 5} & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{5\otimes 1}{5} & \htmlTitle{5\otimes 2}{6} & \htmlTitle{5\otimes 3}{3 \oplus 7} & \htmlTitle{5\otimes 4}{8 \oplus 4} & \htmlTitle{5\otimes 5}{1 \oplus 5 \oplus 9} & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{6\otimes 1}{6} & \htmlTitle{6\otimes 2}{5} & \htmlTitle{6\otimes 3}{8 \oplus 4} & \htmlTitle{6\otimes 4}{3 \oplus 7} & \htmlTitle{6\otimes 5}{10 \oplus 6 \oplus 2} & \htmlTitle{6\otimes 6}{1 \oplus 5 \oplus 9} & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{7\otimes 1}{7} & \htmlTitle{7\otimes 2}{8} & \htmlTitle{7\otimes 3}{5 \oplus 9} & \htmlTitle{7\otimes 4}{10 \oplus 6} & \htmlTitle{7\otimes 5}{3 \oplus 7 \oplus 11} & \htmlTitle{7\otimes 6}{12 \oplus 8 \oplus 4} & \htmlTitle{7\otimes 7}{1 \oplus 5 \oplus 9 \oplus 13} & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{8\otimes 1}{8} & \htmlTitle{8\otimes 2}{7} & \htmlTitle{8\otimes 3}{10 \oplus 6} & \htmlTitle{8\otimes 4}{5 \oplus 9} & \htmlTitle{8\otimes 5}{12 \oplus 8 \oplus 4} & \htmlTitle{8\otimes 6}{3 \oplus 7 \oplus 11} & \htmlTitle{8\otimes 7}{14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{8\otimes 8}{1 \oplus 5 \oplus 9 \oplus 13} & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{9\otimes 1}{9} & \htmlTitle{9\otimes 2}{10} & \htmlTitle{9\otimes 3}{7 \oplus 11} & \htmlTitle{9\otimes 4}{12 \oplus 8} & \htmlTitle{9\otimes 5}{5 \oplus 9 \oplus 13} & \htmlTitle{9\otimes 6}{14 \oplus 10 \oplus 6} & \htmlTitle{9\otimes 7}{3 \oplus 7 \oplus 11 \oplus 15} & \htmlTitle{9\otimes 8}{16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{9\otimes 9}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17} & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{10\otimes 1}{10} & \htmlTitle{10\otimes 2}{9} & \htmlTitle{10\otimes 3}{12 \oplus 8} & \htmlTitle{10\otimes 4}{7 \oplus 11} & \htmlTitle{10\otimes 5}{14 \oplus 10 \oplus 6} & \htmlTitle{10\otimes 6}{5 \oplus 9 \oplus 13} & \htmlTitle{10\otimes 7}{16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{10\otimes 8}{3 \oplus 7 \oplus 11 \oplus 15} & \htmlTitle{10\otimes 9}{18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{10\otimes 10}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17} & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{11\otimes 1}{11} & \htmlTitle{11\otimes 2}{12} & \htmlTitle{11\otimes 3}{9 \oplus 13} & \htmlTitle{11\otimes 4}{14 \oplus 10} & \htmlTitle{11\otimes 5}{7 \oplus 11 \oplus 15} & \htmlTitle{11\otimes 6}{16 \oplus 12 \oplus 8} & \htmlTitle{11\otimes 7}{5 \oplus 9 \oplus 13 \oplus 17} & \htmlTitle{11\otimes 8}{18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{11\otimes 9}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19} & \htmlTitle{11\otimes 10}{20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{11\otimes 11}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21} & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{12\otimes 1}{12} & \htmlTitle{12\otimes 2}{11} & \htmlTitle{12\otimes 3}{14 \oplus 10} & \htmlTitle{12\otimes 4}{9 \oplus 13} & \htmlTitle{12\otimes 5}{16 \oplus 12 \oplus 8} & \htmlTitle{12\otimes 6}{7 \oplus 11 \oplus 15} & \htmlTitle{12\otimes 7}{18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{12\otimes 8}{5 \oplus 9 \oplus 13 \oplus 17} & \htmlTitle{12\otimes 9}{20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{12\otimes 10}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19} & \htmlTitle{12\otimes 11}{22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{12\otimes 12}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21} & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{13\otimes 1}{13} & \htmlTitle{13\otimes 2}{14} & \htmlTitle{13\otimes 3}{11 \oplus 15} & \htmlTitle{13\otimes 4}{16 \oplus 12} & \htmlTitle{13\otimes 5}{9 \oplus 13 \oplus 17} & \htmlTitle{13\otimes 6}{18 \oplus 14 \oplus 10} & \htmlTitle{13\otimes 7}{7 \oplus 11 \oplus 15 \oplus 19} & \htmlTitle{13\otimes 8}{20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{13\otimes 9}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21} & \htmlTitle{13\otimes 10}{22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{13\otimes 11}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23} & \htmlTitle{13\otimes 12}{24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{13\otimes 13}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25} & & & & & & & & & & & & & & & & & & \\ \htmlTitle{14\otimes 1}{14} & \htmlTitle{14\otimes 2}{13} & \htmlTitle{14\otimes 3}{16 \oplus 12} & \htmlTitle{14\otimes 4}{11 \oplus 15} & \htmlTitle{14\otimes 5}{18 \oplus 14 \oplus 10} & \htmlTitle{14\otimes 6}{9 \oplus 13 \oplus 17} & \htmlTitle{14\otimes 7}{20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{14\otimes 8}{7 \oplus 11 \oplus 15 \oplus 19} & \htmlTitle{14\otimes 9}{22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{14\otimes 10}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21} & \htmlTitle{14\otimes 11}{24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{14\otimes 12}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23} & \htmlTitle{14\otimes 13}{26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{14\otimes 14}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25} & & & & & & & & & & & & & & & & & \\ \htmlTitle{15\otimes 1}{15} & \htmlTitle{15\otimes 2}{16} & \htmlTitle{15\otimes 3}{13 \oplus 17} & \htmlTitle{15\otimes 4}{18 \oplus 14} & \htmlTitle{15\otimes 5}{11 \oplus 15 \oplus 19} & \htmlTitle{15\otimes 6}{20 \oplus 16 \oplus 12} & \htmlTitle{15\otimes 7}{9 \oplus 13 \oplus 17 \oplus 21} & \htmlTitle{15\otimes 8}{22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{15\otimes 9}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23} & \htmlTitle{15\otimes 10}{24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{15\otimes 11}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25} & \htmlTitle{15\otimes 12}{26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{15\otimes 13}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27} & \htmlTitle{15\otimes 14}{28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{15\otimes 15}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29} & & & & & & & & & & & & & & & & \\ \htmlTitle{16\otimes 1}{16} & \htmlTitle{16\otimes 2}{15} & \htmlTitle{16\otimes 3}{18 \oplus 14} & \htmlTitle{16\otimes 4}{13 \oplus 17} & \htmlTitle{16\otimes 5}{20 \oplus 16 \oplus 12} & \htmlTitle{16\otimes 6}{11 \oplus 15 \oplus 19} & \htmlTitle{16\otimes 7}{22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{16\otimes 8}{9 \oplus 13 \oplus 17 \oplus 21} & \htmlTitle{16\otimes 9}{24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{16\otimes 10}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23} & \htmlTitle{16\otimes 11}{26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{16\otimes 12}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25} & \htmlTitle{16\otimes 13}{28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{16\otimes 14}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27} & \htmlTitle{16\otimes 15}{30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{16\otimes 16}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29} & & & & & & & & & & & & & & & \\ \htmlTitle{17\otimes 1}{17} & \htmlTitle{17\otimes 2}{18} & \htmlTitle{17\otimes 3}{15 \oplus 19} & \htmlTitle{17\otimes 4}{20 \oplus 16} & \htmlTitle{17\otimes 5}{13 \oplus 17 \oplus 21} & \htmlTitle{17\otimes 6}{22 \oplus 18 \oplus 14} & \htmlTitle{17\otimes 7}{11 \oplus 15 \oplus 19 \oplus 23} & \htmlTitle{17\otimes 8}{24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{17\otimes 9}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25} & \htmlTitle{17\otimes 10}{26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{17\otimes 11}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27} & \htmlTitle{17\otimes 12}{28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{17\otimes 13}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29} & \htmlTitle{17\otimes 14}{30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{17\otimes 15}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{17\otimes 16}{31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{17\otimes 17}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & & & & & & & & & & & & & & \\ \htmlTitle{18\otimes 1}{18} & \htmlTitle{18\otimes 2}{17} & \htmlTitle{18\otimes 3}{20 \oplus 16} & \htmlTitle{18\otimes 4}{15 \oplus 19} & \htmlTitle{18\otimes 5}{22 \oplus 18 \oplus 14} & \htmlTitle{18\otimes 6}{13 \oplus 17 \oplus 21} & \htmlTitle{18\otimes 7}{24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{18\otimes 8}{11 \oplus 15 \oplus 19 \oplus 23} & \htmlTitle{18\otimes 9}{26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{18\otimes 10}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25} & \htmlTitle{18\otimes 11}{28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{18\otimes 12}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27} & \htmlTitle{18\otimes 13}{30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{18\otimes 14}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29} & \htmlTitle{18\otimes 15}{31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{18\otimes 16}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{18\otimes 17}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{18\otimes 18}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & & & & & & & & & & & & & \\ \htmlTitle{19\otimes 1}{19} & \htmlTitle{19\otimes 2}{20} & \htmlTitle{19\otimes 3}{17 \oplus 21} & \htmlTitle{19\otimes 4}{22 \oplus 18} & \htmlTitle{19\otimes 5}{15 \oplus 19 \oplus 23} & \htmlTitle{19\otimes 6}{24 \oplus 20 \oplus 16} & \htmlTitle{19\otimes 7}{13 \oplus 17 \oplus 21 \oplus 25} & \htmlTitle{19\otimes 8}{26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{19\otimes 9}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27} & \htmlTitle{19\otimes 10}{28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{19\otimes 11}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29} & \htmlTitle{19\otimes 12}{30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{19\otimes 13}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{19\otimes 14}{31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{19\otimes 15}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{19\otimes 16}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{19\otimes 17}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{19\otimes 18}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{19\otimes 19}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & & & & & & & & & & & & \\ \htmlTitle{20\otimes 1}{20} & \htmlTitle{20\otimes 2}{19} & \htmlTitle{20\otimes 3}{22 \oplus 18} & \htmlTitle{20\otimes 4}{17 \oplus 21} & \htmlTitle{20\otimes 5}{24 \oplus 20 \oplus 16} & \htmlTitle{20\otimes 6}{15 \oplus 19 \oplus 23} & \htmlTitle{20\otimes 7}{26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{20\otimes 8}{13 \oplus 17 \oplus 21 \oplus 25} & \htmlTitle{20\otimes 9}{28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{20\otimes 10}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27} & \htmlTitle{20\otimes 11}{30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{20\otimes 12}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29} & \htmlTitle{20\otimes 13}{31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{20\otimes 14}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{20\otimes 15}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{20\otimes 16}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{20\otimes 17}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{20\otimes 18}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{20\otimes 19}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{20\otimes 20}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & & & & & & & & & & & \\ \htmlTitle{21\otimes 1}{21} & \htmlTitle{21\otimes 2}{22} & \htmlTitle{21\otimes 3}{19 \oplus 23} & \htmlTitle{21\otimes 4}{24 \oplus 20} & \htmlTitle{21\otimes 5}{17 \oplus 21 \oplus 25} & \htmlTitle{21\otimes 6}{26 \oplus 22 \oplus 18} & \htmlTitle{21\otimes 7}{15 \oplus 19 \oplus 23 \oplus 27} & \htmlTitle{21\otimes 8}{28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{21\otimes 9}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29} & \htmlTitle{21\otimes 10}{30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{21\otimes 11}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{21\otimes 12}{31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{21\otimes 13}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{21\otimes 14}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{21\otimes 15}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{21\otimes 16}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{21\otimes 17}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{21\otimes 18}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{21\otimes 19}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{21\otimes 20}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{21\otimes 21}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & & & & & & & & & & \\ \htmlTitle{22\otimes 1}{22} & \htmlTitle{22\otimes 2}{21} & \htmlTitle{22\otimes 3}{24 \oplus 20} & \htmlTitle{22\otimes 4}{19 \oplus 23} & \htmlTitle{22\otimes 5}{26 \oplus 22 \oplus 18} & \htmlTitle{22\otimes 6}{17 \oplus 21 \oplus 25} & \htmlTitle{22\otimes 7}{28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{22\otimes 8}{15 \oplus 19 \oplus 23 \oplus 27} & \htmlTitle{22\otimes 9}{30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{22\otimes 10}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29} & \htmlTitle{22\otimes 11}{31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{22\otimes 12}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{22\otimes 13}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{22\otimes 14}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{22\otimes 15}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{22\otimes 16}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{22\otimes 17}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{22\otimes 18}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{22\otimes 19}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{22\otimes 20}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{22\otimes 21}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{22\otimes 22}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & & & & & & & & & \\ \htmlTitle{23\otimes 1}{23} & \htmlTitle{23\otimes 2}{24} & \htmlTitle{23\otimes 3}{21 \oplus 25} & \htmlTitle{23\otimes 4}{26 \oplus 22} & \htmlTitle{23\otimes 5}{19 \oplus 23 \oplus 27} & \htmlTitle{23\otimes 6}{28 \oplus 24 \oplus 20} & \htmlTitle{23\otimes 7}{17 \oplus 21 \oplus 25 \oplus 29} & \htmlTitle{23\otimes 8}{30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{23\otimes 9}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{23\otimes 10}{31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{23\otimes 11}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{23\otimes 12}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{23\otimes 13}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{23\otimes 14}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{23\otimes 15}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{23\otimes 16}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{23\otimes 17}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{23\otimes 18}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{23\otimes 19}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{23\otimes 20}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{23\otimes 21}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{23\otimes 22}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{23\otimes 23}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & & & & & & & & \\ \htmlTitle{24\otimes 1}{24} & \htmlTitle{24\otimes 2}{23} & \htmlTitle{24\otimes 3}{26 \oplus 22} & \htmlTitle{24\otimes 4}{21 \oplus 25} & \htmlTitle{24\otimes 5}{28 \oplus 24 \oplus 20} & \htmlTitle{24\otimes 6}{19 \oplus 23 \oplus 27} & \htmlTitle{24\otimes 7}{30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{24\otimes 8}{17 \oplus 21 \oplus 25 \oplus 29} & \htmlTitle{24\otimes 9}{31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{24\otimes 10}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{24\otimes 11}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{24\otimes 12}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{24\otimes 13}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{24\otimes 14}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{24\otimes 15}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{24\otimes 16}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{24\otimes 17}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{24\otimes 18}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{24\otimes 19}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{24\otimes 20}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{24\otimes 21}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{24\otimes 22}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{24\otimes 23}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{24\otimes 24}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & & & & & & & \\ \htmlTitle{25\otimes 1}{25} & \htmlTitle{25\otimes 2}{26} & \htmlTitle{25\otimes 3}{23 \oplus 27} & \htmlTitle{25\otimes 4}{28 \oplus 24} & \htmlTitle{25\otimes 5}{21 \oplus 25 \oplus 29} & \htmlTitle{25\otimes 6}{30 \oplus 26 \oplus 22} & \htmlTitle{25\otimes 7}{19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{25\otimes 8}{31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{25\otimes 9}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{25\otimes 10}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{25\otimes 11}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{25\otimes 12}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{25\otimes 13}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{25\otimes 14}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{25\otimes 15}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{25\otimes 16}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{25\otimes 17}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{25\otimes 18}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{25\otimes 19}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{25\otimes 20}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{25\otimes 21}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{25\otimes 22}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{25\otimes 23}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{25\otimes 24}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{25\otimes 25}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & & & & & & \\ \htmlTitle{26\otimes 1}{26} & \htmlTitle{26\otimes 2}{25} & \htmlTitle{26\otimes 3}{28 \oplus 24} & \htmlTitle{26\otimes 4}{23 \oplus 27} & \htmlTitle{26\otimes 5}{30 \oplus 26 \oplus 22} & \htmlTitle{26\otimes 6}{21 \oplus 25 \oplus 29} & \htmlTitle{26\otimes 7}{31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{26\otimes 8}{19 \oplus 23 \oplus 27 \oplus 31} & \htmlTitle{26\otimes 9}{29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{26\otimes 10}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{26\otimes 11}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{26\otimes 12}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{26\otimes 13}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{26\otimes 14}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{26\otimes 15}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{26\otimes 16}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{26\otimes 17}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{26\otimes 18}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{26\otimes 19}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{26\otimes 20}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{26\otimes 21}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{26\otimes 22}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{26\otimes 23}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{26\otimes 24}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{26\otimes 25}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{26\otimes 26}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & & & & & \\ \htmlTitle{27\otimes 1}{27} & \htmlTitle{27\otimes 2}{28} & \htmlTitle{27\otimes 3}{25 \oplus 29} & \htmlTitle{27\otimes 4}{30 \oplus 26} & \htmlTitle{27\otimes 5}{23 \oplus 27 \oplus 31} & \htmlTitle{27\otimes 6}{31 \oplus 28 \oplus 24} & \htmlTitle{27\otimes 7}{21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{27\otimes 8}{29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{27\otimes 9}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{27\otimes 10}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{27\otimes 11}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{27\otimes 12}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{27\otimes 13}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{27\otimes 14}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{27\otimes 15}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{27\otimes 16}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{27\otimes 17}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{27\otimes 18}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{27\otimes 19}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{27\otimes 20}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{27\otimes 21}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{27\otimes 22}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{27\otimes 23}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{27\otimes 24}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{27\otimes 25}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{27\otimes 26}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{27\otimes 27}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & & & & \\ \htmlTitle{28\otimes 1}{28} & \htmlTitle{28\otimes 2}{27} & \htmlTitle{28\otimes 3}{30 \oplus 26} & \htmlTitle{28\otimes 4}{25 \oplus 29} & \htmlTitle{28\otimes 5}{31 \oplus 28 \oplus 24} & \htmlTitle{28\otimes 6}{23 \oplus 27 \oplus 31} & \htmlTitle{28\otimes 7}{29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{28\otimes 8}{21 \oplus 25 \oplus 29 \oplus 30} & \htmlTitle{28\otimes 9}{27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{28\otimes 10}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{28\otimes 11}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{28\otimes 12}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{28\otimes 13}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{28\otimes 14}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{28\otimes 15}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{28\otimes 16}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{28\otimes 17}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{28\otimes 18}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{28\otimes 19}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{28\otimes 20}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{28\otimes 21}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{28\otimes 22}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{28\otimes 23}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{28\otimes 24}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{28\otimes 25}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{28\otimes 26}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{28\otimes 27}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{28\otimes 28}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & & & \\ \htmlTitle{29\otimes 1}{29} & \htmlTitle{29\otimes 2}{30} & \htmlTitle{29\otimes 3}{27 \oplus 31} & \htmlTitle{29\otimes 4}{31 \oplus 28} & \htmlTitle{29\otimes 5}{25 \oplus 29 \oplus 30} & \htmlTitle{29\otimes 6}{29 \oplus 30 \oplus 26} & \htmlTitle{29\otimes 7}{23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{29\otimes 8}{27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{29\otimes 9}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{29\otimes 10}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{29\otimes 11}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{29\otimes 12}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{29\otimes 13}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{29\otimes 14}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{29\otimes 15}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{29\otimes 16}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{29\otimes 17}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{29\otimes 18}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{29\otimes 19}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{29\otimes 20}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{29\otimes 21}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{29\otimes 22}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{29\otimes 23}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{29\otimes 24}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{29\otimes 25}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{29\otimes 26}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{29\otimes 27}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{29\otimes 28}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{29\otimes 29}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & & \\ \htmlTitle{30\otimes 1}{30} & \htmlTitle{30\otimes 2}{29} & \htmlTitle{30\otimes 3}{31 \oplus 28} & \htmlTitle{30\otimes 4}{27 \oplus 31} & \htmlTitle{30\otimes 5}{29 \oplus 30 \oplus 26} & \htmlTitle{30\otimes 6}{25 \oplus 29 \oplus 30} & \htmlTitle{30\otimes 7}{27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{30\otimes 8}{23 \oplus 27 \oplus 31 \oplus 28} & \htmlTitle{30\otimes 9}{25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{30\otimes 10}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{30\otimes 11}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{30\otimes 12}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{30\otimes 13}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{30\otimes 14}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{30\otimes 15}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{30\otimes 16}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{30\otimes 17}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{30\otimes 18}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{30\otimes 19}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{30\otimes 20}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{30\otimes 21}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{30\otimes 22}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{30\otimes 23}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{30\otimes 24}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{30\otimes 25}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{30\otimes 26}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{30\otimes 27}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{30\otimes 28}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{30\otimes 29}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} & \htmlTitle{30\otimes 30}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \\ \htmlTitle{31\otimes 1}{31} & \htmlTitle{31\otimes 2}{31} & \htmlTitle{31\otimes 3}{29 \oplus 30} & \htmlTitle{31\otimes 4}{29 \oplus 30} & \htmlTitle{31\otimes 5}{27 \oplus 31 \oplus 28} & \htmlTitle{31\otimes 6}{27 \oplus 31 \oplus 28} & \htmlTitle{31\otimes 7}{25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{31\otimes 8}{25 \oplus 29 \oplus 30 \oplus 26} & \htmlTitle{31\otimes 9}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{31\otimes 10}{23 \oplus 27 \oplus 31 \oplus 28 \oplus 24} & \htmlTitle{31\otimes 11}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{31\otimes 12}{21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22} & \htmlTitle{31\otimes 13}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{31\otimes 14}{19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20} & \htmlTitle{31\otimes 15}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{31\otimes 16}{17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18} & \htmlTitle{31\otimes 17}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{31\otimes 18}{15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16} & \htmlTitle{31\otimes 19}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{31\otimes 20}{13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14} & \htmlTitle{31\otimes 21}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{31\otimes 22}{11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12} & \htmlTitle{31\otimes 23}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{31\otimes 24}{9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10} & \htmlTitle{31\otimes 25}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{31\otimes 26}{7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8} & \htmlTitle{31\otimes 27}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{31\otimes 28}{5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6} & \htmlTitle{31\otimes 29}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{31\otimes 30}{3 \oplus 7 \oplus 11 \oplus 15 \oplus 19 \oplus 23 \oplus 27 \oplus 31 \oplus 28 \oplus 24 \oplus 20 \oplus 16 \oplus 12 \oplus 8 \oplus 4} & \htmlTitle{31\otimes 31}{1 \oplus 5 \oplus 9 \oplus 13 \oplus 17 \oplus 21 \oplus 25 \oplus 29 \oplus 30 \oplus 26 \oplus 22 \oplus 18 \oplus 14 \oplus 10 \oplus 6 \oplus 2} \\ \end{array} \]

Frobenius-Perron Dimensions

SimpleNumericSymbolic
\( 1\)\(1.000\)\( 1 \)
\( 2\)\(1.000\)\( 1 \)
\( 3\)\(1.990\)\( 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 4\)\(1.990\)\( 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 5\)\(2.962\)\( 1 + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 6\)\(2.962\)\( 1 + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 7\)\(3.904\)\( 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 8\)\(3.904\)\( 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 9\)\(4.809\)\( 1 + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 10\)\(4.809\)\( 1 + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 11\)\(5.668\)\( 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 12\)\(5.668\)\( 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 13\)\(6.472\)\( 1 + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 14\)\(6.472\)\( 1 + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 15\)\(7.214\)\( 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 16\)\(7.214\)\( 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 17\)\(7.886\)\( 1 + \sqrt{2} + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 18\)\(7.886\)\( 1 + \sqrt{2} + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 19\)\(8.483\)\( 2 \cos{\left(\frac{9 \pi}{32} \right)} + 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 20\)\(8.483\)\( 2 \cos{\left(\frac{9 \pi}{32} \right)} + 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 21\)\(8.998\)\( 1 + 2 \cos{\left(\frac{5 \pi}{16} \right)} + \sqrt{2} + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 22\)\(8.998\)\( 1 + 2 \cos{\left(\frac{5 \pi}{16} \right)} + \sqrt{2} + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 23\)\(9.426\)\( 2 \cos{\left(\frac{11 \pi}{32} \right)} + 2 \cos{\left(\frac{9 \pi}{32} \right)} + 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 24\)\(9.426\)\( 2 \cos{\left(\frac{11 \pi}{32} \right)} + 2 \cos{\left(\frac{9 \pi}{32} \right)} + 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 25\)\(9.763\)\( \sqrt{2 - \sqrt{2}} + 1 + 2 \cos{\left(\frac{5 \pi}{16} \right)} + \sqrt{2} + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 26\)\(9.763\)\( \sqrt{2 - \sqrt{2}} + 1 + 2 \cos{\left(\frac{5 \pi}{16} \right)} + \sqrt{2} + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 27\)\(10.006\)\( 2 \cos{\left(\frac{13 \pi}{32} \right)} + 2 \cos{\left(\frac{11 \pi}{32} \right)} + 2 \cos{\left(\frac{9 \pi}{32} \right)} + 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 28\)\(10.006\)\( 2 \cos{\left(\frac{13 \pi}{32} \right)} + 2 \cos{\left(\frac{11 \pi}{32} \right)} + 2 \cos{\left(\frac{9 \pi}{32} \right)} + 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( 29\)\(10.153\)\( 2 \cos{\left(\frac{7 \pi}{16} \right)} + \sqrt{2 - \sqrt{2}} + 1 + 2 \cos{\left(\frac{5 \pi}{16} \right)} + \sqrt{2} + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 30\)\(10.153\)\( 2 \cos{\left(\frac{7 \pi}{16} \right)} + \sqrt{2 - \sqrt{2}} + 1 + 2 \cos{\left(\frac{5 \pi}{16} \right)} + \sqrt{2} + 2 \cos{\left(\frac{3 \pi}{16} \right)} + \sqrt{\sqrt{2} + 2} + 2 \cos{\left(\frac{\pi}{16} \right)} \)
\( 31\)\(10.202\)\( 2 \cos{\left(\frac{15 \pi}{32} \right)} + 2 \cos{\left(\frac{13 \pi}{32} \right)} + 2 \cos{\left(\frac{11 \pi}{32} \right)} + 2 \cos{\left(\frac{9 \pi}{32} \right)} + 2 \cos{\left(\frac{7 \pi}{32} \right)} + 2 \cos{\left(\frac{5 \pi}{32} \right)} + 2 \cos{\left(\frac{3 \pi}{32} \right)} + 2 \cos{\left(\frac{\pi}{32} \right)} \)
\( D^2\)1665.390\(64 \cos{\left(\frac{7 \pi}{16} \right)} + 64 \sqrt{2 - \sqrt{2}} + 192 \cos{\left(\frac{5 \pi}{16} \right)} + 128 \sqrt{2} + 256 + 320 \cos{\left(\frac{3 \pi}{16} \right)} + 192 \sqrt{\sqrt{2} + 2} + 448 \cos{\left(\frac{\pi}{16} \right)}\)

Modular Data

Twist Factors

\[ \begin{pmatrix} \htmlTitle{\theta_{1}}{0} & \htmlTitle{\theta_{2}}{1} & \htmlTitle{\theta_{3}}{\frac{3}{64}} & \htmlTitle{\theta_{4}}{\frac{3}{64}} & \htmlTitle{\theta_{5}}{\frac{1}{8}} & \htmlTitle{\theta_{6}}{\frac{9}{8}} & \htmlTitle{\theta_{7}}{\frac{15}{64}} & \htmlTitle{\theta_{8}}{\frac{15}{64}} & \htmlTitle{\theta_{9}}{\frac{3}{8}} & \htmlTitle{\theta_{10}}{\frac{11}{8}} & \htmlTitle{\theta_{11}}{\frac{35}{64}} & \htmlTitle{\theta_{12}}{\frac{35}{64}} & \htmlTitle{\theta_{13}}{\frac{3}{4}} & \htmlTitle{\theta_{14}}{\frac{7}{4}} & \htmlTitle{\theta_{15}}{\frac{63}{64}} & \htmlTitle{\theta_{16}}{\frac{63}{64}} & \htmlTitle{\theta_{17}}{\frac{5}{4}} & \htmlTitle{\theta_{18}}{\frac{1}{4}} & \htmlTitle{\theta_{19}}{\frac{99}{64}} & \htmlTitle{\theta_{20}}{\frac{99}{64}} & \htmlTitle{\theta_{21}}{\frac{15}{8}} & \htmlTitle{\theta_{22}}{\frac{7}{8}} & \htmlTitle{\theta_{23}}{\frac{15}{64}} & \htmlTitle{\theta_{24}}{\frac{15}{64}} & \htmlTitle{\theta_{25}}{\frac{5}{8}} & \htmlTitle{\theta_{26}}{\frac{13}{8}} & \htmlTitle{\theta_{27}}{\frac{67}{64}} & \htmlTitle{\theta_{28}}{\frac{67}{64}} & \htmlTitle{\theta_{29}}{\frac{3}{2}} & \htmlTitle{\theta_{30}}{\frac{1}{2}} & \htmlTitle{\theta_{31}}{\frac{127}{64}} \end{pmatrix} \]

S Matrix

\[ \left(\begin{array}{lllllllllllllllllllllllllllllll} \htmlTitle{S_{1; 1}}{1} & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{2; 1}}{1} & \htmlTitle{S_{2; 2}}{1} & & & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{3; 1}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{3; 2}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{3; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{4; 1}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{4; 2}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{4; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{4; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{5; 1}}{-\zeta_{256}^{120} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{5; 2}}{-\zeta_{256}^{120} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{5; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{5; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{5; 5}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{6; 1}}{-\zeta_{256}^{120} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{6; 2}}{-\zeta_{256}^{120} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{6; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{6; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{6; 5}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{6; 6}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{7; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{7; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{7; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{7; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{7; 5}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{7; 6}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{7; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{8; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{8; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{8; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{8; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{8; 5}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{8; 6}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{8; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{8; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{9; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{9; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{9; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{9; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{9; 5}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{9; 6}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{9; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{9; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{9; 9}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{10; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{10; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{10; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{10; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{10; 5}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{10; 6}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{10; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{10; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{10; 9}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{10; 10}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{11; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{11; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{11; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{11; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{11; 5}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{11; 6}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{11; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{11; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{11; 9}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{11; 10}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{11; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{12; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{12; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{12; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{12; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{12; 5}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{12; 6}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{12; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{12; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{12; 9}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{12; 10}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{12; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{12; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{13; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{13; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{13; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{13; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{13; 5}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{13; 6}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{13; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{13; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{13; 9}}{\zeta_{256}^{120} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{13; 10}}{\zeta_{256}^{120} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{13; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{13; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{13; 13}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} + \zeta_{256}^{72} - \zeta_{256}^{56} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{14; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{14; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{14; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{14; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{14; 5}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{14; 6}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{14; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{14; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{14; 9}}{\zeta_{256}^{120} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{14; 10}}{\zeta_{256}^{120} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{14; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{14; 12}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{14; 13}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} + \zeta_{256}^{72} - \zeta_{256}^{56} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{14; 14}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} + \zeta_{256}^{72} - \zeta_{256}^{56} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{15; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{15; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{15; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{15; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{15; 5}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{15; 6}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{15; 7}}{0} & \htmlTitle{S_{15; 8}}{0} & \htmlTitle{S_{15; 9}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{15; 10}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{15; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{15; 12}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{15; 13}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{15; 14}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{15; 15}}{0} & & & & & & & & & & & & & & & & \\ \htmlTitle{S_{16; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{16; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{16; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{16; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{16; 5}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{16; 6}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{16; 7}}{0} & \htmlTitle{S_{16; 8}}{0} & \htmlTitle{S_{16; 9}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{16; 10}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{16; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{16; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{16; 13}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{16; 14}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{16; 15}}{0} & \htmlTitle{S_{16; 16}}{0} & & & & & & & & & & & & & & & \\ \htmlTitle{S_{17; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{17; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{17; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{17; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{17; 5}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{17; 6}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{17; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{17; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{17; 9}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{17; 10}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{17; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{17; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{17; 13}}{-1} & \htmlTitle{S_{17; 14}}{-1} & \htmlTitle{S_{17; 15}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{17; 16}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{17; 17}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & & & & & & & & & & & & & & \\ \htmlTitle{S_{18; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{18; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{18; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{18; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{18; 5}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{18; 6}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{18; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{18; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{18; 9}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{18; 10}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{18; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{18; 12}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{18; 13}}{-1} & \htmlTitle{S_{18; 14}}{-1} & \htmlTitle{S_{18; 15}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{18; 16}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{18; 17}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{18; 18}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & & & & & & & & & & & & & \\ \htmlTitle{S_{19; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 5}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 6}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 9}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 10}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 12}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 13}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 14}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 15}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 16}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 17}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{19; 18}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{19; 19}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & & & & & & & & & & & & \\ \htmlTitle{S_{20; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 5}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 6}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 9}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 10}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 13}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 14}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 15}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 16}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 17}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 18}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{20; 19}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{20; 20}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & & & & & & & & & & & \\ \htmlTitle{S_{21; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{21; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{21; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{21; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{21; 5}}{-1} & \htmlTitle{S_{21; 6}}{-1} & \htmlTitle{S_{21; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{21; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{21; 9}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{21; 10}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{21; 11}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{21; 12}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{21; 13}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{21; 14}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{21; 15}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{21; 16}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{21; 17}}{\zeta_{256}^{120} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{21; 18}}{\zeta_{256}^{120} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{21; 19}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{21; 20}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{21; 21}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & & & & & & & & & & \\ \htmlTitle{S_{22; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{22; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{22; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{22; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{22; 5}}{-1} & \htmlTitle{S_{22; 6}}{-1} & \htmlTitle{S_{22; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{22; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{22; 9}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{22; 10}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{22; 11}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{22; 12}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{22; 13}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{22; 14}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{22; 15}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{22; 16}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{22; 17}}{\zeta_{256}^{120} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{22; 18}}{\zeta_{256}^{120} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{22; 19}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{22; 20}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{22; 21}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{22; 22}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & & & & & & & & & \\ \htmlTitle{S_{23; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 5}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 6}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 9}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 10}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 13}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 14}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 15}}{0} & \htmlTitle{S_{23; 16}}{0} & \htmlTitle{S_{23; 17}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 18}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 19}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 20}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 21}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{23; 22}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{23; 23}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & & & & & & & & \\ \htmlTitle{S_{24; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 5}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 6}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 9}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 10}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 12}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 13}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 14}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 15}}{0} & \htmlTitle{S_{24; 16}}{0} & \htmlTitle{S_{24; 17}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 18}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 19}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 20}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 21}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{24; 22}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 23}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{24; 24}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & & & & & & & \\ \htmlTitle{S_{25; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{25; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{25; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{25; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{25; 5}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{25; 6}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{25; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{25; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{25; 9}}{1} & \htmlTitle{S_{25; 10}}{1} & \htmlTitle{S_{25; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{25; 12}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{25; 13}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{25; 14}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{25; 15}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{25; 16}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{25; 17}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{25; 18}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{25; 19}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{25; 20}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{25; 21}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{25; 22}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{25; 23}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{25; 24}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{25; 25}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & & & & & & \\ \htmlTitle{S_{26; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{26; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{26; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{26; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{26; 5}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{26; 6}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{26; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{26; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{26; 9}}{1} & \htmlTitle{S_{26; 10}}{1} & \htmlTitle{S_{26; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{26; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{26; 13}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{26; 14}}{-\zeta_{256}^{120} - \zeta_{256}^{112} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{26; 15}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{26; 16}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{26; 17}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{26; 18}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{26; 19}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{26; 20}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{26; 21}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{26; 22}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{26; 23}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{26; 24}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{26; 25}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{26; 26}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & & & & & \\ \htmlTitle{S_{27; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 3}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 4}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 5}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 6}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 9}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 10}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 13}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 14}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 15}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 16}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 17}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 18}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 19}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 20}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 21}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 22}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 23}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 24}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 25}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{27; 26}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{27; 27}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & & & & \\ \htmlTitle{S_{28; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 3}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 4}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 5}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 6}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 9}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 10}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 12}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 13}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 14}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 15}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 16}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 17}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 18}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 19}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 20}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 21}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 22}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 23}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 24}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 25}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 26}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{28; 27}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{28; 28}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & & & \\ \htmlTitle{S_{29; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{29; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{29; 3}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{29; 4}}{-\zeta_{256}^{124} + \zeta_{256}^{4}} & \htmlTitle{S_{29; 5}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{29; 6}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{29; 7}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{29; 8}}{\zeta_{256}^{124} + \zeta_{256}^{116} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{29; 9}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{29; 10}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{29; 11}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{29; 12}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{29; 13}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{29; 14}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{29; 15}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{29; 16}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{29; 17}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{29; 18}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{29; 19}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{29; 20}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{29; 21}}{\zeta_{256}^{120} + \zeta_{256}^{112} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{29; 22}}{\zeta_{256}^{120} + \zeta_{256}^{112} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{29; 23}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{29; 24}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{29; 25}}{-\zeta_{256}^{120} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{29; 26}}{-\zeta_{256}^{120} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{29; 27}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{29; 28}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{29; 29}}{-1} & & \\ \htmlTitle{S_{30; 1}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{30; 2}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} - \zeta_{256}^{80} - \zeta_{256}^{72} + \zeta_{256}^{56} + \zeta_{256}^{48} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{30; 3}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{30; 4}}{\zeta_{256}^{124} - \zeta_{256}^{4}} & \htmlTitle{S_{30; 5}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{30; 6}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} + \zeta_{256}^{88} + \zeta_{256}^{80} - \zeta_{256}^{48} - \zeta_{256}^{40} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{30; 7}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{30; 8}}{-\zeta_{256}^{124} - \zeta_{256}^{116} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{30; 9}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{30; 10}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} - \zeta_{256}^{96} - \zeta_{256}^{88} + \zeta_{256}^{40} + \zeta_{256}^{32} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{30; 11}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{30; 12}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{30; 13}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{30; 14}}{\zeta_{256}^{120} + \zeta_{256}^{112} + \zeta_{256}^{104} + \zeta_{256}^{96} - \zeta_{256}^{32} - \zeta_{256}^{24} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{30; 15}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{30; 16}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{30; 17}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{30; 18}}{-\zeta_{256}^{120} - \zeta_{256}^{112} - \zeta_{256}^{104} + \zeta_{256}^{24} + \zeta_{256}^{16} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{30; 19}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{30; 20}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{30; 21}}{\zeta_{256}^{120} + \zeta_{256}^{112} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{30; 22}}{\zeta_{256}^{120} + \zeta_{256}^{112} - \zeta_{256}^{16} - \zeta_{256}^{8} - 1} & \htmlTitle{S_{30; 23}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{30; 24}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{30; 25}}{-\zeta_{256}^{120} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{30; 26}}{-\zeta_{256}^{120} + \zeta_{256}^{8} + 1} & \htmlTitle{S_{30; 27}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{30; 28}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{30; 29}}{-1} & \htmlTitle{S_{30; 30}}{-1} & \\ \htmlTitle{S_{31; 1}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{31; 2}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{31; 3}}{0} & \htmlTitle{S_{31; 4}}{0} & \htmlTitle{S_{31; 5}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{31; 6}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{31; 7}}{0} & \htmlTitle{S_{31; 8}}{0} & \htmlTitle{S_{31; 9}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{31; 10}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{31; 11}}{0} & \htmlTitle{S_{31; 12}}{0} & \htmlTitle{S_{31; 13}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{31; 14}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{31; 15}}{0} & \htmlTitle{S_{31; 16}}{0} & \htmlTitle{S_{31; 17}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{31; 18}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{31; 19}}{0} & \htmlTitle{S_{31; 20}}{0} & \htmlTitle{S_{31; 21}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{31; 22}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{31; 23}}{0} & \htmlTitle{S_{31; 24}}{0} & \htmlTitle{S_{31; 25}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{31; 26}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{31; 27}}{0} & \htmlTitle{S_{31; 28}}{0} & \htmlTitle{S_{31; 29}}{\zeta_{256}^{124} + \zeta_{256}^{116} + \zeta_{256}^{108} + \zeta_{256}^{100} + \zeta_{256}^{92} + \zeta_{256}^{84} + \zeta_{256}^{76} + \zeta_{256}^{68} - \zeta_{256}^{60} - \zeta_{256}^{52} - \zeta_{256}^{44} - \zeta_{256}^{36} - \zeta_{256}^{28} - \zeta_{256}^{20} - \zeta_{256}^{12} - \zeta_{256}^{4}} & \htmlTitle{S_{31; 30}}{-\zeta_{256}^{124} - \zeta_{256}^{116} - \zeta_{256}^{108} - \zeta_{256}^{100} - \zeta_{256}^{92} - \zeta_{256}^{84} - \zeta_{256}^{76} - \zeta_{256}^{68} + \zeta_{256}^{60} + \zeta_{256}^{52} + \zeta_{256}^{44} + \zeta_{256}^{36} + \zeta_{256}^{28} + \zeta_{256}^{20} + \zeta_{256}^{12} + \zeta_{256}^{4}} & \htmlTitle{S_{31; 31}}{0}\end{array}\right) \]

Central Charge

\[c = \frac{45}{16} \]