From 8682589d1a6debe7386b8a114bd96f0e2824c5fd Mon Sep 17 00:00:00 2001
From: Daniel Gustafsson <dgustafsson@pivotal.io>
Date: Sat, 20 Apr 2019 22:41:31 +0200
Subject: [PATCH] contrib: Add missing code and testcases for ltree

Add the missing code and testcases from upstream to make the ltree
contrib module complete. With this the module builds and tests.

The ignore block in the test case is to avoid a large diff in the
expected file since the test in question fails on the below error
in Greenplum:

  ERROR:  UNIQUE and DISTRIBUTED RANDOMLY are incompatible
---
 contrib/ltree/Makefile           |   23 +
 contrib/ltree/crc32.h            |   12 +
 contrib/ltree/data/_ltree.data   | 1000 +++++++++++++++++++++++++++++
 contrib/ltree/data/ltree.data    | 1006 ++++++++++++++++++++++++++++++
 contrib/ltree/expected/ltree.out |    2 +
 contrib/ltree/ltreetest.sql      |   21 +
 contrib/ltree/sql/ltree.sql      |    2 +
 7 files changed, 2066 insertions(+)
 create mode 100644 contrib/ltree/Makefile
 create mode 100644 contrib/ltree/crc32.h
 create mode 100644 contrib/ltree/data/_ltree.data
 create mode 100644 contrib/ltree/data/ltree.data
 create mode 100644 contrib/ltree/ltreetest.sql

diff --git a/contrib/ltree/Makefile b/contrib/ltree/Makefile
new file mode 100644
index 0000000000..2b74512548
--- /dev/null
+++ b/contrib/ltree/Makefile
@@ -0,0 +1,23 @@
+# contrib/ltree/Makefile
+
+MODULE_big = ltree
+OBJS = 	ltree_io.o ltree_op.o lquery_op.o _ltree_op.o crc32.o \
+	ltxtquery_io.o ltxtquery_op.o ltree_gist.o _ltree_gist.o
+PG_CPPFLAGS = -DLOWER_NODE
+
+EXTENSION = ltree
+DATA = ltree--1.0.sql ltree--unpackaged--1.0.sql
+
+REGRESS = ltree
+REGRESS_OPTS += --init-file=$(top_srcdir)/src/test/regress/init_file
+
+ifdef USE_PGXS
+PG_CONFIG = pg_config
+PGXS := $(shell $(PG_CONFIG) --pgxs)
+include $(PGXS)
+else
+subdir = contrib/ltree
+top_builddir = ../..
+include $(top_builddir)/src/Makefile.global
+include $(top_srcdir)/contrib/contrib-global.mk
+endif
diff --git a/contrib/ltree/crc32.h b/contrib/ltree/crc32.h
new file mode 100644
index 0000000000..269d05d0c1
--- /dev/null
+++ b/contrib/ltree/crc32.h
@@ -0,0 +1,12 @@
+#ifndef _CRC32_H
+#define _CRC32_H
+
+/* contrib/ltree/crc32.h */
+
+/* Returns crc32 of data block */
+extern unsigned int ltree_crc32_sz(char *buf, int size);
+
+/* Returns crc32 of null-terminated string */
+#define crc32(buf) ltree_crc32_sz((buf),strlen(buf))
+
+#endif
diff --git a/contrib/ltree/data/_ltree.data b/contrib/ltree/data/_ltree.data
new file mode 100644
index 0000000000..9ba2787b08
--- /dev/null
+++ b/contrib/ltree/data/_ltree.data
@@ -0,0 +1,1000 @@
+{14.30.13.5.26.9.22.23.14.10, 22.8.20.1.10.28.6.27, 16.30.10.7.29.4.9.21.22.13.26}
+{5.8.17.30.15.8.19.29.30.11.6, 3.13, 15.8.10, 23.17.28.31.28}
+{22.23.22.30, 4.31, 7.13, 32.6.31.31}
+{19.10.26.19.5.21.30.23, 24.1.10.20.28.18.6.27.20.30.26, 5.4.8.25.12.27.2.29.28.3, 1.1.1.2}
+{11.14.21.24.10.7.29.23.24.28, 31.13.9.1.5.12, 23.12.32.22.19.1.22.4}
+{8.32.30.1, 13.8.20.9.21, 8.29.6.3, 30.8.9.14.25.30, 24.2.26.24.14.15.31.23.17.26}
+{28.5.12.9.2.27.11.11.2, 24.9.27.16.20.21, 31.30.12.20}
+{29.9.25.27.15.16.32.26.6.32, 5.24.25.15.27.30.20}
+{12.21.20.20, 4.14.10.19.16, 2.15.14.20.30.26, 19.26.24.27.6.24.16.27.32.29, 29.10.12.17.12.16}
+{22.23.22.30, 25.19.27.2.9.20}
+{5.3.29.9.22, 28.14.32.29.2.3.4, 21.14.25.20.13.31.14.20, 22.25.4.28.9.20.12.13}
+{19.16.31.31.29.12, 1.30.18.31.12.25.4.19.28.12.15, 25.24.29}
+{27.27.25.10.31.10.21.22.21.16.12, 7.30.5.10.10.5.30.14.9.18, 3.6.24.21.20.32.3.4.26.5}
+{24.9.27.16.20.21, 12.11.20.20.29, 12.29.17.2.20.29.1.11.19.8.12}
+{25.2.11.20.8.6.22, 22.24.22.25.15.23.13}
+{16.14.3.17.17.26.12.19.19.30, 28.20.8.9.9.28.30.29, 14.9.15.21.21.31.1.29}
+{6.26.29.10.21.28.20.19, 23.24.11.31.10.31.18.28.13.18.6, 13.17.7, 29.23.1.21.31.8, 7.27.20}
+{22.17.4.2.22.17, 19.9.32.23.13.24.1}
+{26.31.7, 16.21.13.1.4}
+{22.23.25.28.5.27.9.9.24.31.10, 18.9.26.7, 23.14.12.30.18.4.16.18.7.7, 27.29.1.5.30.6.22.16.23.2.28, 10.29}
+{30.27.8.6.11.19, 3.15.2.23.22.2.16.14}
+{25.17.18.30, 18.29.5.1.10.21.2, 8.21.17.3.6.3.18, 26.31.7, 26.11}
+{5.27.32.21.5.1.11.14, 27.3.3.11.21.4.25, 4.2.16.13.16.11.19.10.10.25, 32.3.23.7.2}
+{3.21.6.13.12.18.25, 1.27.22.23.2.26.32.17.7.9, 9.23.21.22.5.29.15.21, 15.5.1.31.28.10.8, 27.5.15.1.15.16.21}
+{30.25.17.17.10.29, 31.29.18.26.1.26.17, 2.2.18.18.3.3.18.8.10.8, 8.31.22.27, 18.9.21.2.31.8.32}
+{14.6.10.29.25.26.20.24.24, 24.25.7.27.30.8.26.17, 3.4.22.19, 31.29.4.29.24.30.30.32.10.23, 14.5.13.19.25.12.32.9.13.16.12}
+{8.10, 20.6.3.26.7.29.28.4, 31.29.4.29.24.30.30.32.10.23, 30.18.30.16.29}
+{14.21.6.5.26.9.32.16.25, 29.20.1.11.21.16.1.2.14.28}
+{12.7.16.8.21.22.2.16.18, 6.7.25.16.13.21.7.20.25.12.4, 18.29.13.24.18.3.12.18.12.12, 26.7.5.8.11.9.22.1.6, 32.30.18.17.1.14.12.18}
+{21.15.18.18.30.3.20, 22.10.16.8, 26.18.32.20}
+{5.27.28.26.14.15.6.20.1.31.13, 30.23.10.1.10.7.22.28.18.11.17, 5.27.28.26.14.15.6.20.1.31.13}
+{9.6.9.21.6.11.29.13.29.20.32, 27.21.28.24.7.2.24.23.8, 26.25.10.10.13, 14.17.7.30.8.25.26.4}
+{10.3.19, 10.16.19.7.15, 1.1, 14.21.6.5.26.9.32.16.25, 24.3.23.25}
+{15.10.30.1.4.12.8.20, 22.25.4.28.9.20.12.13}
+{15.9.8.20.27, 8.13.9.31.20.20.24.7.23.31.28, 15.1.8, 28.25.29.4.13.5.6}
+{24.24, 20.3.1.8.8.30.20, 6.19.6.4.9.11.32.17.17.3.15, 9.31.4.14.31.10.17.5.2}
+{21.9.32.1.27, 29.14.31.25.7.32.23, 25.16.9.6}
+{1, 16.13.2.19.14.29.31.30.23.15.12, 26.19.3.14.8.28.31.10, 31.5.6.4.8.29.3, 1.11.10.19.6.1.26.17.2.22}
+{29.3.15.17.12.29, 19.9.32.23.13.24.1, 2.32.8.28.24.20.9.24.25.8.9, 30.12.9.25.24.6.7.24.29}
+{9.22.10.15.5.15, 29.30.7.31.22}
+{16.8.29.7.21.2.3, 23.10.5.26.12.4.20.4, 1.12.25.26.22.8.15.23, 4.9, 14.1.15.25.27.23.25.26.28.10}
+{11.17.10, 10.22.30.16.2.21.17.13, 29.27.7.7.3.11.14.26.21.11}
+{11.14.21.24.10.7.29.23.24.28, 27.22.11.13.21.25.5.1.27.21.27}
+{5.2.32.19.13.29.12.13.31.29, 8.6.6.5.8.8.12, 23.20.8, 5.27.21.1.29.29.28}
+{13.30.24, 17.11.17.4.8.26.26.20.6, 12.1.28.22.25}
+{5.14.27.15.11.17.3.10.27.25, 20.23.29.5.7.30.13.14.22, 24.13.1.8, 27.26.29, 27.18.10.4.22}
+{19.16.26.2, 25.3, 10.5.5.15.29.2}
+{32.6.3.2.12.5.28.1.25, 5.18.9.25.31.21.22}
+{13.8.20.9.21, 24.9.15.1.14.29.6.4}
+{1.15.17.6.28.25.24.31.27.9, 2.1.12.19.29.28.3.31.28.28.10, 25.16.9.6, 32.4.19}
+{30.12.6.30, 30.31.13.9, 23.12.19.25.16.23.22.6.29.4, 21.18.30.19.24.24}
+{26.26.22.21.14.11.29.19.14.24, 7.31.4.20.17, 14.30.13.5.26.9.22.23.14.10, 8.1.29.18.22}
+{12.23.3.19.29.15.12.6, 2.4.25.32.16.22.26.13.17.18, 32.6.13.8.32, 31.18.32.11.7.25.20.5, 10.31}
+{7.23.15.32.28.27.2.2.26, 8.32.30.1, 31.28.32.4.31.4.7, 2.31.25, 11.2.27.3}
+{11.12.6.21, 22.28.20.6.32.32}
+{21.14.22.29, 20.30.28.15.17, 4.22.17.10.19.9.8.19.28.3.9}
+{31.18.25.1.14.29.25.5.22.30, 24.32.27, 8.21.8.23.4.18}
+{28.15.25.7.13.6.19.2, 32.8.5, 25.17.18.17.27}
+{6.25.17.32, 22.17.7.30.13.24, 3.9.25.26.7, 14.23.31.5.5.15.17.12.17.7.3, 18.15.14}
+{13.12, 16.5.14.21.32.17.23.3.4.26}
+{1.19.22.11.14.7.32.23.19.14, 12.1.1, 19.26.24.27.6.24.16.27.32.29, 24.15.15.17.22}
+{10.27.7.24.26.11.31.20.29, 3.15.2.23.22.2.16.14, 26.32.8.12.30.19.24.8.6.1.10, 10.3.19}
+{28.26.25.7, 13.28.14.2.8.18, 7.31.2.28.15.11.17.18.19.23.6}
+{25.24.29, 21.18.2.1, 13.3.20}
+{32.25.16, 22.19.5.22.20.31.23.24.14.24.4, 5.27.16.3.30, 12.25.32.2.27.3.3.16, 30.25.8.24.6.29.31}
+{30.24.23.25.32.18.22.12.29.9.22, 11.30}
+{9.22.10.15.5.15, 25.16.9.6, 23.10.13.32.14.20.16.11.14}
+{22.10.27.19.29.20.29.3.12.14.25, 26.32.21.31.27.12, 3.26.32, 17.26.18}
+{5.14.29.2.23.16.20.22, 11.6.11.29.4.5.24.6.26.12, 8.21.17.3.6.3.18, 26.26.22.21.14.11.29.19.14.24}
+{28.8.21.15.16.28.4.16.26.8, 19.6.13.14.22.13.9.29, 11.17.10}
+{25.28.30.24, 26.25.24, 25.10.29.3.6.21.3.31.13}
+{32.24.29.6, 10.18.12.27.24.30.32.7.11.5.13, 20.6.26.3.30}
+{19.26.24.27.6.24.16.27.32.29, 1.31.3}
+{19.10.4.30.32.4.12, 20.25.22.19.22, 17.13.14.29.27.27.13.12.15, 5.1.5.31, 4.15.20.23.12.16.2.16.17}
+{16.13.19.11.18.13.17.17, 17.25.26.23.32, 31.18.27.15.20.29.29}
+{24.15.15.17.22, 24.2.26.24.14.15.31.23.17.26, 12.22.20.4.12, 3.13, 25.32.24.24.28.15.16.10}
+{4.11.19.17.2.22.20.18.13.32.15, 14.1.11, 14.8.15.30.7.29.27.31.4}
+{3.29.19.2.24, 24.23.29.8.24.11.21.10.28.14.27, 32.31.11.22.1, 31.13, 12.21.20.20}
+{28.4, 14.30.13.5.26.9.22.23.14.10, 19.26.32.13.1.12.30.26.22.25}
+{4.26.2.2, 9.30, 18.13.6.12.26.26.26.29.18.20.1, 22.23.22.30}
+{26.11, 7.19.10.12.31.1.27.13.19, 15.17}
+{12.16.13, 14.30.13.5.26.9.22.23.14.10, 21.5.17.19.15.25.18.21.24.9, 18.9.26.7}
+{30.27.8.6.11.19, 22.18.20.23.15.9.12}
+{31.18.32.11.7.25.20.5, 3.15.2.23.22.2.16.14}
+{22.20.30, 23.28.3.30.15.31.32.3.21.9.19, 6.18.1.4.18.23, 1.30.18.31.12.25.4.19.28.12.15, 17.13.19.31.12.18.10.15.14}
+{32.2.11, 22.24.22.25.15.23.13, 25.10.29.3.6.21.3.31.13, 20.32.9}
+{16.8.29.7.21.2.3, 6.27.29.14.8.12.26.3.21.4.1, 21.14.22.29}
+{15.8.10, 23.22.10.1.14.24, 23.5.7.12.11.23.10}
+{6.29.32.13.30.3.16, 24.23.29.8.24.11.21.10.28.14.27}
+{18.17.6.16.6.10, 14.19.30.6.4.10.10.10.22.25.11}
+{14.17.7.30.8.25.26.4, 16.13.19.11.18.13.17.17}
+{2.4.25.32.16.22.26.13.17.18, 7.16.20.17, 22.30}
+{9.2.4.27.26, 15.3.31.9.27.14.9.8.14.6.32, 10.5.5.15.29.2, 16.14.3.17.17.26.12.19.19.30}
+{16.9.32.14.3.7.8.7.21.22, 4.13, 31.18.27.15.20.29.29, 13.14.13.10.28.26.9.18.27.21}
+{2.28.5.17.6.32, 18.27.11.27.9.16.7.6.22.26.27, 29.5.18.27.3.21.18.6.14}
+{25.14.5.32.25, 30.24.32.15.14.10.11}
+{27.2.10.4.25.14.2.15.4, 1.22.19.24.8.11, 4.1.24.24.28.24.18}
+{5.15.16, 22.18.20.23.15.9.12, 8.11.20, 12.16.2.4.15, 21.17.27.23.15}
+{8.9.25.25.26.30.31.31.2.32.7, 1.1, 23.28.20.25.30.24.15, 26.5.29.7.28, 25.17.18.30}
+{32.6.8, 22.13.22.21.25.17.8, 6.29.32.13.30.3.16, 2.2.18.18.3.3.18.8.10.8, 6.7.7}
+{8.13.14.11.11.29.22.4.4.10, 26.28.14, 32.24.29.6, 25.10, 15.26.24.31.16.15.17.22.8.30.3}
+{14.16.6.29.26.13.14.16.25.26.8, 4.16.7.25.21.7, 13.32.15.32.26.14.32}
+{25.9.1.5.9.11.25.4.11.27.32, 25.17.2.20.20.3.29.21.3.12, 8.32.30.1}
+{19.15.26.19, 6.7.25.16.13.21.7.20.25.12.4, 7.5.28.8.17.26.31.10.15}
+{6.19.3, 17.25.10.13.21.5.7.22.2, 11.11.9.30.15.29.15.18, 21.18, 18.9.21.2.31.8.32}
+{23.27.27.16, 11.7.31.15.22, 25.17.2.20.20.3.29.21.3.12, 6.13.31.5.7.26}
+{30.8.18.5.20.6.15, 21.15.18.18.30.3.20}
+{2.13.9.28, 8.17.25.26.15.25}
+{25.22.2.25.6, 3.20.19.10.17.27.3.6.22.23, 11.7.31.15.22}
+{18.6.26.2.13.9.6.11.10.11.16, 8.10, 29.3.15.17.12.29, 19.31.14.25.5.8.21.11.13.20, 4.22}
+{14.21.5.28.3.32.24.14.25.31, 28.18.6.22.13.8.25, 5.19.1.26.20.6.20, 20.30.17, 29.25.29.16.32.11.15.25.5.22.3}
+{20.20.32.29.24.5.5.26.22.32, 29.23.1.21.31.8, 27.27.30.11.15.24.9.7.4.30}
+{22.28.20.6.32.32, 1.15.17.6.28.25.24.31.27.9, 2.10.10.4.20.1.12.13}
+{28.2.27.1.20, 8.1.29.18.22, 1, 28.26.25.7, 23.23}
+{8.9.22, 1.10.21, 27.27.30.11.15.24.9.7.4.30, 24.28.13.26.8.8.31, 27.26.29}
+{15.28.24, 20.4.1.16.31.3, 25.18.8.3.23.23.5.9.6}
+{28.30.24.16.17.28.2.13.10, 3.32.2.29.3.32.28.11.29.30, 6.14, 30.24}
+{24.1.10.20.28.18.6.27.20.30.26, 1.1, 4.3.20.27.9.1.18.30.12.5.19, 16.24.7.25, 1.4.14.32.14}
+{29.25.29.16.32.11.15.25.5.22.3, 29.25.29.16.32.11.15.25.5.22.3}
+{17.5.3.15.17.13.5, 5.19.1.26.20.6.20, 28.14.32.29.2.3.4, 26.18, 9.26.1.16}
+{21.23.13, 15.30.17.5.32.28.2.18.27}
+{11.21.16.27.16, 17.11.17.4.8.26.26.20.6, 13.28.12.6, 12.14.20.8.28.4}
+{26.31.11.23.3, 23.28.3.30.15.31.32.3.21.9.19}
+{22.23.18.18.9.8.23.7.23.23.16, 1.29.18.1.21.12.13.27.32.15}
+{30.23.2.13.14.15.29.19.4.12.24, 19.31.14.25.5.8.21.11.13.20, 10.31, 25.17.18.30, 21.18.2.1}
+{1.1.7.32.11.22, 6.25.17.32, 18.17.6.16.6.10, 6.6.22.8}
+{31.21.14.20.1.22.2.5.3.27.12, 20.23.7.11.11.31.18.16.3, 1.21.28.4.23, 15.17.2.32.7}
+{10.11.25.2.24.18.18.21.6.26.21, 5.10}
+{4.2.2.32.24.25.31.3, 14.30.13.5.26.9.22.23.14.10, 8.21.17.3.6.3.18}
+{24.10.10.31.4.29.9, 18.6.2.2.24, 24.17.24, 2.28.5.17.6.32}
+{2.31.25, 22.10.27.19.29.20.29.3.12.14.25, 21.14, 27.26.29, 18.6.26.2.13.9.6.11.10.11.16}
+{2.13.9.28, 8.13.1}
+{11.10.22.18, 29.27, 21.28.24.23.3.11.7.12.22.32, 25.28.30.24, 4.2.6.20.7.8}
+{20.1.24.3.30.31, 24.9.27.16.20.21, 25.5.30.7.16.12.21.12.11.16}
+{16.23.30.12.31.31.19.14, 1.16.8.18.14.16.21.25.6, 5.12.2.20.1.24.25, 23.27.6.26.22}
+{7.30.5.10.10.5.30.14.9.18, 19.30.18.11.32.14}
+{9.22.10.15.5.15, 21.20.28.19.27.9, 3.21.6.13.12.18.25}
+{11.22.28.8.12.23.25.15.21.28, 6.27.26.1.20.24.6}
+{32.17.8.24.2.14.5.4.22, 16.13.2.19.14.29.31.30.23.15.12, 5.10.3.9.23.30.23, 16.28}
+{14.9.15.21.21.31.1.29, 7.12, 28.14.32.29.2.3.4}
+{3.18.8.22.7.28.32.31.3, 28.1.3}
+{17.14.7.3.2.18.20.23.18.5, 27.5.15.1.15.16.21}
+{13.19.2.6.23.19.9.7.21.8.16, 5.21.27.13.14.11.2.16.20, 2.9, 23.20.24}
+{19.3.12.12, 5.3.29.9.22, 23.20.12.16.15.2}
+{22.10.18, 32.6.9.26.16.4.4.29.7.11}
+{23.3.32.21.5.14.10.17.1, 14.4.19.27.28.24.19, 14.12.31, 19.17.13.12.32.16.3}
+{1.20.18.25.3.24.25.10.9, 28.14.32.29.2.3.4, 22.26.32, 22.23.22.30, 20.30.17}
+{26.16.12.3.27.9.28, 9.22.10.15.5.15, 10.3}
+{18.7.3.17.13.5.31.6.31.25.29, 12.24.29.32.32.29.2}
+{13.28.12.6, 9.6.9.21.6.11.29.13.29.20.32}
+{3.3, 16.13.2.19.14.29.31.30.23.15.12, 6.18.1.4.18.23, 8.14.19.18, 14.8.15.30.7.29.27.31.4}
+{27.1.11.3.25.9.6.6, 19.26.24.27.6.24.16.27.32.29, 24.24, 26.32.21.31.27.12, 24.9}
+{9.10.19.18.15.11.22.32.32.14.9, 7.10.17.21.11.29.17.25.19.4.29, 19.11.10.18.14.13.7.7, 8.16.6}
+{4.26.2.2, 13.28.12.6}
+{5.9.19.6, 29.26.25.14.24.18.2.13.23.29, 18.27.11.27.9.16.7.6.22.26.27}
+{32.3.23.7.2, 21.14.22.29, 22.32.6.6.3.8.24.6.25.29}
+{30.31.13.9, 5.13.23.19.28.26.27.6.1.22, 21.18, 8.13.9.31.20.20.24.7.23.31.28}
+{11.10.22.18, 27.6.13.24.21.27.28.22.3.7.4}
+{23.3.20.24, 27.24.11.31.21.6.29.17.24.18}
+{22.10.18, 8.27.3.4.12.26.16, 3.10.27.4.5.6.19.12.28.12}
+{6.13.31.5.7.26, 16.13.2.19.14.29.31.30.23.15.12, 29.23.1.21.31.8}
+{22.12.22.28, 26.18.32.20, 1.10.23.25.5.11, 3.11.18.21.5.20.30, 18.31.26.18.6.15.18.11}
+{7.7.22.24.17.32.17.25.28, 30.23.10.1.10.7.22.28.18.11.17, 14.19.30.6.4.10.10.10.22.25.11, 8.17.9.15.21.28.1.7.1.3.6}
+{25.10.29.3.6.21.3.31.13, 9.3.31.18.12.3.9.29.10, 5.27.32.21.5.1.11.14}
+{8.5.30.29.9.31, 6.2.32, 18.27.11.27.9.16.7.6.22.26.27, 22.29.29.11}
+{32.16, 18.19.11.20.13.13.11, 20.25.22.19.22}
+{1.27.22.23.2.26.32.17.7.9, 1.14.3.7.3.17.2.29, 13.24, 13.30.24, 31.18.27.15.20.29.29}
+{19.26.32.13.1.12.30.26.22.25, 1.3.15.11.11.25.24.21.19, 20.32.5.1.3.20.3.30.27, 23.12.32.22.19.1.22.4, 12.4.24.6.1.13.5.20}
+{4.26.5.26.21.28.17.24.25.23, 30.8.9.14.25.30, 31.18, 1.14.3.7.3.17.2.29, 11.11.9.30.15.29.15.18}
+{17.14.7.3.2.18.20.23.18.5, 29.3.15.17.12.29, 17.1.12.20, 14.14.25, 6.17.26.25.27.11.10.9}
+{9.9.13.9.14.27, 29.3.17.17.18.32}
+{32.1.23.20.14.12.23.5.32.15, 23.1.23.18.12.29, 1.1.1, 6.7.7}
+{29.5.18.27.3.21.18.6.14, 15.7.5.12.7.9.3.28.26, 11.17.10, 19.26.32.13.1.12.30.26.22.25}
+{5.13.23.19.28.26.27.6.1.22, 21.10.20.9.3.16.9.10.20, 1.21.28.4.23, 22.19.5.22.20.31.23.24.14.24.4}
+{2.22.19, 3.29.32.26.8.10.25, 25.11.24, 10.3}
+{16.14.3.17.17.26.12.19.19.30, 16.13.2.19.14.29.31.30.23.15.12}
+{10.31, 18.19.11.20.13.13.11}
+{19.16.31.31.29.12, 30.2.17.8.14, 23.14.30.27.28.26.26.23.8.32, 19.3.12.12}
+{8.16.6, 26.14.5.32.10, 24.31.2.13.5.23.18.16, 24.27.18.32.14.9.11.28.9, 3.29.19.2.24}
+{24.15.15.17.22, 4.14}
+{29.20.1.11.21.16.1.2.14.28, 14.27.29.23.4.1.17.32.6.25.22, 3.27.18.8.4.21.6.32.30.7.5, 4.26.23.6.19.31.10.4.22}
+{22.13.22.8.30.32.10.24, 26.28.14, 12.4.26.23.25.5.15.7.16}
+{21.14.25.20.13.31.14.20, 5.4.8.25.12.27.2.29.28.3, 23.24.11.31.10.31.18.28.13.18.6, 6.18.1.4.18.23, 19.17.12.15}
+{10.12.23.22.23.22.20.17.17.9, 17.14.7.3.2.18.20.23.18.5, 3.10.4.5.28.11, 12.2.4.28.21.30.24}
+{12.4.24.6.1.13.5.20, 24.25.7.27.30.8.26.17}
+{20.4.1.16.31.3, 22.18.20.23.15.9.12, 25.10.4.28.3.31.19, 2.28.5.17.6.32}
+{17.3, 31.7.14.2}
+{19.3.23.4.4.21.23, 32.28.1.32.28.10, 25.4.32}
+{31.28.32.4.31.4.7, 23.8.13.22.21, 5.21.27.13.14.11.2.16.20}
+{21.17.18.32.7.8, 20.32.9, 19.26.32.13.1.12.30.26.22.25, 16.14.3.17.17.26.12.19.19.30, 8.31.22.27}
+{27.4.15.14.19.6.12, 30.30.17.5.30.21.19.5.22.22.14, 26.17.9.13.4.25.32.2.24.9, 8.10, 12.24.29.32.32.29.2}
+{5.21.27.13.14.11.2.16.20, 5.31.8.1.5.13.21.28.29.19.2, 25.2.3.15.11.19.5.28.25.14}
+{8.5.24.9.29.32.31.30.13.9.7, 1.29.18.1.21.12.13.27.32.15, 32.15.20.28.5.1.23.4, 32.6.31.31}
+{6.29.32.13.30.3.16, 24.17.24}
+{5.10.2.11.21.9.19, 7.31, 10.20, 29.9.25.27.15.16.32.26.6.32}
+{12.13.5.31, 7.19.12.3.21.19.18.5.2.14.10}
+{20.9.29.32.13.7.23, 23.24.16.32.13.29, 9.7.31.11.8.23, 26.5.29.7.28, 1.1.1}
+{9.6.9.21.6.11.29.13.29.20.32, 1.20.22.26.2.6.11}
+{7.7.22.24.17.32.17.25.28, 13.7, 1.20.18.25.3.24.25.10.9, 9.5}
+{9.8.23.2.20.16, 30.17.25.3.31.11.3.4.1.10, 6.19.29.11.2.32.21.15.32.9, 18.29.5.1.10.21.2}
+{25.6.12.16.1, 11.10, 22.17.30, 1.28.19.8.25.6.20.27.29.27, 9.3.3}
+{9.3.3, 15.7.3.14.23.19.26}
+{27.21.28.24.7.2.24.23.8, 12.4.12.13.25.30.30.8.9.12, 9.18.23, 19.12.26.24.29.3, 26.14.5.32.10}
+{25.24.2.32.14.18.16, 23.27.6.26.22, 32.30.18.17.1.14.12.18, 3.18.18}
+{28.30.24.16.17.28.2.13.10, 11.17.10, 16.30.10.7.29.4.9.21.22.13.26}
+{3.26, 22.17.24.14.21.15.12.18.17.25.11, 10.32.14, 23.12.19.25.16.23.22.6.29.4}
+{14.24, 2.19.4.1.15.7.8.9.17.29, 13.24, 18.13.9.3.18.15.2, 10.28.7.16.31}
+{26.32.8.12.30.19.24.8.6.1.10, 23.28.20.25.30.24.15, 6.11.31.23.12.8.30.14.27, 3.9.11.23.32.26.24.28, 6.11.11.5.16.8.14.12.9}
+{8.3.3.25.25.15.7.13.21.18, 27.32.26.21.31.17.32.32, 13.3.8}
+{15.7.3.14.23.19.26, 26.26.22.21.14.11.29.19.14.24, 8.3.18.13.30.20.27.26.17.28, 4.11.22.4.19.24.4.28.6.8.22}
+{25.32.24.24.28.15.16.10, 12.21.20.20, 20.8.19.14.16.7, 18.13.6.12.26.26.26.29.18.20.1}
+{8.1.29.18.22, 31.18.32.11.7.25.20.5, 5.15.10.3.23.13.32.23, 26.31.7}
+{22.10.18, 3.21.16.24.23.12.16.32.3, 24.16.27.10.9}
+{8.27.3.4.12.26.16, 9.14.27.31.26.21.25.3.20, 27.18}
+{4.21.9.1.2.14.8.17.13.26, 17.11.17.4.8.26.26.20.6, 30.25.24.22}
+{9.7.31.11.8.23, 15.5.1.31.28.10.8, 19.15.26.19, 20.22.10, 8.2.18.23.5.16.17.1}
+{15.5.1.31.28.10.8, 12.11.20.20.29}
+{32.25.16, 29.20.1.11.21.16.1.2.14.28, 3.29.19.2.24, 5.5.12.31.23.13.17.22.20}
+{23.5.5.17, 23.12.11.11.15.16.22.31.32.5.8}
+{26.24.9.12.11.15.31.2, 18.13.9.3.18.15.2, 28.4, 27.30.12.11.20.15.11.13, 8.3.3.25.25.15.7.13.21.18}
+{16.5.23.17, 13.25.10.25.8.16, 1.16.8.18.14.16.21.25.6, 5.14.29.2.23.16.20.22, 8.13.14.11.11.29.22.4.4.10}
+{9.8.23.2.20.16, 16.24.7.25, 3.9.11.23.32.26.24.28, 30.17.2.25}
+{32.1.31, 17.17.14.28.6.30}
+{3.3, 31.5.6.4.8.29.3, 28.26.25.7, 1.26.15.23.5.31.29.11.19.28.1}
+{24.9.27.16.20.21, 28.2.27.1.20, 32.17.8.24.2.14.5.4.22}
+{12.16.2.4.15, 16.13.19.11.18.13.17.17, 25.2.3.15.11.19.5.28.25.14}
+{8.22.32.17.16.28.31.23.22.9, 18.31.32.28.1.4.24.24.12.25, 23.10.5.26.12.4.20.4, 28.17.26.9}
+{24.2.6.7.16.7.28, 10.16.19.7.15, 3.14.1.14.17.28.29.16, 12.17.10.7.17.16}
+{19.31.14.25.5.8.21.11.13.20, 21.23.13, 2.30.26.10.14.31.18.2}
+{21.4.11.18, 13.7, 30.8.18.5.20.6.15}
+{28.15.18.27, 11.10, 7.13}
+{11.29, 29.9.25.27.15.16.32.26.6.32, 7.23.1.24.29.13.31.19.23.17.7, 7.30.19.25.23.15.14.29, 23.12.32.22.19.1.22.4}
+{22.11, 21.32.13.21}
+{22.31.2.32.32.11.26.23.19, 1.20.22.26.2.6.11, 32.24.11.8.12.23.22.19.11.17.18, 3.10, 18.21}
+{12.7.16.8.21.22.2.16.18, 1.30.18.31.12.25.4.19.28.12.15}
+{19.26.32.13.1.12.30.26.22.25, 29.3.17.17.18.32, 12.1.28.22.25, 18.4, 14.8.15.30.7.29.27.31.4}
+{11.17.10, 32.17.8.24.2.14.5.4.22, 22.29.18.32.13.12.22.31.17.22}
+{2.15.18.21.5.21.4.7.30, 4.14.32}
+{15.17.2.32.7, 25.24.2.32.14.18.16, 28.9.3.16.17.21.23.30}
+{3.5, 1.10.5.22.13, 4.15.20.23.12.16.2.16.17}
+{24.9.8.12.29, 27.5.22, 15.3.31.9.27.14.9.8.14.6.32, 10.32.14, 23.24.11.31.10.31.18.28.13.18.6}
+{10.22.30.16.2.21.17.13, 32.1.24.29.22.5.9.24.18.3.13, 32.31.26.19.13.29.4.25, 27.3.3.11.21.4.25}
+{21.6.22.28.12.23.11.22, 22.11}
+{8.5.24.9.29.32.31.30.13.9.7, 19.20.25.7.27.28.27.17.9.3.1}
+{9.7.31.11.8.23, 7.13}
+{12.23.3.19.29.15.12.6, 7.12.23, 30.12.6.30, 19.16.26.2}
+{15.11.26.1.30.6.23.5, 31.21.22.14.8.21}
+{2.32.8.28.24.20.9.24.25.8.9, 22.23.18.18.9.8.23.7.23.23.16, 26.12.27.2, 22.23.25.28.5.27.9.9.24.31.10}
+{2.24.5.3.4.10.27.26.17.28.16, 4.19.16.15.5.2.25.8.28.14.2, 32.31.26.19.13.29.4.25, 18.31.32.28.1.4.24.24.12.25, 30.24.23.25.32.18.22.12.29.9.22}
+{21.28.24.23.3.11.7.12.22.32, 16.8.29.7.21.2.3}
+{23.12.19.25.16.23.22.6.29.4, 19.6.24.32.30.13.6.25.8.28, 24.1.29.32.14.15.32.6.15.22, 23.27.27.16, 28.5.12.9.2.27.11.11.2}
+{24.9.27.16.20.21, 25.17.18.30, 15.28.24, 24.20.23, 17.29.21.10.18.8.16.26.18.21.26}
+{1.4.14.32.14, 17.17.14.28.6.30}
+{4.11.22.4.19.24.4.28.6.8.22, 6.19.6.4.9.11.32.17.17.3.15, 15.8.3.15.27.14.29.28.6.5.25, 28.14.32.29.2.3.4, 21.18}
+{18.30.18.31, 23.27.6.26.22, 12.4.26.23.25.5.15.7.16, 25.4.4.1.13.32.26.20.20.3, 6.1.8.6.30.29.30}
+{20.30.9.9.14.12.29, 29.28.9.15.8.27.31}
+{27.23.20.30.7, 18.24.21.17.11.26.28.22.21.18.10, 8.21.17.3.6.3.18, 4.13, 22.19.20.5.2.20}
+{27.12.4.2.29.22.15, 4.13}
+{32.6.13.8.32, 23.12.1.5.32.25.8.24.1.25, 1.8}
+{18.9.21.2.31.8.32, 10.22.30.16.2.21.17.13}
+{1.21.28.4.23, 4.14.10.19.16, 1.29.18.1.21.12.13.27.32.15, 26.14}
+{10.29.26.4.27.17.11, 10.28.22.29.13.19.6.7.6.14}
+{25.28.3, 24.17.24, 2.13.9.28, 4.22.17.10.19.9.8.19.28.3.9}
+{3.25, 14.4.23.4.23.22.11.6.26.5, 19.3.12.12, 15.7.3.14.23.19.26, 28.14.32.29.2.3.4}
+{25.15.11, 5.20}
+{15.28.30.19.31.6.2.2.31, 5.10, 32.1.23.20.14.12.23.5.32.15, 31.30.12.20}
+{13.26.17.3.2.19, 6.7.25.16.13.21.7.20.25.12.4, 3.11.32.11.22.3.7.17.8.13.23, 30.20.3.2.5.15.8.7.17, 25.11.24}
+{1.27.22.23.2.26.32.17.7.9, 8.6.6.5.8.8.12, 9.16.2.16.22.24.17.31.14.21.17, 17.13.8}
+{6.20, 19.16.26.2}
+{27.29.1.5.30.6.22.16.23.2.28, 8.5.30.29.9.31, 31.24.26.18}
+{18.18.5.11.7.4.25, 17.29.21.10.18.8.16.26.18.21.26}
+{25.17.2.20.20.3.29.21.3.12, 7.21.8}
+{8.25.20.3.15.24.7.4.24.5.30, 31.17, 2.31.25}
+{26.9.17.1.18.19.1.11.18.29.3, 4.3.20.27.9.1.18.30.12.5.19, 29.27.13.9.28.29.19.13.29.31.27}
+{15.1.8, 9.28.10.26.14.26.15.14}
+{9.10.32, 21.28.17.22.10.27.4.20.2.32}
+{25.15.11, 29.9.25.27.15.16.32.26.6.32, 20.8.19.14.16.7, 24.32.17.23.24.19.23.9.20.18, 9.7.31.11.8.23}
+{16.5, 14.23.31.5.5.15.17.12.17.7.3, 5.24.25.15.27.30.20, 1.22.29.5.16, 28.25.29.4.13.5.6}
+{8.16, 32.6.15.26.14.15.3.19, 8.26.29.13.7.25.31.28.3.32, 12.21.15.27.24.15.8.24.24.26}
+{10.11.25.2.24.18.18.21.6.26.21, 19.31.14.25.5.8.21.11.13.20}
+{4.14, 1.18.29.30.22.14.3.20.15.21.20, 20.17.14.7, 1.26, 22.17.9.11.25.15.3.9}
+{7.16.20.17, 27.11.15.9.24.31.18.4.1.30.20, 29.10.17.11.28.12.18.5.19.15.21}
+{16.5, 8.5.30.29.9.31, 12.4.24.6.1.13.5.20, 25.11.24}
+{22.28.20.6.32.32, 24.31.2.13.5.23.18.16, 1.30.18.31.12.25.4.19.28.12.15, 23.17.22.1.23.4.29.32.4.1}
+{26.18.32.20, 27.17.3.18.2.13.18, 1.26.15.23.5.31.29.11.19.28.1, 26.12.27.2, 12.18}
+{14.16.6.29.26.13.14.16.25.26.8, 30.25.24.22, 25.18.8.3.23.23.5.9.6, 10.29.26.4.27.17.11}
+{3.25, 10.3.19, 4.14.32, 30.16.3.21.10}
+{24.32.27, 3.1.14.8.9.16.30.22.20}
+{1.18.29.30.22.14.3.20.15.21.20, 8.3.18.13.30.20.27.26.17.28, 17.25.10.13.21.5.7.22.2}
+{31.24.26.18, 9.30}
+{1.29.18.1.21.12.13.27.32.15, 5.14.27.15.11.17.3.10.27.25, 16.5, 28.14.24.26.6.15.16.32.25.13.8, 15.7.3.14.23.19.26}
+{5.24.24.9.32.26.31, 4.21.28.5.16.29.5.21, 26.24, 1.19.22.11.14.7.32.23.19.14, 11.17.17.24.11.23.17.17.18.10.22}
+{24.9.15.1.14.29.6.4, 21.23.17.8.23.11.8.1, 18.6.2.2.24, 25.32.24.24.28.15.16.10, 8.10}
+{3.14.11.15.21.32.2.15.13, 4.1.24.24.28.24.18}
+{6.29.6.13.14.24.10.4.14.28, 19.12.30.2.21, 26.24.9.12.11.15.31.2}
+{4.13, 6.9.29.17.4.32, 1.22.29.5.16, 28.15.25.7.13.6.19.2}
+{16.20.29.26, 11.22.28.8.12.23.25.15.21.28, 7.5.28.8.17.26.31.10.15, 27.17.17.19.24.9.14.20}
+{20.17.18.21.1, 14.15.31.29, 6.19.3}
+{5.24.4.31.3.16.25.17.13.26.11, 23.24.16.32.13.29, 23.24.16.32.13.29, 23.23, 24.28.13.26.8.8.31}
+{1.27.22.23.2.26.32.17.7.9, 25.16.9.6, 11.6.11.29.4.5.24.6.26.12, 23.24.11.31.10.31.18.28.13.18.6}
+{31.17.2.30.11, 7.7, 9.30, 7.31, 9.31.23.19.5.10.16.4.30.24.5}
+{23.5.5.17, 15.31.11.27.19.19.20.5.5, 15.9.11.20.22.15.11.13}
+{9.22.10.15.5.15, 4.15.20.23.12.16.2.16.17, 16.14.3.17.17.26.12.19.19.30, 9.3.3}
+{18.31.26.18.6.15.18.11, 1.26}
+{16.13.19.11.18.13.17.17, 18.7.10.27.17.24, 14.14.25, 31.18.32.11.7.25.20.5, 6.17.10.10.7.9.27.8.29}
+{22.29.18.32.13.12.22.31.17.22, 16.24.7.25}
+{14.24, 12.3, 31.4.7, 14.6.10.29.25.26.20.24.24, 21.6.22.28.12.23.11.22}
+{12.4.10.17.4.10.23.3, 21.17.18.32.7.8, 4.16.22.19.24.21, 27.23.2.32.11.21, 2.1.3.30.24.17.9}
+{10.15.16.3, 3.18.18, 30.27.8.6.11.19, 1.1.1.2}
+{15.7.3.14.23.19.26, 24.27.14}
+{4.22.17.10.19.9.8.19.28.3.9, 30.27.8.6.11.19, 18.13.9.3.18.15.2}
+{31.18.25.1.14.29.25.5.22.30, 8.26.29.13.7.25.31.28.3.32}
+{4.2.6.20.7.8, 7.30.5.10.10.5.30.14.9.18, 20.30.9.9.14.12.29, 18.13.9.3.18.15.2, 24.31.2.13.5.23.18.16}
+{31.30.23.7.7.24.32.10.11.1.31, 2.32.10.13.12, 13.8.15.3.7.31.5.10.15.30, 13.16.4.28, 16.5.12.5.15.12.24.25.3}
+{28.23.2.30.3.8.1.15.15.14.13, 7.11, 31.17, 26.14, 28.4}
+{16.13.19.11.18.13.17.17, 29.5.32.20.11.7.13.24.17, 4.21.28.5.16.29.5.21}
+{11.16.16.28.14, 25.16.9.6, 5.10.2.11.21.9.19, 32.16, 16.13.19.11.18.13.17.17}
+{1.26, 26.13.4.7.13.11.3}
+{12.11.20.20.29, 21.32.13.21, 12.3}
+{20.6.3.26.7.29.28.4, 1.1.3, 14.21.5.28.3.32.24.14.25.31}
+{3.10, 22.10.16.8, 28.1.3}
+{15.1.8, 29.27.7.7.3.11.14.26.21.11, 7.31.2.28.15.11.17.18.19.23.6, 12.17.10.7.17.16}
+{8.29.6.3, 8.14.19.18, 6.10.25.12, 1.1.2.1}
+{31.13.9.1.5.12, 27.22.11.13.21.25.5.1.27.21.27}
+{20.6.3.26.7.29.28.4, 6.13.31.5.7.26}
+{29.6.12.31.20.23.32.20, 17.14.7.3.2.18.20.23.18.5, 20.8.19.14.16.7, 22.17.7.30.13.24}
+{32.3.23.7.2, 3.26, 17.8, 8.13.1, 17.13.8}
+{27.18, 29.32.13.4.1.16.20}
+{14.30.23.3, 2.24.5.3.4.10.27.26.17.28.16, 6.29.32.13.30.3.16}
+{22.17.9.11.25.15.3.9, 17.11.17.4.8.26.26.20.6, 4.2.2.32.24.25.31.3, 8.25.20.3.15.24.7.4.24.5.30, 4.3.6.27.22.23.10}
+{27.5.15.1.15.16.21, 25.9.1.5.9.11.25.4.11.27.32, 21.7.7.11}
+{2.32.8.28.24.20.9.24.25.8.9, 30.15, 13.28.12.6, 29.27}
+{22.19.5.22.20.31.23.24.14.24.4, 8.9.25.25.26.30.31.31.2.32.7, 16.5.10.2.18.8.15.12.32.25.10, 9.9.13.9.14.27, 11.1.3.28.30.21.24.14}
+{7.11, 28.1.3, 4.2.2.32.24.25.31.3}
+{5.27.21.1.29.29.28, 30.23.10.1.10.7.22.28.18.11.17, 17.3, 1.12.25.26.22.8.15.23}
+{4.15.20.23.12.16.2.16.17, 32.16, 29.5.18.27.3.21.18.6.14, 9.31.4.14.31.10.17.5.2, 17.8}
+{9.30, 4.30.8.20.19.9.30.24.11, 13.3.8}
+{23.5.7.12.11.23.10, 10.29}
+{20.32.9, 20.20.7, 19.7.29.31.3.20.7.21.25.27.29, 24.1.10.20.28.18.6.27.20.30.26}
+{22.23.22.30, 19.17.13.12.32.16.3, 6.1.8.6.30.29.30, 1}
+{30.25, 8.2.18.23.5.16.17.1, 28.30.24.16.17.28.2.13.10}
+{32.1.24.29.22.5.9.24.18.3.13, 13.14.13.10.28.26.9.18.27.21, 25.21.8.17, 27.27.25.10.31.10.21.22.21.16.12}
+{6.9.29.17.4.32, 7.32.10.3.30.12.14, 25.22.2.25.6, 25.9, 17.11.17.4.8.26.26.20.6}
+{21.7.7.11, 4.2.2.32.24.25.31.3, 12.4.12.13.25.30.30.8.9.12, 21.23.13, 19.16.31.31.29.12}
+{1.8, 31.13, 19.6.24.32.30.13.6.25.8.28}
+{26.16.12.3.27.9.28, 24.2.6.7.16.7.28, 19.6.24.32.30.13.6.25.8.28}
+{27.17.17.19.24.9.14.20, 4.14.32}
+{16.9.32.14.3.7.8.7.21.22, 14.21.6.5.26.9.32.16.25, 25.32.24.24.28.15.16.10, 19.22.29.32.1.21.26.24.23.17, 12.27.23.32.1.1.9.29.13}
+{1.1.1.1, 14.21.5.28.3.32.24.14.25.31, 30.23.2.13.14.15.29.19.4.12.24}
+{5.24.4.31.3.16.25.17.13.26.11, 4.16.7.25.21.7, 17.5.3.15.17.13.5}
+{20.20.7, 1.12.25.26.22.8.15.23, 5.14.29.2.23.16.20.22, 4.19.16.15.5.2.25.8.28.14.2, 11.30}
+{28.23.2.30.3.8.1.15.15.14.13, 5.12.2.20.1.24.25, 28.14.24.26.6.15.16.32.25.13.8}
+{8.9.21.16.29, 23.3.32.21.5.14.10.17.1, 24.1.29.32.14.15.32.6.15.22, 32.16, 3.18.18}
+{19.2.9.29.6, 31.30.12.20, 31.21.14.20.1.22.2.5.3.27.12, 1.30.31.31.20.16.7, 24.16.27.10.9}
+{7.19.10.12.31.1.27.13.19, 25.10.29.3.6.21.3.31.13, 20.13}
+{23.24.16.32.13.29, 12.22.20.4.12, 25.28.3, 18.19.11.20.13.13.11, 32.27.18.7.3.4.2}
+{27.25, 29.23.15.25.1.6.6.10, 6.21.30.7, 32.6.8, 2.27.15.14}
+{5.21.27.13.14.11.2.16.20, 12.21.15.27.24.15.8.24.24.26, 25.7.3.21.31.12.28}
+{27.25, 18.19.11.20.13.13.11, 27.6.13.24.21.27.28.22.3.7.4, 1.27.22.23.2.26.32.17.7.9}
+{24.12, 28.15.25.7.13.6.19.2}
+{17.3, 13.32.15.32.26.14.32, 22.17.9.11.25.15.3.9, 3.27.18.8.4.21.6.32.30.7.5, 3.18.8.22.7.28.32.31.3}
+{6.8.7.20.2, 16.13.26.18.9.29.11.17.1.24.26, 31.13.9.1.5.12, 22.17.9.11.25.15.3.9}
+{13.9.9.27.31.11.25.9.27.22.13, 32.15.20.28.5.1.23.4, 15.23.26.20.27.7}
+{23.17.28.31.28, 14.1.11, 4.22.7.19.25, 31.5.6.4.8.29.3}
+{10.12.9.6.6.26.14.8.23.1.25, 19.11.10.18.14.13.7.7}
+{3.4.22.19, 26.24, 14.4.23.4.23.22.11.6.26.5}
+{2.1.12.19.29.28.3.31.28.28.10, 15.29.25, 8.16.30.29.19.22.28.24.2, 23.27.27.16}
+{27.4, 23.10.5.26.12.4.20.4, 25.7.3.21.31.12.28, 14.19.30.6.4.10.10.10.22.25.11}
+{25.10.4.28.3.31.19, 31.30.12.20, 27.3.3.11.21.4.25, 6.17.26.25.27.11.10.9, 29.29.18}
+{8.9.22, 21.23.17.8.23.11.8.1, 24.1.10.20.28.18.6.27.20.30.26, 31.18.32.11.7.25.20.5, 22.31.2.32.32.11.26.23.19}
+{27.5.15.1.15.16.21, 16.2.14.3.26.11, 9.6.9.21.6.11.29.13.29.20.32}
+{21.1.4.9.9.31.24.21.3.29, 18.19.12.20.18.17.15.32.18.5}
+{29.23.1.21.31.8, 21.18, 8.5.24.9.29.32.31.30.13.9.7, 16.28, 21.5.11.18}
+{19.16.31.31.29.12, 2.15.14.20.30.26, 26.19.3.14.8.28.31.10, 5.24.25.15.27.30.20, 24.31}
+{26.11, 5.19.1.26.20.6.20, 23.22.10.1.14.24, 11.17.17.24.11.23.17.17.18.10.22}
+{28.6.8.22.25, 22.19.5.22.20.31.23.24.14.24.4}
+{14.10.11.30.5.7.6.24.9.30.26, 3.18, 4.21.9.1.2.14.8.17.13.26, 3.29.19.2.24, 24.9.15.1.14.29.6.4}
+{10.11.25.2.24.18.18.21.6.26.21, 9.28.24, 23.28.3.30.15.31.32.3.21.9.19, 18.29.13.24.18.3.12.18.12.12}
+{25.24.2.32.14.18.16, 21.32.13.22.3.13.31.23.14.12.9}
+{11.10.22.18, 4.2.16.13.16.11.19.10.10.25, 7.23.15.32.28.27.2.2.26, 6.10.25.12}
+{12.23.3.19.29.15.12.6, 7.31}
+{13.3.20, 32.8.29.18.31, 30.3.16.26.7.27.26.9.27.21.18, 8.9.21.16.29, 22.30.31.24.23.22.5.20.28.1}
+{23.22.23.14.31.32, 3.5}
+{7.19.10.12.31.1.27.13.19, 20.17.18.21.1}
+{12.2.4.28.21.30.24, 23.25.23.11.7.23, 16.27.8.17.14.17.21.29.14, 7.19.12.3.21.19.18.5.2.14.10, 27.30.12.11.20.15.11.13}
+{16.29.6.23.13.28.31.6.19.26.15, 20.30.9.9.14.12.29, 15.4.15, 9.6.9.21.6.11.29.13.29.20.32}
+{16.19.17.30.30.5.17.24.27, 2.8.13.12.17.23.16.7.11.23, 6.17.26.25.27.11.10.9, 23.28.1, 21.21.10.27}
+{6.27.26.1.20.24.6, 7.11, 9.14.27.31.26.21.25.3.20, 24.23.24.4.15.25.17, 21.8.9}
+{28.6.11.6.15.22.12.6, 15.29.25, 12.15.10.17.18.13, 9.7.31.11.8.23}
+{12.14.20.8.28.4, 20.4.27.31.1, 8.13.6.12.18.7, 29.10.12.17.12.16}
+{29.5.18.27.3.21.18.6.14, 23.20.24, 17.7.26.30.18.23.4, 1.1.1.2.1}
+{3.14.1.14.17.28.29.16, 1.13.16.27.11.16.30.2.9.18.4}
+{22.23.22.30, 13.9.9.27.31.11.25.9.27.22.13, 19.2.26.21.16.11.2.2, 16.5.23.17}
+{30.24.23.25.32.18.22.12.29.9.22, 22.19.21.11.6.8.29.24}
+{25.30.1.4.24.11, 16.2.14.3.26.11, 12.6.14.23.19.21.9.12, 17.24.30.6.32}
+{19.26.24.27.6.24.16.27.32.29, 13.32.15.32.26.14.32, 8.2, 12.15.10.17.18.13, 13.16.1.27.18.18.19.6.14.4}
+{16.29.6.23.13.28.31.6.19.26.15, 21.32.13.21, 30.32, 18.6.26.2.13.9.6.11.10.11.16}
+{14.5.13.19.25.12.32.9.13.16.12, 22.23.25.28.5.27.9.9.24.31.10, 26.14, 23.19.17.31.29.13.1.12.5.25, 18.6.26.2.13.9.6.11.10.11.16}
+{21.15.31.24.29.24.26.12.20, 15.1.6.31.30.13.32.9.10, 9.9.13.9.14.27, 19.10.26.19.5.21.30.23, 2.9}
+{28.6, 24.11.5, 18.18.19.16.14.16.21.10.25}
+{5.3.29.9.22, 27.3.3.11.21.4.25}
+{20.22.10, 25.15.11}
+{5.15.10.3.23.13.32.23, 11.12.6.21}
+{1.16.8.18.14.16.21.25.6, 2.4.25.32.16.22.26.13.17.18}
+{10.7.9, 2.32.10.13.12, 17.13.19.31.12.18.10.15.14, 4.3.20.27.9.1.18.30.12.5.19, 3.26}
+{17.1.12.20, 18.31.32.29.22.1.31.11.28}
+{25.17.2.20.20.3.29.21.3.12, 29.28.9.15.8.27.31, 15.3.31.9.27.14.9.8.14.6.32, 1.22.29.5.16}
+{28.26.25.7, 23.5.5.17, 7.19.10.12.31.1.27.13.19}
+{8.16.6, 25.2.11.20.8.6.22, 23.12.11.11.15.16.22.31.32.5.8, 26.31.6.8.29.8.24, 15.1.8}
+{3.26.32, 28.6.8.22.25, 28.31.10.28.22.26.16.15, 5.15.16, 8.5.30.29.9.31}
+{30.12.9.25.24.6.7.24.29, 20.24.14.15.4.21.12.27.4.12}
+{24.28.13.26.8.8.31, 23.31.27.16.8.30.20.27, 32.3.12.2, 32.6.8}
+{26.9.20.12.22.22.32, 9.10.32, 13.32.15.32.26.14.32}
+{30.18.30.16.29, 1.26}
+{26.32.21.31.27.12, 27.17.17.19.24.9.14.20, 11.6.11.29.4.5.24.6.26.12, 12.24.29.32.32.29.2, 29.10.17.11.28.12.18.5.19.15.21}
+{14.5.13.19.25.12.32.9.13.16.12, 3.21.16.24.23.12.16.32.3, 28.17.26.9, 9.31.4.14.31.10.17.5.2}
+{23.20.12.16.15.2, 14.19.26.15.22.23}
+{18.15.14, 7.26.18}
+{28.15.18.27, 13.8.23.13.11.18.24.21.11.24.10, 8.14.19.18, 8.32.30.1, 15.25.31.11.4.22.16.7.11}
+{24.3.23.25, 12.6.14.23.19.21.9.12, 27.11.14.17.24, 23.19.17.31.29.13.1.12.5.25, 6.10.25.12}
+{15.17.2.32.7, 12.22.20.4.12, 30.32, 28.11.11.30.20.11.32}
+{17.27, 14.12.31, 30.23.10.1.10.7.22.28.18.11.17}
+{30.15, 22.24.22.25.15.23.13, 9.3.31.18.12.3.9.29.10, 20.4.27.31.1}
+{24.28.32.21, 25.16.9.6, 24.9.27.16.20.21, 5.15.16}
+{22.26.32, 16.14.3.17.17.26.12.19.19.30, 16.5}
+{29.1.7.26.25.11.22, 6.17.10.10.7.9.27.8.29, 30.12.6.30, 4.26.5.26.21.28.17.24.25.23}
+{10.29.26.4.27.17.11, 29.11.20.22.27}
+{18.9.21.2.31.8.32, 24.17.31.20.12.9.19.29.18, 19.19.25.22.11.6.15.3.2.19, 30.8.18.5.20.6.15}
+{27.21.27.5.13.30.17, 5.18.9.25.31.21.22}
+{11.32.18.31, 6.14, 1.13.16.27.11.16.30.2.9.18.4, 31.9.3.5}
+{29.5.18.27.3.21.18.6.14, 23.24.16.32.13.29, 29.30.7.31.22, 12.27.30.12.24.2.20, 7.30.5.10.10.5.30.14.9.18}
+{26.5.29.7.28, 2.31.25, 12.16.2.4.15, 4.11.22.4.19.24.4.28.6.8.22}
+{8.16.6, 12.29.26.18.4.21.28.8.13.3, 22.10.16.8, 27.2.10.4.25.14.2.15.4, 30.32}
+{12.29.17.2.20.29.1.11.19.8.12, 31.9.3.5, 24.9.15.1.14.29.6.4}
+{14.21.6.5.26.9.32.16.25, 9.8.23.2.20.16, 29.10.12.17.12.16, 4.2.2.32.24.25.31.3, 32.15.20.28.5.1.23.4}
+{8.16, 30.23.2.13.14.15.29.19.4.12.24, 4.26.23.6.19.31.10.4.22, 10.11.25.2.24.18.18.21.6.26.21}
+{14.4.19.27.28.24.19, 9.3.3}
+{24.3.23.25, 21.7.7.11, 14.14.25}
+{1.22.29.5.16, 29.28.9.15.8.27.31, 22.11}
+{23.28.3.30.15.31.32.3.21.9.19, 12.14.20.8.28.4, 2.30.26.10.14.31.18.2, 24.9}
+{10.12.23.22.23.22.20.17.17.9, 7.5.28.8.17.26.31.10.15, 29.15.29.8.31.26.1, 9.5.9.3.23.9.25.14.1.29.28}
+{4.21.28.5.16.29.5.21, 1.30.18.31.12.25.4.19.28.12.15}
+{3.25, 7.30.5.10.10.5.30.14.9.18, 16.20.29.26}
+{9.22.10.15.5.15, 24.25.7.27.30.8.26.17, 14.10.11.30.5.7.6.24.9.30.26, 2.15.18.21.5.21.4.7.30, 15.1.6.31.30.13.32.9.10}
+{14.19.20.13.27.2.2, 1.3.15.11.11.25.24.21.19, 7.30.5.10.10.5.30.14.9.18, 23.24.11.31.10.31.18.28.13.18.6}
+{26.24.9.12.11.15.31.2, 15.7.3.14.23.19.26, 4.11.22.4.19.24.4.28.6.8.22}
+{17.29.21.10.18.8.16.26.18.21.26, 32.3.12.2, 21.28.24.23.3.11.7.12.22.32, 10.8.20.11.12.23.22}
+{23.19.17.31.29.13.1.12.5.25, 19.11.10.18.14.13.7.7, 24.15.15.17.22}
+{5.15.10.3.23.13.32.23, 18.31.32.28.1.4.24.24.12.25, 25.28.3}
+{30.30.17.5.30.21.19.5.22.22.14, 1.3.15.11.11.25.24.21.19, 5.8.17.30.15.8.19.29.30.11.6, 13.28.9.3, 3.25}
+{1.22.19.24.8.11, 7.30.5.10.10.5.30.14.9.18, 10.3.19, 23.8.13.22.21}
+{10.7.9, 7.32.10.3.30.12.14, 27.22.11.13.21.25.5.1.27.21.27}
+{30.17.2.25, 1.20.22.26.2.6.11, 14.19.30.6.4.10.10.10.22.25.11}
+{22.23.25.28.5.27.9.9.24.31.10, 23.22.10.1.14.24, 15.23.26.20.27.7, 5.3.17.29, 1.10.23.25.5.11}
+{12.10, 18.24.21.17.11.26.28.22.21.18.10}
+{25.10.29.3.6.21.3.31.13, 7.7.25.22.22.26, 1.27.22.23.2.26.32.17.7.9, 1.31.3}
+{30.22.29.21.19.14.3.2.6, 27.25, 6.25.17.32}
+{1.30.31.31.20.16.7, 26.5.29.7.28, 23.17.28.31.28, 11.6.11.29.4.5.24.6.26.12}
+{10.3, 16.9.14.28.6.21.31.31.26, 23.19.17.31.29.13.1.12.5.25, 24.16.27.10.9}
+{17.1.12.20, 14.3.17.1.14.15.21.4.26, 13.1.6.17.28.9.15.30.1.27.14}
+{19.22.21.13.27.13.15, 24.2.6.7.16.7.28, 13.9.9.27.31.11.25.9.27.22.13, 31.21.22.14.8.21, 7.27.20}
+{9.28.10.26.14.26.15.14, 30.12.6.30, 23.31.27.16.8.30.20.27, 18.18.19.16.14.16.21.10.25}
+{3.14.11.15.21.32.2.15.13, 30.25, 7.14.22.29.30.14.25.1.9.26.25, 3.5}
+{22.10.18, 31.17.2.30.11, 28.14.32.29.2.3.4, 11.21.13.9.19, 21.30.19.6.28.1.32.2.14.14}
+{26.31.6.8.29.8.24, 25.28.3, 15.30.17.5.32.28.2.18.27, 1.1.1.2}
+{12.15.10.17.18.13, 22.19.20.5.2.20, 30.2.17.8.14, 30.12.9.25.24.6.7.24.29}
+{32.1.21.1.16.29.21, 14.2.14.11.12, 12.17.10.7.17.16}
+{29.5.18.27.3.21.18.6.14, 3.27.18.8.4.21.6.32.30.7.5}
+{29.15.29.8.31.26.1, 16.31.12.27.25.9.32.29, 2.13.9.28, 9.5}
+{15.10.30.1.4.12.8.20, 2.16.3.7.22.18.29.20, 26.31.7}
+{12.29.17.2.20.29.1.11.19.8.12, 11.14.21.24.10.7.29.23.24.28, 31.21.22.14.8.21, 31.18, 25.9.10}
+{32.3.23.7.2, 5.27.21.1.29.29.28, 30.3.16.26.7.27.26.9.27.21.18, 22.28.20.6.32.32}
+{5.19.1.26.20.6.20, 19.26.32.13.1.12.30.26.22.25, 21.8.9, 8.13.1, 15.26.24.31.16.15.17.22.8.30.3}
+{14.14.25, 32.6.31.31, 29.1.7.26.25.11.22}
+{24.17.24, 1.4.14.32.14, 14.21.22}
+{22.17.4.2.22.17, 21.9.32.1.27}
+{8.3.18.13.30.20.27.26.17.28, 25.21.8.17, 19.10.4.30.32.4.12}
+{16.20.29.26, 21.18.30.19.24.24}
+{32.15.20.28.5.1.23.4, 7.13.15, 9.16.2.16.22.24.17.31.14.21.17}
+{23.28.1, 6.20.14, 26.9.20.12.22.22.32, 2.4.25.32.16.22.26.13.17.18}
+{26.18, 12.10.11.9.10.31.4.16.31, 24.17.31.20.12.9.19.29.18, 4.22}
+{28.15.18.27, 3.9.25.26.7, 2.1.12.19.29.28.3.31.28.28.10, 12.15.10.17.18.13, 29.32.13.4.1.16.20}
+{8.17.9.15.21.28.1.7.1.3.6, 32.1.31, 23.17.25.4.1.16.29.10, 9.5}
+{27.29.1.5.30.6.22.16.23.2.28, 20.30.17, 22.13.22.8.30.32.10.24}
+{26.31.6.8.29.8.24, 7.19.10.12.31.1.27.13.19, 27.18.10.4.22}
+{29.1, 24.15.15.17.22, 21.4.22.20.24.28.6}
+{21.20.24.25.6.26.23, 29.32.13.4.1.16.20, 13.9.9.27.31.11.25.9.27.22.13}
+{8.24.11.13.25.19, 29.1.2.14.14, 21.32.13.22.3.13.31.23.14.12.9, 2.10.28.1.17.19.32.28, 1.10.23.25.5.11}
+{11.14.21.24.10.7.29.23.24.28, 3.13, 23.25.23.11.7.23}
+{18.18.5.11.7.4.25, 7.31, 18.7.10.27.17.24, 19.2.9.29.6}
+{15.6.19.3, 1.27.22.23.2.26.32.17.7.9}
+{32.6.8, 23.12.19.25.16.23.22.6.29.4, 9.7.31.11.8.23, 28.4}
+{1.29.18.1.21.12.13.27.32.15, 14.21.6.5.26.9.32.16.25, 30.25.8.24.6.29.31, 26.18.32.20, 17.5.3.15.17.13.5}
+{1.3.15.11.11.25.24.21.19, 4.14.10.19.16, 32.3.23.7.2}
+{28.5.13, 26.25.10.10.13}
+{30.23.10.1.10.7.22.28.18.11.17, 32.16}
+{8.17.9.15.21.28.1.7.1.3.6, 6.7.25.16.13.21.7.20.25.12.4, 26.28.14, 5.13.23.19.28.26.27.6.1.22, 32.1.21.1.16.29.21}
+{6.26, 29.29.17.31, 4.11.19.17.2.22.20.18.13.32.15, 29.23.15.25.1.6.6.10}
+{1.25.7.9.26.17.31.20.13, 23.3.32.21.5.14.10.17.1, 30.23.10.1.10.7.22.28.18.11.17, 23.5.7.12.11.23.10, 14.19.20.13.27.2.2}
+{15.30.17.5.32.28.2.18.27, 29.1.7.26.25.11.22, 15.8.10, 15.8.3.15.27.14.29.28.6.5.25}
+{19.30.27.26.21.7.18, 4.13, 16.5.14.21.32.17.23.3.4.26, 5.3.17.29}
+{18.21, 21.9.27.22.32, 30.24.23.25.32.18.22.12.29.9.22, 5.9.19.6}
+{30.18.30.16.29, 16.19.17.30.30.5.17.24.27, 15.7.5.12.7.9.3.28.26, 4.11.22.4.19.24.4.28.6.8.22, 25.24.29}
+{24.16.27.10.9, 10.28.7.16.31, 24.12, 31.24.26.18}
+{18.24.21.17.11.26.28.22.21.18.10, 10.29.26.4.27.17.11, 32.6.15.26.14.15.3.19, 15.28.24}
+{8.14.19.18, 1.3.15.11.11.25.24.21.19}
+{10.22.30.16.2.21.17.13, 30.5, 32.17.8.24.2.14.5.4.22, 1.10.5.22.13}
+{32.1.21.1.16.29.21, 26.9.17.1.18.19.1.11.18.29.3, 32.1.31, 28.1.3, 14.21.6.5.26.9.32.16.25}
+{25.29, 31.30.12.20}
+{29.27, 30.3.16.26.7.27.26.9.27.21.18, 32.6.8, 24.28.32.21, 25.17.18.30}
+{16.5.12.5.15.12.24.25.3, 23.22.10.1.14.24}
+{26.25.24, 9.18.30.11.29.32.7.19.2, 8.16.30.29.19.22.28.24.2, 1.31.3}
+{3.9.25.26.7, 21.5.11.18, 11.1.3.28.30.21.24.14, 23.32.5.25.19.9.15.17.15.11, 7.31.4.20.17}
+{28.6, 21.20.24.25.6.26.23, 10.18.12.27.24.30.32.7.11.5.13}
+{8.16, 2.2.18.18.3.3.18.8.10.8}
+{27.27.30.11.15.24.9.7.4.30, 4.13}
+{10.18.12.27.24.30.32.7.11.5.13, 4.22, 25.9, 26.8.28, 25.3}
+{18.18.5.11.7.4.25, 19.26.32.13.1.12.30.26.22.25, 29.26.25.14.24.18.2.13.23.29}
+{23.28.1, 23.20.12.16.15.2}
+{20.32.5.1.3.20.3.30.27, 15.5.1.31.28.10.8, 24.23.24.4.15.25.17, 22.10.16.8, 27.31.2.16.29.6}
+{17.8, 11.17.10, 19.16.31.31.29.12}
+{19.3.23.4.4.21.23, 29.14.12.9.17.5.32, 27.27.30.11.15.24.9.7.4.30, 24.17.24}
+{21.5.11.18, 23.28.1}
+{2.8.13.12.17.23.16.7.11.23, 10.12.9.6.6.26.14.8.23.1.25, 9.17.13.31.7, 1.30.18.31.12.25.4.19.28.12.15, 15.29.25}
+{15.7.3.14.23.19.26, 12.4.12.13.25.30.30.8.9.12}
+{20.23.29.5.7.30.13.14.22, 23.12.1.5.32.25.8.24.1.25, 8.29.6.3, 22.19.20.5.2.20, 8.9.22}
+{12.6.14.23.19.21.9.12, 21.7.7.11, 1.30.18.31.12.25.4.19.28.12.15}
+{27.18, 14.6.10.29.25.26.20.24.24, 6.29.6.13.14.24.10.4.14.28}
+{31.9.3.5, 18.29.13.24.18.3.12.18.12.12}
+{5.4.8.25.12.27.2.29.28.3, 10.12.9.6.6.26.14.8.23.1.25, 32.24.11.8.12.23.22.19.11.17.18}
+{27.15.15.15, 17.26.18, 1.10.21, 4.31}
+{23.14.12.30.18.4.16.18.7.7, 8.17.9.15.21.28.1.7.1.3.6, 9.5}
+{8.13.9.31.20.20.24.7.23.31.28, 17.29.21.10.18.8.16.26.18.21.26, 19.9.32.23.13.24.1}
+{24.2.6.7.16.7.28, 32.6.8, 24.23.29.8.24.11.21.10.28.14.27}
+{25.22.2.25.6, 32.19.20.24.23.31.8.32.16.29, 29.11.20.22.27, 14.4.23.4.23.22.11.6.26.5, 23.12.32.22.19.1.22.4}
+{13.9.9.27.31.11.25.9.27.22.13, 13.16.4.28, 10.28.22.29.13.19.6.7.6.14, 28.15.25.7.13.6.19.2, 30.9.24}
+{31.28.32.4.31.4.7, 28.15.18.27, 29.26.25.14.24.18.2.13.23.29}
+{8.11.20, 13.32.15.32.26.14.32}
+{13.16.1.27.18.18.19.6.14.4, 3.29.32.26.8.10.25, 4.27.32.18, 12.6.14.23.19.21.9.12}
+{28.6.11.6.15.22.12.6, 6.1.8.6.30.29.30, 4.22.17.10.19.9.8.19.28.3.9, 6.14}
+{5.8.17.30.15.8.19.29.30.11.6, 32.1.23.20.14.12.23.5.32.15, 2.10.10.4.20.1.12.13, 11.21.13.9.19, 12.23.3.19.29.15.12.6}
+{10.31.25.31.24.16.17, 32.24.29.6, 19.22.21.13.27.13.15, 29.15.29.8.31.26.1, 2.16.3.7.22.18.29.20}
+{6.19.3, 18.24.21.17.11.26.28.22.21.18.10, 11.1.3.28.30.21.24.14}
+{1.19.22.11.14.7.32.23.19.14, 2.30.26.10.14.31.18.2}
+{23.17.28.31.28, 5.15.16, 23.10.13.32.14.20.16.11.14}
+{6.11.31.23.12.8.30.14.27, 4.15.20.23.12.16.2.16.17, 23.12.32.22.19.1.22.4}
+{8.32.30.1, 17.22.12.10.30.11, 14.5.13.19.25.12.32.9.13.16.12}
+{4.11.19.17.2.22.20.18.13.32.15, 8.27.3.4.12.26.16, 7.30.19.25.23.15.14.29}
+{15.8.3.15.27.14.29.28.6.5.25, 30.31.13.9, 15.31.11.27.19.19.20.5.5}
+{28.25.29.4.13.5.6, 21.7.7.11, 8.3.18.13.30.20.27.26.17.28, 12.15.10.17.18.13}
+{24.1.10.20.28.18.6.27.20.30.26, 23.2.22.7.32.3.27.6}
+{24.1.29.32.14.15.32.6.15.22, 28.5.12.9.2.27.11.11.2, 3.29.19.2.24, 28.23.2.30.3.8.1.15.15.14.13, 24.27.14}
+{10.16.19.7.15, 31.9.3.5, 31.18.25.1.14.29.25.5.22.30}
+{27.3.3.11.21.4.25, 4.31, 2.24.4.5.24.32, 30.24.23.25.32.18.22.12.29.9.22}
+{30.25, 8.10, 5.23.31.18.24.32, 22.19.5.22.20.31.23.24.14.24.4}
+{32.1.23.20.14.12.23.5.32.15, 31.18.25.1.14.29.25.5.22.30, 9.26.1.16, 24.23.24.4.15.25.17}
+{16.8.29.7.21.2.3, 13.8.20.9.21, 22.19.5.22.20.31.23.24.14.24.4, 4.9}
+{3.26, 2.32.8.28.24.20.9.24.25.8.9, 14.1.11, 19.31.14.25.5.8.21.11.13.20}
+{8.27.3.4.12.26.16, 27.27.30.11.15.24.9.7.4.30, 2.30.26.10.14.31.18.2, 3.10}
+{21.9.32.1.27, 5.15.10.3.23.13.32.23, 23.27.6.26.22, 30.25.8.24.6.29.31}
+{32.1.24.29.22.5.9.24.18.3.13, 29.3.15.17.12.29, 5.15.16}
+{1.10.5.22.13, 15.28.30.19.31.6.2.2.31, 28.14.24.26.6.15.16.32.25.13.8}
+{14.2.14.11.12, 12.10.11.9.10.31.4.16.31, 1.18.29.30.22.14.3.20.15.21.20, 5.10.3.9.23.30.23, 26.8.28}
+{6.22.12, 12.16.13}
+{4.14, 11.3.15.28.22.8.14, 2.6.15.26.23.26.24, 11.17.17.24.11.23.17.17.18.10.22}
+{9.30, 19.10.4.30.32.4.12, 21.28.17.22.10.27.4.20.2.32, 19.26.24.27.6.24.16.27.32.29, 26.14.5.32.10}
+{20.3.1.8.8.30.20, 1.18.29.30.22.14.3.20.15.21.20, 1.18.29.30.22.14.3.20.15.21.20, 7.23.1.24.29.13.31.19.23.17.7, 31.7.14.2}
+{14.2.14.11.12, 18.13.9.3.18.15.2, 28.11.11.30.20.11.32, 1.1.1.2}
+{3.26.32, 25.9.1.5.9.11.25.4.11.27.32}
+{12.17.10.7.17.16, 9.30, 4.30.8.20.19.9.30.24.11, 1.12.25.26.22.8.15.23, 12.11.20.20.29}
+{30.20.3.2.5.15.8.7.17, 5.24.25.15.27.30.20, 9.28.24, 7.12.1.10.6.17.29.24.24.4}
+{4.21.28.5.16.29.5.21, 32.6.9.26.16.4.4.29.7.11}
+{6.18.1.4.18.23, 13.32.15.32.26.14.32, 10.5.23.5.32.9.18.5.30}
+{27.17.3.18.2.13.18, 24.12, 6.11.11.5.16.8.14.12.9}
+{6.11.31.23.12.8.30.14.27, 10.22.1, 28.6.8.22.25}
+{7.30.19.25.23.15.14.29, 3.21.16.24.23.12.16.32.3, 4.25.12.10.15.9.18.9, 28.4}
+{14.19.26.15.22.23, 24.21.14.25.11.3.20.6.6.16, 20.9.29.32.13.7.23, 12.4.12.13.25.30.30.8.9.12, 15.31.11.27.19.19.20.5.5}
+{1.14.3.7.3.17.2.29, 29.26.25.14.24.18.2.13.23.29, 25.2.3.15.11.19.5.28.25.14}
+{26.24, 22.10.16.8}
+{12.29.17.2.20.29.1.11.19.8.12, 19.2.9.29.6, 14.5.13.19.25.12.32.9.13.16.12, 10.18.12.27.24.30.32.7.11.5.13, 31.4.7}
+{22.30, 23.17.25.4.1.16.29.10, 4.26.5.26.21.28.17.24.25.23, 24.10.8.25.16}
+{18.18.19.16.14.16.21.10.25, 4.10.28}
+{22.19.21.11.6.8.29.24, 6.25.17.32, 17.13.19.31.12.18.10.15.14, 9.31.4.14.31.10.17.5.2, 9.9.13.9.14.27}
+{26.18, 5.19.1.26.20.6.20, 23.5.7.12.11.23.10}
+{22.17.7.30.13.24, 5.14.29.2.23.16.20.22, 4.5.9.4.15.19.8.26.17.26.3}
+{24.9.15.1.14.29.6.4, 21.9.32.1.27}
+{1.28.3.22, 19.9.32.23.13.24.1, 6.25.17.32, 15.28.30.19.31.6.2.2.31, 18.15.14}
+{20.32.5.1.3.20.3.30.27, 1.13.16.27.11.16.30.2.9.18.4}
+{15.29.32.16.29.12.20.32.13.20, 28.26.25.7, 12.29.26.18.4.21.28.8.13.3, 12.4.10.17.4.10.23.3, 15.1.8}
+{14.21.6.5.26.9.32.16.25, 20.4.1.16.31.3, 17.11.17.4.8.26.26.20.6}
+{1.1.1, 10.12.23.22.23.22.20.17.17.9}
+{21.23.13, 9.5.9.3.23.9.25.14.1.29.28, 28.8.21.15.16.28.4.16.26.8, 25.15.11, 23.23}
+{16.5.14.21.32.17.23.3.4.26, 24.9.15.1.14.29.6.4, 20.5.4.9.31.14.26.6}
+{22.19.21.11.6.8.29.24, 4.11.19.17.2.22.20.18.13.32.15, 17.25.26.23.32, 27.3.3.11.21.4.25, 3.14.30.5.32.22.29}
+{19.22.21.13.27.13.15, 19.17.13.12.32.16.3, 10.12.23.22.23.22.20.17.17.9, 7.19.6.17.15.26.21.9}
+{2.13.9.28, 11.11.9.30.15.29.15.18, 20.14.11.2.10.14}
+{1.1.7.32.11.22, 9.21.20.29.1, 32.31.11.22.1, 14.15.31.29}
+{27.18, 27.26.29, 28.30.24.16.17.28.2.13.10}
+{5.15.16, 30.17.2.25, 18.29.5.1.10.21.2, 15.3.31.9.27.14.9.8.14.6.32}
+{9.28.24, 26.7.22.3.18.21.11}
+{4.19.16.15.5.2.25.8.28.14.2, 9.31.4.14.31.10.17.5.2, 22.30}
+{22.13.22.21.25.17.8, 31.13, 9.7.31.11.8.23}
+{1.1.2.1, 6.11.31.23.12.8.30.14.27, 3.18, 24.27.14}
+{30.8.9.14.25.30, 25.17.9.16.17.31.23.29.24, 29.26.25.14.24.18.2.13.23.29, 4.26.23.6.19.31.10.4.22, 23.27.27.16}
+{11.19.23.3.6.11, 21.17.31.10.31.13.9.26.6.14}
+{4.2.2.32.24.25.31.3, 8.1.29.18.22, 22.23.22.30, 15.1.8}
+{20.29.18.16.2.21.23.11, 32.8.29.18.31, 28.25.29.4.13.5.6}
+{32.30.18.17.1.14.12.18, 28.6.11.6.15.22.12.6, 9.30}
+{3.27.18.8.4.21.6.32.30.7.5, 6.22.12, 12.11.17.1.2}
+{26.14, 11.1.3.28.30.21.24.14}
+{20.13, 29.30.7.31.22, 26.9.17.1.18.19.1.11.18.29.3, 15.9.11.20.22.15.11.13}
+{6.2.32, 32.24.11.8.12.23.22.19.11.17.18, 23.20.12.16.15.2, 11.32.18.31}
+{7.32.10.3.30.12.14, 27.4}
+{32.3.23.7.2, 25.17.18.30}
+{14.27.29.23.4.1.17.32.6.25.22, 11.7.31.15.22, 26.32.21.31.27.12}
+{26.7.5.8.11.9.22.1.6, 7.27.20, 16.28, 1.18.29.30.22.14.3.20.15.21.20, 30.17.4.5.13.6}
+{4.2.2.32.24.25.31.3, 2.1.12.19.29.28.3.31.28.28.10, 22.9.15.19.12, 19.6.13.14.22.13.9.29, 28.8.21.15.16.28.4.16.26.8}
+{21.23.13, 11.17.17.24.11.23.17.17.18.10.22, 3.29.32.26.8.10.25, 31.18.25.1.14.29.25.5.22.30}
+{1.1.1, 16.29.6.23.13.28.31.6.19.26.15, 9.5, 9.5, 25.19.27.2.9.20}
+{8.13.9.31.20.20.24.7.23.31.28, 9.7.31.11.8.23, 6.11.11.5.16.8.14.12.9, 1.25.7.9.26.17.31.20.13, 11.2.27.3}
+{31.28.32.4.31.4.7, 10.28.7.16.31}
+{10.18.12.27.24.30.32.7.11.5.13, 3.3, 6.29.6.13.14.24.10.4.14.28, 1.9.18.10.1.26.22.16.17, 11.18.4.8.3.13.14.28.18.31}
+{8.12.4, 10.31}
+{20.30.28.15.17, 23.17.28.31.28}
+{16.9.29, 31.9.3.5}
+{30.12.28.2, 13.25.10.25.8.16}
+{10.28.7.16.31, 23.8.13.22.21, 26.9.17.1.18.19.1.11.18.29.3}
+{27.4, 24.27.18.32.14.9.11.28.9}
+{13.14.13.10.28.26.9.18.27.21, 13.8.15.3.7.31.5.10.15.30, 31.18.32.11.7.25.20.5, 30.6.4, 24.27.18.32.14.9.11.28.9}
+{25.2.11.20.8.6.22, 16.29.6.23.13.28.31.6.19.26.15, 5.10.3.9.23.30.23}
+{32.25.3.6, 26.32.8.12.30.19.24.8.6.1.10, 11.32.18.31, 2.9}
+{25.3, 32.6.15.26.14.15.3.19}
+{11.16.16.28.14, 16.19.17.30.30.5.17.24.27}
+{16.27.8.17.14.17.21.29.14, 12.18, 24.9, 12.16.2.4.15, 22.10.16.8}
+{4.2.6.20.7.8, 25.24.2.32.14.18.16, 28.6.11.6.15.22.12.6, 4.22.17.10.19.9.8.19.28.3.9, 19.2.26.21.16.11.2.2}
+{11.8.18, 22.8.20.1.10.28.6.27, 11.18.4.8.3.13.14.28.18.31, 27.15.15.15, 14.6.10.29.25.26.20.24.24}
+{25.11.24, 25.6, 1.1.2}
+{15.7.3.14.23.19.26, 7.19.6.17.15.26.21.9, 10.3.19}
+{11.6.11.29.4.5.24.6.26.12, 6.29.6.13.14.24.10.4.14.28}
+{26.32.21.31.27.12, 12.25.32.2.27.3.3.16, 11.10, 24.9.15.1.14.29.6.4}
+{21.6.22.28.12.23.11.22, 27.11.15.9.24.31.18.4.1.30.20, 17.13.14.29.27.27.13.12.15, 21.14.13, 30.31.13.9}
+{26.28.14, 9.21.20.29.1, 25.3, 9.14.27.31.26.21.25.3.20, 16.28}
+{22.32.6.6.3.8.24.6.25.29, 12.18, 8.16, 15.10.30.1.4.12.8.20, 31.9.3.5}
+{19.7.29.31.3.20.7.21.25.27.29, 20.29.18.16.2.21.23.11, 4.21.9.1.2.14.8.17.13.26}
+{19.3.23.4.4.21.23, 20.5.4.9.31.14.26.6, 15.31.11.27.19.19.20.5.5, 7.26.18, 26.31.16.18.22.13.32.23.9.20}
+{29.5.18.27.3.21.18.6.14, 12.27.30.12.24.2.20, 2.15.14.20.30.26, 21.14.13, 1.9.18.10.1.26.22.16.17}
+{27.3.3.11.21.4.25, 3.18.18, 17.8, 8.13.9.31.20.20.24.7.23.31.28}
+{21.14.13, 9.7.31.11.8.23, 14.13.9.13.11.5.5.2.2.32.12, 23.12.11.11.15.16.22.31.32.5.8}
+{17.1.12.20, 21.31.31.25.5.30.26}
+{22.10.27.19.29.20.29.3.12.14.25, 31.21.22.14.8.21}
+{19.7, 9.17.13.31.7, 29.1.7.26.25.11.22, 8.16.1.16.28.6.3.22.6.23}
+{23.20.8, 13.28.9.3, 3.29.19.2.24, 4.13.22.11.9.13.27.15.7, 9.8.23.2.20.16}
+{12.16.13, 17.14.7.3.2.18.20.23.18.5, 13.3.20, 3.4.22.19}
+{16.9.14.28.6.21.31.31.26, 20.4.1.16.31.3}
+{1.1.3, 5.19.1.26.20.6.20, 18.31.32.29.22.1.31.11.28}
+{24.32.17.23.24.19.23.9.20.18, 10.12.9.6.6.26.14.8.23.1.25, 26.25.24, 18.9.26.7, 3.9.11.23.32.26.24.28}
+{32.27.13.6.7, 9.17.13.31.7, 29.27.13.29.10.2}
+{31.29.18.26.1.26.17, 11.11.11.4.23.21.25, 25.28.30.24}
+{23.22.10.1.14.24, 17.10.17.22.20.25.14.13, 7.14.22.29.30.14.25.1.9.26.25, 20.24.14.15.4.21.12.27.4.12, 30.16.3.21.10}
+{16.19.17.30.30.5.17.24.27, 16.21.13.1.4, 7.30.5.10.10.5.30.14.9.18}
+{10.28.22.29.13.19.6.7.6.14, 4.14.32, 24.2.6.7.16.7.28}
+{16.14.3.17.17.26.12.19.19.30, 6.2.32, 32.28.1.32.28.10}
+{28.17.26.9, 28.2.27.1.20, 16.31.12.27.25.9.32.29, 22.17.30, 2.24.5.3.4.10.27.26.17.28.16}
+{18.31.32.28.1.4.24.24.12.25, 15.21.23.30.9.25, 22.20.30, 23.3.32.21.5.14.10.17.1}
+{4.21.9.1.2.14.8.17.13.26, 11.32.18.31, 3.11.32.11.22.3.7.17.8.13.23}
+{17.25.2.13.10.27.13.1, 30.25.8.24.6.29.31}
+{12.13.16.17.29.27.16.14.9.19.9, 32.3.12.2}
+{22.17.24.14.21.15.12.18.17.25.11, 18.19.12.20.18.17.15.32.18.5}
+{21.17.18.32.7.8, 30.32}
+{30.24.32.15.14.10.11, 2.15.18.21.5.21.4.7.30, 8.16.20.24.20.6.10.21, 29.1.7.26.25.11.22}
+{2.19.4.1.15.7.8.9.17.29, 16.5, 4.30.8.20.19.9.30.24.11, 2.11.32.25.23, 7.23.15.32.28.27.2.2.26}
+{11.22.28.8.12.23.25.15.21.28, 25.29, 23.5.5.17, 25.5.30.7.16.12.21.12.11.16, 18.30.11.17}
+{26.31.6.8.29.8.24, 3.21.16.24.23.12.16.32.3, 32.3.5.9.17.15, 31.17, 23.19.17.31.29.13.1.12.5.25}
+{12.13.5.31, 2.24.4.5.24.32, 31.5.6.4.8.29.3}
+{23.10.13.32.14.20.16.11.14, 13.17.7, 19.12.20.24.32.13.11.23.26}
+{1.13.16.27.11.16.30.2.9.18.4, 24.32.17.23.24.19.23.9.20.18}
+{29.27.13.29.10.2, 20.17.18.21.1}
+{19.31.14.25.5.8.21.11.13.20, 29.25.29.16.32.11.15.25.5.22.3}
+{18.7.10.27.17.24, 23.10.5.26.12.4.20.4, 13.26.17.3.2.19, 17.10.17.22.20.25.14.13}
+{15.17.2.32.7, 9.23.21.22.5.29.15.21, 29.1.2.14.14}
+{30.32, 3.29.32.26.8.10.25, 10.29.26.4.27.17.11, 28.2.27.1.20, 31.17}
+{28.6.8.22.25, 11.30.20.15.18.32.1.18.25.26.8, 27.4.15.14.19.6.12, 19.3.23.4.4.21.23, 30.15}
+{8.26.29.13.7.25.31.28.3.32, 1.1.1}
+{14.1.11, 4.26.5.26.21.28.17.24.25.23}
+{30.9.24, 24.3.23.25, 4.26.5.26.21.28.17.24.25.23, 28.26.25.7}
+{12.17.10.7.17.16, 19.15.26.19, 12.16.2.4.15}
+{1.1.1.1, 4.26.23.6.19.31.10.4.22}
+{2.32.10.13.12, 18.27.11.27.9.16.7.6.22.26.27, 22.11}
+{17.8, 4.10.28}
+{10.2.17.26.16.7.19.6.23.3, 14.10.11.30.5.7.6.24.9.30.26, 18.7.10.27.17.24, 10.26.27.23.4.31.11.25.29, 13.26.17.3.2.19}
+{1.10.23.25.5.11, 18.24.21.17.11.26.28.22.21.18.10, 14.30.2.21.15.16.13}
+{13.7, 22.9.15.19.12, 22.21.32.15.8.29.5.12.10.29, 32.1.24.29.22.5.9.24.18.3.13, 7.31.2.28.15.11.17.18.19.23.6}
+{31.28.32.4.31.4.7, 9.5.9.3.23.9.25.14.1.29.28, 27.31.2.16.29.6, 31.30.23.7.7.24.32.10.11.1.31}
+{20.14.11.2.10.14, 31.4.7, 22.24.22.25.15.23.13}
+{13.3.20, 24.31, 24.9.15.1.14.29.6.4, 2.15.18.21.5.21.4.7.30}
+{20.20.32.29.24.5.5.26.22.32, 20.18.24.14.12.13.9, 15.9.11.20.22.15.11.13, 21.7.23.9.16.5.18.14}
+{4.14.32, 21.9.32.1.27, 9.21.28.8.12.15.3.13.10.11, 8.16.20.24.20.6.10.21, 6.9.1.10.10.22.6}
+{7.11, 15.21.22}
+{19.7.29.31.3.20.7.21.25.27.29, 7.12.23, 21.4.22.20.24.28.6, 30.25.24.22, 9.14.27.31.26.21.25.3.20}
+{13.26.17.3.2.19, 27.4}
+{11.7.31.15.22, 20.6.26.3.30, 27.32.26.21.31.17.32.32}
+{2.22.19, 8.16.20.24.20.6.10.21, 4.10.28, 20.4.1.16.31.3, 28.14.32.29.2.3.4}
+{6.17.10.10.7.9.27.8.29, 10.26.27.23.4.31.11.25.29}
+{3.4.22.19, 15.31.11.27.19.19.20.5.5, 25.16.9.6, 14.6.10.29.25.26.20.24.24, 32.27.13.6.7}
+{28.9.3.16.17.21.23.30, 13.3.20}
+{8.25.20.3.15.24.7.4.24.5.30, 17.25.2.13.10.27.13.1, 29.10.12.17.12.16}
+{22.16, 25.4.32, 28.15.25.7.13.6.19.2}
+{3.1.13.22.24.14.12.31.3.4, 5.10.3.9.23.30.23, 28.2.27.1.20}
+{26.16.12.3.27.9.28, 9.19.7.13.13.25, 9.18.23}
+{23.20.24, 24.3.23.25, 22.15, 20.29.18.16.2.21.23.11}
+{27.27.30.11.15.24.9.7.4.30, 10.31, 24.1.10.20.28.18.6.27.20.30.26, 3.29.19.2.24}
+{20.30.28.15.17, 14.6.10.29.25.26.20.24.24, 12.10, 23.20.8}
+{19.10.4.30.32.4.12, 28.6.8.22.25, 9.22.10.15.5.15}
+{22.3.6, 12.4.24.6.1.13.5.20, 23.5.7.12.11.23.10, 20.23.7.11.11.31.18.16.3}
+{24.2.26.24.14.15.31.23.17.26, 32.6.13.8.32, 22.17.4.2.22.17, 4.10.28, 17.1.12.20}
+{1.27.22.23.2.26.32.17.7.9, 17.25.2.13.10.27.13.1, 2.12.30.22.12, 23.20.8, 27.27.25.10.31.10.21.22.21.16.12}
+{24.27.18.32.14.9.11.28.9, 27.3.3.11.21.4.25, 8.13.6.12.18.7}
+{26.19.3.14.8.28.31.10, 17.5.3.15.17.13.5, 23.25.23.11.7.23, 15.5.1.31.28.10.8, 19.9.32.23.13.24.1}
+{12.25.32.2.27.3.3.16, 12.28.12.24.28.15.5.12.30.13.21, 10.8.20.11.12.23.22, 22.26.32}
+{10.7.9, 32.29.24.31.25.6.9, 14.1.11, 13.24, 31.13}
+{30.16.14.9.5.4.10.7.31, 21.28.24.23.3.11.7.12.22.32}
+{6.19.3, 10.31.25.31.24.16.17}
+{18.7.10.27.17.24, 22.17.30, 27.18, 14.24}
+{23.17.25.4.1.16.29.10, 8.9.22, 10.5.23.5.32.9.18.5.30, 19.26.32.13.1.12.30.26.22.25}
+{26.16.12.3.27.9.28, 23.24.16.32.13.29, 5.10.3.9.23.30.23, 21.10.20.9.3.16.9.10.20, 26.31.11.23.3}
+{5.23.31.18.24.32, 31.4.7, 14.9.15.21.21.31.1.29}
+{29.5.18.27.3.21.18.6.14, 2.2.18.18.3.3.18.8.10.8, 32.3.23.7.2}
+{15.9.11.20.22.15.11.13, 5.27.32.21.5.1.11.14}
+{1.1.2.1, 11.7.31.15.22, 22.26.1.28.9.9.31, 19.17.13.12.32.16.3, 25.18.8.3.23.23.5.9.6}
+{1.26, 16.23.30.12.31.31.19.14, 14.19.26.15.22.23, 5.18.9.25.31.21.22}
+{20.17.14.7, 9.5.9.3.23.9.25.14.1.29.28, 21.32.13.22.3.13.31.23.14.12.9, 19.10.4.30.32.4.12}
+{23.12.1.5.32.25.8.24.1.25, 10.31.25.31.24.16.17}
+{25.22.2.25.6, 6.29.6.13.14.24.10.4.14.28, 24.10.8.25.16}
+{12.15.10.17.18.13, 27.29.1.5.30.6.22.16.23.2.28, 20.30.17, 29.1.2.14.14}
+{15.25.31.11.4.22.16.7.11, 22.16, 7.14.22.29.30.14.25.1.9.26.25, 25.5.30.7.16.12.21.12.11.16}
+{29.20.1.11.21.16.1.2.14.28, 32.1.24.29.22.5.9.24.18.3.13}
+{2.28.5.17.6.32, 29.28.9.15.8.27.31}
+{32.6.31.31, 13.1.6.17.28.9.15.30.1.27.14, 3.6.24.21.20.32.3.4.26.5}
+{24.10.10.31.4.29.9, 28.26.4.22.13.20.32.27.15, 3.11.32.11.22.3.7.17.8.13.23, 15.21.22}
+{19.26.24.27.6.24.16.27.32.29, 13.24, 17.3}
+{12.4.24.6.1.13.5.20, 28.27.24.14, 14.19.20.13.27.2.2}
+{9.26.1.16, 8.21.8.23.4.18, 15.29.32.16.29.12.20.32.13.20, 9.7.31.11.8.23}
+{15.28.24, 3.5, 3.20.19.10.17.27.3.6.22.23, 4.13.22.11.9.13.27.15.7}
+{25.16.9.6, 26.25.10.10.13, 11.11.9.30.15.29.15.18, 6.5.27.19.13.26.1.18.9, 16.2.14.3.26.11}
+{23.19.17.31.29.13.1.12.5.25, 15.17}
+{5.10, 5.10.3.9.23.30.23, 1.1.1}
+{15.8.10, 23.5.5.17, 32.3.12.2, 5.27.21.1.29.29.28}
+{17.13.8, 31.13, 16.18.23.6.31, 26.18}
+{13.28.12.6, 21.6.22.28.12.23.11.22, 12.22.20.4.12}
+{6.9.29.17.4.32, 15.17}
+{29.15.29.8.31.26.1, 32.15.20.28.5.1.23.4}
+{24.9.8.12.29, 15.5.1.31.28.10.8}
+{15.17.2.32.7, 24.25.7.27.30.8.26.17, 24.16.27.10.9}
+{18.19.12.20.18.17.15.32.18.5, 1.20.18.25.3.24.25.10.9, 4.14.17.12.20.17.1.22.3}
+{17.29.21.10.18.8.16.26.18.21.26, 31.13, 14.26.25.4.12.26.8, 21.14.22.29, 17.8.31.32}
+{24.27.18.32.14.9.11.28.9, 5.24.4.31.3.16.25.17.13.26.11, 10.29, 27.3.3.11.21.4.25, 5.13.23.19.28.26.27.6.1.22}
+{4.7.1, 31.24.26.18, 12.25.32.2.27.3.3.16, 26.24, 5.2.32.19.13.29.12.13.31.29}
+{29.20.1.11.21.16.1.2.14.28, 26.24, 1.9.18.10.1.26.22.16.17}
+{5.23.31.18.24.32, 11.11.11.4.23.21.25, 11.2.27.3, 1.13.16.27.11.16.30.2.9.18.4}
+{25.15.11, 3.10.4.5.28.11, 26.14.5.32.10, 29.27.7.7.3.11.14.26.21.11}
+{9.8.23.2.20.16, 23.14.30.27.28.26.26.23.8.32, 22.19.5.22.20.31.23.24.14.24.4, 1.1.1.2.1}
+{27.5.15.1.15.16.21, 32.6.3.2.12.5.28.1.25, 19.16.31.31.29.12, 19.12.30.2.21}
+{23.22.10.1.14.24, 20.29.18.16.2.21.23.11, 10.27.7.24.26.11.31.20.29, 1.25.7.9.26.17.31.20.13}
+{27.18, 15.4.15, 25.9.1.5.9.11.25.4.11.27.32, 12.29.17.2.20.29.1.11.19.8.12, 9.2.10.4}
+{23.28.20.25.30.24.15, 27.3}
+{15.26.24.31.16.15.17.22.8.30.3, 13.32.15.32.26.14.32, 14.17.7.30.8.25.26.4, 12.3}
+{5.14.27.15.11.17.3.10.27.25, 24.27.18.32.14.9.11.28.9, 30.23.2.13.14.15.29.19.4.12.24}
+{21.15.31.24.29.24.26.12.20, 8.24.11.13.25.19}
+{24.9.27.16.20.21, 16.29.6.23.13.28.31.6.19.26.15, 3.15.2.23.22.2.16.14, 16.13.26.18.9.29.11.17.1.24.26}
+{19.7.29.31.3.20.7.21.25.27.29, 28.11.27.21.14.16}
+{5.2.32.19.13.29.12.13.31.29, 30.12.6.30, 9.21.20.29.1, 2.16.3.7.22.18.29.20}
+{32.15.20.28.5.1.23.4, 11.1, 2.14.12.13}
+{21.17.27.23.15, 19.26.24.27.6.24.16.27.32.29, 26.9.17.1.18.19.1.11.18.29.3}
+{7.13, 30.25.17.17.10.29}
+{24.27.14, 22.19.21.11.6.8.29.24, 2.19.4.1.15.7.8.9.17.29, 7.13.15, 4.22}
+{17.5.3.15.17.13.5, 11.2.27.3, 1.1.3}
+{17.24.15.27.3.32.4.22.20.6.24, 20.17.18.21.1, 19.22.29.32.1.21.26.24.23.17, 32.8.5, 5.27.21.1.29.29.28}
+{10.27.7.24.26.11.31.20.29, 3.25}
+{15.26.24.31.16.15.17.22.8.30.3, 20.8.19.14.16.7}
+{20.22.10, 1.12.25.26.22.8.15.23}
+{13.7, 23.32.5.25.19.9.15.17.15.11, 31.13, 6.10.25.12}
+{11.17.17.24.11.23.17.17.18.10.22, 7.31, 24.13.1.8}
+{16.14.3.17.17.26.12.19.19.30, 28.15.25.7.13.6.19.2, 26.24, 6.19.6.4.9.11.32.17.17.3.15}
+{22.23.25.28.5.27.9.9.24.31.10, 1.27.22.23.2.26.32.17.7.9}
+{32.25.3.6, 23.5.5.17}
+{20.5.4.9.31.14.26.6, 6.29.32.13.30.3.16, 27.18}
+{18.13.6.12.26.26.26.29.18.20.1, 18.13.9.3.18.15.2, 21.14.22.29}
+{19.5.20.3.4.2.3, 4.10.28, 7.7}
+{25.15.11, 14.23.31.5.5.15.17.12.17.7.3, 26.31.11.23.3, 25.32.24.24.28.15.16.10, 26.19.3.14.8.28.31.10}
+{20.1.24.3.30.31, 13.3.8, 4.7.1, 3.21.16.24.23.12.16.32.3}
+{7.14.22.29.30.14.25.1.9.26.25, 17.9.32.31.21.31.23.17.10.32.9}
+{29.5.18.27.3.21.18.6.14, 27.3, 5.10, 21.14, 7.7}
+{13.17.7, 13.3.8, 14.19.30.6.4.10.10.10.22.25.11, 13.7}
+{30.17.25.3.31.11.3.4.1.10, 5.24.4.31.3.16.25.17.13.26.11, 27.11.14.17.24}
+{16.5.10.2.18.8.15.12.32.25.10, 8.3.18.13.30.20.27.26.17.28, 5.27.16.3.30}
+{29.29.18, 4.26.2.2}
+{3.4.22.19, 16.19.17.30.30.5.17.24.27}
+{12.4.26.23.25.5.15.7.16, 20.29.18.16.2.21.23.11, 22.10.18, 24.18.16}
+{1.1.1.1, 2.12.30.22.12, 1.22.29.5.16, 8.12.4}
+{32.31.11.22.1, 2.8.13.12.17.23.16.7.11.23, 32.15.20.28.5.1.23.4, 4.31, 6.26}
+{19.11.29.13.15.27.12.15.14.12, 30.30.17.5.30.21.19.5.22.22.14, 16.5.14.21.32.17.23.3.4.26}
+{3.6.24.21.20.32.3.4.26.5, 20.4.1.16.31.3, 5.31.8.1.5.13.21.28.29.19.2, 23.8.13.22.21}
+{20.4.27.31.1, 27.18.10.4.22}
+{4.2.6.20.7.8, 27.27, 26.32.8.12.30.19.24.8.6.1.10, 4.22.17.10.19.9.8.19.28.3.9}
+{23.24.11.31.10.31.18.28.13.18.6, 3.21.6.13.12.18.25}
+{27.25, 5.19.1.26.20.6.20}
+{11.21.16.27.16, 29.3.15.17.12.29}
+{27.3, 28.14.32.29.2.3.4, 29.27.13.29.10.2, 10.16.18.9.27.2.29.32.24.13}
+{31.7.14.2, 12.28.12.24.28.15.5.12.30.13.21, 27.1.11.3.25.9.6.6, 25.9.10}
+{28.6.8.22.25, 26.32.21.31.27.12}
+{29.3.17.17.18.32, 11.21.13.9.19, 20.8.19.14.16.7, 3.27.18.8.4.21.6.32.30.7.5, 14.2.14.11.12}
+{12.7.28.26.14.21.18.31.5.15.11, 16.13.19.11.18.13.17.17, 16.31.12.27.25.9.32.29, 17.7.26.30.18.23.4}
+{22.17.24.14.21.15.12.18.17.25.11, 20.30.17, 10.2.17.26.16.7.19.6.23.3, 30.4.30.11.13.23.14.24.11}
+{2.1.12.19.29.28.3.31.28.28.10, 14.1.15.25.27.23.25.26.28.10, 14.15.31.29}
+{1, 25.24.2.32.14.18.16, 25.18.8.3.23.23.5.9.6, 29.27.13.29.10.2, 12.16.13}
+{19.16.31.31.29.12, 2.13.9.28}
+{32.1.31, 19.19.25.22.11.6.15.3.2.19, 4.22.17.10.19.9.8.19.28.3.9, 25.6, 21.23.13}
+{32.3.5.9.17.15, 16.28}
+{32.15.20.28.5.1.23.4, 27.6.13.24.21.27.28.22.3.7.4, 24.32.27, 22.9.15.19.12}
+{18.9.21.2.31.8.32, 27.22.11.13.21.25.5.1.27.21.27, 11.30}
+{25.5.30.7.16.12.21.12.11.16, 18.4, 19.17.13.12.32.16.3}
+{15.10.30.1.4.12.8.20, 1.1.1}
+{28.31.10.28.22.26.16.15, 28.5.12.9.2.27.11.11.2, 12.10, 24.24, 22.24.22.25.15.23.13}
+{28.2.27.1.20, 24.18.16}
+{13.32.15.32.26.14.32, 22.23.22.30, 10.12.23.22.23.22.20.17.17.9, 9.22.10.15.5.15}
+{31.24.26.18, 11.12.6.21, 20.24.14.15.4.21.12.27.4.12, 27.2.10.4.25.14.2.15.4}
+{4.14, 28.2.27.1.20}
+{10.32.14, 25.6.12.16.1, 4.18.29.9.16.10, 25.17.18.17.27}
+{17.26.18, 14.21.5.28.3.32.24.14.25.31, 16.5.23.17, 12.16.2.4.15, 6.20.14}
+{29.14.31.25.7.32.23, 1.1.2, 29.27, 4.31}
+{24.24, 1.18.29.30.22.14.3.20.15.21.20, 12.7.28.26.14.21.18.31.5.15.11, 11.12.6.21, 14.6.10.29.25.26.20.24.24}
+{7.19.6.17.15.26.21.9, 7.23.1.24.29.13.31.19.23.17.7, 2.6.15.26.23.26.24, 30.25.8.24.6.29.31}
+{2.22.19, 15.11.26.1.30.6.23.5, 10.22.30.16.2.21.17.13, 30.20.3.2.5.15.8.7.17, 7.31.4.20.17}
+{10.27.7.24.26.11.31.20.29, 8.2.18.23.5.16.17.1}
+{5.27.21.1.29.29.28, 1.30.31.31.20.16.7}
+{23.22.10.1.14.24, 8.1.29.18.22}
+{21.7.23.9.16.5.18.14, 18.7.10.27.17.24, 25.9, 10.18.12.27.24.30.32.7.11.5.13}
+{7.30.5.10.10.5.30.14.9.18, 31.17, 7.12, 28.25.11.22}
+{27.11.15.9.24.31.18.4.1.30.20, 8.2.18.23.5.16.17.1}
+{24.31.8, 9.28.10.26.14.26.15.14, 25.30.1.4.24.11, 6.21.30.7, 28.23.2.30.3.8.1.15.15.14.13}
+{6.14, 25.10.29.3.6.21.3.31.13, 12.14.20.8.28.4}
+{6.19.6.4.9.11.32.17.17.3.15, 4.13, 9.8.23.2.20.16, 24.12, 16.24.3.30.15.22.31.2}
+{7.21.8, 24.12, 18.4.14.29.3, 32.3.23.7.2, 19.30.27.26.21.7.18}
+{25.10.4.28.3.31.19, 28.9.3.16.17.21.23.30, 28.2.27.1.20, 1.15.17.6.28.25.24.31.27.9}
+{16.21.13.1.4, 15.26.24.31.16.15.17.22.8.30.3, 20.20.7, 4.22.7.19.25}
+{5.9.19.6, 12.6.14.23.19.21.9.12, 23.28.1, 3.3, 2.4.25.32.16.22.26.13.17.18}
+{25.4.32, 10.11.25.2.24.18.18.21.6.26.21, 8.21.8.23.4.18, 10.22.1}
+{7.13, 9.10.19.18.15.11.22.32.32.14.9, 2.1.3.30.24.17.9, 4.11.22.4.19.24.4.28.6.8.22}
+{14.13.9.13.11.5.5.2.2.32.12, 12.1.28.22.25, 23.20.12.16.15.2, 28.28, 19.9.32.23.13.24.1}
+{1.20.22.26.2.6.11, 2.11.32.25.23, 22.9.15.19.12, 9.3.3, 21.28.17.22.10.27.4.20.2.32}
+{7.7.22.24.17.32.17.25.28, 2.27.15.14, 6.29.32.13.30.3.16, 30.24.32.15.14.10.11}
+{1.15.17.6.28.25.24.31.27.9, 24.11.5, 15.10.30.1.4.12.8.20, 8.17.9.15.21.28.1.7.1.3.6}
+{27.4.15.14.19.6.12, 24.9.15.1.14.29.6.4, 8.9.25.25.26.30.31.31.2.32.7, 15.9.8.20.27}
+{26.14, 12.10}
+{15.11.26.1.30.6.23.5, 26.5.29.7.28, 7.19.10.12.31.1.27.13.19, 28.6.8.22.25, 3.18.18}
+{29.11.20.22.27, 25.4.4.1.13.32.26.20.20.3, 5.8, 26.8.28}
+{3.22.18.1.5.14.9.6.14, 28.25.10.25.19.15, 25.17.9.16.17.31.23.29.24}
+{20.8.19.14.16.7, 15.23.26.20.27.7}
+{9.28.24, 15.28.24, 19.26.24.27.6.24.16.27.32.29, 30.12.28.2, 5.10.2.11.21.9.19}
+{13.28.12.6, 28.25.11.22, 28.20.8.9.9.28.30.29, 22.18.20.23.15.9.12}
+{15.23.26.20.27.7, 29.14.31.25.7.32.23, 14.29, 3.27.18.8.4.21.6.32.30.7.5, 22.12.22.28}
+{16.13.26.18.9.29.11.17.1.24.26, 17.19.1.22.11.7.22.1.14.28.11}
+{14.17.7.30.8.25.26.4, 15.17, 8.13.9.31.20.20.24.7.23.31.28}
+{28.2.27.1.20, 21.17.27.23.15, 2.13.9.28, 25.31}
+{29.1.7.26.25.11.22, 11.7.31.15.22, 3.18.18, 3.15.2.23.22.2.16.14}
+{21.7.7.11, 13.3.20, 3.22.18.1.5.14.9.6.14, 31.18.32.11.7.25.20.5}
+{5.4.8.25.12.27.2.29.28.3, 19.12.20.24.32.13.11.23.26}
+{18.13.6.12.26.26.26.29.18.20.1, 9.19.7.13.13.25, 4.19.16.15.5.2.25.8.28.14.2}
+{23.8.13.22.21, 23.5.7.12.11.23.10, 4.26.23.6.19.31.10.4.22, 4.7.1}
+{31.9.3.5, 26.11, 16.9.32.14.3.7.8.7.21.22, 16.20.29.26, 6.25.17.32}
+{17.25.26.23.32, 6.11.31.23.12.8.30.14.27}
+{1.21.28.4.23, 30.30.17.5.30.21.19.5.22.22.14, 9.26.1.16, 27.27.25.10.31.10.21.22.21.16.12, 8.9.22}
+{19.17.13.12.32.16.3, 5.14.29.2.23.16.20.22, 13.12, 21.18.2.1}
+{18.15.14, 6.9.29.17.4.32, 8.3.3.25.25.15.7.13.21.18, 32.8.5}
+{18.29.5.1.10.21.2, 7.19.6.17.15.26.21.9}
+{15.21.23.30.9.25, 4.26.5.26.21.28.17.24.25.23}
+{16.29.6.23.13.28.31.6.19.26.15, 31.29.4.29.24.30.30.32.10.23, 17.27, 2.15.18.21.5.21.4.7.30}
+{28.26.25.7, 15.5.1.31.28.10.8, 17.17.14.28.6.30}
+{30.32, 32.30.18.17.1.14.12.18, 9.30}
+{9.26.1.16, 18.21}
+{25.28.3, 22.23.25.28.5.27.9.9.24.31.10, 4.15.20.23.12.16.2.16.17, 29.5.18.27.3.21.18.6.14, 28.14.32.29.2.3.4}
+{27.11.14.17.24, 24.17.31.20.12.9.19.29.18, 23.28.3.30.15.31.32.3.21.9.19}
+{6.10.25.12, 4.14.32, 1.10.21, 29.1.2.14.14}
+{32.6.8, 13.25.10.25.8.16}
+{18.19.11.20.13.13.11, 3.10.27.4.5.6.19.12.28.12, 11.30}
+{21.5.17.19.15.25.18.21.24.9, 30.12.9.25.24.6.7.24.29, 17.14.7.3.2.18.20.23.18.5}
+{8.6.6.5.8.8.12, 16.5.23.17, 3.13, 9.31.4.14.31.10.17.5.2, 9.3.3}
+{25.4.32, 23.10.13.32.14.20.16.11.14, 10.22.30.16.2.21.17.13, 21.6.22.28.12.23.11.22}
+{6.13.31.5.7.26, 12.11.17.1.2, 23.2.22.7.32.3.27.6, 17.24.30.6.32, 5.31.8.1.5.13.21.28.29.19.2}
+{26.12.27.2, 6.17.10.10.7.9.27.8.29, 30.24.23.25.32.18.22.12.29.9.22, 29.3.17.17.18.32}
+{19.10.26.19.5.21.30.23, 25.17.9.16.17.31.23.29.24, 6.9.29.17.4.32, 24.13.1.8}
+{23.20.24, 32.6.13.8.32, 2.22.19, 8.3.18.13.30.20.27.26.17.28}
+{20.1.24.3.30.31, 23.28.20.25.30.24.15, 27.4.17.17.32.8.16.15.17.13, 8.32.30.1}
+{6.18.1.4.18.23, 31.21.22.14.8.21, 10.18.12.27.24.30.32.7.11.5.13}
+{19.2.26.21.16.11.2.2, 25.10, 3.19.11.6.5}
+{17.22.12.10.30.11, 12.3, 6.25.17.32, 15.28.24}
+{15.10.30.1.4.12.8.20, 19.3.23.4.4.21.23}
+{6.1.8.6.30.29.30, 27.16, 27.5.15.1.15.16.21, 7.7.22.24.17.32.17.25.28}
+{4.27.32.18, 10.5.23.5.32.9.18.5.30, 17.10.17.22.20.25.14.13}
+{12.27.23.32.1.1.9.29.13, 1.1.2.1, 28.20.8.9.9.28.30.29}
+{19.26.32.13.1.12.30.26.22.25, 8.1.29.18.22, 21.20.28.19.27.9}
+{5.10.2.11.21.9.19, 16.5.14.21.32.17.23.3.4.26, 11.10.22.18, 1.20.18.25.3.24.25.10.9, 8.32.30.1}
+{9.16.2.16.22.24.17.31.14.21.17, 7.21.8, 21.4.11.18, 22.25.4.28.9.20.12.13, 28.11.27.21.14.16}
+{10.32.14, 24.13.1.8, 18.4}
+{18.19.11.20.13.13.11, 22.28.20.6.32.32, 20.9.29.32.13.7.23, 13.3.8}
+{28.11.27.21.14.16, 4.16.22.19.24.21, 4.2.16.13.16.11.19.10.10.25, 23.27.6.26.22}
+{23.14.30.27.28.26.26.23.8.32, 9.10.32, 8.21.17.3.6.3.18}
+{8.29.6.3, 14.6.10.29.25.26.20.24.24, 7.19.6.17.15.26.21.9, 17.5.3.15.17.13.5, 6.1.8.6.30.29.30}
+{6.9.1.10.10.22.6, 32.3.23.7.2, 1.1.1.1}
+{15.11.26.1.30.6.23.5, 30.25.17.17.10.29}
+{30.27.8.6.11.19, 8.12.4, 31.17.2.30.11, 27.29.1.5.30.6.22.16.23.2.28}
+{6.25.17.32, 24.27.18.32.14.9.11.28.9, 30.22.29.21.19.14.3.2.6, 21.31.31.25.5.30.26, 9.21.14.19}
+{21.14.25.20.13.31.14.20, 11.32.18.31, 31.29.18.26.1.26.17}
+{2.4.25.32.16.22.26.13.17.18, 8.10, 28.8.21.15.16.28.4.16.26.8}
+{21.23.17.8.23.11.8.1, 16.28, 28.9.3.16.17.21.23.30}
+{8.9.25.25.26.30.31.31.2.32.7, 24.1.29.32.14.15.32.6.15.22}
+{27.17.17.19.24.9.14.20, 13.19.2.6.23.19.9.7.21.8.16}
+{30.31.13.9, 13.8.20.9.21}
+{3.15.2.23.22.2.16.14, 18.9.21.2.31.8.32, 16.8.29.7.21.2.3, 23.24.11.31.10.31.18.28.13.18.6, 10.31}
+{29.1, 32.27.18.7.3.4.2}
+{1.1.7.32.11.22, 10.11.25.2.24.18.18.21.6.26.21, 19.10.26.19.5.21.30.23}
+{11.2.27.3, 3.3, 24.9, 21.28.24.23.3.11.7.12.22.32, 23.3.20.24}
+{22.22.27.6.27.15.5.18.21.28.9, 19.7}
+{21.14.22.29, 12.21.20.20, 3.9.25.26.7, 24.13.1.8}
+{12.7.16.8.21.22.2.16.18, 14.19.20.13.27.2.2, 32.1.23.20.14.12.23.5.32.15, 7.19.10.12.31.1.27.13.19}
+{4.15.20.23.12.16.2.16.17, 6.8.7.20.2, 4.18.29.9.16.10}
+{1.27.22.23.2.26.32.17.7.9, 22.19.21.11.6.8.29.24}
+{24.28.32.21, 22.16.25.18.25.7.24.29.14.8, 4.3.6.27.22.23.10}
+{9.2.4.27.26, 1.20.22.26.2.6.11, 26.19.3.14.8.28.31.10, 13.17.7}
+{30.25.24.22, 14.1.11}
+{4.14.32, 4.3.20.27.9.1.18.30.12.5.19, 3.14.1.14.17.28.29.16, 31.4.7, 8.25.20.3.15.24.7.4.24.5.30}
+{6.11.31.23.12.8.30.14.27, 15.23.26.20.27.7, 22.8.20.1.10.28.6.27, 29.5.32.20.11.7.13.24.17, 10.31.25.31.24.16.17}
+{13.25.10.25.8.16, 22.17.9.11.25.15.3.9, 11.11.11.4.23.21.25, 14.8.15.30.7.29.27.31.4, 6.5.27.19.13.26.1.18.9}
+{29.3.15.17.12.29, 6.17.26.25.27.11.10.9, 18.13.9.3.18.15.2, 24.15.15.17.22, 20.6.26.3.30}
+{1, 24.3.23.25, 4.25.12.10.15.9.18.9, 21.9.27.22.32}
+{19.7.29.31.3.20.7.21.25.27.29, 13.25.10.25.8.16, 4.1.24.24.28.24.18}
+{26.31.16.18.22.13.32.23.9.20, 14.11.25, 13.26.17.3.2.19, 7.10.17.21.11.29.17.25.19.4.29, 29.14.31.25.7.32.23}
+{13.30.24, 8.11.20, 29.23.15.25.1.6.6.10, 4.9}
+{22.10.16.8, 19.3.23.4.4.21.23, 30.16.3.21.10, 30.32, 23.10.13.32.14.20.16.11.14}
+{8.11.20, 21.17.31.10.31.13.9.26.6.14, 21.20.28.19.27.9, 12.7.16.8.21.22.2.16.18, 1.22.29.5.16}
+{6.5.27.19.13.26.1.18.9, 1.1.1.2.1, 26.28.14}
+{29.25.29.16.32.11.15.25.5.22.3, 26.26.22.21.14.11.29.19.14.24, 12.4.12.13.25.30.30.8.9.12, 24.1.29.32.14.15.32.6.15.22, 3.4.22.19}
+{18.30.11.17, 17.7.26.30.18.23.4, 23.17.25.4.1.16.29.10, 24.23.24.4.15.25.17}
+{21.15.18.18.30.3.20, 28.25.29.4.13.5.6}
+{14.19.26.15.22.23, 3.21.16.24.23.12.16.32.3}
+{26.5.29.7.28, 32.6.15.26.14.15.3.19, 26.17.9.13.4.25.32.2.24.9}
+{2.27.15.14, 8.16.6, 30.9.24, 30.23.10.1.10.7.22.28.18.11.17, 24.24}
+{32.1.23.20.14.12.23.5.32.15, 28.30.24.16.17.28.2.13.10}
+{24.11.5, 10.20, 13.17.7, 27.24.11.31.21.6.29.17.24.18, 28.26.25.7}
+{4.7.1, 11.10.22.18, 23.27.27.16, 31.18.25.1.14.29.25.5.22.30}
+{26.9.17.1.18.19.1.11.18.29.3, 1.10.21, 1.30.31.31.20.16.7}
+{29.30.7.31.22, 6.27.29.14.8.12.26.3.21.4.1}
+{1.20.18.25.3.24.25.10.9, 3.19.11.6.5}
+{18.31.32.28.1.4.24.24.12.25, 22.29.29.11}
+{24.9, 32.27.18.7.3.4.2, 28.5.12.9.2.27.11.11.2, 26.18.32.20, 25.29}
+{8.13.1, 8.9.21.16.29, 13.19.2.6.23.19.9.7.21.8.16, 29.1}
+{18.18.5.11.7.4.25, 6.19.6.4.9.11.32.17.17.3.15, 30.27.8.6.11.19}
+{30.16.3.21.10, 12.14.20.8.28.4, 13.8.20.9.21, 30.31.13.9, 17.7.26.30.18.23.4}
+{29.3.15.17.12.29, 27.17.15.7.28.20, 30.23.10.1.10.7.22.28.18.11.17}
+{14.4.19.27.28.24.19, 18.7.10.27.17.24, 4.3.6.27.22.23.10, 31.5.6.4.8.29.3, 22.10.12.23.9}
+{22.13.22.21.25.17.8, 2.9, 30.2.17.8.14, 32.1.23.20.14.12.23.5.32.15, 22.15}
+{14.23.31.5.5.15.17.12.17.7.3, 23.6.27}
+{1.1.2, 7.16.20.17, 25.10, 22.23.18.18.9.8.23.7.23.23.16, 1.18.29.30.22.14.3.20.15.21.20}
+{5.14.29.2.23.16.20.22, 3.21.16.24.23.12.16.32.3, 3.9.11.23.32.26.24.28, 9.30}
+{20.1.24.3.30.31, 5.13.23.19.28.26.27.6.1.22, 5.24.24.9.32.26.31, 26.13.4.7.13.11.3}
+{10.28.7.16.31, 6.29.6.13.14.24.10.4.14.28}
+{11.19.23.3.6.11, 13.14.13.10.28.26.9.18.27.21, 5.14.27.15.11.17.3.10.27.25, 11.22.28.8.12.23.25.15.21.28, 26.32.21.31.27.12}
+{22.17.24.14.21.15.12.18.17.25.11, 19.5.20.3.4.2.3, 3.29.19.2.24}
+{7.5.28.8.17.26.31.10.15, 16.13.19.11.18.13.17.17}
+{11.6.11.29.4.5.24.6.26.12, 5.21.27.13.14.11.2.16.20, 25.32.24.24.28.15.16.10, 21.5.11.18, 17.8.31.32}
+{7.27.20, 11.30, 8.16.6, 8.24.11.13.25.19, 9.16.2.16.22.24.17.31.14.21.17}
+{12.24.29.32.32.29.2, 24.23.29.8.24.11.21.10.28.14.27, 1.10.5.22.13, 31.17.2.30.11}
+{21.7.7.11, 20.28.22.7.10.28.27.22.14.16, 6.11.31.23.12.8.30.14.27, 12.29.17.2.20.29.1.11.19.8.12, 19.6.13.14.22.13.9.29}
+{21.18, 26.14.5.32.10, 32.28.1.32.28.10, 27.4.15.14.19.6.12}
+{28.11.27.21.14.16, 21.9.27.22.32, 6.8.7.20.2}
+{26.24.9.12.11.15.31.2, 28.5.12.9.2.27.11.11.2}
+{8.16.1.16.28.6.3.22.6.23, 11.3.15.28.22.8.14, 18.30.18.31, 8.16.1.16.28.6.3.22.6.23}
+{11.19.23.3.6.11, 21.14, 27.22.11.13.21.25.5.1.27.21.27, 7.13.15, 26.9.17.1.18.19.1.11.18.29.3}
+{27.2.10.4.25.14.2.15.4, 19.16.26.2}
+{4.14.10.19.16, 20.23.29.5.7.30.13.14.22, 30.25.8.24.6.29.31}
+{15.31.11.27.19.19.20.5.5, 23.3.32.21.5.14.10.17.1, 20.25.22.19.22, 7.19.10.12.31.1.27.13.19, 20.4.1.16.31.3}
+{8.9.22, 8.13.1, 19.11.29.13.15.27.12.15.14.12}
+{26.16.12, 11.21.13.9.19, 20.6.26.3.30, 11.1}
+{32.8.29.18.31, 3.18}
+{6.26.29.10.21.28.20.19, 32.3.5.9.17.15, 31.29.4.29.24.30.30.32.10.23, 20.22.10, 29.3.17.17.18.32}
+{8.14.19.18, 13.3.8}
+{2.15.14.20.30.26, 30.17.2.25, 22.23.22.30, 10.26.30.15.1, 8.3.18.13.30.20.27.26.17.28}
+{21.31.31.25.5.30.26, 31.28.32.4.31.4.7, 26.17.9.13.4.25.32.2.24.9}
+{5.4.8.25.12.27.2.29.28.3, 25.9.1.5.9.11.25.4.11.27.32, 17.24.30.6.32, 8.5.24.9.29.32.31.30.13.9.7, 29.27.7.7.3.11.14.26.21.11}
+{14.5.13.19.25.12.32.9.13.16.12, 27.6.13.24.21.27.28.22.3.7.4, 30.23.2.13.14.15.29.19.4.12.24, 27.4.15.14.19.6.12, 15.29.32.16.29.12.20.32.13.20}
+{10.8.20.11.12.23.22, 11.12.6.21}
+{14.19.30.6.4.10.10.10.22.25.11, 20.18.24.14.12.13.9, 2.13.9.28, 19.30.27.26.21.7.18}
+{1.26, 9.16.2.16.22.24.17.31.14.21.17, 1.1.1.2.1}
+{15.1.8, 4.3.6.27.22.23.10}
+{14.11.25, 24.10.10.31.4.29.9, 7.12.23, 21.17.27.23.15}
+{1.12.25.26.22.8.15.23, 28.11.27.21.14.16, 32.17.8.24.2.14.5.4.22}
+{11.6.11.29.4.5.24.6.26.12, 11.15.11.19.29.10, 22.21.32.15.8.29.5.12.10.29, 31.28.32.4.31.4.7}
+{22.19.20.5.2.20, 22.26.1.28.9.9.31, 20.32.5.1.3.20.3.30.27}
+{19.17.13.12.32.16.3, 3.9.11.23.32.26.24.28}
+{20.20.7, 17.19.1.22.11.7.22.1.14.28.11, 5.12.2.20.1.24.25, 12.13.16.17.29.27.16.14.9.19.9, 31.18.32.11.7.25.20.5}
diff --git a/contrib/ltree/data/ltree.data b/contrib/ltree/data/ltree.data
new file mode 100644
index 0000000000..246443e597
--- /dev/null
+++ b/contrib/ltree/data/ltree.data
@@ -0,0 +1,1006 @@
+
+1
+1.1
+1.1.1
+1.1.1.1
+1.1.1.2
+1.1.1.2.1
+1.1.2
+1.1.2.1
+1.1.3
+22.19.21.11.6.8.29.24
+26.17.9.13.4.25.32.2.24.9
+10.22.30.16.2.21.17.13
+32.24.11.8.12.23.22.19.11.17.18
+14.30.23.3
+30.18.30.16.29
+11.10.22.18
+31.18.27.15.20.29.29
+13.25.10.25.8.16
+31.24.26.18
+2.4.25.32.16.22.26.13.17.18
+17.25.10.13.21.5.7.22.2
+25.15.11
+12.29.26.18.4.21.28.8.13.3
+23.12.19.25.16.23.22.6.29.4
+28.17.26.9
+5.10.3.9.23.30.23
+24.15.15.17.22
+7.30.5.10.10.5.30.14.9.18
+27.5.22
+26.16.12
+15.28.30.19.31.6.2.2.31
+19.16.26.2
+21.15.18.18.30.3.20
+10.29.26.4.27.17.11
+15.1.6.31.30.13.32.9.10
+30.8.9.14.25.30
+11.17.10
+4.31
+4.14.16.14.1.8.1.22.17.10
+13.17.7
+6.7.7
+31.4.7
+1.14.3.7.3.17.2.29
+11.1
+10.15.16.3
+11.8.18
+22.18.20.23.15.9.12
+18.19.11.20.13.13.11
+22.19.5.22.20.31.23.24.14.24.4
+7.12.1.10.6.17.29.24.24.4
+7.19.6.17.15.26.21.9
+21.14.22.29
+3.15.2.23.22.2.16.14
+25.17.9.16.17.31.23.29.24
+23.22.10.1.14.24
+26.28.14
+27.32.26.21.31.17.32.32
+7.7.25.22.22.26
+30.31.13.9
+29.27
+23.32.5.25.19.9.15.17.15.11
+5.15.16
+10.31.25.31.24.16.17
+7.31.2.28.15.11.17.18.19.23.6
+24.1.10.20.28.18.6.27.20.30.26
+15.8.10
+4.2.16.13.16.11.19.10.10.25
+25.7.3.21.31.12.28
+30.17.25.3.31.11.3.4.1.10
+30.17.2.25
+30.20.3.2.5.15.8.7.17
+25.2.11.20.8.6.22
+19.17.13.12.32.16.3
+27.27.30.11.15.24.9.7.4.30
+13.32.15.32.26.14.32
+6.19.6.4.9.11.32.17.17.3.15
+5.19.1.26.20.6.20
+6.6.22.8
+20.17.14.7
+2.15.18.21.5.21.4.7.30
+9.2.4.27.26
+20.13
+15.29.25
+29.23.15.25.1.6.6.10
+24.24
+19.26.24.27.6.24.16.27.32.29
+12.21.20.20
+1.18.29.30.22.14.3.20.15.21.20
+23.19.17.31.29.13.1.12.5.25
+4.13
+7.23.15.32.28.27.2.2.26
+26.7.22.3.18.21.11
+25.2.3.15.11.19.5.28.25.14
+26.32.8.12.30.19.24.8.6.1.10
+10.13.12.8.4.8.11.30
+8.21.8.23.4.18
+22.21.32.15.8.29.5.12.10.29
+12.4.26.23.25.5.15.7.16
+27.12.4.2.29.22.15
+24.31.2.13.5.23.18.16
+29.32.13.4.1.16.20
+5.18.9.25.31.21.22
+27.22.11.13.21.25.5.1.27.21.27
+29.27.13.29.10.2
+27.11.15.9.24.31.18.4.1.30.20
+17.11.17.4.8.26.26.20.6
+24.2.26.24.14.15.31.23.17.26
+17.22.12.10.30.11
+21.9.27.22.32
+22.16.25.18.25.7.24.29.14.8
+15.3.31.9.27.14.9.8.14.6.32
+11.19.23.3.6.11
+30.32
+23.5.5.17
+20.20.32.29.24.5.5.26.22.32
+22.10.27.19.29.20.29.3.12.14.25
+4.13.22.11.9.13.27.15.7
+30.24.23.25.32.18.22.12.29.9.22
+14.4.19.27.28.24.19
+6.11.31.23.12.8.30.14.27
+18.13.9.3.18.15.2
+1.27.22.23.2.26.32.17.7.9
+15.29.32.16.29.12.20.32.13.20
+13.16.1.27.18.18.19.6.14.4
+32.1.24.29.22.5.9.24.18.3.13
+26.24
+25.5.30.7.16.12.21.12.11.16
+25.4.32
+4.7.1
+26.14
+19.10.26.19.5.21.30.23
+10.13.22.1.8.30.9.24.1.2.1
+14.23.31.5.5.15.17.12.17.7.3
+8.25.20.3.15.24.7.4.24.5.30
+6.17.26.25.27.11.10.9
+5.27.16.3.30
+1.21.28.4.23
+22.10.16.8
+16.5.14.21.32.17.23.3.4.26
+5.21.27.13.14.11.2.16.20
+18.29.13.24.18.3.12.18.12.12
+21.1.4.9.9.31.24.21.3.29
+5.23.31.18.24.32
+14.8.15.30.7.29.27.31.4
+23.8.13.22.21
+8.2.18.23.5.16.17.1
+23.14.12.30.18.4.16.18.7.7
+17.25.2.13.10.27.13.1
+8.9.25.25.26.30.31.31.2.32.7
+30.5
+22.17.30
+6.22.12
+31.18.32.11.7.25.20.5
+28.5.12.9.2.27.11.11.2
+12.3
+17.5.3.15.17.13.5
+18.9.21.2.31.8.32
+23.17.22.1.23.4.29.32.4.1
+13.28.14.2.8.18
+16.18.23.6.31
+24.16.27.10.9
+12.15.10.17.18.13
+28.15.18.27
+21.7.23.9.16.5.18.14
+1.10.5.22.13
+18.30.18.31
+23.24.16.32.13.29
+11.10
+18.7.10.27.17.24
+9.9.13.9.14.27
+30.25
+11.11.9.30.15.29.15.18
+10.22.1
+12.1.1
+29.27.5.22.26
+23.27.27.16
+20.32.5.1.3.20.3.30.27
+6.9.29.17.4.32
+7.13.15
+2.32.8.28.24.20.9.24.25.8.9
+23.1.23.18.12.29
+28.18.6.22.13.8.25
+27.30.12.11.20.15.11.13
+7.12
+18.31.26.18.6.15.18.11
+12.28.12.24.28.15.5.12.30.13.21
+10.16.18.9.27.2.29.32.24.13
+9.10.19.18.15.11.22.32.32.14.9
+23.22.23.14.31.32
+6.26
+2.10.10.4.20.1.12.13
+18.9.26.7
+1.26.15.23.5.31.29.11.19.28.1
+19.7.29.31.3.20.7.21.25.27.29
+8.14.19.18
+23.17.25.4.1.16.29.10
+2.16.3.7.22.18.29.20
+32.27.18.7.3.4.2
+12.2.4.28.21.30.24
+5.13.23.19.28.26.27.6.1.22
+23.17.32.15.23.16.25
+9.31.23.19.5.10.16.4.30.24.5
+10.28.7.16.31
+8.22.32.17.16.28.31.23.22.9
+20.15
+20.20.7
+8.16
+25.6.12.16.1
+14.10.11.30.5.7.6.24.9.30.26
+9.17.13.31.7
+27.19.20.1.31.29.5.22.26.3
+32.3.12.2
+24.27.18.32.14.9.11.28.9
+16.30.10.7.29.4.9.21.22.13.26
+3.1.14.8.9.16.30.22.20
+23.6.27
+12.4.12.13.25.30.30.8.9.12
+32.6.9.26.16.4.4.29.7.11
+21.22.31.24.27
+21.18
+24.31.8
+2.8.13.12.17.23.16.7.11.23
+5.8
+26.31.11.23.3
+5.14.29.2.23.16.20.22
+5.12.2.20.1.24.25
+28.8.21.15.16.28.4.16.26.8
+31.7.14.2
+21.4.11.18
+4.3.6.27.22.23.10
+12.10
+1.29.18.1.21.12.13.27.32.15
+29.28.9.15.8.27.31
+12.24.29.32.32.29.2
+20.18.24.14.12.13.9
+32.25.16
+26.7.5.8.11.9.22.1.6
+19.3.12.12
+14.16.6.29.26.13.14.16.25.26.8
+11.22.28.8.12.23.25.15.21.28
+25.30.1.4.24.11
+5.8.17.30.15.8.19.29.30.11.6
+22.24.22.25.15.23.13
+1.9.18.10.1.26.22.16.17
+5.5.12.31.23.13.17.22.20
+25.32.24.24.28.15.16.10
+3.14.30.5.32.22.29
+4.30.8.20.19.9.30.24.11
+27.4.15.14.19.6.12
+15.31.11.27.19.19.20.5.5
+19.10.8.10.4.19
+16.24.3.30.15.22.31.2
+12.7.28.26.14.21.18.31.5.15.11
+22.17.4.2.22.17
+14.11.25
+7.12.23
+6.14
+22.23.25.28.5.27.9.9.24.31.10
+19.19.25.22.11.6.15.3.2.19
+28.26.26.6.31
+32.3.23.7.2
+2.10.28.1.17.19.32.28
+24.27.14
+9.30
+17.13.19.31.12.18.10.15.14
+17.7.26.30.18.23.4
+32.30.18.17.1.14.12.18
+10.5.5.15.29.2
+25.28.3
+21.5.11.18
+18.31.32.28.1.4.24.24.12.25
+32.6.3.2.12.5.28.1.25
+19.22.29.32.1.21.26.24.23.17
+29.3.15.17.12.29
+5.24.25.15.27.30.20
+24.25.7.27.30.8.26.17
+11.12.6.21
+9.2.10.4
+5.1.5.31
+23.20.12.16.15.2
+7.11
+14.12.31
+2.22.19
+18.7.3.17.13.5.31.6.31.25.29
+17.1.12.20
+21.23.17.8.23.11.8.1
+27.15.15.15
+2.9
+30.23.10.1.10.7.22.28.18.11.17
+19.15.26.19
+31.21.22.14.8.21
+16.13.26.18.9.29.11.17.1.24.26
+24.10.8.25.16
+22.17.7.30.13.24
+16.16.28.24.11
+24.28.32.21
+14.27.29.23.4.1.17.32.6.25.22
+3.14.11.15.21.32.2.15.13
+23.14.30.27.28.26.26.23.8.32
+10.7.9
+23.23
+29.30.7.31.22
+21.4.22.20.24.28.6
+31.28.32.4.31.4.7
+17.13.14.29.27.27.13.12.15
+25.9.10
+21.23.13
+22.29.18.32.13.12.22.31.17.22
+16.28
+7.5.28.8.17.26.31.10.15
+1.10.21
+8.16.6
+12.1.28.22.25
+30.30.17.5.30.21.19.5.22.22.14
+7.13
+11.7.31.15.22
+22.26.32
+20.32.9
+18.30.11.17
+15.6.19.3
+25.3
+20.6.3.26.7.29.28.4
+4.27.32.18
+16.5.10.2.18.8.15.12.32.25.10
+8.6.6.5.8.8.12
+18.29.5.1.10.21.2
+4.16.22.19.24.21
+27.23.2.32.11.21
+16.5.12.5.15.12.24.25.3
+9.18.23
+7.31.4.20.17
+13.28.12.6
+5.31.8.1.5.13.21.28.29.19.2
+5.27.32.21.5.1.11.14
+27.25
+18.27.11.27.9.16.7.6.22.26.27
+10.32.14
+29.26.25.14.24.18.2.13.23.29
+27.2.10.4.25.14.2.15.4
+1.15.17.6.28.25.24.31.27.9
+9.3.3
+3.19.11.6.5
+8.11.20
+14.2.14.11.12
+12.16.2.4.15
+26.11
+1.25.7.9.26.17.31.20.13
+9.28.10.26.14.26.15.14
+27.4.17.17.32.8.16.15.17.13
+11.3.15.28.22.8.14
+26.13.4.7.13.11.3
+16.8.29.7.21.2.3
+25.21.8.17
+11.11.11.4.23.21.25
+20.24.14.15.4.21.12.27.4.12
+30.2.17.8.14
+3.29.32.26.8.10.25
+12.18
+7.31
+13.30.24
+11.32.18.31
+30.12.28.2
+1.8
+28.6.11.6.15.22.12.6
+7.10.17.21.11.29.17.25.19.4.29
+6.7.25.16.13.21.7.20.25.12.4
+22.17.9.11.25.15.3.9
+18.24.21.17.11.26.28.22.21.18.10
+19.3.23.4.4.21.23
+3.10.27.4.5.6.19.12.28.12
+20.4.1.16.31.3
+1.22.19.24.8.11
+8.17.9.15.21.28.1.7.1.3.6
+25.4.4.1.13.32.26.20.20.3
+6.29.6.13.14.24.10.4.14.28
+29.27.13.9.28.29.19.13.29.31.27
+10.26.30.15.1
+22.26.1.28.9.9.31
+29.23.1.21.31.8
+3.4.22.19
+24.28.13.26.8.8.31
+9.19.7.13.13.25
+28.4
+19.30.18.11.32.14
+17.27
+31.13
+7.26.18
+14.24
+30.17.4.5.13.6
+18.13.6.12.26.26.26.29.18.20.1
+5.10
+2.13.9.28
+25.19.27.2.9.20
+24.1.29.32.14.15.32.6.15.22
+32.6.13.8.32
+18.17.6.16.6.10
+26.25.24
+30.12.9.25.24.6.7.24.29
+19.17.12.15
+6.20.14
+9.6.9.21.6.11.29.13.29.20.32
+29.1.7.26.25.11.22
+3.13
+22.9.15.19.12
+12.29.17.2.20.29.1.11.19.8.12
+32.31.11.22.1
+28.26.4.22.13.20.32.27.15
+18.19.12.20.18.17.15.32.18.5
+22.10.18
+1.16.8.18.14.16.21.25.6
+14.14.25
+9.28.30.1.6.25.17.9
+31.32.12.26.31.32.14.23.28
+6.19.29.11.2.32.21.15.32.9
+24.9.27.16.20.21
+13.24
+16.31.12.27.25.9.32.29
+23.3.20.24
+13.8.20.9.21
+21.6.22.28.12.23.11.22
+9.5
+12.4.24.6.1.13.5.20
+30.9.24
+32.15.20.28.5.1.23.4
+15.9.8.20.27
+3.20.19.10.17.27.3.6.22.23
+16.9.32.14.3.7.8.7.21.22
+7.32.10.3.30.12.14
+8.13.9.31.20.20.24.7.23.31.28
+10.11.25.2.24.18.18.21.6.26.21
+8.1.29.18.22
+17.9.32.31.21.31.23.17.10.32.9
+29.29.17.31
+31.29.18.26.1.26.17
+11.14.21.24.10.7.29.23.24.28
+14.17.7.30.8.25.26.4
+22.15
+4.10.28
+10.12.9.6.6.26.14.8.23.1.25
+23.12.1.5.32.25.8.24.1.25
+7.30.19.25.23.15.14.29
+10.31
+6.26.29.10.21.28.20.19
+29.25.30.15.21.3.25.26.26
+14.19.30.6.4.10.10.10.22.25.11
+28.27.24.14
+6.8.7.20.2
+12.13.5.31
+22.30
+3.9.25.26.7
+20.28.22.7.10.28.27.22.14.16
+13.19.2.6.23.19.9.7.21.8.16
+20.30.28.15.17
+7.19.10.12.31.1.27.13.19
+23.10.5.26.12.4.20.4
+31.5.6.4.8.29.3
+17.13.8
+2.2.18.18.3.3.18.8.10.8
+12.21.15.27.24.15.8.24.24.26
+25.24.2.32.14.18.16
+10.16.19.7.15
+15.7.3.14.23.19.26
+22.22.27.6.27.15.5.18.21.28.9
+4.21.28.5.16.29.5.21
+22.31.2.32.32.11.26.23.19
+19.20.25.7.27.28.27.17.9.3.1
+15.11.26.1.30.6.23.5
+16.20.29.26
+21.18.2.1
+5.9.19.6
+4.22
+11.30.20.15.18.32.1.18.25.26.8
+7.7
+8.10
+24.32.27
+21.21.10.27
+1.12.25.26.22.8.15.23
+15.17.2.32.7
+8.27.3.4.12.26.16
+29.14.31.25.7.32.23
+1.30.18.31.12.25.4.19.28.12.15
+22.13.22.21.25.17.8
+20.23.29.5.7.30.13.14.22
+23.2.22.7.32.3.27.6
+30.15
+14.4.23.4.23.22.11.6.26.5
+15.10.30.1.4.12.8.20
+32.19.20.24.23.31.8.32.16.29
+20.31.13.12.19.2.26.16.16.22.28
+21.20.24.25.6.26.23
+7.14.22.29.30.14.25.1.9.26.25
+6.9.1.10.10.22.6
+22.13.22.8.30.32.10.24
+11.18.4.8.3.13.14.28.18.31
+9.28.24
+21.15.31.24.29.24.26.12.20
+25.22.2.25.6
+19.12.30.2.21
+21.7.7.11
+29.11.20.22.27
+5.15.10.3.23.13.32.23
+21.18.30.19.24.24
+31.9.3.5
+4.2.6.20.7.8
+8.16.1.16.28.6.3.22.6.23
+2.19.4.1.15.7.8.9.17.29
+3.20.16.13.29.20
+32.16
+6.25.17.32
+3.22.18.1.5.14.9.6.14
+24.23.24.4.15.25.17
+32.8.29.18.31
+17.14.7.3.2.18.20.23.18.5
+9.3.31.18.12.3.9.29.10
+15.28.24
+22.11
+29.27.7.7.3.11.14.26.21.11
+9.7.31.11.8.23
+23.3.32.21.5.14.10.17.1
+29.9.25.27.15.16.32.26.6.32
+12.25.32.2.27.3.3.16
+1.1.7.32.11.22
+27.24.11.31.21.6.29.17.24.18
+16.5.23.17
+4.15.20.23.12.16.2.16.17
+3.1.13.22.24.14.12.31.3.4
+16.23.30.12.31.31.19.14
+22.23.18.18.9.8.23.7.23.23.16
+3.25
+32.27.13.6.7
+22.31.21.13.13.26.11.5.19
+14.19.20.13.27.2.2
+7.16.20.17
+6.20
+15.9.11.20.22.15.11.13
+2.14.10.4.17.17.8.4.27.20
+26.31.6.8.29.8.24
+10.18.12.27.24.30.32.7.11.5.13
+26.9.20.12.22.22.32
+9.18.30.11.29.32.7.19.2
+24.13.1.8
+2.24.4.5.24.32
+25.18.8.3.23.23.5.9.6
+17.8.31.32
+2.12.30.22.12
+22.10.12.23.9
+20.23.7.11.11.31.18.16.3
+8.17.25.26.15.25
+4.5.9.4.15.19.8.26.17.26.3
+27.6.13.24.21.27.28.22.3.7.4
+24.3.23.25
+30.12.6.30
+19.2.26.21.16.11.2.2
+1.31.3
+4.2.2.32.24.25.31.3
+18.21
+23.17.28.31.28
+18.4
+15.30.17.5.32.28.2.18.27
+28.1.3
+28.11.11.30.20.11.32
+32.3.5.9.17.15
+4.14.32
+29.25.29.16.32.11.15.25.5.22.3
+3.18
+21.32.13.21
+14.1.11
+26.12.27.2
+1.20.18.25.3.24.25.10.9
+26.19.3.14.8.28.31.10
+25.11.24
+15.23.26.20.27.7
+24.9.8.12.29
+19.10.4.30.32.4.12
+14.21.6.5.26.9.32.16.25
+1.26
+31.17
+2.28.5.17.6.32
+27.23.20.30.7
+19.22.21.13.27.13.15
+26.24.9.12.11.15.31.2
+31.18
+22.12.22.28
+32.2.11
+22.23.22.30
+29.3.17.17.18.32
+22.25.4.28.9.20.12.13
+20.17.18.21.1
+21.8.9
+6.1.8.6.30.29.30
+23.10.13.32.14.20.16.11.14
+20.22.10
+31.30.23.7.7.24.32.10.11.1.31
+26.16.12.3.27.9.28
+6.27.26.1.20.24.6
+3.14.1.14.17.28.29.16
+5.27.28.26.14.15.6.20.1.31.13
+20.30.9.9.14.12.29
+10.29
+12.27.23.32.1.1.9.29.13
+25.10.29.3.6.21.3.31.13
+17.8
+12.11.20.20.29
+16.21.13.1.4
+20.29.18.16.2.21.23.11
+19.16.31.31.29.12
+20.4.27.31.1
+32.6.8
+30.3.16.26.7.27.26.9.27.21.18
+6.2.32
+18.5.6.31.5.15.15
+18.4.14.29.3
+23.25.23.11.7.23
+17.19.1.22.11.7.22.1.14.28.11
+20.14.11.2.10.14
+27.21.28.24.7.2.24.23.8
+22.30.31.24.23.22.5.20.28.1
+28.28
+29.20.1.11.21.16.1.2.14.28
+6.17.10.10.7.9.27.8.29
+19.12.20.24.32.13.11.23.26
+6.21.30.7
+12.17.10.7.17.16
+32.1.21.1.16.29.21
+9.26.1.16
+8.16.30.29.19.22.28.24.2
+16.19.17.30.30.5.17.24.27
+21.14
+15.17
+8.29.6.3
+30.25.17.17.10.29
+10.28.22.29.13.19.6.7.6.14
+12.11.17.1.2
+26.31.7
+28.30.24.16.17.28.2.13.10
+18.18.19.16.14.16.21.10.25
+14.1.15.25.27.23.25.26.28.10
+14.15.31.29
+24.12
+30.27.8.6.11.19
+32.17.8.24.2.14.5.4.22
+16.5
+28.23.2.30.3.8.1.15.15.14.13
+15.5.1.31.28.10.8
+9.31.4.14.31.10.17.5.2
+17.24.30.6.32
+17.29.21.10.18.8.16.26.18.21.26
+2.31.25
+22.20.30
+2.14.12.13
+14.30.13.5.26.9.22.23.14.10
+25.17.18.30
+30.4.30.11.13.23.14.24.11
+29.30.21.8.16.23.32
+6.10.25.12
+22.32.6.6.3.8.24.6.25.29
+16.24.7.25
+16.13.2.19.14.29.31.30.23.15.12
+22.3.6
+19.31.14.25.5.8.21.11.13.20
+32.29.24.31.25.6.9
+19.30.27.26.21.7.18
+16.9.14.28.6.21.31.31.26
+32.4.19
+13.26.17.3.2.19
+1.22.29.5.16
+10.5.23.5.32.9.18.5.30
+7.27.20
+31.21.14.20.1.22.2.5.3.27.12
+14.19.26.15.22.23
+11.21.13.9.19
+14.9.15.21.21.31.1.29
+6.19.3
+31.30.12.20
+23.27.6.26.22
+17.10.17.22.20.25.14.13
+3.5
+21.17.18.32.7.8
+27.3
+29.29.18
+27.27.25.10.31.10.21.22.21.16.12
+26.32.21.31.27.12
+20.6.26.3.30
+16.9.29
+10.20
+5.2.32.19.13.29.12.13.31.29
+8.24.11.13.25.19
+12.13.16.17.29.27.16.14.9.19.9
+12.7.16.8.21.22.2.16.18
+10.26.27.23.4.31.11.25.29
+23.28.3.30.15.31.32.3.21.9.19
+8.12.4
+26.18.32.20
+16.29.6.23.13.28.31.6.19.26.15
+29.14.12.9.17.5.32
+28.26.25.7
+24.31
+32.6.15.26.14.15.3.19
+27.1.11.3.25.9.6.6
+27.18
+32.25.3.6
+21.5.17.19.15.25.18.21.24.9
+7.23.1.24.29.13.31.19.23.17.7
+13.28.9.3
+5.14.27.15.11.17.3.10.27.25
+10.27.7.24.26.11.31.20.29
+30.23.2.13.14.15.29.19.4.12.24
+26.9.17.1.18.19.1.11.18.29.3
+4.25.12.10.15.9.18.9
+14.21.5.28.3.32.24.14.25.31
+27.27
+15.7.5.12.7.9.3.28.26
+13.16.4.28
+21.9.32.1.27
+25.6
+23.12.11.11.15.16.22.31.32.5.8
+29.10.12.17.12.16
+8.9.21.16.29
+12.6.14.23.19.21.9.12
+14.6.10.29.25.26.20.24.24
+29.5.18.27.3.21.18.6.14
+4.1.24.24.28.24.18
+9.5.9.3.23.9.25.14.1.29.28
+25.10
+21.10.20.9.3.16.9.10.20
+20.8.19.14.16.7
+21.28.17.22.10.27.4.20.2.32
+1.28.19.8.25.6.20.27.29.27
+12.23.3.19.29.15.12.6
+27.17.17.19.24.9.14.20
+3.29.19.2.24
+19.9.32.23.13.24.1
+27.3.3.11.21.4.25
+25.16.9.6
+4.14.17.12.20.17.1.22.3
+19.7
+28.15.25.7.13.6.19.2
+1.28.3.22
+13.14.13.10.28.26.9.18.27.21
+26.25.10.10.13
+27.26.29
+6.27.29.14.8.12.26.3.21.4.1
+4.14.10.19.16
+5.4.8.25.12.27.2.29.28.3
+8.21.17.3.6.3.18
+3.6.24.21.20.32.3.4.26.5
+27.17.15.7.28.20
+21.17.27.23.15
+11.29
+26.18
+27.5.15.1.15.16.21
+21.28.24.23.3.11.7.12.22.32
+3.26
+31.29.4.29.24.30.30.32.10.23
+24.9.15.1.14.29.6.4
+13.8.23.13.11.18.24.21.11.24.10
+31.17.2.30.11
+8.5.24.9.29.32.31.30.13.9.7
+21.14.13
+3.21.6.13.12.18.25
+2.13.9.23.21.2
+22.17.24.14.21.15.12.18.17.25.11
+25.28.30.24
+24.2.6.7.16.7.28
+22.28.20.6.32.32
+1.13.16.27.11.16.30.2.9.18.4
+11.17.17.24.11.23.17.17.18.10.22
+22.16
+4.22.17.10.19.9.8.19.28.3.9
+12.27.30.12.24.2.20
+23.20.24
+28.6.8.22.25
+16.2.14.3.26.11
+15.4.15
+19.11.29.13.15.27.12.15.14.12
+28.20.8.9.9.28.30.29
+30.16.3.21.10
+11.1.3.28.30.21.24.14
+32.31.26.19.13.29.4.25
+8.13.6.12.18.7
+9.21.28.8.12.15.3.13.10.11
+4.19.16.15.5.2.25.8.28.14.2
+28.25.29.4.13.5.6
+25.24.29
+1.19.22.11.14.7.32.23.19.14
+22.22.10.30.5.15.25.21.19.11
+21.30.19.6.28.1.32.2.14.14
+26.5.29.7.28
+1.4.14.32.14
+19.2.9.29.6
+6.13.31.5.7.26
+27.11.14.17.24
+15.1.8
+11.15.11.19.29.10
+10.3.19
+5.3.29.9.22
+5.20
+13.9.9.27.31.11.25.9.27.22.13
+10.2.17.26.16.7.19.6.23.3
+30.8.18.5.20.6.15
+32.1.23.20.14.12.23.5.32.15
+3.9.11.23.32.26.24.28
+4.26.23.6.19.31.10.4.22
+1.10.23.25.5.11
+4.26.2.2
+14.30.2.21.15.16.13
+11.6.11.29.4.5.24.6.26.12
+19.26.32.13.1.12.30.26.22.25
+30.25.24.22
+6.11.11.5.16.8.14.12.9
+2.24.5.3.4.10.27.26.17.28.16
+3.18.8.22.7.28.32.31.3
+25.9
+12.14.20.8.28.4
+3.21.16.24.23.12.16.32.3
+8.3.18.13.30.20.27.26.17.28
+3.3
+8.32.30.1
+26.14.5.32.10
+24.20.23
+8.16.20.24.20.6.10.21
+23.12.32.22.19.1.22.4
+24.21.14.25.11.3.20.6.6.16
+12.4.10.17.4.10.23.3
+19.6.24.32.30.13.6.25.8.28
+1.3.15.11.11.25.24.21.19
+3.11.18.21.5.20.30
+9.23.21.22.5.29.15.21
+17.24.15.27.3.32.4.22.20.6.24
+23.24.11.31.10.31.18.28.13.18.6
+4.21.9.1.2.14.8.17.13.26
+23.28.20.25.30.24.15
+4.9
+8.13.14.11.11.29.22.4.4.10
+3.10.4.5.28.11
+29.10.17.11.28.12.18.5.19.15.21
+22.19.20.5.2.20
+19.6.13.14.22.13.9.29
+1.10.4.18.22.23.24
+28.11.27.21.14.16
+1.11.10.19.6.1.26.17.2.22
+24.17.31.20.12.9.19.29.18
+24.17.24
+19.5.20.3.4.2.3
+18.31.32.29.22.1.31.11.28
+15.21.22
+10.8.20.11.12.23.22
+9.8.23.2.20.16
+21.32.13.22.3.13.31.23.14.12.9
+4.22.7.19.25
+1.30.31.31.20.16.7
+22.29.29.11
+20.30.17
+30.24.32.15.14.10.11
+30.25.8.24.6.29.31
+9.21.14.19
+21.31.31.25.5.30.26
+20.25.22.19.22
+25.17.2.20.20.3.29.21.3.12
+29.6.12.31.20.23.32.20
+2.30.26.10.14.31.18.2
+28.6
+20.5.4.9.31.14.26.6
+20.1.24.3.30.31
+13.3.8
+25.29
+2.15.14.20.30.26
+5.24.4.31.3.16.25.17.13.26.11
+29.5.32.20.11.7.13.24.17
+24.9
+17.17.14.28.6.30
+4.11.22.4.19.24.4.28.6.8.22
+11.2.27.3
+28.25.10.25.19.15
+14.26.25.4.12.26.8
+3.10
+4.14
+28.31.10.28.22.26.16.15
+28.2.27.1.20
+32.8.5
+21.17.31.10.31.13.9.26.6.14
+13.7
+9.14.27.31.26.21.25.3.20
+17.29.31.8.24.10.18.27.17
+2.1.3.30.24.17.9
+18.15.14
+6.29.32.13.30.3.16
+27.17.3.18.2.13.18
+5.27.21.1.29.29.28
+13.3.20
+14.21.22
+4.18.29.9.16.10
+29.1.2.14.14
+8.13.1
+2.32.10.13.12
+9.10.32
+15.8.3.15.27.14.29.28.6.5.25
+12.22.20.4.12
+14.13.9.13.11.5.5.2.2.32.12
+9.21.20.29.1
+28.14.32.29.2.3.4
+28.9.3.16.17.21.23.30
+24.32.17.23.24.19.23.9.20.18
+15.26.24.31.16.15.17.22.8.30.3
+6.5.27.19.13.26.1.18.9
+2.6.15.26.23.26.24
+4.26.5.26.21.28.17.24.25.23
+25.14.5.32.25
+3.27.18.8.4.21.6.32.30.7.5
+2.11.32.25.23
+8.9.22
+18.18.5.11.7.4.25
+14.3.17.1.14.15.21.4.26
+10.3
+13.12
+27.31.2.16.29.6
+8.2
+27.18.10.4.22
+16.14.3.17.17.26.12.19.19.30
+20.9.29.32.13.7.23
+8.3.3.25.25.15.7.13.21.18
+4.16.7.25.21.7
+17.25.26.23.32
+20.3.1.8.8.30.20
+31.18.25.1.14.29.25.5.22.30
+21.20.28.19.27.9
+30.16.14.9.5.4.10.7.31
+30.22.29.21.19.14.3.2.6
+8.5.30.29.9.31
+23.28.1
+11.16.16.28.14
+18.6.26.2.13.9.6.11.10.11.16
+11.30
+16.5.6.12
+32.24.29.6
+8.31.22.27
+6.18.1.4.18.23
+28.5.13
+26.26.22.21.14.11.29.19.14.24
+29.1
+24.10.10.31.4.29.9
+19.11.10.18.14.13.7.7
+27.29.1.5.30.6.22.16.23.2.28
+3.11.32.11.22.3.7.17.8.13.23
+2.12.14.28.16.21
+24.23.29.8.24.11.21.10.28.14.27
+27.4
+4.11.19.17.2.22.20.18.13.32.15
+7.21.8
+2.27.15.14
+25.9.1.5.9.11.25.4.11.27.32
+25.31
+9.16.2.16.22.24.17.31.14.21.17
+32.1.31
+9.22.10.15.5.15
+12.10.11.9.10.31.4.16.31
+30.24
+15.25.31.11.4.22.16.7.11
+22.8.20.1.10.28.6.27
+10.12.23.22.23.22.20.17.17.9
+3.18.18
+7.7.22.24.17.32.17.25.28
+31.13.9.1.5.12
+25.17.18.17.27
+32.6.31.31
+26.8.28
+14.29
+30.6.4
+27.16
+24.18.16
+27.21.27.5.13.30.17
+23.20.8
+28.14.24.26.6.15.16.32.25.13.8
+13.1.6.17.28.9.15.30.1.27.14
+5.3.17.29
+13.8.15.3.7.31.5.10.15.30
+19.12.26.24.29.3
+11.21.16.27.16
+23.5.7.12.11.23.10
+29.15.29.8.31.26.1
+4.3.20.27.9.1.18.30.12.5.19
+7.19.12.3.21.19.18.5.2.14.10
+8.26.29.13.7.25.31.28.3.32
+12.16.13
+28.25.11.22
+17.26.18
+18.6.2.2.24
+24.11.5
+17.3
+21.14.25.20.13.31.14.20
+23.31.27.16.8.30.20.27
+3.32.2.29.3.32.28.11.29.30
+5.10.2.11.21.9.19
+16.27.8.17.14.17.21.29.14
+25.10.4.28.3.31.19
+16.13.19.11.18.13.17.17
+3.26.32
+5.13.23.4.9
+26.31.16.18.22.13.32.23.9.20
+32.28.1.32.28.10
+15.21.23.30.9.25
+1.20.22.26.2.6.11
+2.1.12.19.29.28.3.31.28.28.10
+14.5.13.19.25.12.32.9.13.16.12
+5.24.24.9.32.26.31
diff --git a/contrib/ltree/expected/ltree.out b/contrib/ltree/expected/ltree.out
index fef2d40f17..2849bd1cc8 100644
--- a/contrib/ltree/expected/ltree.out
+++ b/contrib/ltree/expected/ltree.out
@@ -3339,6 +3339,7 @@ SELECT * FROM ltreetest WHERE t ? '{23.*.1,23.*.2}' order by t asc;
  23.3.32.21.5.14.10.17.1
 (4 rows)
 
+-- start_ignore
 create unique index tstidx on ltreetest (t);
 set enable_seqscan=off;
 SELECT * FROM ltreetest WHERE t <  '12.3' order by t asc;
@@ -5380,6 +5381,7 @@ SELECT * FROM ltreetest WHERE t >  '12.3' order by t asc;
 (882 rows)
 
 drop index tstidx;
+-- end_ignore
 create index tstidx on ltreetest using gist (t);
 set enable_seqscan=off;
 SELECT * FROM ltreetest WHERE t <  '12.3' order by t asc;
diff --git a/contrib/ltree/ltreetest.sql b/contrib/ltree/ltreetest.sql
new file mode 100644
index 0000000000..d6996caf3c
--- /dev/null
+++ b/contrib/ltree/ltreetest.sql
@@ -0,0 +1,21 @@
+/* contrib/ltree/ltreetest.sql */
+
+-- Adjust this setting to control where the objects get created.
+SET search_path = public;
+
+CREATE TABLE test ( path ltree);
+INSERT INTO test VALUES ('Top');
+INSERT INTO test VALUES ('Top.Science');
+INSERT INTO test VALUES ('Top.Science.Astronomy');
+INSERT INTO test VALUES ('Top.Science.Astronomy.Astrophysics');
+INSERT INTO test VALUES ('Top.Science.Astronomy.Cosmology');
+INSERT INTO test VALUES ('Top.Hobbies');
+INSERT INTO test VALUES ('Top.Hobbies.Amateurs_Astronomy');
+INSERT INTO test VALUES ('Top.Collections');
+INSERT INTO test VALUES ('Top.Collections.Pictures');
+INSERT INTO test VALUES ('Top.Collections.Pictures.Astronomy');
+INSERT INTO test VALUES ('Top.Collections.Pictures.Astronomy.Stars');
+INSERT INTO test VALUES ('Top.Collections.Pictures.Astronomy.Galaxies');
+INSERT INTO test VALUES ('Top.Collections.Pictures.Astronomy.Astronauts');
+CREATE INDEX path_gist_idx ON test USING gist(path);
+CREATE INDEX path_idx ON test USING btree(path);
diff --git a/contrib/ltree/sql/ltree.sql b/contrib/ltree/sql/ltree.sql
index 4dbc14d67a..7049c35e14 100644
--- a/contrib/ltree/sql/ltree.sql
+++ b/contrib/ltree/sql/ltree.sql
@@ -233,6 +233,7 @@ SELECT * FROM ltreetest WHERE t ~ '23.*.1' order by t asc;
 SELECT * FROM ltreetest WHERE t ~ '23.*.2' order by t asc;
 SELECT * FROM ltreetest WHERE t ? '{23.*.1,23.*.2}' order by t asc;
 
+-- start_ignore
 create unique index tstidx on ltreetest (t);
 set enable_seqscan=off;
 
@@ -243,6 +244,7 @@ SELECT * FROM ltreetest WHERE t >= '12.3' order by t asc;
 SELECT * FROM ltreetest WHERE t >  '12.3' order by t asc;
 
 drop index tstidx;
+-- end_ignore
 create index tstidx on ltreetest using gist (t);
 set enable_seqscan=off;
 
-- 
GitLab