[PATCH] 512-bit gcc.dg/torture/vshuf*.c

[Jakub Jelinek <jakub at redhat dot com>]

Hi!

This patch extends the gcc.dg/torture/ testsuite for
512-bit vectors.  Tested with
GCC_TEST_RUN_EXPENSIVE=1 make -j32 check-gcc \
RUNTESTFLAGS='--target_board=unix\{-mavx2,-mavx,-mavx512f,-mavx512bw/-mavx512vl\} dg-torture.exp=vshuf*.c'
(of course with expected AVX512* execution test failures,
as I don't have hw and didn't bother with simulator).

As before in vshuf-{8,16,32}.inc, some of the permutations
are hand written (subset in the TESTS portion), the rest
are random permutations.

Ok for trunk?

2014-10-03  Jakub Jelinek  <jakub@redhat.com>

	* gcc.dg/torture/vshuf-v8df.c: New test.
	* gcc.dg/torture/vshuf-v8di.c: New test.
	* gcc.dg/torture/vshuf-v16sf.c: New test.
	* gcc.dg/torture/vshuf-v16si.c: New test.
	* gcc.dg/torture/vshuf-v32hi.c: New test.
	* gcc.dg/torture/vshuf-v64qi.c: New test.
	* gcc.dg/torture/vshuf-64.inc: New file.

--- gcc/testsuite/gcc.dg/torture/vshuf-v8df.c.jj	2014-10-03 13:18:43.426977162 +0200
+++ gcc/testsuite/gcc.dg/torture/vshuf-v8df.c	2014-10-03 13:19:47.434750993 +0200
@@ -0,0 +1,15 @@
+/* { dg-do run } */
+/* { dg-options "-DEXPENSIVE" { target run_expensive_tests } } */
+/* { dg-options "-fno-common" { target hppa*-*-hpux* } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O2" } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
+
+#if __SIZEOF_DOUBLE__ == 8 && __SIZEOF_LONG_LONG__ == 8
+typedef double V __attribute__((vector_size(64)));
+typedef unsigned long long VI __attribute__((vector_size(64)));
+#else
+#define UNSUPPORTED
+#endif
+
+#include "vshuf-8.inc"
+#include "vshuf-main.inc"
--- gcc/testsuite/gcc.dg/torture/vshuf-v8di.c.jj	2014-10-03 13:18:46.672915313 +0200
+++ gcc/testsuite/gcc.dg/torture/vshuf-v8di.c	2014-10-03 13:18:57.098712816 +0200
@@ -0,0 +1,15 @@
+/* { dg-do run } */
+/* { dg-options "-DEXPENSIVE" { target run_expensive_tests } } */
+/* { dg-options "-fno-common" { target hppa*-*-hpux* } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O2" } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
+
+#if __SIZEOF_LONG_LONG__ == 8
+typedef unsigned long long V __attribute__((vector_size(64)));
+typedef V VI;
+#else
+#define UNSUPPORTED
+#endif
+
+#include "vshuf-8.inc"
+#include "vshuf-main.inc"
--- gcc/testsuite/gcc.dg/torture/vshuf-v16sf.c.jj	2014-10-03 13:17:33.941306619 +0200
+++ gcc/testsuite/gcc.dg/torture/vshuf-v16sf.c	2014-10-03 13:18:12.593567509 +0200
@@ -0,0 +1,21 @@
+/* { dg-do run } */
+/* { dg-options "-DEXPENSIVE" { target run_expensive_tests } } */
+/* { dg-options "-fno-common" { target hppa*-*-hpux* } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O2" } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
+
+#if __SIZEOF_FLOAT__ == 4
+typedef float V __attribute__((vector_size(64)));
+# if __SIZEOF_INT__ == 4
+typedef unsigned int VI __attribute__((vector_size(64)));
+# elif __SIZEOF_LONG__ == 4
+typedef unsigned long VI __attribute__((vector_size(64)));
+# else
+#  define UNSUPPORTED
+# endif
+#else
+# define UNSUPPORTED
+#endif
+
+#include "vshuf-16.inc"
+#include "vshuf-main.inc"
--- gcc/testsuite/gcc.dg/torture/vshuf-v16si.c.jj	2014-10-03 13:17:02.140916184 +0200
+++ gcc/testsuite/gcc.dg/torture/vshuf-v16si.c	2014-10-03 13:17:21.690538486 +0200
@@ -0,0 +1,18 @@
+/* { dg-do run } */
+/* { dg-options "-DEXPENSIVE" { target run_expensive_tests } } */
+/* { dg-options "-fno-common" { target hppa*-*-hpux* } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O2" } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
+
+#if __SIZEOF_INT__ == 4
+typedef unsigned int V __attribute__((vector_size(64)));
+typedef V VI;
+#elif __SIZEOF_LONG__ == 4
+typedef unsigned long V __attribute__((vector_size(64)));
+typedef V VI;
+#else
+# define UNSUPPORTED
+#endif
+
+#include "vshuf-16.inc"
+#include "vshuf-main.inc"
--- gcc/testsuite/gcc.dg/torture/vshuf-v32hi.c.jj	2014-10-03 13:16:01.866074615 +0200
+++ gcc/testsuite/gcc.dg/torture/vshuf-v32hi.c	2014-10-03 13:16:22.112685369 +0200
@@ -0,0 +1,11 @@
+/* { dg-do run } */
+/* { dg-options "-DEXPENSIVE" { target run_expensive_tests } } */
+/* { dg-options "-fno-common" { target hppa*-*-hpux* } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O2" } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
+
+typedef unsigned short V __attribute__((vector_size(64)));
+typedef V VI;
+
+#include "vshuf-32.inc"
+#include "vshuf-main.inc"
--- gcc/testsuite/gcc.dg/torture/vshuf-v64qi.c.jj	2014-10-03 14:11:11.961659185 +0200
+++ gcc/testsuite/gcc.dg/torture/vshuf-v64qi.c	2014-10-03 14:11:21.000000000 +0200
@@ -0,0 +1,11 @@
+/* { dg-do run } */
+/* { dg-options "-DEXPENSIVE" { target run_expensive_tests } } */
+/* { dg-options "-fno-common" { target hppa*-*-hpux* } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "*" } { "-O2" } } */
+/* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
+
+typedef unsigned char V __attribute__((vector_size(64)));
+typedef V VI;
+
+#include "vshuf-64.inc"
+#include "vshuf-main.inc"
--- gcc/testsuite/gcc.dg/torture/vshuf-64.inc.jj	2014-10-03 13:23:33.954421940 +0200
+++ gcc/testsuite/gcc.dg/torture/vshuf-64.inc	2014-10-03 15:27:45.432928660 +0200
@@ -0,0 +1,140 @@
+#define N 64
+#define TESTS \
+T (0,	0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63) \
+T (1,	0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) \
+T (2,	0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15) \
+T (3,	8, 72, 9, 73, 10, 74, 11, 75, 12, 76, 13, 77, 14, 78, 15, 79, 24, 88, 25, 89, 26, 90, 27, 91, 28, 92, 29, 93, 30, 94, 31, 95, 40, 104, 41, 105, 42, 106, 43, 107, 44, 108, 45, 109, 46, 110, 47, 111, 56, 120, 57, 121, 58, 122, 59, 123, 60, 124, 61, 125, 62, 126, 63, 127) \
+T (4,	0, 64, 1, 65, 2, 66, 3, 67, 4, 68, 5, 69, 6, 70, 7, 71, 16, 80, 17, 81, 18, 82, 19, 83, 20, 84, 21, 85, 22, 86, 23, 87, 32, 96, 33, 97, 34, 98, 35, 99, 36, 100, 37, 101, 38, 102, 39, 103, 48, 112, 49, 113, 50, 114, 51, 115, 52, 116, 53, 117, 54, 118, 55, 119) \
+T (5,	43, 13, 25, 48, 6, 19, 60, 36, 15, 20, 13, 51, 13, 4, 18, 25, 56, 29, 39, 52, 43, 38, 61, 8, 20, 24, 63, 18, 26, 24, 43, 5, 37, 4, 53, 43, 23, 49, 15, 39, 6, 28, 26, 19, 33, 45, 44, 25, 10, 19, 14, 53, 58, 11, 61, 14, 35, 60, 33, 61, 20, 12, 2, 58) \
+T (6,	17, 55, 37, 40, 41, 53, 15, 47, 17, 42, 2, 50, 23, 46, 12, 33, 1, 26, 22, 59, 37, 20, 10, 8, 16, 43, 5, 37, 55, 7, 31, 8, 62, 4, 49, 39, 57, 0, 22, 11, 42, 24, 61, 1, 6, 9, 34, 8, 35, 57, 3, 8, 13, 13, 16, 29, 56, 21, 2, 48, 28, 33, 56, 27) \
+T (7,	38, 41, 2, 31, 42, 25, 42, 20, 49, 40, 22, 56, 49, 56, 0, 21, 49, 3, 29, 62, 17, 46, 28, 9, 3, 30, 57, 32, 50, 59, 38, 27, 61, 5, 5, 22, 48, 26, 8, 24, 48, 9, 40, 30, 26, 3, 60, 24, 20, 42, 52, 30, 45, 19, 23, 13, 19, 9, 8, 57, 37, 6, 62, 42) \
+T (8,	28, 46, 4, 36, 6, 52, 36, 16, 29, 36, 46, 55, 40, 42, 15, 60, 20, 4, 26, 2, 23, 50, 15, 42, 59, 24, 35, 32, 30, 33, 11, 58, 16, 15, 31, 22, 4, 3, 38, 33, 40, 21, 24, 16, 63, 39, 12, 20, 43, 39, 22, 2, 25, 37, 44, 20, 61, 15, 53, 27, 49, 0, 22, 1) \
+T (9,	15, 53, 23, 19, 56, 62, 52, 32, 19, 12, 48, 18, 52, 61, 38, 31, 36, 60, 34, 61, 34, 14, 17, 31, 30, 6, 59, 15, 6, 17, 16, 22, 6, 39, 41, 62, 37, 30, 31, 56, 42, 15, 11, 30, 12, 49, 62, 48, 46, 32, 45, 16, 46, 63, 47, 12, 5, 42, 27, 12, 59, 43, 34, 1) \
+T (10,	19, 11, 56, 41, 31, 49, 20, 46, 60, 50, 59, 45, 48, 43, 27, 16, 25, 43, 63, 24, 27, 11, 29, 5, 39, 41, 18, 11, 2, 37, 23, 2, 30, 33, 15, 20, 16, 11, 7, 11, 56, 55, 54, 20, 8, 15, 63, 7, 39, 26, 18, 5, 32, 57, 46, 33, 12, 58, 35, 49, 17, 38, 15, 17) \
+T (11,	7, 30, 38, 23, 41, 45, 34, 34, 36, 25, 54, 44, 40, 53, 51, 16, 16, 6, 21, 48, 63, 3, 17, 11, 61, 52, 61, 14, 26, 12, 32, 34, 43, 6, 57, 20, 51, 28, 54, 23, 53, 44, 4, 29, 34, 55, 45, 50, 61, 2, 34, 61, 6, 51, 8, 3, 39, 5, 18, 2, 18, 50, 36, 61) \
+T (12,	56, 29, 17, 43, 57, 8, 2, 46, 52, 6, 12, 22, 62, 57, 8, 59, 60, 42, 56, 2, 29, 5, 5, 6, 23, 7, 24, 9, 43, 21, 8, 39, 44, 2, 47, 47, 48, 35, 53, 60, 58, 51, 2, 47, 50, 45, 39, 52, 10, 40, 57, 15, 47, 17, 22, 7, 26, 29, 28, 10, 4, 8, 12, 51) \
+T (13,	55, 60, 22, 45, 57, 16, 32, 47, 19, 15, 33, 55, 21, 10, 31, 14, 26, 14, 31, 48, 22, 58, 50, 51, 22, 60, 55, 30, 8, 42, 22, 4, 0, 3, 61, 17, 35, 44, 36, 51, 13, 36, 42, 34, 46, 9, 49, 8, 24, 16, 57, 46, 10, 43, 33, 32, 39, 24, 63, 47, 2, 21, 51, 2) \
+T (14,	24, 49, 19, 59, 29, 55, 46, 43, 27, 24, 13, 10, 34, 62, 18, 58, 15, 11, 40, 25, 9, 58, 29, 33, 57, 12, 35, 14, 0, 37, 38, 49, 57, 33, 14, 48, 16, 57, 12, 40, 7, 22, 10, 5, 40, 4, 20, 52, 44, 46, 42, 53, 40, 8, 22, 33, 20, 57, 47, 20, 31, 21, 5, 24) \
+T (15,	54, 20, 8, 6, 13, 20, 47, 20, 42, 57, 26, 19, 62, 46, 7, 42, 28, 49, 32, 4, 57, 37, 14, 48, 20, 34, 15, 41, 40, 39, 32, 60, 47, 38, 9, 4, 21, 30, 46, 15, 56, 1, 13, 38, 8, 55, 3, 58, 23, 7, 51, 14, 45, 62, 36, 13, 43, 12, 52, 11, 8, 35, 49, 17) \
+T (16,	0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 104, 106, 108, 110, 112, 114, 116, 118, 120, 122, 124, 126) \
+T (17,	1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41, 43, 45, 47, 49, 51, 53, 55, 57, 59, 61, 63, 65, 67, 69, 71, 73, 75, 77, 79, 81, 83, 85, 87, 89, 91, 93, 95, 97, 99, 101, 103, 105, 107, 109, 111, 113, 115, 117, 119, 121, 123, 125, 127) \
+T (18,	3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3) \
+T (19,	63, 62, 61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0) \
+T (20,	0, 64, 1, 65, 2, 66, 3, 67, 4, 68, 5, 69, 6, 70, 7, 71, 8, 72, 9, 73, 10, 74, 11, 75, 12, 76, 13, 77, 14, 78, 15, 79, 16, 80, 17, 81, 18, 82, 19, 83, 20, 84, 21, 85, 22, 86, 23, 87, 24, 88, 25, 89, 26, 90, 27, 91, 28, 92, 29, 93, 30, 94, 31, 95) \
+T (21,	32, 96, 33, 97, 34, 98, 35, 99, 36, 100, 37, 101, 38, 102, 39, 103, 40, 104, 41, 105, 42, 106, 43, 107, 44, 108, 45, 109, 46, 110, 47, 111, 48, 112, 49, 113, 50, 114, 51, 115, 52, 116, 53, 117, 54, 118, 55, 119, 56, 120, 57, 121, 58, 122, 59, 123, 60, 124, 61, 125, 62, 126, 63, 127) \
+T (22,	1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 0) \
+T (23,	62, 61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, 63) \
+T (24,	0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45, 48, 51, 54, 57, 60, 63, 1, 4, 7, 10, 13, 16, 19, 22, 25, 28, 31, 34, 37, 40, 43, 46, 49, 52, 55, 58, 61, 2, 5, 8, 11, 14, 17, 20, 23, 26, 29, 32, 35, 38, 41, 44, 47, 50, 53, 56, 59, 62)
+#define EXPTESTS \
+T (116,	39, 6, 41, 51, 17, 63, 10, 44, 41, 13, 58, 43, 50, 59, 35, 6, 60, 2, 20, 56, 27, 40, 39, 13, 26, 46, 35, 51, 31, 9, 26, 38, 50, 13, 55, 49, 24, 35, 26, 37, 29, 5, 23, 24, 41, 30, 20, 43, 50, 13, 6, 27, 52, 20, 17, 14, 2, 52, 33, 61, 28, 7, 48, 41) \
+T (117,	62, 33, 33, 60, 39, 62, 1, 62, 23, 42, 28, 43, 22, 15, 56, 28, 42, 44, 48, 59, 59, 50, 47, 60, 20, 44, 24, 27, 28, 2, 26, 62, 3, 59, 58, 42, 58, 59, 41, 17, 38, 5, 60, 60, 20, 53, 24, 62, 33, 9, 57, 28, 59, 40, 25, 15, 21, 49, 43, 49, 51, 5, 47, 55) \
+T (118,	0, 41, 33, 58, 37, 10, 11, 11, 16, 8, 7, 36, 61, 31, 35, 30, 40, 28, 59, 36, 5, 20, 51, 26, 5, 30, 11, 57, 35, 59, 48, 36, 36, 17, 30, 9, 28, 42, 20, 44, 50, 27, 16, 47, 59, 51, 13, 35, 16, 8, 7, 21, 28, 59, 47, 34, 25, 58, 27, 61, 53, 11, 33, 26) \
+T (119,	28, 63, 35, 56, 41, 56, 36, 27, 19, 53, 10, 14, 40, 24, 50, 56, 32, 57, 13, 61, 52, 60, 31, 14, 55, 58, 11, 44, 5, 44, 6, 33, 43, 42, 26, 21, 34, 62, 48, 53, 51, 59, 4, 28, 19, 54, 20, 51, 47, 34, 48, 36, 30, 15, 50, 21, 9, 61, 2, 14, 41, 8, 48, 20) \
+T (120,	50, 10, 41, 20, 8, 26, 10, 60, 21, 14, 24, 40, 4, 44, 27, 51, 14, 12, 23, 45, 27, 9, 2, 37, 6, 4, 51, 47, 13, 35, 4, 63, 45, 45, 20, 7, 30, 50, 28, 44, 10, 4, 48, 32, 35, 5, 44, 59, 50, 7, 4, 52, 44, 11, 57, 32, 58, 6, 3, 62, 5, 49, 44, 25) \
+T (121,	39, 51, 55, 25, 16, 35, 35, 20, 19, 25, 52, 55, 30, 32, 50, 16, 40, 5, 20, 1, 62, 52, 60, 4, 56, 58, 9, 41, 38, 35, 16, 26, 26, 41, 42, 62, 12, 62, 17, 37, 51, 8, 4, 19, 58, 20, 59, 49, 25, 16, 50, 23, 4, 46, 27, 60, 41, 37, 37, 15, 8, 53, 41, 34) \
+T (122,	30, 19, 32, 42, 18, 50, 16, 5, 58, 20, 24, 53, 40, 20, 38, 2, 36, 24, 25, 40, 7, 53, 37, 48, 26, 10, 63, 34, 0, 41, 4, 30, 60, 37, 9, 14, 23, 25, 19, 17, 45, 44, 6, 21, 0, 44, 23, 36, 5, 49, 12, 12, 38, 49, 60, 60, 59, 34, 60, 36, 38, 26, 33, 11) \
+T (123,	35, 47, 34, 60, 3, 52, 41, 47, 58, 63, 47, 39, 22, 19, 44, 7, 31, 56, 45, 17, 52, 45, 13, 47, 15, 9, 20, 54, 35, 53, 7, 36, 36, 3, 39, 24, 45, 22, 18, 44, 5, 57, 2, 24, 37, 10, 56, 29, 55, 9, 17, 37, 22, 52, 31, 21, 42, 2, 10, 44, 9, 46, 16, 13) \
+T (124,	22, 40, 58, 44, 58, 38, 50, 52, 40, 10, 25, 50, 2, 55, 42, 11, 8, 15, 33, 9, 3, 0, 30, 46, 3, 40, 26, 12, 23, 42, 25, 45, 18, 19, 25, 12, 57, 11, 0, 34, 22, 26, 20, 24, 17, 62, 36, 25, 13, 5, 35, 17, 6, 1, 63, 9, 42, 25, 21, 1, 3, 47, 46, 21) \
+T (125,	2, 7, 33, 60, 19, 34, 30, 41, 60, 50, 1, 13, 49, 37, 38, 62, 43, 9, 15, 49, 11, 14, 58, 53, 39, 15, 42, 62, 36, 63, 1, 43, 33, 61, 62, 3, 27, 39, 63, 13, 41, 12, 62, 14, 50, 61, 57, 60, 12, 42, 7, 27, 36, 60, 2, 52, 50, 45, 50, 22, 44, 51, 1, 13) \
+T (126,	48, 0, 16, 11, 39, 15, 25, 16, 27, 23, 31, 14, 20, 24, 10, 33, 3, 17, 60, 39, 13, 62, 27, 63, 43, 14, 21, 24, 1, 22, 37, 50, 22, 61, 62, 5, 22, 14, 33, 46, 45, 47, 2, 6, 57, 35, 9, 10, 31, 48, 23, 30, 12, 22, 9, 26, 43, 33, 27, 1, 7, 13, 24, 61) \
+T (127,	11, 22, 2, 33, 36, 35, 15, 18, 18, 18, 24, 11, 53, 33, 21, 21, 17, 44, 51, 29, 2, 60, 55, 45, 30, 19, 47, 37, 32, 7, 34, 43, 29, 36, 13, 1, 8, 28, 19, 26, 46, 43, 38, 36, 12, 59, 57, 30, 40, 44, 59, 42, 40, 51, 24, 6, 6, 7, 43, 38, 14, 13, 18, 43) \
+T (128,	50, 31, 44, 58, 59, 20, 42, 43, 58, 14, 56, 7, 22, 30, 51, 17, 8, 27, 4, 32, 34, 10, 39, 13, 49, 53, 27, 3, 32, 13, 34, 13, 7, 29, 13, 27, 7, 56, 22, 21, 48, 12, 28, 6, 42, 15, 24, 50, 43, 28, 19, 13, 39, 58, 26, 24, 48, 53, 27, 16, 2, 61, 29, 9) \
+T (129,	26, 42, 37, 34, 35, 59, 55, 19, 7, 20, 26, 49, 35, 50, 35, 14, 14, 27, 53, 49, 54, 13, 33, 43, 40, 49, 46, 37, 15, 55, 0, 57, 28, 34, 28, 23, 25, 48, 30, 45, 10, 15, 17, 60, 51, 31, 10, 41, 59, 26, 49, 13, 59, 28, 54, 45, 10, 27, 60, 2, 27, 53, 30, 61) \
+T (130,	18, 54, 23, 2, 20, 4, 12, 36, 21, 8, 23, 53, 18, 0, 48, 18, 27, 33, 32, 22, 61, 22, 3, 8, 49, 63, 10, 13, 53, 40, 10, 7, 30, 33, 9, 51, 38, 21, 23, 59, 29, 46, 48, 47, 46, 32, 2, 9, 1, 34, 32, 63, 56, 35, 7, 41, 35, 17, 54, 24, 57, 31, 24, 34) \
+T (131,	40, 11, 8, 61, 34, 4, 26, 16, 52, 9, 62, 21, 11, 8, 22, 45, 40, 21, 37, 11, 28, 15, 46, 45, 5, 6, 39, 6, 37, 63, 41, 13, 10, 49, 10, 44, 53, 36, 60, 42, 46, 58, 63, 57, 2, 21, 39, 42, 43, 12, 54, 7, 27, 36, 53, 33, 43, 28, 39, 16, 27, 16, 30, 37) \
+T (132,	2, 40, 17, 55, 13, 13, 33, 59, 7, 32, 52, 10, 27, 52, 33, 40, 42, 40, 3, 15, 29, 36, 58, 57, 12, 10, 20, 28, 40, 57, 30, 17, 10, 22, 30, 23, 55, 25, 31, 24, 13, 41, 14, 41, 29, 47, 17, 8, 23, 20, 23, 53, 57, 17, 46, 5, 27, 3, 33, 4, 60, 21, 7, 22) \
+T (133,	51, 30, 13, 12, 61, 37, 25, 38, 51, 2, 4, 34, 19, 12, 58, 40, 35, 47, 33, 52, 29, 38, 15, 32, 7, 19, 29, 7, 40, 36, 29, 27, 2, 43, 39, 0, 16, 1, 38, 4, 3, 42, 38, 23, 32, 63, 25, 15, 32, 13, 45, 6, 29, 13, 13, 48, 42, 21, 25, 14, 50, 52, 17, 29) \
+T (134,	28, 17, 46, 29, 55, 50, 32, 34, 24, 55, 24, 57, 54, 50, 8, 22, 63, 53, 28, 28, 3, 42, 13, 45, 63, 38, 60, 49, 26, 13, 15, 54, 30, 61, 19, 21, 47, 52, 55, 7, 43, 16, 0, 34, 2, 9, 56, 62, 21, 30, 1, 63, 43, 47, 62, 17, 43, 47, 43, 56, 62, 34, 22, 59) \
+T (135,	53, 43, 42, 41, 35, 50, 21, 51, 50, 55, 53, 59, 47, 54, 58, 4, 20, 59, 3, 63, 42, 1, 16, 21, 49, 60, 13, 47, 30, 35, 43, 19, 15, 21, 61, 50, 7, 18, 37, 58, 9, 26, 53, 56, 16, 47, 61, 37, 43, 36, 21, 2, 53, 43, 51, 49, 56, 34, 15, 28, 13, 34, 43, 35) \
+T (136,	31, 29, 42, 49, 2, 36, 58, 28, 26, 51, 44, 9, 48, 17, 52, 48, 10, 50, 43, 53, 37, 28, 45, 8, 43, 9, 21, 13, 52, 56, 45, 17, 35, 30, 19, 7, 25, 47, 33, 12, 28, 43, 60, 45, 31, 44, 35, 41, 31, 14, 30, 4, 42, 12, 12, 21, 21, 34, 35, 10, 26, 16, 27, 61) \
+T (137,	46, 47, 5, 7, 30, 38, 19, 58, 17, 15, 40, 49, 60, 11, 26, 27, 26, 57, 31, 4, 5, 44, 26, 26, 14, 61, 36, 40, 13, 0, 38, 59, 47, 43, 3, 13, 17, 22, 8, 35, 38, 48, 20, 34, 59, 46, 61, 21, 39, 28, 26, 44, 8, 52, 7, 22, 49, 43, 63, 62, 43, 37, 57, 26) \
+T (138,	16, 60, 40, 33, 19, 48, 4, 57, 32, 24, 27, 27, 7, 24, 49, 46, 52, 11, 27, 61, 63, 34, 19, 48, 13, 18, 46, 57, 55, 39, 19, 7, 36, 59, 41, 55, 43, 45, 48, 11, 6, 11, 39, 13, 35, 24, 59, 23, 35, 22, 20, 34, 56, 40, 18, 6, 58, 63, 50, 39, 18, 57, 11, 14) \
+T (139,	34, 2, 57, 16, 50, 5, 22, 61, 44, 35, 32, 4, 30, 56, 39, 53, 12, 9, 45, 52, 27, 51, 47, 27, 50, 33, 2, 5, 26, 14, 19, 61, 16, 12, 13, 3, 17, 35, 0, 61, 6, 33, 1, 36, 25, 40, 25, 37, 49, 7, 26, 12, 58, 9, 39, 45, 42, 42, 50, 4, 56, 5, 8, 17) \
+T (140,	14, 11, 35, 49, 12, 32, 55, 45, 34, 28, 6, 10, 53, 43, 60, 60, 5, 8, 55, 14, 48, 36, 56, 26, 22, 61, 18, 27, 62, 26, 44, 13, 38, 15, 62, 50, 48, 54, 31, 18, 18, 37, 28, 7, 16, 24, 4, 22, 33, 59, 36, 17, 31, 29, 43, 53, 26, 61, 16, 24, 23, 60, 37, 61) \
+T (141,	12, 36, 47, 60, 26, 14, 14, 44, 51, 42, 51, 4, 3, 55, 26, 36, 50, 62, 53, 17, 27, 32, 6, 53, 29, 22, 14, 52, 19, 51, 50, 31, 23, 33, 27, 49, 48, 41, 29, 35, 19, 17, 39, 22, 8, 58, 59, 0, 47, 12, 27, 15, 19, 17, 44, 41, 31, 33, 60, 18, 19, 27, 42, 52) \
+T (142,	54, 27, 36, 31, 57, 8, 51, 10, 47, 9, 18, 49, 4, 13, 49, 51, 26, 12, 3, 45, 29, 47, 22, 60, 16, 19, 15, 35, 46, 57, 24, 37, 20, 60, 4, 13, 4, 55, 23, 52, 1, 42, 37, 5, 55, 22, 56, 17, 34, 59, 62, 0, 43, 21, 60, 59, 40, 11, 31, 22, 4, 55, 59, 25) \
+T (143,	51, 0, 38, 56, 55, 62, 44, 56, 40, 17, 61, 31, 39, 49, 9, 49, 47, 9, 28, 4, 6, 24, 44, 17, 55, 3, 22, 46, 62, 47, 33, 62, 21, 25, 54, 19, 5, 46, 59, 22, 44, 27, 61, 34, 12, 7, 19, 59, 16, 48, 0, 22, 8, 44, 40, 63, 47, 62, 45, 46, 45, 14, 44, 2) \
+T (144,	40, 34, 22, 45, 17, 17, 4, 61, 44, 31, 56, 8, 50, 52, 25, 34, 52, 47, 42, 32, 23, 41, 16, 21, 22, 62, 2, 37, 42, 5, 13, 13, 27, 58, 30, 44, 62, 27, 25, 58, 17, 8, 44, 5, 33, 15, 57, 17, 57, 26, 40, 35, 42, 62, 57, 40, 0, 30, 18, 5, 43, 31, 32, 38) \
+T (145,	61, 13, 36, 24, 38, 36, 18, 55, 45, 63, 61, 14, 14, 54, 31, 7, 16, 8, 42, 58, 6, 36, 34, 6, 2, 53, 12, 46, 20, 44, 20, 18, 57, 56, 42, 31, 29, 61, 23, 10, 60, 20, 24, 10, 10, 56, 17, 27, 60, 21, 6, 32, 56, 12, 34, 45, 24, 16, 1, 5, 36, 19, 62, 29) \
+T (146,	62, 30, 58, 59, 53, 4, 55, 9, 28, 19, 20, 18, 46, 20, 14, 4, 26, 46, 60, 39, 17, 41, 63, 33, 42, 4, 6, 62, 3, 35, 60, 33, 29, 55, 22, 33, 46, 31, 61, 47, 50, 18, 1, 33, 38, 16, 37, 62, 33, 40, 15, 10, 39, 49, 52, 44, 55, 50, 47, 26, 46, 16, 55, 37) \
+T (147,	38, 24, 19, 5, 21, 2, 55, 39, 4, 24, 14, 20, 61, 15, 18, 30, 55, 34, 40, 30, 19, 29, 10, 10, 15, 57, 36, 62, 9, 27, 35, 47, 51, 55, 52, 8, 57, 44, 48, 61, 4, 62, 17, 2, 13, 36, 32, 4, 6, 9, 34, 25, 38, 45, 35, 53, 38, 7, 51, 48, 34, 23, 31, 21) \
+T (148,	14, 20, 29, 7, 13, 5, 4, 11, 22, 6, 24, 58, 39, 28, 48, 63, 25, 22, 44, 60, 11, 18, 3, 63, 2, 37, 22, 34, 58, 36, 54, 24, 43, 37, 48, 58, 49, 7, 9, 40, 38, 2, 24, 37, 27, 46, 17, 24, 57, 35, 27, 56, 38, 1, 14, 8, 59, 50, 62, 19, 30, 52, 57, 14) \
+T (149,	46, 42, 21, 47, 51, 23, 23, 25, 25, 47, 62, 52, 29, 15, 12, 23, 51, 40, 15, 25, 41, 30, 33, 36, 16, 31, 56, 46, 19, 49, 61, 1, 27, 18, 49, 14, 41, 8, 40, 2, 56, 38, 55, 21, 3, 44, 41, 43, 60, 2, 20, 26, 35, 57, 42, 2, 49, 25, 21, 34, 22, 22, 61, 40) \
+T (150,	7, 11, 18, 16, 51, 20, 8, 26, 11, 29, 16, 15, 10, 57, 58, 6, 59, 15, 32, 30, 8, 10, 32, 57, 35, 53, 27, 57, 11, 24, 34, 19, 35, 52, 35, 23, 8, 43, 49, 20, 8, 1, 35, 18, 58, 29, 24, 53, 44, 56, 19, 52, 3, 51, 45, 38, 40, 8, 32, 51, 32, 2, 6, 4) \
+T (151,	54, 41, 27, 62, 20, 12, 18, 29, 13, 53, 47, 7, 19, 8, 60, 63, 15, 52, 3, 2, 33, 42, 42, 42, 10, 29, 10, 12, 36, 14, 2, 13, 41, 34, 53, 19, 63, 2, 8, 46, 9, 27, 5, 27, 55, 20, 15, 58, 22, 48, 36, 0, 26, 46, 30, 37, 58, 2, 51, 60, 15, 29, 61, 49) \
+T (152,	18, 16, 48, 21, 24, 31, 30, 52, 21, 36, 15, 12, 56, 30, 7, 15, 14, 43, 15, 41, 26, 45, 14, 20, 47, 1, 17, 63, 30, 14, 48, 49, 30, 33, 6, 36, 42, 21, 8, 57, 34, 23, 41, 16, 38, 20, 31, 15, 46, 13, 29, 3, 60, 30, 20, 59, 61, 34, 44, 46, 13, 52, 54, 13) \
+T (153,	24, 33, 34, 33, 26, 4, 34, 50, 45, 50, 24, 2, 17, 39, 48, 30, 4, 51, 27, 34, 7, 22, 31, 41, 2, 13, 41, 15, 32, 28, 26, 63, 59, 27, 3, 29, 13, 49, 15, 37, 51, 32, 12, 35, 63, 16, 23, 26, 51, 30, 48, 18, 8, 51, 32, 49, 2, 33, 17, 31, 59, 18, 30, 46) \
+T (154,	33, 19, 59, 18, 34, 33, 5, 3, 45, 41, 2, 62, 28, 49, 30, 12, 3, 38, 63, 35, 24, 2, 5, 41, 33, 60, 63, 55, 42, 32, 10, 37, 51, 45, 6, 56, 48, 52, 33, 50, 50, 33, 14, 35, 0, 26, 38, 38, 26, 10, 62, 28, 15, 40, 61, 15, 36, 60, 6, 14, 28, 17, 51, 15) \
+T (155,	62, 58, 8, 46, 46, 41, 32, 32, 11, 46, 3, 11, 8, 41, 49, 34, 51, 48, 62, 2, 24, 59, 18, 60, 55, 24, 10, 20, 41, 61, 35, 39, 55, 43, 21, 37, 21, 53, 5, 32, 35, 8, 43, 44, 50, 28, 14, 37, 12, 13, 40, 36, 8, 58, 32, 0, 18, 42, 20, 60, 40, 55, 35, 31) \
+T (156,	35, 57, 5, 56, 46, 10, 24, 18, 19, 3, 62, 5, 31, 12, 42, 44, 25, 18, 16, 34, 12, 49, 34, 31, 27, 54, 27, 3, 45, 62, 35, 16, 55, 40, 8, 38, 50, 32, 56, 5, 35, 54, 10, 3, 2, 53, 47, 28, 7, 63, 62, 20, 48, 32, 51, 12, 22, 14, 15, 3, 12, 50, 20, 4) \
+T (157,	26, 28, 42, 13, 61, 34, 18, 32, 24, 29, 35, 26, 18, 18, 25, 18, 52, 45, 2, 20, 32, 14, 42, 46, 30, 46, 59, 16, 2, 63, 43, 30, 41, 56, 27, 11, 10, 60, 35, 39, 31, 61, 57, 50, 52, 19, 4, 40, 0, 6, 61, 33, 21, 39, 15, 51, 21, 10, 3, 23, 9, 46, 50, 38) \
+T (158,	17, 61, 49, 13, 32, 24, 45, 30, 18, 31, 18, 37, 35, 58, 37, 41, 55, 6, 62, 31, 22, 49, 52, 32, 53, 12, 42, 35, 2, 28, 10, 19, 26, 59, 33, 58, 19, 14, 24, 37, 45, 42, 10, 16, 37, 48, 57, 28, 54, 56, 59, 12, 41, 48, 45, 30, 60, 23, 2, 62, 51, 12, 17, 13) \
+T (159,	7, 50, 8, 26, 32, 45, 11, 10, 61, 48, 58, 55, 12, 49, 47, 8, 61, 24, 56, 42, 55, 52, 57, 50, 53, 5, 3, 2, 12, 10, 38, 54, 43, 38, 36, 49, 33, 38, 43, 24, 50, 28, 7, 58, 26, 32, 50, 4, 23, 38, 6, 16, 24, 59, 21, 28, 61, 33, 18, 8, 7, 8, 51, 46) \
+T (160,	44, 41, 31, 14, 15, 10, 38, 39, 46, 60, 14, 46, 5, 37, 21, 11, 53, 45, 6, 10, 9, 4, 43, 27, 12, 50, 36, 63, 32, 16, 40, 63, 30, 55, 10, 5, 56, 49, 51, 52, 50, 1, 35, 55, 38, 56, 3, 27, 37, 9, 37, 47, 13, 16, 10, 25, 2, 46, 24, 35, 63, 34, 29, 55) \
+T (161,	44, 34, 48, 29, 21, 36, 15, 22, 7, 7, 60, 63, 10, 23, 37, 19, 60, 20, 33, 12, 30, 58, 15, 13, 19, 50, 12, 19, 20, 41, 11, 1, 12, 59, 30, 33, 31, 46, 56, 39, 53, 52, 38, 63, 12, 11, 18, 8, 31, 51, 21, 62, 46, 36, 11, 1, 22, 23, 20, 42, 0, 31, 43, 12) \
+T (162,	26, 10, 46, 58, 56, 38, 33, 45, 26, 7, 44, 38, 19, 62, 47, 50, 50, 4, 48, 32, 40, 59, 33, 62, 18, 53, 40, 19, 21, 20, 31, 47, 30, 13, 41, 22, 51, 10, 3, 14, 18, 47, 52, 37, 45, 35, 23, 31, 39, 8, 63, 15, 3, 32, 13, 22, 22, 54, 41, 43, 10, 8, 26, 40) \
+T (163,	22, 4, 62, 9, 14, 23, 32, 48, 12, 5, 29, 47, 29, 61, 23, 37, 60, 38, 40, 29, 52, 62, 51, 42, 39, 30, 52, 48, 56, 28, 6, 60, 26, 15, 11, 27, 39, 43, 11, 51, 49, 40, 34, 14, 37, 57, 51, 34, 32, 27, 63, 20, 26, 50, 62, 1, 16, 50, 49, 8, 14, 55, 5, 40) \
+T (164,	7, 16, 3, 46, 59, 14, 33, 44, 54, 3, 58, 28, 61, 45, 62, 29, 9, 61, 49, 35, 47, 47, 36, 63, 33, 22, 7, 47, 13, 12, 23, 20, 28, 26, 2, 24, 40, 35, 4, 30, 39, 63, 58, 36, 44, 56, 53, 53, 50, 24, 36, 33, 61, 35, 2, 19, 43, 49, 32, 55, 8, 53, 20, 34) \
+T (165,	55, 44, 10, 27, 48, 40, 2, 47, 35, 38, 28, 27, 39, 17, 17, 25, 42, 53, 58, 39, 25, 60, 58, 4, 45, 26, 59, 53, 15, 15, 23, 7, 59, 33, 34, 44, 9, 36, 27, 44, 10, 55, 8, 49, 9, 25, 10, 51, 14, 4, 26, 39, 0, 20, 43, 45, 46, 39, 34, 62, 57, 5, 50, 26) \
+T (166,	39, 30, 35, 11, 57, 16, 21, 49, 24, 6, 58, 49, 16, 45, 63, 20, 7, 39, 20, 27, 18, 1, 9, 57, 35, 7, 48, 28, 12, 34, 51, 25, 62, 57, 41, 19, 42, 1, 25, 36, 50, 41, 17, 50, 61, 24, 25, 17, 51, 43, 18, 61, 37, 53, 4, 21, 17, 17, 55, 7, 4, 55, 33, 3) \
+T (167,	48, 10, 22, 27, 12, 48, 63, 62, 25, 17, 48, 23, 41, 9, 40, 29, 53, 59, 26, 26, 48, 30, 47, 2, 47, 38, 9, 52, 29, 42, 55, 13, 53, 13, 40, 1, 61, 40, 63, 23, 57, 48, 46, 34, 57, 22, 63, 46, 17, 25, 8, 2, 56, 55, 4, 39, 29, 13, 27, 58, 56, 18, 8, 45) \
+T (168,	32, 48, 46, 29, 24, 45, 52, 17, 29, 34, 52, 23, 57, 51, 5, 10, 13, 14, 12, 5, 5, 16, 44, 35, 30, 8, 29, 22, 26, 37, 3, 58, 22, 49, 24, 46, 30, 12, 60, 47, 52, 19, 40, 39, 24, 50, 52, 38, 63, 57, 44, 15, 38, 15, 45, 46, 44, 3, 8, 18, 6, 3, 40, 55) \
+T (169,	27, 22, 22, 39, 22, 18, 22, 10, 37, 62, 50, 61, 49, 38, 36, 48, 32, 16, 63, 6, 31, 45, 52, 11, 48, 60, 29, 55, 63, 5, 46, 26, 28, 4, 2, 50, 22, 24, 61, 59, 23, 47, 57, 8, 21, 29, 56, 53, 45, 55, 59, 12, 36, 47, 23, 21, 44, 53, 12, 43, 58, 58, 6, 22) \
+T (170,	63, 8, 9, 21, 32, 6, 17, 55, 53, 10, 63, 10, 39, 55, 20, 47, 59, 32, 19, 43, 55, 40, 23, 44, 52, 2, 39, 47, 8, 61, 46, 16, 6, 3, 49, 12, 20, 40, 1, 30, 40, 12, 5, 31, 12, 25, 14, 7, 57, 34, 50, 49, 10, 9, 29, 63, 12, 4, 46, 20, 2, 28, 37, 8) \
+T (171,	31, 22, 21, 52, 62, 22, 18, 38, 34, 24, 6, 46, 49, 20, 54, 43, 54, 40, 28, 1, 50, 57, 0, 62, 62, 46, 18, 10, 55, 8, 41, 13, 29, 29, 12, 52, 48, 50, 22, 8, 56, 5, 57, 13, 59, 36, 3, 35, 4, 21, 58, 4, 19, 56, 50, 38, 56, 60, 29, 38, 43, 30, 3, 55) \
+T (172,	18, 51, 41, 40, 59, 34, 45, 53, 47, 40, 25, 50, 12, 26, 55, 33, 20, 59, 53, 12, 46, 27, 4, 42, 56, 4, 16, 35, 34, 20, 26, 52, 7, 4, 29, 3, 38, 10, 56, 21, 51, 17, 7, 63, 43, 62, 32, 63, 58, 21, 11, 40, 48, 15, 18, 41, 20, 35, 12, 55, 39, 43, 62, 43) \
+T (173,	8, 17, 18, 57, 38, 5, 11, 45, 4, 54, 44, 37, 38, 58, 1, 14, 43, 17, 32, 20, 37, 3, 32, 27, 58, 7, 6, 57, 50, 14, 58, 3, 33, 52, 41, 38, 63, 23, 43, 53, 3, 16, 43, 41, 10, 45, 55, 53, 62, 23, 9, 35, 27, 42, 62, 21, 49, 5, 14, 36, 19, 9, 39, 52) \
+T (174,	61, 17, 27, 60, 40, 6, 49, 43, 22, 29, 20, 32, 10, 11, 22, 8, 34, 31, 43, 61, 9, 41, 19, 59, 46, 33, 31, 2, 42, 6, 54, 39, 23, 17, 35, 63, 23, 21, 42, 45, 50, 62, 14, 60, 9, 36, 4, 44, 3, 47, 41, 13, 24, 60, 8, 7, 30, 39, 9, 8, 45, 63, 48, 5) \
+T (175,	17, 19, 4, 40, 40, 47, 22, 26, 45, 36, 22, 55, 8, 26, 35, 11, 9, 12, 24, 34, 9, 32, 41, 39, 7, 50, 47, 53, 49, 31, 58, 2, 51, 62, 43, 27, 45, 27, 37, 12, 18, 45, 39, 53, 56, 48, 1, 17, 18, 10, 49, 59, 49, 57, 45, 33, 46, 31, 40, 33, 51, 38, 12, 15) \
+T (176,	20, 13, 5, 47, 50, 17, 31, 56, 24, 41, 55, 41, 59, 2, 26, 55, 51, 19, 36, 20, 1, 3, 21, 41, 37, 8, 16, 49, 23, 36, 63, 28, 19, 49, 46, 20, 17, 38, 10, 41, 15, 18, 11, 3, 44, 2, 55, 38, 11, 42, 32, 43, 15, 41, 59, 0, 0, 31, 63, 29, 50, 49, 11, 6) \
+T (177,	2, 49, 16, 43, 1, 17, 61, 12, 21, 41, 14, 12, 41, 52, 23, 43, 30, 56, 22, 45, 33, 17, 46, 33, 48, 45, 62, 34, 30, 9, 40, 32, 59, 56, 11, 60, 9, 8, 8, 30, 50, 22, 42, 27, 10, 2, 6, 41, 58, 28, 22, 27, 45, 4, 60, 29, 50, 59, 63, 16, 4, 39, 49, 63) \
+T (178,	31, 60, 59, 41, 5, 3, 7, 55, 25, 50, 18, 36, 52, 25, 13, 46, 53, 35, 9, 35, 40, 5, 0, 26, 0, 42, 5, 39, 27, 4, 7, 24, 0, 48, 29, 3, 55, 20, 29, 41, 38, 29, 63, 14, 11, 53, 49, 20, 24, 25, 26, 24, 51, 26, 24, 30, 31, 57, 36, 7, 17, 36, 55, 46) \
+T (179,	39, 46, 2, 4, 24, 41, 5, 53, 40, 19, 29, 5, 21, 53, 30, 47, 14, 18, 10, 38, 48, 41, 38, 41, 13, 45, 59, 49, 36, 41, 25, 19, 44, 29, 43, 21, 35, 32, 61, 54, 33, 27, 59, 55, 16, 26, 38, 30, 44, 48, 5, 28, 26, 43, 5, 39, 25, 25, 61, 42, 50, 16, 22, 15) \
+T (180,	59, 43, 50, 28, 40, 41, 61, 3, 36, 52, 20, 62, 27, 50, 42, 11, 55, 6, 37, 35, 12, 13, 60, 12, 38, 57, 24, 10, 12, 39, 5, 55, 26, 33, 32, 3, 31, 35, 39, 19, 55, 38, 46, 42, 16, 58, 33, 23, 31, 4, 35, 44, 0, 47, 18, 58, 38, 42, 4, 50, 18, 9, 42, 44) \
+T (181,	43, 10, 47, 10, 45, 22, 29, 37, 60, 12, 15, 13, 6, 48, 36, 37, 53, 7, 18, 53, 36, 47, 28, 15, 51, 15, 33, 61, 57, 13, 40, 3, 60, 50, 48, 18, 15, 21, 15, 27, 36, 28, 33, 21, 7, 10, 7, 25, 63, 61, 61, 47, 26, 12, 34, 41, 45, 31, 34, 58, 7, 37, 54, 57) \
+T (182,	21, 9, 9, 43, 24, 36, 15, 52, 6, 36, 52, 13, 46, 59, 38, 46, 56, 35, 29, 18, 48, 63, 59, 29, 31, 29, 24, 38, 2, 14, 32, 24, 23, 41, 3, 47, 13, 18, 35, 19, 55, 23, 32, 37, 18, 6, 19, 11, 42, 48, 29, 26, 48, 25, 55, 15, 54, 15, 53, 57, 30, 21, 17, 53) \
+T (183,	62, 20, 37, 12, 38, 8, 31, 29, 32, 3, 50, 6, 22, 61, 48, 7, 27, 10, 55, 52, 2, 6, 42, 17, 59, 35, 47, 17, 52, 37, 15, 8, 10, 27, 47, 18, 59, 12, 50, 59, 15, 37, 38, 34, 50, 45, 61, 60, 36, 49, 62, 42, 28, 16, 37, 63, 63, 54, 52, 36, 6, 60, 46, 33) \
+T (184,	43, 1, 28, 56, 51, 23, 7, 24, 25, 45, 59, 11, 26, 56, 7, 62, 42, 6, 40, 6, 22, 14, 5, 21, 4, 57, 58, 10, 54, 40, 44, 33, 41, 8, 25, 29, 32, 33, 53, 57, 14, 48, 4, 41, 41, 11, 39, 19, 17, 16, 25, 39, 30, 30, 61, 34, 24, 55, 45, 14, 31, 25, 47, 9) \
+T (185,	33, 9, 38, 42, 27, 58, 56, 12, 62, 33, 53, 10, 9, 8, 27, 25, 33, 3, 55, 63, 25, 23, 55, 6, 37, 22, 31, 21, 31, 1, 30, 5, 2, 8, 33, 61, 45, 59, 34, 34, 5, 43, 42, 33, 4, 11, 36, 59, 10, 36, 20, 34, 27, 27, 7, 49, 58, 28, 17, 59, 58, 22, 62, 2) \
+T (186,	55, 59, 3, 36, 54, 37, 6, 60, 16, 48, 29, 20, 59, 1, 15, 6, 37, 35, 40, 0, 62, 47, 49, 57, 12, 2, 52, 6, 25, 50, 9, 16, 45, 12, 53, 36, 49, 59, 32, 44, 61, 21, 39, 62, 36, 45, 35, 7, 21, 35, 6, 5, 20, 63, 17, 23, 51, 23, 48, 38, 32, 19, 44, 53) \
+T (187,	55, 29, 49, 23, 30, 29, 20, 51, 4, 18, 23, 50, 53, 31, 7, 24, 37, 12, 45, 36, 29, 4, 23, 53, 52, 61, 21, 52, 17, 2, 42, 8, 31, 27, 32, 62, 56, 52, 49, 60, 7, 9, 46, 60, 40, 54, 21, 13, 2, 2, 49, 32, 6, 8, 21, 58, 6, 42, 46, 23, 44, 24, 31, 12) \
+T (188,	51, 63, 10, 43, 52, 59, 40, 59, 4, 22, 55, 44, 12, 12, 57, 15, 14, 42, 47, 20, 51, 4, 14, 57, 46, 61, 16, 27, 21, 47, 39, 9, 47, 49, 52, 35, 44, 28, 30, 49, 51, 21, 29, 63, 34, 23, 14, 48, 1, 61, 5, 52, 19, 45, 48, 16, 61, 11, 38, 45, 50, 47, 28, 35) \
+T (189,	35, 63, 15, 0, 29, 0, 51, 50, 30, 50, 20, 53, 1, 5, 54, 62, 10, 43, 29, 24, 48, 46, 22, 59, 20, 3, 45, 3, 31, 16, 38, 30, 31, 38, 59, 32, 25, 45, 62, 12, 2, 51, 13, 7, 41, 11, 17, 20, 11, 46, 45, 59, 28, 3, 48, 6, 35, 51, 37, 51, 26, 3, 19, 62) \
+T (190,	51, 26, 43, 49, 38, 45, 36, 51, 52, 13, 62, 5, 34, 10, 52, 15, 5, 16, 18, 60, 24, 31, 52, 61, 19, 14, 38, 15, 62, 25, 41, 41, 10, 15, 23, 46, 2, 11, 59, 0, 17, 29, 10, 5, 44, 16, 21, 62, 12, 22, 22, 43, 11, 19, 62, 25, 19, 36, 40, 17, 61, 17, 59, 7) \
+T (191,	32, 18, 53, 34, 29, 49, 35, 46, 14, 45, 51, 59, 61, 9, 57, 9, 31, 16, 53, 42, 35, 51, 4, 55, 24, 44, 8, 21, 62, 3, 29, 30, 21, 18, 1, 51, 3, 36, 33, 18, 17, 21, 13, 15, 30, 6, 24, 61, 22, 13, 40, 58, 44, 49, 25, 24, 57, 46, 22, 61, 11, 53, 18, 30) \
+T (192,	54, 5, 33, 26, 39, 51, 43, 60, 58, 26, 7, 19, 23, 29, 32, 63, 23, 33, 43, 8, 58, 4, 2, 41, 26, 63, 52, 15, 17, 18, 5, 23, 52, 31, 62, 39, 11, 58, 40, 5, 20, 47, 24, 43, 12, 57, 43, 36, 26, 22, 44, 21, 26, 46, 62, 53, 45, 50, 4, 63, 5, 10, 22, 57) \
+T (193,	41, 20, 32, 52, 14, 8, 58, 34, 55, 18, 13, 4, 11, 56, 40, 38, 15, 20, 59, 41, 3, 57, 30, 48, 43, 35, 47, 48, 45, 5, 41, 22, 25, 10, 11, 39, 18, 5, 9, 10, 23, 23, 14, 35, 15, 9, 30, 10, 4, 8, 13, 61, 38, 62, 40, 9, 45, 25, 54, 51, 2, 13, 12, 12) \
+T (194,	24, 52, 31, 29, 61, 41, 52, 20, 55, 23, 36, 45, 32, 2, 55, 36, 10, 5, 33, 49, 3, 10, 58, 48, 35, 49, 35, 37, 62, 48, 50, 22, 36, 17, 51, 33, 58, 39, 54, 49, 63, 26, 30, 31, 28, 21, 4, 39, 26, 37, 24, 29, 47, 18, 14, 18, 3, 49, 56, 33, 42, 23, 5, 59) \
+T (195,	10, 39, 53, 50, 29, 38, 49, 55, 4, 16, 19, 25, 20, 58, 52, 58, 18, 17, 41, 37, 31, 60, 40, 17, 52, 42, 50, 30, 1, 56, 25, 12, 31, 14, 62, 60, 52, 47, 51, 56, 63, 6, 17, 20, 5, 14, 19, 23, 55, 56, 54, 51, 33, 7, 39, 11, 58, 5, 12, 50, 30, 24, 17, 44) \
+T (196,	22, 13, 32, 5, 24, 5, 6, 42, 25, 7, 47, 39, 27, 6, 30, 19, 61, 18, 52, 4, 57, 63, 62, 63, 12, 48, 29, 36, 1, 10, 59, 14, 42, 0, 14, 3, 5, 21, 45, 30, 28, 28, 5, 55, 35, 36, 11, 32, 63, 36, 47, 63, 35, 46, 11, 19, 12, 47, 21, 22, 42, 35, 43, 50) \
+T (197,	3, 48, 7, 48, 15, 35, 13, 20, 27, 48, 56, 38, 16, 46, 37, 52, 30, 36, 23, 12, 47, 43, 24, 31, 0, 46, 9, 35, 47, 52, 21, 50, 37, 28, 35, 52, 48, 8, 27, 32, 48, 47, 38, 36, 13, 11, 60, 26, 58, 39, 50, 25, 39, 33, 35, 10, 16, 23, 32, 2, 60, 60, 37, 48) \
+T (198,	60, 21, 57, 23, 53, 58, 24, 37, 41, 63, 10, 55, 10, 6, 17, 4, 45, 3, 30, 20, 36, 1, 30, 52, 24, 62, 55, 21, 59, 28, 5, 55, 50, 62, 15, 39, 56, 39, 13, 34, 38, 23, 25, 48, 29, 42, 53, 10, 45, 19, 30, 18, 20, 60, 6, 44, 59, 61, 1, 54, 26, 7, 45, 12) \
+T (199,	5, 60, 51, 62, 36, 0, 32, 10, 23, 57, 59, 52, 35, 48, 62, 16, 3, 28, 34, 23, 25, 41, 3, 20, 38, 5, 10, 0, 12, 55, 12, 17, 52, 15, 24, 47, 34, 24, 40, 29, 12, 11, 13, 11, 28, 16, 39, 62, 39, 0, 39, 43, 20, 14, 48, 30, 14, 60, 22, 27, 13, 10, 27, 29) \
+T (200,	34, 27, 12, 4, 51, 53, 34, 47, 11, 28, 50, 27, 39, 51, 2, 18, 7, 16, 2, 38, 31, 62, 60, 58, 12, 6, 21, 41, 40, 48, 53, 44, 36, 42, 14, 36, 43, 62, 47, 7, 62, 33, 34, 37, 20, 37, 56, 28, 53, 58, 2, 20, 57, 62, 14, 5, 4, 35, 46, 44, 20, 35, 24, 56) \
+T (201,	14, 39, 28, 57, 37, 11, 35, 44, 35, 8, 1, 8, 29, 61, 59, 31, 18, 52, 29, 32, 57, 33, 4, 39, 13, 24, 10, 37, 16, 24, 12, 44, 17, 49, 55, 18, 20, 35, 53, 29, 36, 61, 29, 1, 58, 24, 32, 12, 12, 61, 45, 5, 30, 49, 44, 43, 9, 55, 17, 25, 15, 29, 5, 33) \
+T (202,	15, 60, 51, 35, 31, 40, 4, 37, 30, 5, 31, 54, 38, 44, 3, 35, 25, 8, 2, 10, 53, 45, 19, 44, 62, 44, 59, 28, 49, 28, 43, 45, 15, 14, 12, 55, 15, 16, 28, 45, 22, 60, 35, 60, 40, 38, 31, 47, 33, 11, 36, 15, 30, 16, 13, 10, 11, 41, 59, 40, 20, 40, 55, 35) \
+T (203,	52, 47, 50, 5, 11, 31, 27, 7, 2, 23, 47, 41, 48, 24, 24, 59, 60, 39, 25, 12, 52, 35, 23, 30, 30, 63, 50, 6, 55, 21, 59, 38, 7, 0, 49, 38, 27, 57, 41, 50, 40, 18, 40, 25, 42, 20, 38, 39, 46, 50, 28, 17, 9, 58, 48, 9, 44, 2, 49, 38, 9, 49, 23, 48) \
+T (204,	12, 16, 25, 62, 57, 43, 39, 18, 21, 39, 38, 59, 15, 20, 45, 43, 38, 54, 37, 22, 63, 17, 12, 63, 19, 62, 37, 29, 47, 61, 13, 60, 13, 38, 58, 6, 17, 33, 24, 38, 9, 63, 33, 24, 19, 14, 3, 57, 4, 40, 15, 4, 57, 28, 3, 13, 26, 41, 42, 9, 38, 55, 5, 51) \
+T (205,	29, 0, 58, 46, 33, 18, 20, 42, 17, 53, 2, 37, 3, 5, 30, 7, 45, 46, 11, 39, 10, 15, 52, 36, 56, 30, 45, 30, 21, 51, 17, 50, 51, 11, 32, 20, 30, 52, 63, 47, 41, 1, 20, 44, 7, 51, 51, 52, 33, 63, 27, 43, 14, 15, 15, 6, 45, 60, 36, 2, 47, 53, 52, 34) \
+T (206,	1, 20, 55, 31, 8, 54, 14, 49, 55, 35, 29, 62, 22, 17, 51, 55, 16, 14, 34, 30, 30, 49, 36, 11, 45, 8, 14, 29, 61, 2, 63, 62, 23, 54, 29, 31, 44, 44, 17, 36, 15, 46, 34, 37, 63, 21, 28, 15, 36, 62, 45, 2, 47, 17, 13, 28, 25, 27, 57, 23, 30, 57, 21, 53) \
+T (207,	47, 51, 20, 28, 31, 37, 0, 46, 20, 34, 19, 19, 56, 47, 35, 28, 45, 16, 30, 28, 34, 43, 56, 59, 7, 50, 18, 37, 43, 40, 26, 26, 27, 46, 58, 20, 40, 40, 25, 59, 59, 17, 42, 30, 45, 23, 47, 11, 51, 17, 43, 12, 61, 29, 31, 34, 8, 7, 60, 35, 34, 43, 25, 28) \
+T (208,	63, 16, 4, 39, 41, 63, 34, 58, 41, 39, 0, 48, 50, 51, 40, 30, 13, 38, 60, 44, 8, 4, 51, 5, 39, 21, 48, 49, 47, 17, 53, 22, 58, 52, 56, 52, 29, 57, 27, 29, 41, 13, 16, 42, 53, 47, 56, 27, 43, 36, 36, 47, 24, 41, 23, 45, 25, 24, 31, 8, 41, 20, 30, 35) \
+T (209,	9, 22, 23, 38, 16, 50, 4, 57, 63, 20, 36, 52, 3, 28, 16, 46, 52, 30, 24, 29, 53, 6, 54, 13, 37, 62, 54, 57, 28, 25, 2, 50, 48, 41, 2, 34, 45, 60, 33, 32, 21, 5, 60, 37, 51, 60, 25, 17, 21, 6, 27, 44, 19, 0, 42, 9, 57, 6, 34, 60, 57, 18, 37, 59) \
+T (210,	52, 18, 55, 21, 19, 23, 43, 24, 19, 16, 12, 16, 42, 29, 37, 32, 36, 13, 55, 55, 1, 57, 62, 35, 53, 55, 54, 26, 50, 42, 44, 42, 0, 0, 1, 43, 24, 21, 59, 36, 37, 37, 2, 10, 6, 38, 10, 19, 29, 10, 10, 30, 3, 8, 2, 57, 63, 56, 19, 50, 34, 0, 28, 34) \
+T (211,	0, 29, 13, 24, 50, 9, 61, 23, 46, 63, 33, 52, 37, 43, 7, 2, 53, 18, 33, 57, 26, 35, 50, 26, 27, 5, 12, 61, 5, 40, 32, 5, 5, 45, 30, 56, 54, 27, 15, 37, 26, 49, 25, 63, 28, 33, 18, 51, 34, 11, 13, 5, 61, 39, 32, 2, 51, 30, 8, 27, 62, 13, 33, 43) \
+T (212,	43, 25, 34, 6, 40, 7, 32, 25, 32, 31, 54, 33, 8, 52, 3, 19, 2, 9, 16, 41, 41, 18, 29, 7, 26, 56, 5, 40, 25, 49, 19, 50, 19, 26, 27, 26, 58, 52, 58, 26, 42, 60, 59, 50, 48, 62, 5, 50, 7, 21, 28, 49, 40, 57, 56, 2, 49, 62, 42, 11, 47, 62, 61, 2) \
+T (213,	24, 24, 28, 18, 13, 22, 44, 55, 18, 39, 42, 3, 38, 47, 53, 45, 5, 17, 30, 45, 10, 23, 47, 60, 21, 26, 7, 4, 24, 4, 6, 48, 29, 34, 2, 42, 56, 47, 33, 11, 22, 11, 14, 60, 59, 3, 42, 21, 8, 45, 31, 31, 28, 27, 52, 54, 34, 56, 14, 39, 62, 62, 4, 32) \
+T (214,	1, 46, 25, 48, 15, 36, 6, 27, 50, 3, 22, 53, 45, 22, 10, 53, 3, 42, 21, 31, 5, 9, 22, 40, 2, 36, 15, 35, 19, 33, 36, 1, 58, 20, 16, 30, 26, 43, 16, 29, 5, 10, 23, 16, 0, 26, 58, 21, 58, 63, 30, 16, 39, 32, 52, 33, 23, 9, 2, 59, 10, 60, 15, 27) \
+T (215,	26, 42, 6, 42, 7, 8, 47, 18, 31, 63, 18, 58, 57, 39, 52, 57, 5, 4, 32, 38, 56, 23, 7, 16, 32, 9, 11, 43, 5, 27, 6, 31, 5, 12, 9, 12, 20, 56, 30, 52, 56, 48, 46, 49, 23, 34, 42, 29, 38, 11, 3, 30, 34, 10, 46, 2, 19, 58, 45, 24, 21, 51, 55, 26) \
+T (216,	0, 0, 38, 20, 56, 5, 8, 48, 53, 54, 34, 13, 24, 12, 42, 62, 23, 45, 29, 57, 55, 11, 60, 10, 5, 41, 34, 26, 29, 25, 52, 29, 25, 27, 49, 17, 32, 58, 2, 21, 48, 36, 34, 9, 48, 12, 7, 8, 57, 36, 1, 48, 48, 61, 58, 53, 39, 28, 16, 4, 53, 4, 33, 14) \
+T (217,	31, 18, 32, 63, 12, 34, 21, 61, 6, 55, 6, 54, 4, 13, 62, 61, 50, 0, 46, 34, 61, 40, 23, 36, 5, 39, 40, 58, 44, 9, 9, 11, 28, 41, 11, 40, 11, 32, 37, 17, 23, 43, 7, 27, 57, 6, 25, 43, 6, 7, 13, 3, 47, 36, 40, 52, 12, 16, 47, 56, 26, 56, 3, 33) \
+T (218,	14, 30, 44, 46, 4, 61, 6, 47, 4, 33, 40, 10, 58, 19, 16, 32, 20, 49, 5, 60, 37, 17, 12, 20, 9, 38, 12, 12, 28, 45, 27, 59, 25, 9, 63, 22, 15, 46, 27, 49, 23, 37, 43, 42, 45, 11, 10, 30, 16, 6, 3, 33, 18, 24, 42, 57, 36, 21, 18, 17, 16, 43, 27, 15) \
+T (219,	2, 42, 62, 29, 27, 21, 2, 7, 63, 56, 52, 10, 2, 18, 26, 8, 21, 59, 27, 45, 37, 20, 18, 28, 41, 36, 45, 58, 15, 8, 9, 17, 51, 7, 46, 14, 28, 49, 21, 28, 41, 9, 38, 44, 27, 1, 52, 49, 60, 15, 30, 34, 35, 48, 62, 13, 20, 43, 7, 36, 52, 16, 53, 39) \
+T (220,	24, 36, 53, 52, 21, 11, 16, 62, 20, 55, 42, 48, 56, 31, 33, 52, 46, 63, 22, 18, 48, 20, 31, 4, 38, 40, 52, 30, 27, 14, 2, 16, 3, 23, 27, 19, 21, 48, 10, 32, 2, 31, 1, 55, 13, 13, 31, 48, 34, 62, 53, 34, 36, 29, 22, 27, 59, 49, 41, 61, 1, 44, 20, 29) \
+T (221,	0, 42, 13, 10, 42, 45, 13, 9, 46, 4, 22, 46, 17, 31, 51, 52, 20, 21, 25, 49, 43, 52, 45, 28, 29, 42, 30, 10, 63, 59, 10, 41, 8, 20, 19, 53, 33, 28, 35, 37, 50, 17, 55, 40, 48, 42, 29, 4, 0, 54, 43, 42, 35, 8, 7, 13, 38, 17, 12, 33, 27, 53, 41, 48) \
+T (222,	8, 30, 17, 36, 1, 55, 23, 18, 46, 63, 3, 24, 28, 7, 24, 18, 61, 4, 60, 32, 12, 4, 46, 50, 21, 58, 19, 49, 48, 60, 33, 56, 26, 50, 29, 27, 41, 52, 45, 23, 51, 48, 48, 16, 56, 8, 34, 53, 12, 31, 22, 24, 35, 4, 10, 56, 62, 29, 41, 46, 25, 10, 39, 51) \
+T (223,	61, 4, 14, 38, 56, 60, 62, 43, 44, 46, 59, 36, 30, 26, 3, 61, 48, 27, 32, 52, 38, 24, 50, 3, 2, 33, 29, 12, 8, 16, 9, 12, 31, 48, 4, 27, 46, 47, 7, 28, 43, 44, 18, 9, 6, 21, 6, 54, 49, 38, 42, 23, 62, 28, 26, 0, 61, 55, 13, 5, 8, 22, 17, 39) \
+T (224,	6, 21, 2, 52, 5, 9, 16, 48, 53, 35, 57, 59, 56, 63, 49, 41, 37, 27, 35, 56, 27, 36, 53, 18, 49, 59, 26, 7, 12, 1, 14, 34, 3, 2, 39, 13, 19, 23, 2, 54, 16, 62, 46, 15, 47, 24, 52, 11, 24, 23, 3, 51, 59, 56, 6, 44, 51, 32, 52, 0, 34, 2, 34, 37) \
+T (225,	4, 9, 50, 23, 32, 53, 13, 48, 51, 60, 63, 34, 20, 51, 45, 44, 10, 48, 32, 6, 41, 38, 50, 28, 6, 38, 28, 40, 40, 62, 14, 45, 7, 0, 4, 39, 53, 18, 23, 40, 14, 22, 11, 34, 9, 56, 14, 20, 41, 46, 26, 18, 20, 12, 46, 27, 51, 11, 3, 27, 9, 17, 8, 17) \
+T (226,	18, 13, 56, 7, 31, 16, 48, 45, 38, 59, 15, 48, 51, 29, 4, 28, 12, 30, 46, 32, 42, 29, 59, 29, 40, 63, 57, 49, 16, 1, 2, 34, 14, 59, 42, 45, 11, 26, 26, 49, 21, 41, 33, 8, 7, 37, 37, 19, 3, 19, 51, 46, 48, 47, 11, 24, 46, 4, 10, 62, 6, 12, 33, 20) \
+T (227,	7, 11, 2, 18, 37, 28, 4, 58, 6, 37, 2, 13, 11, 39, 32, 14, 59, 19, 60, 43, 2, 8, 4, 48, 12, 14, 47, 18, 26, 16, 39, 34, 27, 41, 52, 0, 5, 56, 58, 11, 30, 60, 24, 41, 36, 56, 55, 31, 12, 52, 10, 14, 60, 14, 63, 8, 28, 46, 27, 55, 62, 2, 25, 25)

	Jakub