Quelle  nri16_5.nr   Sprache: unbekannt

NI16_5 := rec(
  group_name := "16/5",
  group_generators := [ (1,2), (3,4), (5,6), (7,8) ],
  elements := rec(
      1 := (),
      2 := (7,8),
      3 := (5,6),
      4 := (5,6)(7,8),
      5 := (3,4),
      6 := (3,4)(7,8),
      7 := (3,4)(5,6),
      8 := (3,4)(5,6)(7,8),
      9 := (1,2),
      10 := (1,2)(7,8),
      11 := (1,2)(5,6),
      12 := (1,2)(5,6)(7,8),
      13 := (1,2)(3,4),
      14 := (1,2)(3,4)(7,8),
      15 := (1,2)(3,4)(5,6),
      16 := (1,2)(3,4)(5,6)(7,8) ),
  group_endomorphisms := rec(
      1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ],
      858 := [ 1, 1, 4, 4, 6, 6, 7, 7, 10, 10, 11, 11, 13, 13, 16, 16 ],
      3994 := [ 1, 1, 16, 16, 10, 10, 7, 7, 10, 10, 7, 7, 1, 1, 16, 16 ],
      4096 := [ 1, 1, 16, 16, 16, 16, 1, 1, 16, 16, 1, 1, 1, 1, 16, 16 ],
      8571 := [ 1, 3, 2, 4, 8, 6, 7, 5, 12, 10, 11, 9, 13, 15, 14, 16 ],
      8696 := [ 1, 3, 2, 4, 16, 14, 15, 13, 9, 11, 10, 12, 8, 6, 7, 5 ],
      8738 := [ 1, 3, 3, 1, 3, 1, 1, 3, 3, 1, 1, 3, 1, 3, 3, 1 ],
      8827 := [ 1, 3, 3, 1, 8, 6, 6, 8, 12, 10, 10, 12, 13, 15, 15, 13 ],
      8944 := [ 1, 3, 3, 1, 16, 14, 14, 16, 1, 3, 3, 1, 16, 14, 14, 16 ],
      9205 := [ 1, 3, 4, 2, 16, 14, 13, 15, 6, 8, 7, 5, 11, 9, 10, 12 ],
      10653 := [ 1, 3, 10, 12, 10, 12, 1, 3, 14, 16, 5, 7, 5, 7, 14, 16 ],
      10955 := [ 1, 3, 11, 9, 13, 15, 7, 5, 12, 10, 2, 4, 8, 6, 14, 16 ],
      11197 := [ 1, 3, 12, 10, 12, 10, 1, 3, 14, 16, 7, 5, 7, 5, 14, 16 ],
      11707 := [ 1, 3, 14, 16, 12, 10, 7, 5, 12, 10, 7, 5, 1, 3, 14, 16 ],
      11775 := [ 1, 3, 14, 16, 16, 14, 3, 1, 16, 14, 3, 1, 1, 3, 14, 16 ],
      12064 := [ 1, 3, 16, 14, 3, 1, 14, 16, 1, 3, 16, 14, 3, 1, 14, 16 ],
      12187 := [ 1, 3, 16, 14, 10, 12, 7, 5, 12, 10, 5, 7, 3, 1, 14, 16 ],
      12197 := [ 1, 3, 16, 14, 11, 9, 6, 8, 6, 8, 11, 9, 16, 14, 1, 3 ],
      12198 := [ 1, 3, 16, 14, 11, 9, 6, 8, 7, 5, 10, 12, 13, 15, 4, 2 ],
      12264 := [ 1, 3, 16, 14, 15, 13, 2, 4, 9, 11, 8, 6, 7, 5, 10, 12 ],
      12265 := [ 1, 3, 16, 14, 15, 13, 2, 4, 10, 12, 7, 5, 8, 6, 9, 11 ],
      12272 := [ 1, 3, 16, 14, 16, 14, 1, 3, 1, 3, 16, 14, 16, 14, 1, 3 ],
      12274 := [ 1, 3, 16, 14, 16, 14, 1, 3, 3, 1, 14, 16, 14, 16, 3, 1 ],
      12278 := [ 1, 3, 16, 14, 16, 14, 1, 3, 7, 5, 10, 12, 10, 12, 7, 5 ],
      12282 := [ 1, 3, 16, 14, 16, 14, 1, 3, 11, 9, 6, 8, 6, 8, 11, 9 ],
      12285 := [ 1, 3, 16, 14, 16, 14, 1, 3, 14, 16, 3, 1, 3, 1, 14, 16 ],
      12287 := [ 1, 3, 16, 14, 16, 14, 1, 3, 16, 14, 1, 3, 1, 3, 16, 14 ],
      12291 := [ 1, 4, 1, 4, 1, 4, 1, 4, 4, 1, 4, 1, 4, 1, 4, 1 ],
      12300 := [ 1, 4, 1, 4, 1, 4, 1, 4, 13, 16, 13, 16, 13, 16, 13, 16 ],
      12336 := [ 1, 4, 1, 4, 4, 1, 4, 1, 1, 4, 1, 4, 4, 1, 4, 1 ],
      12339 := [ 1, 4, 1, 4, 4, 1, 4, 1, 4, 1, 4, 1, 1, 4, 1, 4 ],
      12360 := [ 1, 4, 1, 4, 5, 8, 5, 8, 9, 12, 9, 12, 13, 16, 13, 16 ],
      12394 := [ 1, 4, 1, 4, 7, 6, 7, 6, 11, 10, 11, 10, 13, 16, 13, 16 ],
      12442 := [ 1, 4, 1, 4, 10, 11, 10, 11, 11, 10, 11, 10, 4, 1, 4, 1 ],
      12472 := [ 1, 4, 1, 4, 12, 9, 12, 9, 9, 12, 9, 12, 4, 1, 4, 1 ],
      12531 := [ 1, 4, 1, 4, 16, 13, 16, 13, 4, 1, 4, 1, 13, 16, 13, 16 ],
      12733 := [ 1, 4, 2, 3, 12, 9, 11, 10, 14, 15, 13, 16, 7, 6, 8, 5 ],
      12874 := [ 1, 4, 3, 2, 5, 8, 7, 6, 11, 10, 9, 12, 15, 14, 13, 16 ],
      12951 := [ 1, 4, 3, 2, 10, 11, 12, 9, 8, 5, 6, 7, 15, 14, 13, 16 ],
      12981 := [ 1, 4, 3, 2, 12, 9, 10, 11, 6, 7, 8, 5, 15, 14, 13, 16 ],
      13059 := [ 1, 4, 4, 1, 1, 4, 4, 1, 4, 1, 1, 4, 4, 1, 1, 4 ],
      13104 := [ 1, 4, 4, 1, 4, 1, 1, 4, 1, 4, 4, 1, 4, 1, 1, 4 ],
      13107 := [ 1, 4, 4, 1, 4, 1, 1, 4, 4, 1, 1, 4, 1, 4, 4, 1 ],
      13232 := [ 1, 4, 4, 1, 12, 9, 9, 12, 1, 4, 4, 1, 12, 9, 9, 12 ],
      13293 := [ 1, 4, 4, 1, 15, 14, 14, 15, 14, 15, 15, 14, 4, 1, 1, 4 ],
      13311 := [ 1, 4, 4, 1, 16, 13, 13, 16, 16, 13, 13, 16, 1, 4, 4, 1 ],
      14106 := [ 1, 4, 8, 5, 2, 3, 7, 6, 11, 10, 14, 15, 12, 9, 13, 16 ],
      14475 := [ 1, 4, 9, 12, 9, 12, 1, 4, 12, 9, 4, 1, 4, 1, 12, 9 ],
      14657 := [ 1, 4, 10, 11, 5, 8, 14, 15, 2, 3, 9, 12, 6, 7, 13, 16 ],
      15074 := [ 1, 4, 11, 10, 15, 14, 5, 8, 3, 2, 9, 12, 13, 16, 7, 6 ],
      15112 := [ 1, 4, 12, 9, 1, 4, 12, 9, 9, 12, 4, 1, 9, 12, 4, 1 ],
      15283 := [ 1, 4, 12, 9, 12, 9, 1, 4, 4, 1, 9, 12, 9, 12, 4, 1 ],
      15288 := [ 1, 4, 12, 9, 12, 9, 1, 4, 9, 12, 4, 1, 4, 1, 9, 12 ],
      15291 := [ 1, 4, 12, 9, 12, 9, 1, 4, 12, 9, 1, 4, 1, 4, 12, 9 ],
      15720 := [ 1, 4, 14, 15, 7, 6, 12, 9, 9, 12, 6, 7, 15, 14, 4, 1 ],
      15777 := [ 1, 4, 14, 15, 11, 10, 8, 5, 2, 3, 13, 16, 12, 9, 7, 6 ],
      15794 := [ 1, 4, 14, 15, 12, 9, 7, 6, 3, 2, 16, 13, 10, 11, 5, 8 ],
      15799 := [ 1, 4, 14, 15, 12, 9, 7, 6, 8, 5, 11, 10, 13, 16, 2, 3 ],
      15827 := [ 1, 4, 14, 15, 14, 15, 1, 4, 4, 1, 15, 14, 15, 14, 4, 1 ],
      16109 := [ 1, 4, 15, 14, 15, 14, 1, 4, 14, 15, 4, 1, 4, 1, 14, 15 ],
      16282 := [ 1, 4, 16, 13, 10, 11, 7, 6, 11, 10, 6, 7, 4, 1, 13, 16 ],
      16380 := [ 1, 4, 16, 13, 16, 13, 1, 4, 13, 16, 4, 1, 4, 1, 13, 16 ],
      16388 := [ 1, 5, 1, 5, 1, 5, 1, 5, 5, 1, 5, 1, 5, 1, 5, 1 ],
      16448 := [ 1, 5, 1, 5, 5, 1, 5, 1, 1, 5, 1, 5, 5, 1, 5, 1 ],
      16452 := [ 1, 5, 1, 5, 5, 1, 5, 1, 5, 1, 5, 1, 1, 5, 1, 5 ],
      16463 := [ 1, 5, 1, 5, 5, 1, 5, 1, 16, 12, 16, 12, 12, 16, 12, 16 ],
      16493 := [ 1, 5, 1, 5, 7, 3, 7, 3, 14, 10, 14, 10, 12, 16, 12, 16 ],
      16515 := [ 1, 5, 1, 5, 9, 13, 9, 13, 4, 8, 4, 8, 12, 16, 12, 16 ],
      16628 := [ 1, 5, 1, 5, 16, 12, 16, 12, 5, 1, 5, 1, 12, 16, 12, 16 ],
      16932 := [ 1, 5, 3, 7, 3, 7, 1, 5, 5, 1, 7, 3, 7, 3, 5, 1 ],
      16964 := [ 1, 5, 3, 7, 5, 1, 7, 3, 5, 1, 7, 3, 1, 5, 3, 7 ],
      16973 := [ 1, 5, 3, 7, 5, 1, 7, 3, 14, 10, 16, 12, 10, 14, 12, 16 ],
      17040 := [ 1, 5, 3, 7, 10, 14, 12, 16, 1, 5, 3, 7, 10, 14, 12, 16 ],
      17241 := [ 1, 5, 4, 8, 6, 2, 7, 3, 10, 14, 11, 15, 13, 9, 16, 12 ],
      17412 := [ 1, 5, 5, 1, 1, 5, 5, 1, 5, 1, 1, 5, 5, 1, 1, 5 ],
      17472 := [ 1, 5, 5, 1, 5, 1, 1, 5, 1, 5, 5, 1, 5, 1, 1, 5 ],
      17476 := [ 1, 5, 5, 1, 5, 1, 1, 5, 5, 1, 1, 5, 1, 5, 5, 1 ],
      17485 := [ 1, 5, 5, 1, 5, 1, 1, 5, 14, 10, 10, 14, 10, 14, 14, 10 ],
      17527 := [ 1, 5, 5, 1, 8, 4, 4, 8, 8, 4, 4, 8, 1, 5, 5, 1 ],
      17552 := [ 1, 5, 5, 1, 10, 14, 14, 10, 1, 5, 5, 1, 10, 14, 14, 10 ],
      17568 := [ 1, 5, 5, 1, 11, 15, 15, 11, 1, 5, 5, 1, 11, 15, 15, 11 ],
      17632 := [ 1, 5, 5, 1, 15, 11, 11, 15, 1, 5, 5, 1, 15, 11, 11, 15 ],
      17648 := [ 1, 5, 5, 1, 16, 12, 12, 16, 1, 5, 5, 1, 16, 12, 12, 16 ],
      17725 := [ 1, 5, 6, 2, 4, 8, 7, 3, 14, 10, 9, 13, 15, 11, 12, 16 ],
      18009 := [ 1, 5, 7, 3, 6, 2, 4, 8, 10, 14, 16, 12, 13, 9, 11, 15 ],
      18200 := [ 1, 5, 8, 4, 2, 6, 7, 3, 9, 13, 16, 12, 10, 14, 15, 11 ],
      18203 := [ 1, 5, 8, 4, 2, 6, 7, 3, 12, 16, 13, 9, 11, 15, 14, 10 ],
      18205 := [ 1, 5, 8, 4, 2, 6, 7, 3, 14, 10, 11, 15, 13, 9, 12, 16 ],
      18206 := [ 1, 5, 8, 4, 2, 6, 7, 3, 15, 11, 10, 14, 16, 12, 9, 13 ],
      18222 := [ 1, 5, 8, 4, 3, 7, 6, 2, 15, 11, 10, 14, 13, 9, 12, 16 ],
      18224 := [ 1, 5, 8, 4, 4, 8, 5, 1, 1, 5, 8, 4, 4, 8, 5, 1 ],
      18228 := [ 1, 5, 8, 4, 4, 8, 5, 1, 5, 1, 4, 8, 8, 4, 1, 5 ],
      18244 := [ 1, 5, 8, 4, 5, 1, 4, 8, 5, 1, 4, 8, 1, 5, 8, 4 ],
      18247 := [ 1, 5, 8, 4, 5, 1, 4, 8, 8, 4, 1, 5, 4, 8, 5, 1 ],
      18253 := [ 1, 5, 8, 4, 5, 1, 4, 8, 14, 10, 11, 15, 10, 14, 15, 11 ],
      18288 := [ 1, 5, 8, 4, 8, 4, 1, 5, 1, 5, 8, 4, 8, 4, 1, 5 ],
      18295 := [ 1, 5, 8, 4, 8, 4, 1, 5, 8, 4, 1, 5, 1, 5, 8, 4 ],
      18411 := [ 1, 5, 8, 4, 15, 11, 10, 14, 12, 16, 13, 9, 6, 2, 3, 7 ],
      18429 := [ 1, 5, 8, 4, 16, 12, 9, 13, 14, 10, 11, 15, 3, 7, 6, 2 ],
      18765 := [ 1, 5, 10, 14, 5, 1, 14, 10, 14, 10, 5, 1, 10, 14, 1, 5 ],
      18783 := [ 1, 5, 10, 14, 6, 2, 13, 9, 16, 12, 7, 3, 11, 15, 4, 8 ],
      18832 := [ 1, 5, 10, 14, 10, 14, 1, 5, 1, 5, 10, 14, 10, 14, 1, 5 ],
      18836 := [ 1, 5, 10, 14, 10, 14, 1, 5, 5, 1, 14, 10, 14, 10, 5, 1 ],
      18843 := [ 1, 5, 10, 14, 10, 14, 1, 5, 12, 16, 3, 7, 3, 7, 12, 16 ],
      18845 := [ 1, 5, 10, 14, 10, 14, 1, 5, 14, 10, 5, 1, 5, 1, 14, 10 ],
      19008 := [ 1, 5, 11, 15, 5, 1, 15, 11, 1, 5, 11, 15, 5, 1, 15, 11 ],
      19102 := [ 1, 5, 11, 15, 10, 14, 4, 8, 15, 11, 5, 1, 8, 4, 14, 10 ],
      19215 := [ 1, 5, 12, 16, 1, 5, 12, 16, 16, 12, 5, 1, 16, 12, 5, 1 ],
      19229 := [ 1, 5, 12, 16, 2, 6, 11, 15, 14, 10, 7, 3, 13, 9, 8, 4 ],
      19387 := [ 1, 5, 12, 16, 12, 16, 1, 5, 12, 16, 1, 5, 1, 5, 12, 16 ],
      19421 := [ 1, 5, 12, 16, 14, 10, 7, 3, 14, 10, 7, 3, 1, 5, 12, 16 ],
      19901 := [ 1, 5, 14, 10, 12, 16, 7, 3, 14, 10, 1, 5, 7, 3, 12, 16 ],
      19997 := [ 1, 5, 15, 11, 2, 6, 16, 12, 14, 10, 4, 8, 13, 9, 3, 7 ],
      20055 := [ 1, 5, 15, 11, 6, 2, 12, 16, 8, 4, 10, 14, 3, 7, 13, 9 ],
      20235 := [ 1, 5, 16, 12, 1, 5, 16, 12, 12, 16, 5, 1, 12, 16, 5, 1 ],
      20248 := [ 1, 5, 16, 12, 2, 6, 15, 11, 9, 13, 8, 4, 10, 14, 7, 3 ],
      20262 := [ 1, 5, 16, 12, 3, 7, 14, 10, 7, 3, 10, 14, 5, 1, 12, 16 ],
      20281 := [ 1, 5, 16, 12, 4, 8, 13, 9, 10, 14, 7, 3, 11, 15, 6, 2 ],
      20288 := [ 1, 5, 16, 12, 5, 1, 12, 16, 1, 5, 16, 12, 5, 1, 12, 16 ],
      20307 := [ 1, 5, 16, 12, 6, 2, 11, 15, 4, 8, 13, 9, 7, 3, 10, 14 ],
      20368 := [ 1, 5, 16, 12, 10, 14, 7, 3, 1, 5, 16, 12, 10, 14, 7, 3 ],
      20378 := [ 1, 5, 16, 12, 10, 14, 7, 3, 11, 15, 6, 2, 4, 8, 13, 9 ],
      20381 := [ 1, 5, 16, 12, 10, 14, 7, 3, 14, 10, 3, 7, 5, 1, 12, 16 ],
      20383 := [ 1, 5, 16, 12, 10, 14, 7, 3, 16, 12, 1, 5, 7, 3, 10, 14 ],
      20400 := [ 1, 5, 16, 12, 12, 16, 5, 1, 1, 5, 16, 12, 12, 16, 5, 1 ],
      20464 := [ 1, 5, 16, 12, 16, 12, 1, 5, 1, 5, 16, 12, 16, 12, 1, 5 ],
      20468 := [ 1, 5, 16, 12, 16, 12, 1, 5, 5, 1, 12, 16, 12, 16, 5, 1 ],
      20470 := [ 1, 5, 16, 12, 16, 12, 1, 5, 7, 3, 10, 14, 10, 14, 7, 3 ],
      20473 := [ 1, 5, 16, 12, 16, 12, 1, 5, 10, 14, 7, 3, 7, 3, 10, 14 ],
      20475 := [ 1, 5, 16, 12, 16, 12, 1, 5, 12, 16, 5, 1, 5, 1, 12, 16 ],
      20485 := [ 1, 6, 1, 6, 1, 6, 1, 6, 6, 1, 6, 1, 6, 1, 6, 1 ],
      20490 := [ 1, 6, 1, 6, 1, 6, 1, 6, 11, 16, 11, 16, 11, 16, 11, 16 ],
      20560 := [ 1, 6, 1, 6, 6, 1, 6, 1, 1, 6, 1, 6, 6, 1, 6, 1 ],
      20565 := [ 1, 6, 1, 6, 6, 1, 6, 1, 6, 1, 6, 1, 1, 6, 1, 6 ],
      20588 := [ 1, 6, 1, 6, 7, 4, 7, 4, 13, 10, 13, 10, 11, 16, 11, 16 ],
      21004 := [ 1, 6, 3, 8, 1, 6, 3, 8, 13, 10, 15, 12, 13, 10, 15, 12 ],
      21034 := [ 1, 6, 3, 8, 3, 8, 1, 6, 11, 16, 9, 14, 9, 14, 11, 16 ],
      21068 := [ 1, 6, 3, 8, 5, 2, 7, 4, 13, 10, 15, 12, 9, 14, 11, 16 ],
      21137 := [ 1, 6, 3, 8, 10, 13, 12, 15, 2, 5, 4, 7, 9, 14, 11, 16 ],
      21277 := [ 1, 6, 4, 7, 2, 5, 3, 8, 14, 9, 15, 12, 13, 10, 16, 11 ],
      21302 := [ 1, 6, 4, 7, 4, 7, 1, 6, 7, 4, 6, 1, 6, 1, 7, 4 ],
      21760 := [ 1, 6, 6, 1, 1, 6, 6, 1, 1, 6, 6, 1, 1, 6, 6, 1 ],
      21765 := [ 1, 6, 6, 1, 1, 6, 6, 1, 6, 1, 1, 6, 6, 1, 1, 6 ],
      21772 := [ 1, 6, 6, 1, 1, 6, 6, 1, 13, 10, 10, 13, 13, 10, 10, 13 ],
      21775 := [ 1, 6, 6, 1, 1, 6, 6, 1, 16, 11, 11, 16, 16, 11, 11, 16 ],
      21823 := [ 1, 6, 6, 1, 4, 7, 7, 4, 16, 11, 11, 16, 13, 10, 10, 13 ],
      21840 := [ 1, 6, 6, 1, 6, 1, 1, 6, 1, 6, 6, 1, 6, 1, 1, 6 ],
      21843 := [ 1, 6, 6, 1, 6, 1, 1, 6, 4, 7, 7, 4, 7, 4, 4, 7 ],
      21845 := [ 1, 6, 6, 1, 6, 1, 1, 6, 6, 1, 1, 6, 1, 6, 6, 1 ],
      21846 := [ 1, 6, 6, 1, 6, 1, 1, 6, 7, 4, 4, 7, 4, 7, 7, 4 ],
      21856 := [ 1, 6, 6, 1, 7, 4, 4, 7, 1, 6, 6, 1, 7, 4, 4, 7 ],
      21861 := [ 1, 6, 6, 1, 7, 4, 4, 7, 6, 1, 1, 6, 4, 7, 7, 4 ],
      21862 := [ 1, 6, 6, 1, 7, 4, 4, 7, 7, 4, 4, 7, 1, 6, 6, 1 ],
      21884 := [ 1, 6, 6, 1, 8, 3, 3, 8, 13, 10, 10, 13, 12, 15, 15, 12 ],
      21888 := [ 1, 6, 6, 1, 9, 14, 14, 9, 1, 6, 6, 1, 9, 14, 14, 9 ],
      21904 := [ 1, 6, 6, 1, 10, 13, 13, 10, 1, 6, 6, 1, 10, 13, 13, 10 ],
      21968 := [ 1, 6, 6, 1, 14, 9, 9, 14, 1, 6, 6, 1, 14, 9, 9, 14 ],
      21984 := [ 1, 6, 6, 1, 15, 12, 12, 15, 1, 6, 6, 1, 15, 12, 12, 15 ],
      22000 := [ 1, 6, 6, 1, 16, 11, 11, 16, 1, 6, 6, 1, 16, 11, 11, 16 ],
      22015 := [ 1, 6, 6, 1, 16, 11, 11, 16, 16, 11, 11, 16, 1, 6, 6, 1 ],
      22016 := [ 1, 6, 7, 4, 1, 6, 7, 4, 1, 6, 7, 4, 1, 6, 7, 4 ],
      22019 := [ 1, 6, 7, 4, 1, 6, 7, 4, 4, 7, 6, 1, 4, 7, 6, 1 ],
      22021 := [ 1, 6, 7, 4, 1, 6, 7, 4, 6, 1, 4, 7, 6, 1, 4, 7 ],
      22028 := [ 1, 6, 7, 4, 1, 6, 7, 4, 13, 10, 11, 16, 13, 10, 11, 16 ],
      22115 := [ 1, 6, 7, 4, 7, 4, 1, 6, 4, 7, 6, 1, 6, 1, 4, 7 ],
      22301 := [ 1, 6, 8, 3, 2, 5, 7, 4, 14, 9, 11, 16, 13, 10, 12, 15 ],
      22608 := [ 1, 6, 9, 14, 6, 1, 14, 9, 1, 6, 9, 14, 6, 1, 14, 9 ],
      22669 := [ 1, 6, 9, 14, 9, 14, 1, 6, 14, 9, 6, 1, 6, 1, 14, 9 ],
      22742 := [ 1, 6, 9, 14, 14, 9, 6, 1, 7, 4, 15, 12, 12, 15, 4, 7 ],
      22764 := [ 1, 6, 9, 14, 15, 12, 7, 4, 13, 10, 5, 2, 3, 8, 11, 16 ],
      22796 := [ 1, 6, 10, 13, 1, 6, 10, 13, 13, 10, 6, 1, 13, 10, 6, 1 ],
      22817 := [ 1, 6, 10, 13, 3, 8, 12, 15, 2, 5, 9, 14, 4, 7, 11, 16 ],
      22855 := [ 1, 6, 10, 13, 5, 2, 14, 9, 8, 3, 15, 12, 4, 7, 11, 16 ],
      22869 := [ 1, 6, 10, 13, 6, 1, 13, 10, 6, 1, 13, 10, 1, 6, 10, 13 ],
      22938 := [ 1, 6, 10, 13, 10, 13, 1, 6, 11, 16, 4, 7, 4, 7, 11, 16 ],
      23036 := [ 1, 6, 10, 13, 16, 11, 7, 4, 13, 10, 6, 1, 4, 7, 11, 16 ],
      23040 := [ 1, 6, 11, 16, 1, 6, 11, 16, 1, 6, 11, 16, 1, 6, 11, 16 ],
      23295 := [ 1, 6, 11, 16, 16, 11, 6, 1, 16, 11, 6, 1, 1, 6, 11, 16 ],
      23301 := [ 1, 6, 12, 15, 1, 6, 12, 15, 6, 1, 15, 12, 6, 1, 15, 12 ],
      23319 := [ 1, 6, 12, 15, 2, 5, 11, 16, 8, 3, 13, 10, 7, 4, 14, 9 ],
      23472 := [ 1, 6, 12, 15, 12, 15, 1, 6, 1, 6, 12, 15, 12, 15, 1, 6 ],
      23477 := [ 1, 6, 12, 15, 12, 15, 1, 6, 6, 1, 15, 12, 15, 12, 6, 1 ],
      23583 := [ 1, 6, 13, 10, 2, 5, 14, 9, 16, 11, 4, 7, 15, 12, 3, 8 ],
      23672 := [ 1, 6, 13, 10, 8, 3, 12, 15, 9, 14, 5, 2, 16, 11, 4, 7 ],
      23816 := [ 1, 6, 14, 9, 1, 6, 14, 9, 9, 14, 6, 1, 9, 14, 6, 1 ],
      23835 := [ 1, 6, 14, 9, 2, 5, 13, 10, 12, 15, 7, 4, 11, 16, 8, 3 ],
      23860 := [ 1, 6, 14, 9, 4, 7, 15, 12, 5, 2, 10, 13, 8, 3, 11, 16 ],
      23875 := [ 1, 6, 14, 9, 5, 2, 10, 13, 4, 7, 15, 12, 8, 3, 11, 16 ],
      23921 := [ 1, 6, 14, 9, 8, 3, 11, 16, 2, 5, 13, 10, 7, 4, 12, 15 ],
      23951 := [ 1, 6, 14, 9, 9, 14, 6, 1, 16, 11, 3, 8, 8, 3, 11, 16 ],
      23985 := [ 1, 6, 14, 9, 12, 15, 7, 4, 2, 5, 13, 10, 11, 16, 8, 3 ],
      23996 := [ 1, 6, 14, 9, 12, 15, 7, 4, 13, 10, 2, 5, 8, 3, 11, 16 ],
      24018 := [ 1, 6, 14, 9, 14, 9, 1, 6, 3, 8, 16, 11, 16, 11, 3, 8 ],
      24021 := [ 1, 6, 14, 9, 14, 9, 1, 6, 6, 1, 9, 14, 9, 14, 6, 1 ],
      24023 := [ 1, 6, 14, 9, 14, 9, 1, 6, 8, 3, 11, 16, 11, 16, 8, 3 ],
      24056 := [ 1, 6, 14, 9, 16, 11, 3, 8, 9, 14, 6, 1, 8, 3, 11, 16 ],
      24299 := [ 1, 6, 15, 12, 15, 12, 1, 6, 12, 15, 6, 1, 6, 1, 12, 15 ],
      24476 := [ 1, 6, 16, 11, 10, 13, 7, 4, 13, 10, 4, 7, 6, 1, 11, 16 ],
      24533 := [ 1, 6, 16, 11, 14, 9, 3, 8, 6, 1, 11, 16, 9, 14, 8, 3 ],
      24570 := [ 1, 6, 16, 11, 16, 11, 1, 6, 11, 16, 6, 1, 6, 1, 11, 16 ],
      24582 := [ 1, 7, 1, 7, 1, 7, 1, 7, 7, 1, 7, 1, 7, 1, 7, 1 ],
      24672 := [ 1, 7, 1, 7, 7, 1, 7, 1, 1, 7, 1, 7, 7, 1, 7, 1 ],
      24678 := [ 1, 7, 1, 7, 7, 1, 7, 1, 7, 1, 7, 1, 1, 7, 1, 7 ],
      24687 := [ 1, 7, 1, 7, 7, 1, 7, 1, 16, 10, 16, 10, 10, 16, 10, 16 ],
      24748 := [ 1, 7, 1, 7, 11, 13, 11, 13, 13, 11, 13, 11, 7, 1, 7, 1 ],
      24765 := [ 1, 7, 1, 7, 12, 14, 12, 14, 14, 12, 14, 12, 7, 1, 7, 1 ],
      24795 := [ 1, 7, 1, 7, 14, 12, 14, 12, 12, 14, 12, 14, 7, 1, 7, 1 ],
      24825 := [ 1, 7, 1, 7, 16, 10, 16, 10, 10, 16, 10, 16, 7, 1, 7, 1 ],
      25022 := [ 1, 7, 2, 8, 12, 14, 11, 13, 15, 9, 16, 10, 6, 4, 5, 3 ],
      25048 := [ 1, 7, 2, 8, 14, 12, 13, 11, 9, 15, 10, 16, 6, 4, 5, 3 ],
      25144 := [ 1, 7, 3, 5, 4, 6, 2, 8, 9, 15, 11, 13, 12, 14, 10, 16 ],
      25151 := [ 1, 7, 3, 5, 4, 6, 2, 8, 16, 10, 14, 12, 13, 11, 15, 9 ],
      25167 := [ 1, 7, 3, 5, 5, 3, 7, 1, 16, 10, 14, 12, 12, 14, 10, 16 ],
      25219 := [ 1, 7, 3, 5, 9, 15, 11, 13, 4, 6, 2, 8, 12, 14, 10, 16 ],
      25332 := [ 1, 7, 3, 5, 16, 10, 14, 12, 5, 3, 7, 1, 12, 14, 10, 16 ],
      25443 := [ 1, 7, 4, 6, 7, 1, 6, 4, 4, 6, 1, 7, 6, 4, 7, 1 ],
      25446 := [ 1, 7, 4, 6, 7, 1, 6, 4, 7, 1, 6, 4, 1, 7, 4, 6 ],
      25842 := [ 1, 7, 5, 3, 16, 10, 12, 14, 3, 5, 7, 1, 14, 12, 10, 16 ],
      25896 := [ 1, 7, 6, 4, 3, 5, 8, 2, 9, 15, 14, 12, 11, 13, 16, 10 ],
      25904 := [ 1, 7, 6, 4, 4, 6, 7, 1, 1, 7, 6, 4, 4, 6, 7, 1 ],
      25910 := [ 1, 7, 6, 4, 4, 6, 7, 1, 7, 1, 4, 6, 6, 4, 1, 7 ],
      25912 := [ 1, 7, 6, 4, 4, 6, 7, 1, 9, 15, 14, 12, 12, 14, 15, 9 ],
      25919 := [ 1, 7, 6, 4, 4, 6, 7, 1, 16, 10, 11, 13, 13, 11, 10, 16 ],
      25928 := [ 1, 7, 6, 4, 5, 3, 2, 8, 9, 15, 14, 12, 13, 11, 10, 16 ],
      25935 := [ 1, 7, 6, 4, 5, 3, 2, 8, 16, 10, 11, 13, 12, 14, 15, 9 ],
      25952 := [ 1, 7, 6, 4, 7, 1, 4, 6, 1, 7, 6, 4, 7, 1, 4, 6 ],
      25955 := [ 1, 7, 6, 4, 7, 1, 4, 6, 4, 6, 7, 1, 6, 4, 1, 7 ],
      25958 := [ 1, 7, 6, 4, 7, 1, 4, 6, 7, 1, 4, 6, 1, 7, 6, 4 ],
      26112 := [ 1, 7, 7, 1, 1, 7, 7, 1, 1, 7, 7, 1, 1, 7, 7, 1 ],
      26118 := [ 1, 7, 7, 1, 1, 7, 7, 1, 7, 1, 1, 7, 7, 1, 1, 7 ],
      26124 := [ 1, 7, 7, 1, 1, 7, 7, 1, 13, 11, 11, 13, 13, 11, 11, 13 ],
      26127 := [ 1, 7, 7, 1, 1, 7, 7, 1, 16, 10, 10, 16, 16, 10, 10, 16 ],
      26160 := [ 1, 7, 7, 1, 4, 6, 6, 4, 1, 7, 7, 1, 4, 6, 6, 4 ],
      26166 := [ 1, 7, 7, 1, 4, 6, 6, 4, 7, 1, 1, 7, 6, 4, 4, 6 ],
      26175 := [ 1, 7, 7, 1, 4, 6, 6, 4, 16, 10, 10, 16, 13, 11, 11, 13 ],
      26192 := [ 1, 7, 7, 1, 6, 4, 4, 6, 1, 7, 7, 1, 6, 4, 4, 6 ],
      26197 := [ 1, 7, 7, 1, 6, 4, 4, 6, 6, 4, 4, 6, 1, 7, 7, 1 ],
      26198 := [ 1, 7, 7, 1, 6, 4, 4, 6, 7, 1, 1, 7, 4, 6, 6, 4 ],
      26208 := [ 1, 7, 7, 1, 7, 1, 1, 7, 1, 7, 7, 1, 7, 1, 1, 7 ],
      26211 := [ 1, 7, 7, 1, 7, 1, 1, 7, 4, 6, 6, 4, 6, 4, 4, 6 ],
      26213 := [ 1, 7, 7, 1, 7, 1, 1, 7, 6, 4, 4, 6, 4, 6, 6, 4 ],
      26214 := [ 1, 7, 7, 1, 7, 1, 1, 7, 7, 1, 1, 7, 1, 7, 7, 1 ],
      26320 := [ 1, 7, 7, 1, 14, 12, 12, 14, 1, 7, 7, 1, 14, 12, 12, 14 ],
      26752 := [ 1, 7, 9, 15, 9, 15, 1, 7, 1, 7, 9, 15, 9, 15, 1, 7 ],
      26856 := [ 1, 7, 9, 15, 15, 9, 7, 1, 9, 15, 1, 7, 7, 1, 15, 9 ],
      26874 := [ 1, 7, 9, 15, 16, 10, 8, 2, 11, 13, 3, 5, 6, 4, 14, 12 ],
      27030 := [ 1, 7, 10, 16, 10, 16, 1, 7, 7, 1, 16, 10, 16, 10, 7, 1 ],
      27117 := [ 1, 7, 10, 16, 15, 9, 8, 2, 14, 12, 5, 3, 4, 6, 11, 13 ],
      27135 := [ 1, 7, 10, 16, 16, 10, 7, 1, 16, 10, 7, 1, 1, 7, 10, 16 ],
      27184 := [ 1, 7, 11, 13, 4, 6, 10, 16, 1, 7, 11, 13, 4, 6, 10, 16 ],
      27306 := [ 1, 7, 11, 13, 11, 13, 1, 7, 11, 13, 1, 7, 1, 7, 11, 13 ],
      27320 := [ 1, 7, 11, 13, 12, 14, 2, 8, 9, 15, 3, 5, 4, 6, 10, 16 ],
      27405 := [ 1, 7, 12, 14, 1, 7, 12, 14, 14, 12, 7, 1, 14, 12, 7, 1 ],
      27488 := [ 1, 7, 12, 14, 7, 1, 14, 12, 1, 7, 12, 14, 7, 1, 14, 12 ],
      27581 := [ 1, 7, 12, 14, 12, 14, 1, 7, 14, 12, 7, 1, 7, 1, 14, 12 ],
      27756 := [ 1, 7, 13, 11, 7, 1, 11, 13, 13, 11, 1, 7, 11, 13, 7, 1 ],
      27852 := [ 1, 7, 13, 11, 13, 11, 1, 7, 13, 11, 1, 7, 1, 7, 13, 11 ],
      28080 := [ 1, 7, 14, 12, 12, 14, 7, 1, 1, 7, 14, 12, 12, 14, 7, 1 ],
      28123 := [ 1, 7, 14, 12, 14, 12, 1, 7, 12, 14, 7, 1, 7, 1, 12, 14 ],
      28315 := [ 1, 7, 15, 9, 10, 16, 8, 2, 12, 14, 6, 4, 3, 5, 13, 11 ],
      28403 := [ 1, 7, 15, 9, 16, 10, 2, 8, 4, 6, 14, 12, 13, 11, 3, 5 ],
      28452 := [ 1, 7, 16, 10, 3, 5, 14, 12, 5, 3, 12, 14, 7, 1, 10, 16 ],
      28482 := [ 1, 7, 16, 10, 5, 3, 12, 14, 3, 5, 14, 12, 7, 1, 10, 16 ],
      28575 := [ 1, 7, 16, 10, 10, 16, 7, 1, 16, 10, 1, 7, 7, 1, 10, 16 ],
      28662 := [ 1, 7, 16, 10, 16, 10, 1, 7, 7, 1, 10, 16, 10, 16, 7, 1 ],
      28665 := [ 1, 7, 16, 10, 16, 10, 1, 7, 10, 16, 7, 1, 7, 1, 10, 16 ],
      28784 := [ 1, 8, 1, 8, 8, 1, 8, 1, 1, 8, 1, 8, 8, 1, 8, 1 ],
      28791 := [ 1, 8, 1, 8, 8, 1, 8, 1, 8, 1, 8, 1, 1, 8, 1, 8 ],
      29223 := [ 1, 8, 3, 6, 3, 6, 1, 8, 8, 1, 6, 3, 6, 3, 8, 1 ],
      29224 := [ 1, 8, 3, 6, 3, 6, 1, 8, 9, 16, 11, 14, 11, 14, 9, 16 ],
      29256 := [ 1, 8, 3, 6, 5, 4, 7, 2, 9, 16, 11, 14, 13, 12, 15, 10 ],
      29262 := [ 1, 8, 3, 6, 5, 4, 7, 2, 15, 10, 13, 12, 11, 14, 9, 16 ],
      29303 := [ 1, 8, 3, 6, 8, 1, 6, 3, 8, 1, 6, 3, 1, 8, 3, 6 ],
      29331 := [ 1, 8, 3, 6, 10, 15, 12, 13, 4, 5, 2, 7, 11, 14, 9, 16 ],
      29382 := [ 1, 8, 3, 6, 13, 12, 15, 10, 7, 2, 5, 4, 11, 14, 9, 16 ],
      29399 := [ 1, 8, 3, 6, 14, 11, 16, 9, 8, 1, 6, 3, 11, 14, 9, 16 ],
      29412 := [ 1, 8, 3, 6, 15, 10, 13, 12, 5, 4, 7, 2, 11, 14, 9, 16 ],
      29686 := [ 1, 8, 4, 5, 16, 9, 13, 12, 7, 2, 6, 3, 10, 15, 11, 14 ],
      29725 := [ 1, 8, 5, 4, 2, 7, 6, 3, 14, 11, 10, 15, 13, 12, 9, 16 ],
      29736 := [ 1, 8, 5, 4, 3, 6, 7, 2, 9, 16, 13, 12, 11, 14, 15, 10 ],
      29739 := [ 1, 8, 5, 4, 3, 6, 7, 2, 12, 13, 16, 9, 10, 15, 14, 11 ],
      29741 := [ 1, 8, 5, 4, 3, 6, 7, 2, 14, 11, 10, 15, 16, 9, 12, 13 ],
      29742 := [ 1, 8, 5, 4, 3, 6, 7, 2, 15, 10, 11, 14, 13, 12, 9, 16 ],
      29760 := [ 1, 8, 5, 4, 5, 4, 1, 8, 1, 8, 5, 4, 5, 4, 1, 8 ],
      29763 := [ 1, 8, 5, 4, 5, 4, 1, 8, 4, 5, 8, 1, 8, 1, 4, 5 ],
      29764 := [ 1, 8, 5, 4, 5, 4, 1, 8, 5, 4, 1, 8, 1, 8, 5, 4 ],
      29767 := [ 1, 8, 5, 4, 5, 4, 1, 8, 8, 1, 4, 5, 4, 5, 8, 1 ],
      29768 := [ 1, 8, 5, 4, 5, 4, 1, 8, 9, 16, 13, 12, 13, 12, 9, 16 ],
      29774 := [ 1, 8, 5, 4, 5, 4, 1, 8, 15, 10, 11, 14, 11, 14, 15, 10 ],
      29784 := [ 1, 8, 5, 4, 6, 3, 2, 7, 9, 16, 13, 12, 14, 11, 10, 15 ],
      29845 := [ 1, 8, 5, 4, 10, 15, 14, 11, 6, 3, 2, 7, 13, 12, 9, 16 ],
      29912 := [ 1, 8, 5, 4, 14, 11, 10, 15, 9, 16, 13, 12, 6, 3, 2, 7 ],
      29944 := [ 1, 8, 5, 4, 16, 9, 12, 13, 9, 16, 13, 12, 8, 1, 4, 5 ],
      30464 := [ 1, 8, 8, 1, 1, 8, 8, 1, 1, 8, 8, 1, 1, 8, 8, 1 ],
      30471 := [ 1, 8, 8, 1, 1, 8, 8, 1, 8, 1, 1, 8, 8, 1, 1, 8 ],
      30507 := [ 1, 8, 8, 1, 3, 6, 6, 3, 12, 13, 13, 12, 10, 15, 15, 10 ],
      30510 := [ 1, 8, 8, 1, 3, 6, 6, 3, 15, 10, 10, 15, 13, 12, 12, 13 ],
      30528 := [ 1, 8, 8, 1, 5, 4, 4, 5, 1, 8, 8, 1, 5, 4, 4, 5 ],
      30576 := [ 1, 8, 8, 1, 8, 1, 1, 8, 1, 8, 8, 1, 8, 1, 1, 8 ],
      30583 := [ 1, 8, 8, 1, 8, 1, 1, 8, 8, 1, 1, 8, 1, 8, 8, 1 ],
      30590 := [ 1, 8, 8, 1, 8, 1, 1, 8, 15, 10, 10, 15, 10, 15, 15, 10 ],
      30624 := [ 1, 8, 8, 1, 11, 14, 14, 11, 1, 8, 8, 1, 11, 14, 14, 11 ],
      30670 := [ 1, 8, 8, 1, 13, 12, 12, 13, 15, 10, 10, 15, 3, 6, 6, 3 ],
      30704 := [ 1, 8, 8, 1, 16, 9, 9, 16, 1, 8, 8, 1, 16, 9, 9, 16 ],
      30946 := [ 1, 8, 9, 16, 15, 10, 7, 2, 3, 6, 11, 14, 13, 12, 5, 4 ],
      30960 := [ 1, 8, 9, 16, 16, 9, 8, 1, 1, 8, 9, 16, 16, 9, 8, 1 ],
      30975 := [ 1, 8, 9, 16, 16, 9, 8, 1, 16, 9, 8, 1, 1, 8, 9, 16 ],
      31045 := [ 1, 8, 10, 15, 5, 4, 14, 11, 6, 3, 13, 12, 2, 7, 9, 16 ],
      31054 := [ 1, 8, 10, 15, 5, 4, 14, 11, 15, 10, 8, 1, 11, 14, 4, 5 ],
      31221 := [ 1, 8, 10, 15, 16, 9, 7, 2, 6, 3, 13, 12, 11, 14, 4, 5 ],
      31344 := [ 1, 8, 11, 14, 8, 1, 14, 11, 1, 8, 11, 14, 8, 1, 14, 11 ],
      31392 := [ 1, 8, 11, 14, 11, 14, 1, 8, 1, 8, 11, 14, 11, 14, 1, 8 ],
      31410 := [ 1, 8, 11, 14, 12, 13, 2, 7, 3, 6, 9, 16, 10, 15, 4, 5 ],
      31653 := [ 1, 8, 12, 13, 11, 14, 2, 7, 6, 3, 15, 10, 16, 9, 5, 4 ],
      31671 := [ 1, 8, 12, 13, 12, 13, 1, 8, 8, 1, 13, 12, 13, 12, 8, 1 ],
      31692 := [ 1, 8, 12, 13, 13, 12, 8, 1, 13, 12, 8, 1, 1, 8, 12, 13 ],
      31710 := [ 1, 8, 12, 13, 14, 11, 7, 2, 15, 10, 6, 3, 4, 5, 9, 16 ],
      31896 := [ 1, 8, 13, 12, 10, 15, 6, 3, 9, 16, 5, 4, 2, 7, 14, 11 ],
      31931 := [ 1, 8, 13, 12, 12, 13, 8, 1, 12, 13, 8, 1, 1, 8, 13, 12 ],
      31936 := [ 1, 8, 13, 12, 13, 12, 1, 8, 1, 8, 13, 12, 13, 12, 1, 8 ],
      31955 := [ 1, 8, 13, 12, 14, 11, 2, 7, 4, 5, 16, 9, 15, 10, 3, 6 ],
      32190 := [ 1, 8, 14, 11, 12, 13, 7, 2, 15, 10, 4, 5, 6, 3, 9, 16 ],
      32215 := [ 1, 8, 14, 11, 14, 11, 1, 8, 8, 1, 11, 14, 11, 14, 8, 1 ],
      32388 := [ 1, 8, 15, 10, 9, 16, 7, 2, 5, 4, 11, 14, 13, 12, 3, 6 ],
      32494 := [ 1, 8, 15, 10, 15, 10, 1, 8, 15, 10, 1, 8, 1, 8, 15, 10 ],
      32549 := [ 1, 8, 16, 9, 3, 6, 14, 11, 6, 3, 11, 14, 8, 1, 9, 16 ],
      32564 := [ 1, 8, 16, 9, 4, 5, 13, 12, 5, 4, 12, 13, 8, 1, 9, 16 ],
      32579 := [ 1, 8, 16, 9, 5, 4, 12, 13, 4, 5, 13, 12, 8, 1, 9, 16 ],
      32655 := [ 1, 8, 16, 9, 9, 16, 8, 1, 16, 9, 1, 8, 8, 1, 9, 16 ],
      32760 := [ 1, 8, 16, 9, 16, 9, 1, 8, 9, 16, 8, 1, 8, 1, 9, 16 ],
      32776 := [ 1, 9, 1, 9, 1, 9, 1, 9, 9, 1, 9, 1, 9, 1, 9, 1 ],
      32820 := [ 1, 9, 1, 9, 4, 12, 4, 12, 5, 13, 5, 13, 8, 16, 8, 16 ],
      32835 := [ 1, 9, 1, 9, 5, 13, 5, 13, 4, 12, 4, 12, 8, 16, 8, 16 ],
      32896 := [ 1, 9, 1, 9, 9, 1, 9, 1, 1, 9, 1, 9, 9, 1, 9, 1 ],
      32904 := [ 1, 9, 1, 9, 9, 1, 9, 1, 9, 1, 9, 1, 1, 9, 1, 9 ],
      32911 := [ 1, 9, 1, 9, 9, 1, 9, 1, 16, 8, 16, 8, 8, 16, 8, 16 ],
      33016 := [ 1, 9, 1, 9, 16, 8, 16, 8, 9, 1, 9, 1, 8, 16, 8, 16 ],
      33319 := [ 1, 9, 3, 11, 3, 11, 1, 9, 8, 16, 6, 14, 6, 14, 8, 16 ],
      33320 := [ 1, 9, 3, 11, 3, 11, 1, 9, 9, 1, 11, 3, 11, 3, 9, 1 ],
      33345 := [ 1, 9, 3, 11, 5, 13, 7, 15, 2, 10, 4, 12, 6, 14, 8, 16 ],
      33351 := [ 1, 9, 3, 11, 5, 13, 7, 15, 8, 16, 6, 14, 4, 12, 2, 10 ],
      33403 := [ 1, 9, 3, 11, 8, 16, 6, 14, 12, 4, 10, 2, 13, 5, 15, 7 ],
      33410 := [ 1, 9, 3, 11, 9, 1, 11, 3, 3, 11, 1, 9, 11, 3, 9, 1 ],
      33416 := [ 1, 9, 3, 11, 9, 1, 11, 3, 9, 1, 11, 3, 1, 9, 3, 11 ],
      33436 := [ 1, 9, 3, 11, 10, 2, 12, 4, 13, 5, 15, 7, 6, 14, 8, 16 ],
      33489 := [ 1, 9, 3, 11, 14, 6, 16, 8, 2, 10, 4, 12, 13, 5, 15, 7 ],
      33496 := [ 1, 9, 3, 11, 14, 6, 16, 8, 9, 1, 11, 3, 6, 14, 8, 16 ],
      33530 := [ 1, 9, 3, 11, 16, 8, 14, 6, 11, 3, 9, 1, 6, 14, 8, 16 ],
      33587 := [ 1, 9, 4, 12, 4, 12, 1, 9, 4, 12, 1, 9, 1, 9, 4, 12 ],
      33595 := [ 1, 9, 4, 12, 4, 12, 1, 9, 12, 4, 9, 1, 9, 1, 12, 4 ],
      33825 := [ 1, 9, 5, 13, 3, 11, 7, 15, 2, 10, 6, 14, 4, 12, 8, 16 ],
      33831 := [ 1, 9, 5, 13, 3, 11, 7, 15, 8, 16, 4, 12, 6, 14, 2, 10 ],
      33837 := [ 1, 9, 5, 13, 3, 11, 7, 15, 14, 6, 10, 2, 16, 8, 12, 4 ],
      33860 := [ 1, 9, 5, 13, 5, 13, 1, 9, 5, 13, 1, 9, 1, 9, 5, 13 ],
      33863 := [ 1, 9, 5, 13, 5, 13, 1, 9, 8, 16, 4, 12, 4, 12, 8, 16 ],
      33864 := [ 1, 9, 5, 13, 5, 13, 1, 9, 9, 1, 13, 5, 13, 5, 9, 1 ],
      33946 := [ 1, 9, 5, 13, 10, 2, 14, 6, 11, 3, 15, 7, 4, 12, 8, 16 ],
      34044 := [ 1, 9, 5, 13, 16, 8, 12, 4, 13, 5, 9, 1, 4, 12, 8, 16 ],
      34141 := [ 1, 9, 6, 14, 6, 14, 1, 9, 14, 6, 9, 1, 9, 1, 14, 6 ],
      34195 := [ 1, 9, 6, 14, 10, 2, 13, 5, 4, 12, 7, 15, 11, 3, 16, 8 ],
      34312 := [ 1, 9, 7, 15, 1, 9, 7, 15, 9, 1, 15, 7, 9, 1, 15, 7 ],
      34400 := [ 1, 9, 7, 15, 7, 15, 1, 9, 1, 9, 7, 15, 7, 15, 1, 9 ],
      34414 := [ 1, 9, 7, 15, 7, 15, 1, 9, 15, 7, 9, 1, 9, 1, 15, 7 ],
      34533 := [ 1, 9, 7, 15, 15, 7, 9, 1, 6, 14, 4, 12, 12, 4, 14, 6 ],
      34695 := [ 1, 9, 8, 16, 9, 1, 16, 8, 8, 16, 1, 9, 16, 8, 9, 1 ],
      34696 := [ 1, 9, 8, 16, 9, 1, 16, 8, 9, 1, 16, 8, 1, 9, 8, 16 ],
      34769 := [ 1, 9, 8, 16, 14, 6, 11, 3, 2, 10, 7, 15, 13, 5, 12, 4 ],
      34815 := [ 1, 9, 8, 16, 16, 8, 9, 1, 16, 8, 9, 1, 1, 9, 8, 16 ],
      34816 := [ 1, 9, 9, 1, 1, 9, 9, 1, 1, 9, 9, 1, 1, 9, 9, 1 ],
      34824 := [ 1, 9, 9, 1, 1, 9, 9, 1, 9, 1, 1, 9, 9, 1, 1, 9 ],
      34864 := [ 1, 9, 9, 1, 4, 12, 12, 4, 1, 9, 9, 1, 4, 12, 12, 4 ],
      34884 := [ 1, 9, 9, 1, 5, 13, 13, 5, 5, 13, 13, 5, 1, 9, 9, 1 ],
      34935 := [ 1, 9, 9, 1, 8, 16, 16, 8, 8, 16, 16, 8, 1, 9, 9, 1 ],
      34944 := [ 1, 9, 9, 1, 9, 1, 1, 9, 1, 9, 9, 1, 9, 1, 1, 9 ],
      34952 := [ 1, 9, 9, 1, 9, 1, 1, 9, 9, 1, 1, 9, 1, 9, 9, 1 ],
      34955 := [ 1, 9, 9, 1, 9, 1, 1, 9, 12, 4, 4, 12, 4, 12, 12, 4 ],
      34958 := [ 1, 9, 9, 1, 9, 1, 1, 9, 15, 7, 7, 15, 7, 15, 15, 7 ],
      34992 := [ 1, 9, 9, 1, 12, 4, 4, 12, 1, 9, 9, 1, 12, 4, 4, 12 ],
      34995 := [ 1, 9, 9, 1, 12, 4, 4, 12, 4, 12, 12, 4, 9, 1, 1, 9 ],
      35003 := [ 1, 9, 9, 1, 12, 4, 4, 12, 12, 4, 4, 12, 1, 9, 9, 1 ],
      35032 := [ 1, 9, 9, 1, 14, 6, 6, 14, 9, 1, 1, 9, 6, 14, 14, 6 ],
      35035 := [ 1, 9, 9, 1, 14, 6, 6, 14, 12, 4, 4, 12, 7, 15, 15, 7 ],
      35037 := [ 1, 9, 9, 1, 14, 6, 6, 14, 14, 6, 6, 14, 1, 9, 9, 1 ],
      35038 := [ 1, 9, 9, 1, 14, 6, 6, 14, 15, 7, 7, 15, 4, 12, 12, 4 ],
      35048 := [ 1, 9, 9, 1, 15, 7, 7, 15, 9, 1, 1, 9, 7, 15, 15, 7 ],
      35054 := [ 1, 9, 9, 1, 15, 7, 7, 15, 15, 7, 7, 15, 1, 9, 9, 1 ],
      35146 := [ 1, 9, 10, 2, 5, 13, 14, 6, 11, 3, 4, 12, 15, 7, 8, 16 ],
      35197 := [ 1, 9, 10, 2, 8, 16, 15, 7, 14, 6, 5, 13, 11, 3, 4, 12 ],
      35501 := [ 1, 9, 11, 3, 11, 3, 1, 9, 14, 6, 8, 16, 8, 16, 14, 6 ],
      35592 := [ 1, 9, 12, 4, 1, 9, 12, 4, 9, 1, 4, 12, 9, 1, 4, 12 ],
      35640 := [ 1, 9, 12, 4, 4, 12, 9, 1, 9, 1, 4, 12, 12, 4, 1, 9 ],
      35649 := [ 1, 9, 12, 4, 5, 13, 16, 8, 2, 10, 11, 3, 6, 14, 15, 7 ],
      35652 := [ 1, 9, 12, 4, 5, 13, 16, 8, 5, 13, 16, 8, 1, 9, 12, 4 ],
      35654 := [ 1, 9, 12, 4, 5, 13, 16, 8, 7, 15, 14, 6, 3, 11, 10, 2 ],
      35655 := [ 1, 9, 12, 4, 5, 13, 16, 8, 8, 16, 13, 5, 4, 12, 9, 1 ],
      35715 := [ 1, 9, 12, 4, 9, 1, 4, 12, 4, 12, 9, 1, 12, 4, 1, 9 ],
      35720 := [ 1, 9, 12, 4, 9, 1, 4, 12, 9, 1, 4, 12, 1, 9, 12, 4 ],
      35763 := [ 1, 9, 12, 4, 12, 4, 1, 9, 4, 12, 9, 1, 9, 1, 4, 12 ],
      35767 := [ 1, 9, 12, 4, 12, 4, 1, 9, 8, 16, 13, 5, 13, 5, 8, 16 ],
      35768 := [ 1, 9, 12, 4, 12, 4, 1, 9, 9, 1, 4, 12, 4, 12, 9, 1 ],
      35771 := [ 1, 9, 12, 4, 12, 4, 1, 9, 12, 4, 1, 9, 1, 9, 12, 4 ],
      35774 := [ 1, 9, 12, 4, 12, 4, 1, 9, 15, 7, 6, 14, 6, 14, 15, 7 ],
      35793 := [ 1, 9, 12, 4, 14, 6, 7, 15, 2, 10, 11, 3, 13, 5, 8, 16 ],
      35794 := [ 1, 9, 12, 4, 14, 6, 7, 15, 3, 11, 10, 2, 16, 8, 5, 13 ],
      35796 := [ 1, 9, 12, 4, 14, 6, 7, 15, 5, 13, 16, 8, 10, 2, 3, 11 ],
      35798 := [ 1, 9, 12, 4, 14, 6, 7, 15, 7, 15, 14, 6, 12, 4, 1, 9 ],
      35799 := [ 1, 9, 12, 4, 14, 6, 7, 15, 8, 16, 13, 5, 11, 3, 2, 10 ],
      35800 := [ 1, 9, 12, 4, 14, 6, 7, 15, 9, 1, 4, 12, 6, 14, 15, 7 ],
      35806 := [ 1, 9, 12, 4, 14, 6, 7, 15, 15, 7, 6, 14, 4, 12, 9, 1 ],
      35809 := [ 1, 9, 12, 4, 15, 7, 6, 14, 2, 10, 11, 3, 16, 8, 5, 13 ],
      35810 := [ 1, 9, 12, 4, 15, 7, 6, 14, 3, 11, 10, 2, 13, 5, 8, 16 ],
      35815 := [ 1, 9, 12, 4, 15, 7, 6, 14, 8, 16, 13, 5, 10, 2, 3, 11 ],
      35901 := [ 1, 9, 13, 5, 4, 12, 16, 8, 14, 6, 2, 10, 15, 7, 3, 11 ],
      35908 := [ 1, 9, 13, 5, 5, 13, 9, 1, 5, 13, 9, 1, 1, 9, 13, 5 ],
      36135 := [ 1, 9, 14, 6, 3, 11, 16, 8, 8, 16, 11, 3, 6, 14, 9, 1 ],
      36142 := [ 1, 9, 14, 6, 3, 11, 16, 8, 15, 7, 4, 12, 13, 5, 2, 10 ],
      36237 := [ 1, 9, 14, 6, 9, 1, 6, 14, 14, 6, 1, 9, 6, 14, 9, 1 ],
      36273 := [ 1, 9, 14, 6, 12, 4, 7, 15, 2, 10, 13, 5, 11, 3, 8, 16 ],
      36312 := [ 1, 9, 14, 6, 14, 6, 1, 9, 9, 1, 6, 14, 6, 14, 9, 1 ],
      36317 := [ 1, 9, 14, 6, 14, 6, 1, 9, 14, 6, 1, 9, 1, 9, 14, 6 ],
      36488 := [ 1, 9, 15, 7, 9, 1, 7, 15, 9, 1, 7, 15, 1, 9, 15, 7 ],
      36494 := [ 1, 9, 15, 7, 9, 1, 7, 15, 15, 7, 1, 9, 7, 15, 9, 1 ],
      36537 := [ 1, 9, 15, 7, 12, 4, 6, 14, 10, 2, 8, 16, 3, 11, 13, 5 ],
      36561 := [ 1, 9, 15, 7, 14, 6, 4, 12, 2, 10, 16, 8, 13, 5, 3, 11 ],
      36564 := [ 1, 9, 15, 7, 14, 6, 4, 12, 5, 13, 11, 3, 10, 2, 8, 16 ],
      36576 := [ 1, 9, 15, 7, 15, 7, 1, 9, 1, 9, 15, 7, 15, 7, 1, 9 ],
      36582 := [ 1, 9, 15, 7, 15, 7, 1, 9, 7, 15, 9, 1, 9, 1, 7, 15 ],
      36590 := [ 1, 9, 15, 7, 15, 7, 1, 9, 15, 7, 1, 9, 1, 9, 15, 7 ],
      36650 := [ 1, 9, 16, 8, 3, 11, 14, 6, 11, 3, 6, 14, 9, 1, 8, 16 ],
      36665 := [ 1, 9, 16, 8, 4, 12, 13, 5, 10, 2, 7, 15, 11, 3, 6, 14 ],
      36755 := [ 1, 9, 16, 8, 10, 2, 7, 15, 4, 12, 13, 5, 11, 3, 6, 14 ],
      36853 := [ 1, 9, 16, 8, 16, 8, 1, 9, 6, 14, 11, 3, 11, 3, 6, 14 ],
      36855 := [ 1, 9, 16, 8, 16, 8, 1, 9, 8, 16, 9, 1, 9, 1, 8, 16 ],
      36870 := [ 1, 10, 1, 10, 1, 10, 1, 10, 7, 16, 7, 16, 7, 16, 7, 16 ],
      36873 := [ 1, 10, 1, 10, 1, 10, 1, 10, 10, 1, 10, 1, 10, 1, 10, 1 ],
      36960 := [ 1, 10, 1, 10, 7, 16, 7, 16, 1, 10, 1, 10, 7, 16, 7, 16 ],
      37008 := [ 1, 10, 1, 10, 10, 1, 10, 1, 1, 10, 1, 10, 10, 1, 10, 1 ],
      37017 := [ 1, 10, 1, 10, 10, 1, 10, 1, 10, 1, 10, 1, 1, 10, 1, 10 ],
      37414 := [ 1, 10, 3, 12, 3, 12, 1, 10, 7, 16, 5, 14, 5, 14, 7, 16 ],
      37440 := [ 1, 10, 3, 12, 5, 14, 7, 16, 1, 10, 3, 12, 5, 14, 7, 16 ],
      37491 := [ 1, 10, 3, 12, 8, 15, 6, 13, 4, 11, 2, 9, 5, 14, 7, 16 ],
      37533 := [ 1, 10, 3, 12, 10, 1, 12, 3, 14, 5, 16, 7, 5, 14, 7, 16 ],
      37550 := [ 1, 10, 3, 12, 11, 4, 9, 2, 15, 8, 13, 6, 5, 14, 7, 16 ],
      37568 := [ 1, 10, 3, 12, 13, 6, 15, 8, 1, 10, 3, 12, 13, 6, 15, 8 ],
      37576 := [ 1, 10, 3, 12, 13, 6, 15, 8, 9, 2, 11, 4, 5, 14, 7, 16 ],
      37627 := [ 1, 10, 3, 12, 16, 7, 14, 5, 12, 3, 10, 1, 5, 14, 7, 16 ],
      37779 := [ 1, 10, 4, 11, 10, 1, 11, 4, 4, 11, 1, 10, 11, 4, 10, 1 ],
      37928 := [ 1, 10, 5, 14, 3, 12, 7, 16, 9, 2, 13, 6, 11, 4, 15, 8 ],
      37952 := [ 1, 10, 5, 14, 5, 14, 1, 10, 1, 10, 5, 14, 5, 14, 1, 10 ],
      37958 := [ 1, 10, 5, 14, 5, 14, 1, 10, 7, 16, 3, 12, 3, 12, 7, 16 ],
      37965 := [ 1, 10, 5, 14, 5, 14, 1, 10, 14, 5, 10, 1, 10, 1, 14, 5 ],
      38061 := [ 1, 10, 5, 14, 11, 4, 15, 8, 14, 5, 10, 1, 8, 15, 4, 11 ],
      38141 := [ 1, 10, 5, 14, 16, 7, 12, 3, 14, 5, 10, 1, 3, 12, 7, 16 ],
      38229 := [ 1, 10, 6, 13, 6, 13, 1, 10, 6, 13, 1, 10, 1, 10, 6, 13 ],
      38297 := [ 1, 10, 6, 13, 10, 1, 13, 6, 10, 1, 13, 6, 1, 10, 6, 13 ],
      38336 := [ 1, 10, 6, 13, 13, 6, 10, 1, 1, 10, 6, 13, 13, 6, 10, 1 ],
      38400 := [ 1, 10, 7, 16, 1, 10, 7, 16, 1, 10, 7, 16, 1, 10, 7, 16 ],
      38505 := [ 1, 10, 7, 16, 7, 16, 1, 10, 10, 1, 16, 7, 16, 7, 10, 1 ],
      38775 := [ 1, 10, 8, 15, 8, 15, 1, 10, 8, 15, 1, 10, 1, 10, 8, 15 ],
      38875 := [ 1, 10, 8, 15, 14, 5, 11, 4, 12, 3, 13, 6, 7, 16, 2, 9 ],
      39018 := [ 1, 10, 9, 2, 7, 16, 15, 8, 11, 4, 3, 12, 13, 6, 5, 14 ],
      39141 := [ 1, 10, 9, 2, 15, 8, 7, 16, 6, 13, 14, 5, 12, 3, 4, 11 ],
      39177 := [ 1, 10, 10, 1, 1, 10, 10, 1, 10, 1, 1, 10, 10, 1, 1, 10 ],
      39180 := [ 1, 10, 10, 1, 1, 10, 10, 1, 13, 6, 6, 13, 13, 6, 6, 13 ],
      39182 := [ 1, 10, 10, 1, 1, 10, 10, 1, 15, 8, 8, 15, 15, 8, 8, 15 ],
      39183 := [ 1, 10, 10, 1, 1, 10, 10, 1, 16, 7, 7, 16, 16, 7, 7, 16 ],
      39232 := [ 1, 10, 10, 1, 5, 14, 14, 5, 1, 10, 10, 1, 5, 14, 14, 5 ],
      39253 := [ 1, 10, 10, 1, 6, 13, 13, 6, 6, 13, 13, 6, 1, 10, 10, 1 ],
      39280 := [ 1, 10, 10, 1, 8, 15, 15, 8, 1, 10, 10, 1, 8, 15, 15, 8 ],
      39291 := [ 1, 10, 10, 1, 8, 15, 15, 8, 12, 3, 3, 12, 13, 6, 6, 13 ],
      39312 := [ 1, 10, 10, 1, 10, 1, 1, 10, 1, 10, 10, 1, 10, 1, 1, 10 ],
      39315 := [ 1, 10, 10, 1, 10, 1, 1, 10, 4, 11, 11, 4, 11, 4, 4, 11 ],
      39321 := [ 1, 10, 10, 1, 10, 1, 1, 10, 10, 1, 1, 10, 1, 10, 10, 1 ],
      39322 := [ 1, 10, 10, 1, 10, 1, 1, 10, 11, 4, 4, 11, 4, 11, 11, 4 ],
      39324 := [ 1, 10, 10, 1, 10, 1, 1, 10, 13, 6, 6, 13, 6, 13, 13, 6 ],
      39326 := [ 1, 10, 10, 1, 10, 1, 1, 10, 15, 8, 8, 15, 8, 15, 15, 8 ],
      39337 := [ 1, 10, 10, 1, 11, 4, 4, 11, 10, 1, 1, 10, 4, 11, 11, 4 ],
      39338 := [ 1, 10, 10, 1, 11, 4, 4, 11, 11, 4, 4, 11, 1, 10, 10, 1 ],
      39340 := [ 1, 10, 10, 1, 11, 4, 4, 11, 13, 6, 6, 13, 7, 16, 16, 7 ],
      39343 := [ 1, 10, 10, 1, 11, 4, 4, 11, 16, 7, 7, 16, 6, 13, 13, 6 ],
      39360 := [ 1, 10, 10, 1, 13, 6, 6, 13, 1, 10, 10, 1, 13, 6, 6, 13 ],
      39365 := [ 1, 10, 10, 1, 13, 6, 6, 13, 6, 13, 13, 6, 10, 1, 1, 10 ],
      39408 := [ 1, 10, 10, 1, 16, 7, 7, 16, 1, 10, 10, 1, 16, 7, 7, 16 ],
      39411 := [ 1, 10, 10, 1, 16, 7, 7, 16, 4, 11, 11, 4, 13, 6, 6, 13 ],
      39413 := [ 1, 10, 10, 1, 16, 7, 7, 16, 6, 13, 13, 6, 11, 4, 4, 11 ],
      39414 := [ 1, 10, 10, 1, 16, 7, 7, 16, 7, 16, 16, 7, 10, 1, 1, 10 ],
      39423 := [ 1, 10, 10, 1, 16, 7, 7, 16, 16, 7, 7, 16, 1, 10, 10, 1 ],
      39477 := [ 1, 10, 11, 4, 4, 11, 10, 1, 6, 13, 16, 7, 7, 16, 13, 6 ],
      39488 := [ 1, 10, 11, 4, 5, 14, 15, 8, 1, 10, 11, 4, 5, 14, 15, 8 ],
      39496 := [ 1, 10, 11, 4, 5, 14, 15, 8, 9, 2, 3, 12, 13, 6, 7, 16 ],
      39544 := [ 1, 10, 11, 4, 8, 15, 14, 5, 9, 2, 3, 12, 16, 7, 6, 13 ],
      39568 := [ 1, 10, 11, 4, 10, 1, 4, 11, 1, 10, 11, 4, 10, 1, 4, 11 ],
      39584 := [ 1, 10, 11, 4, 11, 4, 1, 10, 1, 10, 11, 4, 11, 4, 1, 10 ],
      39616 := [ 1, 10, 11, 4, 13, 6, 7, 16, 1, 10, 11, 4, 13, 6, 7, 16 ],
      39624 := [ 1, 10, 11, 4, 13, 6, 7, 16, 9, 2, 3, 12, 5, 14, 15, 8 ],
      39672 := [ 1, 10, 11, 4, 16, 7, 6, 13, 9, 2, 3, 12, 8, 15, 14, 5 ],
      39733 := [ 1, 10, 12, 3, 4, 11, 9, 2, 6, 13, 15, 8, 7, 16, 14, 5 ],
      39805 := [ 1, 10, 12, 3, 8, 15, 13, 6, 14, 5, 7, 16, 11, 4, 2, 9 ],
      40089 := [ 1, 10, 13, 6, 10, 1, 6, 13, 10, 1, 6, 13, 1, 10, 13, 6 ],
      40092 := [ 1, 10, 13, 6, 10, 1, 6, 13, 13, 6, 1, 10, 6, 13, 10, 1 ],
      40128 := [ 1, 10, 13, 6, 13, 6, 1, 10, 1, 10, 13, 6, 13, 6, 1, 10 ],
      40177 := [ 1, 10, 13, 6, 16, 7, 4, 11, 2, 9, 14, 5, 15, 8, 3, 12 ],
      40271 := [ 1, 10, 14, 5, 5, 14, 10, 1, 16, 7, 3, 12, 12, 3, 7, 16 ],
      40305 := [ 1, 10, 14, 5, 8, 15, 11, 4, 2, 9, 13, 6, 7, 16, 12, 3 ],
      40323 := [ 1, 10, 14, 5, 9, 2, 6, 13, 4, 11, 15, 8, 12, 3, 7, 16 ],
      40381 := [ 1, 10, 14, 5, 12, 3, 7, 16, 14, 5, 1, 10, 7, 16, 12, 3 ],
      40411 := [ 1, 10, 14, 5, 14, 5, 1, 10, 12, 3, 7, 16, 7, 16, 12, 3 ],
      40436 := [ 1, 10, 14, 5, 16, 7, 3, 12, 5, 14, 10, 1, 12, 3, 7, 16 ],
      40450 := [ 1, 10, 15, 8, 1, 10, 15, 8, 3, 12, 13, 6, 3, 12, 13, 6 ],
      40460 := [ 1, 10, 15, 8, 1, 10, 15, 8, 13, 6, 3, 12, 13, 6, 3, 12 ],
      40710 := [ 1, 10, 16, 7, 1, 10, 16, 7, 7, 16, 10, 1, 7, 16, 10, 1 ],
      40747 := [ 1, 10, 16, 7, 3, 12, 14, 5, 12, 3, 5, 14, 10, 1, 7, 16 ],
      40781 := [ 1, 10, 16, 7, 5, 14, 12, 3, 14, 5, 3, 12, 10, 1, 7, 16 ],
      40848 := [ 1, 10, 16, 7, 10, 1, 7, 16, 1, 10, 16, 7, 10, 1, 7, 16 ],
      40950 := [ 1, 10, 16, 7, 16, 7, 1, 10, 7, 16, 10, 1, 10, 1, 7, 16 ],
      40953 := [ 1, 10, 16, 7, 16, 7, 1, 10, 10, 1, 7, 16, 7, 16, 10, 1 ],
      40959 := [ 1, 10, 16, 7, 16, 7, 1, 10, 16, 7, 1, 10, 1, 10, 16, 7 ],
      40970 := [ 1, 11, 1, 11, 1, 11, 1, 11, 11, 1, 11, 1, 11, 1, 11, 1 ],
      41068 := [ 1, 11, 1, 11, 7, 13, 7, 13, 13, 7, 13, 7, 11, 1, 11, 1 ],
      41120 := [ 1, 11, 1, 11, 11, 1, 11, 1, 1, 11, 1, 11, 11, 1, 11, 1 ],
      41130 := [ 1, 11, 1, 11, 11, 1, 11, 1, 11, 1, 11, 1, 1, 11, 1, 11 ],
      41158 := [ 1, 11, 1, 11, 13, 7, 13, 7, 7, 13, 7, 13, 11, 1, 11, 1 ],
      41331 := [ 1, 11, 2, 12, 8, 14, 7, 13, 4, 10, 3, 9, 5, 15, 6, 16 ],
      41509 := [ 1, 11, 3, 9, 3, 9, 1, 11, 6, 16, 8, 14, 8, 14, 6, 16 ],
      41524 := [ 1, 11, 3, 9, 4, 10, 2, 12, 5, 15, 7, 13, 8, 14, 6, 16 ],
      41539 := [ 1, 11, 3, 9, 5, 15, 7, 13, 4, 10, 2, 12, 8, 14, 6, 16 ],
      41584 := [ 1, 11, 3, 9, 8, 14, 6, 16, 1, 11, 3, 9, 8, 14, 6, 16 ],
      41615 := [ 1, 11, 3, 9, 9, 3, 11, 1, 16, 6, 14, 8, 8, 14, 6, 16 ],
      41630 := [ 1, 11, 3, 9, 10, 4, 12, 2, 15, 5, 13, 7, 8, 14, 6, 16 ],
      41675 := [ 1, 11, 3, 9, 13, 7, 15, 5, 12, 2, 10, 4, 8, 14, 6, 16 ],
      41690 := [ 1, 11, 3, 9, 14, 8, 16, 6, 11, 1, 9, 3, 8, 14, 6, 16 ],
      41715 := [ 1, 11, 3, 9, 16, 6, 14, 8, 4, 10, 2, 12, 13, 7, 15, 5 ],
      41720 := [ 1, 11, 3, 9, 16, 6, 14, 8, 9, 3, 11, 1, 8, 14, 6, 16 ],
      41786 := [ 1, 11, 4, 10, 4, 10, 1, 11, 11, 1, 10, 4, 10, 4, 11, 1 ],
      41788 := [ 1, 11, 4, 10, 4, 10, 1, 11, 13, 7, 16, 6, 16, 6, 13, 7 ],
      41898 := [ 1, 11, 4, 10, 11, 1, 10, 4, 11, 1, 10, 4, 1, 11, 4, 10 ],
      42019 := [ 1, 11, 5, 15, 3, 9, 7, 13, 4, 10, 8, 14, 2, 12, 6, 16 ],
      42021 := [ 1, 11, 5, 15, 3, 9, 7, 13, 6, 16, 2, 12, 8, 14, 4, 10 ],
      42051 := [ 1, 11, 5, 15, 5, 15, 1, 11, 4, 10, 8, 14, 8, 14, 4, 10 ],
      42058 := [ 1, 11, 5, 15, 5, 15, 1, 11, 11, 1, 15, 5, 15, 5, 11, 1 ],
      42062 := [ 1, 11, 5, 15, 5, 15, 1, 11, 15, 5, 11, 1, 11, 1, 15, 5 ],
      42136 := [ 1, 11, 5, 15, 10, 4, 14, 8, 9, 3, 13, 7, 2, 12, 6, 16 ],
      42204 := [ 1, 11, 5, 15, 14, 8, 10, 4, 13, 7, 9, 3, 2, 12, 6, 16 ],
      42327 := [ 1, 11, 6, 16, 6, 16, 1, 11, 8, 14, 3, 9, 3, 9, 8, 14 ],
      42330 := [ 1, 11, 6, 16, 6, 16, 1, 11, 11, 1, 16, 6, 16, 6, 11, 1 ],
      42332 := [ 1, 11, 6, 16, 6, 16, 1, 11, 13, 7, 10, 4, 10, 4, 13, 7 ],
      42372 := [ 1, 11, 6, 16, 9, 3, 14, 8, 5, 15, 2, 12, 13, 7, 10, 4 ],
      42405 := [ 1, 11, 6, 16, 11, 1, 16, 6, 6, 16, 1, 11, 16, 6, 11, 1 ],
      42410 := [ 1, 11, 6, 16, 11, 1, 16, 6, 11, 1, 16, 6, 1, 11, 6, 16 ],
      42483 := [ 1, 11, 6, 16, 16, 6, 11, 1, 4, 10, 7, 13, 13, 7, 10, 4 ],
      42495 := [ 1, 11, 6, 16, 16, 6, 11, 1, 16, 6, 11, 1, 1, 11, 6, 16 ],
      42508 := [ 1, 11, 7, 13, 1, 11, 7, 13, 13, 7, 11, 1, 13, 7, 11, 1 ],
      42598 := [ 1, 11, 7, 13, 7, 13, 1, 11, 7, 13, 1, 11, 1, 11, 7, 13 ],
      42644 := [ 1, 11, 7, 13, 10, 4, 16, 6, 5, 15, 3, 9, 14, 8, 12, 2 ],
      42666 := [ 1, 11, 7, 13, 11, 1, 13, 7, 11, 1, 13, 7, 1, 11, 7, 13 ],
      42864 := [ 1, 11, 8, 14, 8, 14, 1, 11, 1, 11, 8, 14, 8, 14, 1, 11 ],
      42925 := [ 1, 11, 8, 14, 11, 1, 14, 8, 14, 8, 11, 1, 8, 14, 1, 11 ],
      42998 := [ 1, 11, 8, 14, 16, 6, 9, 3, 7, 13, 2, 12, 10, 4, 15, 5 ],
      43267 := [ 1, 11, 10, 4, 1, 11, 10, 4, 4, 10, 11, 1, 4, 10, 11, 1 ],
      43310 := [ 1, 11, 10, 4, 3, 9, 12, 2, 15, 5, 8, 14, 13, 7, 6, 16 ],
      43322 := [ 1, 11, 10, 4, 4, 10, 11, 1, 11, 1, 4, 10, 10, 4, 1, 11 ],
      43325 := [ 1, 11, 10, 4, 4, 10, 11, 1, 14, 8, 5, 15, 15, 5, 8, 14 ],
      43331 := [ 1, 11, 10, 4, 5, 15, 14, 8, 4, 10, 11, 1, 8, 14, 15, 5 ],
      43336 := [ 1, 11, 10, 4, 5, 15, 14, 8, 9, 3, 2, 12, 13, 7, 6, 16 ],
      43342 := [ 1, 11, 10, 4, 5, 15, 14, 8, 15, 5, 8, 14, 11, 1, 4, 10 ],
      43384 := [ 1, 11, 10, 4, 8, 14, 15, 5, 9, 3, 2, 12, 16, 6, 7, 13 ],
      43408 := [ 1, 11, 10, 4, 10, 4, 1, 11, 1, 11, 10, 4, 10, 4, 1, 11 ],
      43411 := [ 1, 11, 10, 4, 10, 4, 1, 11, 4, 10, 11, 1, 11, 1, 4, 10 ],
      43413 := [ 1, 11, 10, 4, 10, 4, 1, 11, 6, 16, 13, 7, 13, 7, 6, 16 ],
      43418 := [ 1, 11, 10, 4, 10, 4, 1, 11, 11, 1, 4, 10, 4, 10, 11, 1 ],
      43422 := [ 1, 11, 10, 4, 10, 4, 1, 11, 15, 5, 8, 14, 8, 14, 15, 5 ],
      43427 := [ 1, 11, 10, 4, 11, 1, 4, 10, 4, 10, 11, 1, 10, 4, 1, 11 ],
      43434 := [ 1, 11, 10, 4, 11, 1, 4, 10, 11, 1, 4, 10, 1, 11, 10, 4 ],
      43437 := [ 1, 11, 10, 4, 11, 1, 4, 10, 14, 8, 5, 15, 8, 14, 15, 5 ],
      43439 := [ 1, 11, 10, 4, 11, 1, 4, 10, 16, 6, 7, 13, 6, 16, 13, 7 ],
      43464 := [ 1, 11, 10, 4, 13, 7, 6, 16, 9, 3, 2, 12, 5, 15, 14, 8 ],
      43507 := [ 1, 11, 10, 4, 16, 6, 7, 13, 4, 10, 11, 1, 13, 7, 6, 16 ],
      43509 := [ 1, 11, 10, 4, 16, 6, 7, 13, 6, 16, 13, 7, 11, 1, 4, 10 ],
      43510 := [ 1, 11, 10, 4, 16, 6, 7, 13, 7, 13, 16, 6, 10, 4, 1, 11 ],
      43512 := [ 1, 11, 10, 4, 16, 6, 7, 13, 9, 3, 2, 12, 8, 14, 15, 5 ],
      43520 := [ 1, 11, 11, 1, 1, 11, 11, 1, 1, 11, 11, 1, 1, 11, 11, 1 ],
      43530 := [ 1, 11, 11, 1, 1, 11, 11, 1, 11, 1, 1, 11, 11, 1, 1, 11 ],
      43535 := [ 1, 11, 11, 1, 1, 11, 11, 1, 16, 6, 6, 16, 16, 6, 6, 16 ],
      43578 := [ 1, 11, 11, 1, 4, 10, 10, 4, 11, 1, 1, 11, 10, 4, 4, 10 ],
      43583 := [ 1, 11, 11, 1, 4, 10, 10, 4, 16, 6, 6, 16, 13, 7, 7, 13 ],
      43584 := [ 1, 11, 11, 1, 5, 15, 15, 5, 1, 11, 11, 1, 5, 15, 15, 5 ],
      43605 := [ 1, 11, 11, 1, 6, 16, 16, 6, 6, 16, 16, 6, 1, 11, 11, 1 ],
      43622 := [ 1, 11, 11, 1, 7, 13, 13, 7, 7, 13, 13, 7, 1, 11, 11, 1 ],
      43632 := [ 1, 11, 11, 1, 8, 14, 14, 8, 1, 11, 11, 1, 8, 14, 14, 8 ],
      43673 := [ 1, 11, 11, 1, 10, 4, 4, 10, 10, 4, 4, 10, 1, 11, 11, 1 ],
      43674 := [ 1, 11, 11, 1, 10, 4, 4, 10, 11, 1, 1, 11, 4, 10, 10, 4 ],
      43676 := [ 1, 11, 11, 1, 10, 4, 4, 10, 13, 7, 7, 13, 6, 16, 16, 6 ],
      43679 := [ 1, 11, 11, 1, 10, 4, 4, 10, 16, 6, 6, 16, 7, 13, 13, 7 ],
      43680 := [ 1, 11, 11, 1, 11, 1, 1, 11, 1, 11, 11, 1, 11, 1, 1, 11 ],
      43683 := [ 1, 11, 11, 1, 11, 1, 1, 11, 4, 10, 10, 4, 10, 4, 4, 10 ],
      43689 := [ 1, 11, 11, 1, 11, 1, 1, 11, 10, 4, 4, 10, 4, 10, 10, 4 ],
      43690 := [ 1, 11, 11, 1, 11, 1, 1, 11, 11, 1, 1, 11, 1, 11, 11, 1 ],
      43695 := [ 1, 11, 11, 1, 11, 1, 1, 11, 16, 6, 6, 16, 6, 16, 16, 6 ],
      43712 := [ 1, 11, 11, 1, 13, 7, 7, 13, 1, 11, 11, 1, 13, 7, 7, 13 ],
      43715 := [ 1, 11, 11, 1, 13, 7, 7, 13, 4, 10, 10, 4, 16, 6, 6, 16 ],
      43717 := [ 1, 11, 11, 1, 13, 7, 7, 13, 6, 16, 16, 6, 10, 4, 4, 10 ],
      43718 := [ 1, 11, 11, 1, 13, 7, 7, 13, 7, 13, 13, 7, 11, 1, 1, 11 ],
      43760 := [ 1, 11, 11, 1, 16, 6, 6, 16, 1, 11, 11, 1, 16, 6, 6, 16 ],
      43763 := [ 1, 11, 11, 1, 16, 6, 6, 16, 4, 10, 10, 4, 13, 7, 7, 13 ],
      43765 := [ 1, 11, 11, 1, 16, 6, 6, 16, 6, 16, 16, 6, 11, 1, 1, 11 ],
      44195 := [ 1, 11, 13, 7, 11, 1, 7, 13, 4, 10, 16, 6, 10, 4, 6, 16 ],
      44233 := [ 1, 11, 13, 7, 13, 7, 1, 11, 10, 4, 6, 16, 6, 16, 10, 4 ],
      44234 := [ 1, 11, 13, 7, 13, 7, 1, 11, 11, 1, 7, 13, 7, 13, 11, 1 ],
      44236 := [ 1, 11, 13, 7, 13, 7, 1, 11, 13, 7, 1, 11, 1, 11, 13, 7 ],
      44364 := [ 1, 11, 14, 8, 5, 15, 10, 4, 13, 7, 2, 12, 9, 3, 6, 16 ],
      44467 := [ 1, 11, 14, 8, 12, 2, 7, 13, 4, 10, 15, 5, 9, 3, 6, 16 ],
      44593 := [ 1, 11, 15, 5, 4, 10, 14, 8, 2, 12, 16, 6, 3, 9, 13, 7 ],
      44607 := [ 1, 11, 15, 5, 4, 10, 14, 8, 16, 6, 2, 12, 13, 7, 3, 9 ],
      44840 := [ 1, 11, 16, 6, 3, 9, 14, 8, 9, 3, 8, 14, 11, 1, 6, 16 ],
      44883 := [ 1, 11, 16, 6, 6, 16, 11, 1, 4, 10, 13, 7, 7, 13, 10, 4 ],
      44912 := [ 1, 11, 16, 6, 8, 14, 9, 3, 1, 11, 16, 6, 8, 14, 9, 3 ],
      44947 := [ 1, 11, 16, 6, 10, 4, 7, 13, 4, 10, 13, 7, 11, 1, 6, 16 ],
      44958 := [ 1, 11, 16, 6, 10, 4, 7, 13, 15, 5, 2, 12, 8, 14, 9, 3 ],
      44970 := [ 1, 11, 16, 6, 11, 1, 6, 16, 11, 1, 6, 16, 1, 11, 16, 6 ],
      44975 := [ 1, 11, 16, 6, 11, 1, 6, 16, 16, 6, 1, 11, 6, 16, 11, 1 ],
      45045 := [ 1, 11, 16, 6, 16, 6, 1, 11, 6, 16, 11, 1, 11, 1, 6, 16 ],
      45048 := [ 1, 11, 16, 6, 16, 6, 1, 11, 9, 3, 8, 14, 8, 14, 9, 3 ],
      45050 := [ 1, 11, 16, 6, 16, 6, 1, 11, 11, 1, 6, 16, 6, 16, 11, 1 ],
      45067 := [ 1, 12, 1, 12, 1, 12, 1, 12, 12, 1, 12, 1, 12, 1, 12, 1 ],
      45154 := [ 1, 12, 1, 12, 7, 14, 7, 14, 3, 10, 3, 10, 5, 16, 5, 16 ],
      45232 := [ 1, 12, 1, 12, 12, 1, 12, 1, 1, 12, 1, 12, 12, 1, 12, 1 ],
      45243 := [ 1, 12, 1, 12, 12, 1, 12, 1, 12, 1, 12, 1, 1, 12, 1, 12 ],
      45300 := [ 1, 12, 1, 12, 16, 5, 16, 5, 5, 16, 5, 16, 12, 1, 12, 1 ],
      45602 := [ 1, 12, 3, 10, 3, 10, 1, 12, 3, 10, 1, 12, 1, 12, 3, 10 ],
      45604 := [ 1, 12, 3, 10, 3, 10, 1, 12, 5, 16, 7, 14, 7, 14, 5, 16 ],
      45611 := [ 1, 12, 3, 10, 3, 10, 1, 12, 12, 1, 10, 3, 10, 3, 12, 1 ],
      45613 := [ 1, 12, 3, 10, 3, 10, 1, 12, 14, 7, 16, 5, 16, 5, 14, 7 ],
      45634 := [ 1, 12, 3, 10, 5, 16, 7, 14, 3, 10, 1, 12, 7, 14, 5, 16 ],
      45636 := [ 1, 12, 3, 10, 5, 16, 7, 14, 5, 16, 7, 14, 1, 12, 3, 10 ],
      45640 := [ 1, 12, 3, 10, 5, 16, 7, 14, 9, 4, 11, 2, 13, 8, 15, 6 ],
      45710 := [ 1, 12, 3, 10, 9, 4, 11, 2, 15, 6, 13, 8, 7, 14, 5, 16 ],
      45727 := [ 1, 12, 3, 10, 10, 3, 12, 1, 16, 5, 14, 7, 7, 14, 5, 16 ],
      45746 := [ 1, 12, 3, 10, 12, 1, 10, 3, 3, 10, 1, 12, 10, 3, 12, 1 ],
      45755 := [ 1, 12, 3, 10, 12, 1, 10, 3, 12, 1, 10, 3, 1, 12, 3, 10 ],
      45777 := [ 1, 12, 3, 10, 14, 7, 16, 5, 2, 11, 4, 9, 13, 8, 15, 6 ],
      45800 := [ 1, 12, 3, 10, 15, 6, 13, 8, 9, 4, 11, 2, 7, 14, 5, 16 ],
      46095 := [ 1, 12, 5, 16, 1, 12, 5, 16, 16, 5, 12, 1, 16, 5, 12, 1 ],
      46113 := [ 1, 12, 5, 16, 3, 10, 7, 14, 2, 11, 6, 15, 4, 9, 8, 13 ],
      46114 := [ 1, 12, 5, 16, 3, 10, 7, 14, 3, 10, 7, 14, 1, 12, 5, 16 ],
      46126 := [ 1, 12, 5, 16, 3, 10, 7, 14, 15, 6, 11, 2, 13, 8, 9, 4 ],
      46148 := [ 1, 12, 5, 16, 5, 16, 1, 12, 5, 16, 1, 12, 1, 12, 5, 16 ],
      46155 := [ 1, 12, 5, 16, 5, 16, 1, 12, 12, 1, 16, 5, 16, 5, 12, 1 ],
      46210 := [ 1, 12, 5, 16, 9, 4, 13, 8, 3, 10, 7, 14, 11, 2, 15, 6 ],
      46300 := [ 1, 12, 5, 16, 14, 7, 10, 3, 13, 8, 9, 4, 2, 11, 6, 15 ],
      46416 := [ 1, 12, 6, 15, 6, 15, 1, 12, 1, 12, 6, 15, 6, 15, 1, 12 ],
      46504 := [ 1, 12, 6, 15, 11, 2, 16, 5, 9, 4, 14, 7, 3, 10, 8, 13 ],
      46565 := [ 1, 12, 6, 15, 15, 6, 12, 1, 6, 15, 1, 12, 12, 1, 15, 6 ],
      46699 := [ 1, 12, 7, 14, 7, 14, 1, 12, 12, 1, 14, 7, 14, 7, 12, 1 ],
      46701 := [ 1, 12, 7, 14, 7, 14, 1, 12, 14, 7, 12, 1, 12, 1, 14, 7 ],
      46843 := [ 1, 12, 7, 14, 16, 5, 10, 3, 12, 1, 14, 7, 5, 16, 3, 10 ],
      46879 := [ 1, 12, 8, 13, 2, 11, 7, 14, 16, 5, 9, 4, 15, 6, 10, 3 ],
      47031 := [ 1, 12, 8, 13, 12, 1, 13, 8, 8, 13, 1, 12, 13, 8, 12, 1 ],
      47035 := [ 1, 12, 8, 13, 12, 1, 13, 8, 12, 1, 13, 8, 1, 12, 8, 13 ],
      47052 := [ 1, 12, 8, 13, 13, 8, 12, 1, 13, 8, 12, 1, 1, 12, 8, 13 ],
      47152 := [ 1, 12, 9, 4, 4, 9, 12, 1, 1, 12, 9, 4, 4, 9, 12, 1 ],
      47170 := [ 1, 12, 9, 4, 5, 16, 13, 8, 3, 10, 11, 2, 7, 14, 15, 6 ],
      47176 := [ 1, 12, 9, 4, 5, 16, 13, 8, 9, 4, 1, 12, 13, 8, 5, 16 ],
      47181 := [ 1, 12, 9, 4, 5, 16, 13, 8, 14, 7, 6, 15, 10, 3, 2, 11 ],
      47218 := [ 1, 12, 9, 4, 8, 13, 16, 5, 3, 10, 11, 2, 6, 15, 14, 7 ],
      47240 := [ 1, 12, 9, 4, 9, 4, 1, 12, 9, 4, 1, 12, 1, 12, 9, 4 ],
      47243 := [ 1, 12, 9, 4, 9, 4, 1, 12, 12, 1, 4, 9, 4, 9, 12, 1 ],
      47245 := [ 1, 12, 9, 4, 9, 4, 1, 12, 14, 7, 6, 15, 6, 15, 14, 7 ],
      47246 := [ 1, 12, 9, 4, 9, 4, 1, 12, 15, 6, 7, 14, 7, 14, 15, 6 ],
      47288 := [ 1, 12, 9, 4, 12, 1, 4, 9, 9, 4, 1, 12, 4, 9, 12, 1 ],
      47313 := [ 1, 12, 9, 4, 14, 7, 6, 15, 2, 11, 10, 3, 13, 8, 5, 16 ],
      47314 := [ 1, 12, 9, 4, 14, 7, 6, 15, 3, 10, 11, 2, 16, 5, 8, 13 ],
      47316 := [ 1, 12, 9, 4, 14, 7, 6, 15, 5, 16, 13, 8, 10, 3, 2, 11 ],
      47329 := [ 1, 12, 9, 4, 15, 6, 7, 14, 2, 11, 10, 3, 16, 5, 8, 13 ],
      47330 := [ 1, 12, 9, 4, 15, 6, 7, 14, 3, 10, 11, 2, 13, 8, 5, 16 ],
      47332 := [ 1, 12, 9, 4, 15, 6, 7, 14, 5, 16, 13, 8, 11, 2, 3, 10 ],
      47336 := [ 1, 12, 9, 4, 15, 6, 7, 14, 9, 4, 1, 12, 7, 14, 15, 6 ],
      47342 := [ 1, 12, 9, 4, 15, 6, 7, 14, 15, 6, 7, 14, 1, 12, 9, 4 ],
      47508 := [ 1, 12, 10, 3, 10, 3, 1, 12, 5, 16, 14, 7, 14, 7, 5, 16 ],
      47872 := [ 1, 12, 12, 1, 1, 12, 12, 1, 1, 12, 12, 1, 1, 12, 12, 1 ],
      47883 := [ 1, 12, 12, 1, 1, 12, 12, 1, 12, 1, 1, 12, 12, 1, 1, 12 ],
      47920 := [ 1, 12, 12, 1, 4, 9, 9, 4, 1, 12, 12, 1, 4, 9, 9, 4 ],
      47940 := [ 1, 12, 12, 1, 5, 16, 16, 5, 5, 16, 16, 5, 1, 12, 12, 1 ],
      47986 := [ 1, 12, 12, 1, 8, 13, 13, 8, 3, 10, 10, 3, 6, 15, 15, 6 ],
      47989 := [ 1, 12, 12, 1, 8, 13, 13, 8, 6, 15, 15, 6, 3, 10, 10, 3 ],
      47991 := [ 1, 12, 12, 1, 8, 13, 13, 8, 8, 13, 13, 8, 1, 12, 12, 1 ],
      48000 := [ 1, 12, 12, 1, 9, 4, 4, 9, 1, 12, 12, 1, 9, 4, 4, 9 ],
      48003 := [ 1, 12, 12, 1, 9, 4, 4, 9, 4, 9, 9, 4, 12, 1, 1, 12 ],
      48048 := [ 1, 12, 12, 1, 12, 1, 1, 12, 1, 12, 12, 1, 12, 1, 1, 12 ],
      48059 := [ 1, 12, 12, 1, 12, 1, 1, 12, 12, 1, 1, 12, 1, 12, 12, 1 ],
      48062 := [ 1, 12, 12, 1, 12, 1, 1, 12, 15, 6, 6, 15, 6, 15, 15, 6 ],
      48091 := [ 1, 12, 12, 1, 14, 7, 7, 14, 12, 1, 1, 12, 7, 14, 14, 7 ],
      48093 := [ 1, 12, 12, 1, 14, 7, 7, 14, 14, 7, 7, 14, 1, 12, 12, 1 ],
      48098 := [ 1, 12, 12, 1, 15, 6, 6, 15, 3, 10, 10, 3, 13, 8, 8, 13 ],
      48101 := [ 1, 12, 12, 1, 15, 6, 6, 15, 6, 15, 15, 6, 12, 1, 1, 12 ],
      48103 := [ 1, 12, 12, 1, 15, 6, 6, 15, 8, 13, 13, 8, 10, 3, 3, 10 ],
      48107 := [ 1, 12, 12, 1, 15, 6, 6, 15, 12, 1, 1, 12, 6, 15, 15, 6 ],
      48110 := [ 1, 12, 12, 1, 15, 6, 6, 15, 15, 6, 6, 15, 1, 12, 12, 1 ],
      48142 := [ 1, 12, 13, 8, 1, 12, 13, 8, 15, 6, 3, 10, 15, 6, 3, 10 ],
      48247 := [ 1, 12, 13, 8, 8, 13, 12, 1, 8, 13, 12, 1, 1, 12, 13, 8 ],
      48290 := [ 1, 12, 13, 8, 11, 2, 7, 14, 3, 10, 15, 6, 9, 4, 5, 16 ],
      48573 := [ 1, 12, 14, 7, 12, 1, 7, 14, 14, 7, 1, 12, 7, 14, 12, 1 ],
      48598 := [ 1, 12, 14, 7, 14, 7, 1, 12, 7, 14, 12, 1, 12, 1, 7, 14 ],
      48603 := [ 1, 12, 14, 7, 14, 7, 1, 12, 12, 1, 7, 14, 7, 14, 12, 1 ],
      48615 := [ 1, 12, 14, 7, 15, 6, 4, 9, 8, 13, 11, 2, 10, 3, 5, 16 ],
      48770 := [ 1, 12, 15, 6, 9, 4, 7, 14, 3, 10, 13, 8, 11, 2, 5, 16 ],
      48772 := [ 1, 12, 15, 6, 9, 4, 7, 14, 5, 16, 11, 2, 13, 8, 3, 10 ],
      48827 := [ 1, 12, 15, 6, 12, 1, 6, 15, 12, 1, 6, 15, 1, 12, 15, 6 ],
      48878 := [ 1, 12, 15, 6, 15, 6, 1, 12, 15, 6, 1, 12, 1, 12, 15, 6 ],
      48900 := [ 1, 12, 16, 5, 1, 12, 16, 5, 5, 16, 12, 1, 5, 16, 12, 1 ],
      48937 := [ 1, 12, 16, 5, 3, 10, 14, 7, 10, 3, 7, 14, 12, 1, 5, 16 ],
      48949 := [ 1, 12, 16, 5, 4, 9, 13, 8, 6, 15, 11, 2, 7, 14, 10, 3 ],
      48975 := [ 1, 12, 16, 5, 5, 16, 12, 1, 16, 5, 1, 12, 12, 1, 5, 16 ],
      49027 := [ 1, 12, 16, 5, 9, 4, 8, 13, 4, 9, 13, 8, 12, 1, 5, 16 ],
      49042 := [ 1, 12, 16, 5, 10, 3, 7, 14, 3, 10, 14, 7, 12, 1, 5, 16 ],
      49140 := [ 1, 12, 16, 5, 16, 5, 1, 12, 5, 16, 12, 1, 12, 1, 5, 16 ],
      49147 := [ 1, 12, 16, 5, 16, 5, 1, 12, 12, 1, 5, 16, 5, 16, 12, 1 ],
      49164 := [ 1, 13, 1, 13, 1, 13, 1, 13, 13, 1, 13, 1, 13, 1, 13, 1 ],
      49258 := [ 1, 13, 1, 13, 7, 11, 7, 11, 11, 7, 11, 7, 13, 1, 13, 1 ],
      49301 := [ 1, 13, 1, 13, 10, 6, 10, 6, 6, 10, 6, 10, 13, 1, 13, 1 ],
      49344 := [ 1, 13, 1, 13, 13, 1, 13, 1, 1, 13, 1, 13, 13, 1, 13, 1 ],
      49356 := [ 1, 13, 1, 13, 13, 1, 13, 1, 13, 1, 13, 1, 1, 13, 1, 13 ],
      49733 := [ 1, 13, 3, 15, 5, 9, 7, 11, 6, 10, 8, 12, 2, 14, 4, 16 ],
      49816 := [ 1, 13, 3, 15, 10, 6, 12, 8, 9, 5, 11, 7, 2, 14, 4, 16 ],
      49850 := [ 1, 13, 3, 15, 12, 8, 10, 6, 11, 7, 9, 5, 2, 14, 4, 16 ],
      49978 := [ 1, 13, 4, 16, 4, 16, 1, 13, 11, 7, 10, 6, 10, 6, 11, 7 ],
      49980 := [ 1, 13, 4, 16, 4, 16, 1, 13, 13, 1, 16, 4, 16, 4, 13, 1 ],
      50115 := [ 1, 13, 4, 16, 13, 1, 16, 4, 4, 16, 1, 13, 16, 4, 13, 1 ],
      50165 := [ 1, 13, 4, 16, 16, 4, 13, 1, 6, 10, 7, 11, 11, 7, 10, 6 ],
      50211 := [ 1, 13, 5, 9, 3, 15, 7, 11, 4, 16, 8, 12, 2, 14, 6, 10 ],
      50213 := [ 1, 13, 5, 9, 3, 15, 7, 11, 6, 10, 2, 14, 8, 12, 4, 16 ],
      50243 := [ 1, 13, 5, 9, 5, 9, 1, 13, 4, 16, 8, 12, 8, 12, 4, 16 ],
      50248 := [ 1, 13, 5, 9, 5, 9, 1, 13, 9, 5, 13, 1, 13, 1, 9, 5 ],
      50424 := [ 1, 13, 5, 9, 16, 4, 12, 8, 9, 5, 13, 1, 8, 12, 4, 16 ],
      50487 := [ 1, 13, 6, 10, 4, 16, 7, 11, 8, 12, 3, 15, 5, 9, 2, 14 ],
      50522 := [ 1, 13, 6, 10, 6, 10, 1, 13, 11, 7, 16, 4, 16, 4, 11, 7 ],
      50524 := [ 1, 13, 6, 10, 6, 10, 1, 13, 13, 1, 10, 6, 10, 6, 13, 1 ],
      50588 := [ 1, 13, 6, 10, 10, 6, 13, 1, 13, 1, 10, 6, 6, 10, 1, 13 ],
      50614 := [ 1, 13, 6, 10, 12, 8, 15, 3, 7, 11, 4, 16, 14, 2, 9, 5 ],
      50636 := [ 1, 13, 6, 10, 13, 1, 10, 6, 13, 1, 10, 6, 1, 13, 6, 10 ],
      50744 := [ 1, 13, 7, 11, 4, 16, 6, 10, 9, 5, 15, 3, 12, 8, 14, 2 ],
      50790 := [ 1, 13, 7, 11, 7, 11, 1, 13, 7, 11, 1, 13, 1, 13, 7, 11 ],
      50796 := [ 1, 13, 7, 11, 7, 11, 1, 13, 13, 1, 11, 7, 11, 7, 13, 1 ],
      50986 := [ 1, 13, 8, 12, 3, 15, 6, 10, 11, 7, 14, 2, 9, 5, 16, 4 ],
      51056 := [ 1, 13, 8, 12, 8, 12, 1, 13, 1, 13, 8, 12, 8, 12, 1, 13 ],
      51096 := [ 1, 13, 8, 12, 10, 6, 15, 3, 9, 5, 16, 4, 2, 14, 7, 11 ],
      51112 := [ 1, 13, 8, 12, 11, 7, 14, 2, 9, 5, 16, 4, 3, 15, 6, 10 ],
      51120 := [ 1, 13, 8, 12, 12, 8, 13, 1, 1, 13, 8, 12, 12, 8, 13, 1 ],
      51131 := [ 1, 13, 8, 12, 12, 8, 13, 1, 12, 8, 13, 1, 1, 13, 8, 12 ],
      51136 := [ 1, 13, 8, 12, 13, 1, 12, 8, 1, 13, 8, 12, 13, 1, 12, 8 ],
      51264 := [ 1, 13, 9, 5, 5, 9, 13, 1, 1, 13, 9, 5, 5, 9, 13, 1 ],
      51496 := [ 1, 13, 10, 6, 3, 15, 12, 8, 9, 5, 2, 14, 11, 7, 4, 16 ],
      51534 := [ 1, 13, 10, 6, 5, 9, 14, 2, 15, 3, 8, 12, 11, 7, 4, 16 ],
      51600 := [ 1, 13, 10, 6, 10, 6, 1, 13, 1, 13, 10, 6, 10, 6, 1, 13 ],
      51603 := [ 1, 13, 10, 6, 10, 6, 1, 13, 4, 16, 11, 7, 11, 7, 4, 16 ],
      51605 := [ 1, 13, 10, 6, 10, 6, 1, 13, 6, 10, 13, 1, 13, 1, 6, 10 ],
      51612 := [ 1, 13, 10, 6, 10, 6, 1, 13, 13, 1, 6, 10, 6, 10, 13, 1 ],
      51653 := [ 1, 13, 10, 6, 13, 1, 6, 10, 6, 10, 13, 1, 10, 6, 1, 13 ],
      51657 := [ 1, 13, 10, 6, 13, 1, 6, 10, 10, 6, 1, 13, 6, 10, 13, 1 ],
      51660 := [ 1, 13, 10, 6, 13, 1, 6, 10, 13, 1, 6, 10, 1, 13, 10, 6 ],
      51701 := [ 1, 13, 10, 6, 16, 4, 7, 11, 6, 10, 13, 1, 11, 7, 4, 16 ],
      51710 := [ 1, 13, 10, 6, 16, 4, 7, 11, 15, 3, 8, 12, 2, 14, 9, 5 ],
      51882 := [ 1, 13, 11, 7, 11, 7, 1, 13, 11, 7, 1, 13, 1, 13, 11, 7 ],
      51884 := [ 1, 13, 11, 7, 11, 7, 1, 13, 13, 1, 7, 11, 7, 11, 13, 1 ],
      51887 := [ 1, 13, 11, 7, 11, 7, 1, 13, 16, 4, 6, 10, 6, 10, 16, 4 ],
      51909 := [ 1, 13, 11, 7, 13, 1, 7, 11, 6, 10, 16, 4, 10, 6, 4, 16 ],
      52010 := [ 1, 13, 12, 8, 3, 15, 10, 6, 11, 7, 2, 14, 9, 5, 4, 16 ],
      52087 := [ 1, 13, 12, 8, 8, 12, 13, 1, 8, 12, 13, 1, 1, 13, 12, 8 ],
      52156 := [ 1, 13, 12, 8, 12, 8, 1, 13, 13, 1, 8, 12, 8, 12, 13, 1 ],
      52224 := [ 1, 13, 13, 1, 1, 13, 13, 1, 1, 13, 13, 1, 1, 13, 13, 1 ],
      52236 := [ 1, 13, 13, 1, 1, 13, 13, 1, 13, 1, 1, 13, 13, 1, 1, 13 ],
      52261 := [ 1, 13, 13, 1, 3, 15, 15, 3, 6, 10, 10, 6, 8, 12, 12, 8 ],
      52275 := [ 1, 13, 13, 1, 4, 16, 16, 4, 4, 16, 16, 4, 1, 13, 13, 1 ],
      52288 := [ 1, 13, 13, 1, 5, 9, 9, 5, 1, 13, 13, 1, 5, 9, 9, 5 ],
      52304 := [ 1, 13, 13, 1, 6, 10, 10, 6, 1, 13, 13, 1, 6, 10, 10, 6 ],
      52316 := [ 1, 13, 13, 1, 6, 10, 10, 6, 13, 1, 1, 13, 10, 6, 6, 10 ],
      52332 := [ 1, 13, 13, 1, 7, 11, 11, 7, 13, 1, 1, 13, 11, 7, 7, 11 ],
      52336 := [ 1, 13, 13, 1, 8, 12, 12, 8, 1, 13, 13, 1, 8, 12, 12, 8 ],
      52338 := [ 1, 13, 13, 1, 8, 12, 12, 8, 3, 15, 15, 3, 6, 10, 10, 6 ],
      52341 := [ 1, 13, 13, 1, 8, 12, 12, 8, 6, 10, 10, 6, 3, 15, 15, 3 ],
      52345 := [ 1, 13, 13, 1, 8, 12, 12, 8, 10, 6, 6, 10, 15, 3, 3, 15 ],
      52347 := [ 1, 13, 13, 1, 8, 12, 12, 8, 12, 8, 8, 12, 13, 1, 1, 13 ],
      52368 := [ 1, 13, 13, 1, 10, 6, 6, 10, 1, 13, 13, 1, 10, 6, 6, 10 ],
      52373 := [ 1, 13, 13, 1, 10, 6, 6, 10, 6, 10, 10, 6, 13, 1, 1, 13 ],
      52379 := [ 1, 13, 13, 1, 10, 6, 6, 10, 12, 8, 8, 12, 3, 15, 15, 3 ],
      52380 := [ 1, 13, 13, 1, 10, 6, 6, 10, 13, 1, 1, 13, 6, 10, 10, 6 ],
      52384 := [ 1, 13, 13, 1, 11, 7, 7, 11, 1, 13, 13, 1, 11, 7, 7, 11 ],
      52387 := [ 1, 13, 13, 1, 11, 7, 7, 11, 4, 16, 16, 4, 10, 6, 6, 10 ],
      52389 := [ 1, 13, 13, 1, 11, 7, 7, 11, 6, 10, 10, 6, 16, 4, 4, 16 ],
      52390 := [ 1, 13, 13, 1, 11, 7, 7, 11, 7, 11, 11, 7, 13, 1, 1, 13 ],
      52416 := [ 1, 13, 13, 1, 13, 1, 1, 13, 1, 13, 13, 1, 13, 1, 1, 13 ],
      52419 := [ 1, 13, 13, 1, 13, 1, 1, 13, 4, 16, 16, 4, 16, 4, 4, 16 ],
      52421 := [ 1, 13, 13, 1, 13, 1, 1, 13, 6, 10, 10, 6, 10, 6, 6, 10 ],
      52425 := [ 1, 13, 13, 1, 13, 1, 1, 13, 10, 6, 6, 10, 6, 10, 10, 6 ],
      52428 := [ 1, 13, 13, 1, 13, 1, 1, 13, 13, 1, 1, 13, 1, 13, 13, 1 ],
      52431 := [ 1, 13, 13, 1, 13, 1, 1, 13, 16, 4, 4, 16, 4, 16, 16, 4 ],
      52464 := [ 1, 13, 13, 1, 16, 4, 4, 16, 1, 13, 13, 1, 16, 4, 4, 16 ],
      52469 := [ 1, 13, 13, 1, 16, 4, 4, 16, 6, 10, 10, 6, 11, 7, 7, 11 ],
      52473 := [ 1, 13, 13, 1, 16, 4, 4, 16, 10, 6, 6, 10, 7, 11, 11, 7 ],
      52474 := [ 1, 13, 13, 1, 16, 4, 4, 16, 11, 7, 7, 11, 6, 10, 10, 6 ],
      52476 := [ 1, 13, 13, 1, 16, 4, 4, 16, 13, 1, 1, 13, 4, 16, 16, 4 ],
      52479 := [ 1, 13, 13, 1, 16, 4, 4, 16, 16, 4, 4, 16, 1, 13, 13, 1 ],
      52869 := [ 1, 13, 15, 3, 9, 5, 7, 11, 6, 10, 12, 8, 14, 2, 4, 16 ],
      53040 := [ 1, 13, 16, 4, 4, 16, 13, 1, 1, 13, 16, 4, 4, 16, 13, 1 ],
      53050 := [ 1, 13, 16, 4, 4, 16, 13, 1, 11, 7, 6, 10, 10, 6, 7, 11 ],
      53055 := [ 1, 13, 16, 4, 4, 16, 13, 1, 16, 4, 1, 13, 13, 1, 4, 16 ],
      53061 := [ 1, 13, 16, 4, 5, 9, 12, 8, 6, 10, 11, 7, 2, 14, 15, 3 ],
      53064 := [ 1, 13, 16, 4, 5, 9, 12, 8, 9, 5, 8, 12, 13, 1, 4, 16 ],
      53110 := [ 1, 13, 16, 4, 8, 12, 9, 5, 7, 11, 10, 6, 2, 14, 15, 3 ],
      53141 := [ 1, 13, 16, 4, 10, 6, 7, 11, 6, 10, 11, 7, 13, 1, 4, 16 ],
      53144 := [ 1, 13, 16, 4, 10, 6, 7, 11, 9, 5, 8, 12, 2, 14, 15, 3 ],
      53163 := [ 1, 13, 16, 4, 11, 7, 6, 10, 12, 8, 5, 9, 2, 14, 15, 3 ],
      53184 := [ 1, 13, 16, 4, 13, 1, 4, 16, 1, 13, 16, 4, 13, 1, 4, 16 ],
      53235 := [ 1, 13, 16, 4, 16, 4, 1, 13, 4, 16, 13, 1, 13, 1, 4, 16 ],
      53240 := [ 1, 13, 16, 4, 16, 4, 1, 13, 9, 5, 8, 12, 8, 12, 9, 5 ],
      53244 := [ 1, 13, 16, 4, 16, 4, 1, 13, 13, 1, 4, 16, 4, 16, 13, 1 ],
      53261 := [ 1, 14, 1, 14, 1, 14, 1, 14, 14, 1, 14, 1, 14, 1, 14, 1 ],
      53456 := [ 1, 14, 1, 14, 14, 1, 14, 1, 1, 14, 1, 14, 14, 1, 14, 1 ],
      53469 := [ 1, 14, 1, 14, 14, 1, 14, 1, 14, 1, 14, 1, 1, 14, 1, 14 ],
      53760 := [ 1, 14, 3, 16, 1, 14, 3, 16, 1, 14, 3, 16, 1, 14, 3, 16 ],
      53794 := [ 1, 14, 3, 16, 3, 16, 1, 14, 3, 16, 1, 14, 1, 14, 3, 16 ],
      53803 := [ 1, 14, 3, 16, 3, 16, 1, 14, 12, 7, 10, 5, 10, 5, 12, 7 ],
      53805 := [ 1, 14, 3, 16, 3, 16, 1, 14, 14, 1, 16, 3, 16, 3, 14, 1 ],
      53828 := [ 1, 14, 3, 16, 5, 10, 7, 12, 5, 10, 7, 12, 1, 14, 3, 16 ],
      53831 := [ 1, 14, 3, 16, 5, 10, 7, 12, 8, 11, 6, 9, 4, 15, 2, 13 ],
      53832 := [ 1, 14, 3, 16, 5, 10, 7, 12, 9, 6, 11, 8, 13, 2, 15, 4 ],
      53892 := [ 1, 14, 3, 16, 9, 6, 11, 8, 5, 10, 7, 12, 13, 2, 15, 4 ],
      53896 := [ 1, 14, 3, 16, 9, 6, 11, 8, 9, 6, 11, 8, 1, 14, 3, 16 ],
      53944 := [ 1, 14, 3, 16, 12, 7, 10, 5, 9, 6, 11, 8, 4, 15, 2, 13 ],
      53970 := [ 1, 14, 3, 16, 14, 1, 16, 3, 3, 16, 1, 14, 16, 3, 14, 1 ],
      53981 := [ 1, 14, 3, 16, 14, 1, 16, 3, 14, 1, 16, 3, 1, 14, 3, 16 ],
      54015 := [ 1, 14, 3, 16, 16, 3, 14, 1, 16, 3, 14, 1, 1, 14, 3, 16 ],
      54100 := [ 1, 14, 4, 15, 6, 9, 7, 12, 5, 10, 8, 11, 2, 13, 3, 16 ],
      54318 := [ 1, 14, 5, 10, 3, 16, 7, 12, 15, 4, 11, 8, 13, 2, 9, 6 ],
      54338 := [ 1, 14, 5, 10, 5, 10, 1, 14, 3, 16, 7, 12, 7, 12, 3, 16 ],
      54340 := [ 1, 14, 5, 10, 5, 10, 1, 14, 5, 10, 1, 14, 1, 14, 5, 10 ],
      54349 := [ 1, 14, 5, 10, 5, 10, 1, 14, 14, 1, 10, 5, 10, 5, 14, 1 ],
      54350 := [ 1, 14, 5, 10, 5, 10, 1, 14, 15, 4, 11, 8, 11, 8, 15, 4 ],
      54626 := [ 1, 14, 6, 9, 7, 12, 4, 15, 3, 16, 8, 11, 5, 10, 2, 13 ],
      55076 := [ 1, 14, 8, 11, 3, 16, 6, 9, 5, 10, 4, 15, 7, 12, 2, 13 ],
      55167 := [ 1, 14, 8, 11, 8, 11, 1, 14, 16, 3, 9, 6, 9, 6, 16, 3 ],
      55172 := [ 1, 14, 8, 11, 9, 6, 16, 3, 5, 10, 4, 15, 13, 2, 12, 7 ],
      55213 := [ 1, 14, 8, 11, 11, 8, 14, 1, 14, 1, 11, 8, 8, 11, 1, 14 ],
      55255 := [ 1, 14, 8, 11, 14, 1, 11, 8, 8, 11, 1, 14, 11, 8, 14, 1 ],
      55261 := [ 1, 14, 8, 11, 14, 1, 11, 8, 14, 1, 11, 8, 1, 14, 8, 11 ],
      55294 := [ 1, 14, 8, 11, 16, 3, 9, 6, 15, 4, 10, 5, 2, 13, 7, 12 ],
      55332 := [ 1, 14, 9, 6, 3, 16, 11, 8, 5, 10, 13, 2, 7, 12, 15, 4 ],
      55432 := [ 1, 14, 9, 6, 9, 6, 1, 14, 9, 6, 1, 14, 1, 14, 9, 6 ],
      55512 := [ 1, 14, 9, 6, 14, 1, 6, 9, 9, 6, 1, 14, 6, 9, 14, 1 ],
      55522 := [ 1, 14, 9, 6, 15, 4, 7, 12, 3, 16, 11, 8, 13, 2, 5, 10 ],
      55524 := [ 1, 14, 9, 6, 15, 4, 7, 12, 5, 10, 13, 2, 11, 8, 3, 16 ],
      55615 := [ 1, 14, 10, 5, 4, 15, 11, 8, 16, 3, 7, 12, 13, 2, 6, 9 ],
      55698 := [ 1, 14, 10, 5, 10, 5, 1, 14, 3, 16, 12, 7, 12, 7, 3, 16 ],
      56193 := [ 1, 14, 12, 7, 9, 6, 4, 15, 2, 13, 11, 8, 10, 5, 3, 16 ],
      56196 := [ 1, 14, 12, 7, 9, 6, 4, 15, 5, 10, 16, 3, 13, 2, 8, 11 ],
      56253 := [ 1, 14, 12, 7, 12, 7, 1, 14, 14, 1, 7, 12, 7, 12, 14, 1 ],
      56280 := [ 1, 14, 12, 7, 14, 1, 7, 12, 9, 6, 4, 15, 6, 9, 15, 4 ],
      56283 := [ 1, 14, 12, 7, 14, 1, 7, 12, 12, 7, 1, 14, 7, 12, 14, 1 ],
      56285 := [ 1, 14, 12, 7, 14, 1, 7, 12, 14, 1, 7, 12, 1, 14, 12, 7 ],
      56576 := [ 1, 14, 14, 1, 1, 14, 14, 1, 1, 14, 14, 1, 1, 14, 14, 1 ],
      56589 := [ 1, 14, 14, 1, 1, 14, 14, 1, 14, 1, 1, 14, 14, 1, 1, 14 ],
      56608 := [ 1, 14, 14, 1, 3, 16, 16, 3, 1, 14, 14, 1, 3, 16, 16, 3 ],
      56712 := [ 1, 14, 14, 1, 9, 6, 6, 9, 9, 6, 6, 9, 1, 14, 14, 1 ],
      56715 := [ 1, 14, 14, 1, 9, 6, 6, 9, 12, 7, 7, 12, 4, 15, 15, 4 ],
      56763 := [ 1, 14, 14, 1, 12, 7, 7, 12, 12, 7, 7, 12, 1, 14, 14, 1 ],
      56784 := [ 1, 14, 14, 1, 14, 1, 1, 14, 1, 14, 14, 1, 14, 1, 1, 14 ],
      56788 := [ 1, 14, 14, 1, 14, 1, 1, 14, 5, 10, 10, 5, 10, 5, 5, 10 ],
      56792 := [ 1, 14, 14, 1, 14, 1, 1, 14, 9, 6, 6, 9, 6, 9, 9, 6 ],
      56795 := [ 1, 14, 14, 1, 14, 1, 1, 14, 12, 7, 7, 12, 7, 12, 12, 7 ],
      56797 := [ 1, 14, 14, 1, 14, 1, 1, 14, 14, 1, 1, 14, 1, 14, 14, 1 ],
      56798 := [ 1, 14, 14, 1, 14, 1, 1, 14, 15, 4, 4, 15, 4, 15, 15, 4 ],
      56803 := [ 1, 14, 14, 1, 15, 4, 4, 15, 4, 15, 15, 4, 14, 1, 1, 14 ],
      56805 := [ 1, 14, 14, 1, 15, 4, 4, 15, 6, 9, 9, 6, 12, 7, 7, 12 ],
      56816 := [ 1, 14, 14, 1, 16, 3, 3, 16, 1, 14, 14, 1, 16, 3, 3, 16 ],
      56832 := [ 1, 14, 15, 4, 1, 14, 15, 4, 1, 14, 15, 4, 1, 14, 15, 4 ],
      56859 := [ 1, 14, 15, 4, 2, 13, 16, 3, 12, 7, 6, 9, 11, 8, 5, 10 ],
      56890 := [ 1, 14, 15, 4, 4, 15, 14, 1, 11, 8, 5, 10, 10, 5, 8, 11 ],
      56893 := [ 1, 14, 15, 4, 4, 15, 14, 1, 14, 1, 4, 15, 15, 4, 1, 14 ],
      56900 := [ 1, 14, 15, 4, 5, 10, 11, 8, 5, 10, 11, 8, 1, 14, 15, 4 ],
      56902 := [ 1, 14, 15, 4, 5, 10, 11, 8, 7, 12, 9, 6, 3, 16, 13, 2 ],
      56904 := [ 1, 14, 15, 4, 5, 10, 11, 8, 9, 6, 7, 12, 13, 2, 3, 16 ],
      56909 := [ 1, 14, 15, 4, 5, 10, 11, 8, 14, 1, 4, 15, 10, 5, 8, 11 ],
      56955 := [ 1, 14, 15, 4, 8, 11, 10, 5, 12, 7, 6, 9, 13, 2, 3, 16 ],
      56961 := [ 1, 14, 15, 4, 9, 6, 7, 12, 2, 13, 16, 3, 10, 5, 8, 11 ],
      56962 := [ 1, 14, 15, 4, 9, 6, 7, 12, 3, 16, 13, 2, 11, 8, 5, 10 ],
--> --------------------

--> maximum size reached

--> --------------------