Add Zebra tests for Ed25519

No need to test EdDSA with Blake2b this way, both EdDSA flavours use the
same code.

Closes #248

diff --git a/tests/gen/vectors/ed_25519_check b/tests/gen/vectors/ed_25519_check
index 89d3de9f6a9cf0966047b9b7038d29e7c4289458..42e4b47740811f2dbf4c43fced780e760bbb622f 100644 (file)
--- a/tests/gen/vectors/ed_25519_check
+++ b/tests/gen/vectors/ed_25519_check
@@ -927,3 +927,1055 @@ ccbe7cb2e4bc215cee2f885e1d22f7e0d582b2bbbd782c104e548b152d26fc69:
 44530b0b34f598767a7b875b0caee3c7b9c502d1:
 cfbd450a2c83cb8436c348822fe3ee347d4ee937b7f2ea11ed755cc52852407c9eec2c1fa30d2f9aef90e89b2cc3bcef2b1b9ca59f712110d19894a9cf6a2802:
 00:
+
+
+##########################################
+# Zebra low order & non-canonical points #
+##########################################
+
+# Credits to Henry de Valence for the whole idea:
+# https://hdevalence.ca/blog/2020-10-04-its-25519am
+#
+# To facilitate compatibility in consensus algorithms, Monocypher
+# chooses the maximally permissive (yet still secure) option, used in
+# the ed25519-zebra library.
+#
+# - Low order and non-canonical public keys are accepted.
+# - Low order and non-canonical R are accepted.
+# - Low order components are ignored (batch equation).
+# - (Non-canonical S is still rejected, to avoid malleability problems.)
+#
+#
+# To test this, we test that we do accept all signatures where:
+#
+# - A has low order
+# - R has low order
+# - S is zero
+#
+# Such a signature R || S, with public key A, should verify any message.
+# So we just test every possible combination of A and R. S stays null of
+# course, and we arbitrarily use the empty message.
+#
+# Curve25519 has 8 low-order points:
+#
+# - 0100000000000000000000000000000000000000000000000000000000000000
+# - 26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05
+# - 0000000000000000000000000000000000000000000000000000000000000000
+# - c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a
+# - ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f
+# - c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa
+# - 0000000000000000000000000000000000000000000000000000000000000080
+# - 26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85
+#
+# So this should mean 8*8 possibilities for A and R, meaning 64 tests.
+# But that's not enough.  We want to make sure that we accept
+# non-canonical representations as well. And those can happen on a point
+# (x, y) whenever at least one of the following holds:
+#
+# - The y coordinate is between 0 and 18.
+# - The x coordinate is 0.
+#
+# Small y coordinates can have an additional representation (modulo p)
+# that still fit in 255 bits.  Null x coordinates can be negated by the
+# parity bit without affecting its value (0 = -0).  When we do either
+# (or both) of those things, we get a non-canonical representation of
+# the same point.  The low-order points of Curve25519 have 6:
+#
+# - 0100000000000000000000000000000000000000000000000000000000000080
+# - eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f
+# - eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+# - edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f
+# - ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+# - edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+#
+# This means 8 + 6 = 14 possibilities for A and R, and a total of 196
+# combinations, which should all be accepted.
+
+# First though, let's test that the code that checks for malleability
+# doesn't have an off-by-one error and mistakenly accepts an S that is
+# exactly the order of the curve (instead of being zero).
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+0000000000000000000000000000000000000000000000000000000000000000edd3f55c1a631258d69cf7a2def9de1400000000000000000000000000000010:
+ff:
+
+# And now the long awaited 196 Zebra tests:
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000000:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000000:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0000000000000000000000000000000000000000000000000000000000000080:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+0100000000000000000000000000000000000000000000000000000000000080:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00:
+
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff:
+:
+edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000:
+00: