1 files changed, 1000 insertions, 0 deletions
diff --git a/contrib/ltree/data/_ltree.data b/contrib/ltree/data/_ltree.data
new file mode 100644
index 0000000..9ba2787
--- /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}