From: Loup Vaillant Date: Thu, 9 Feb 2023 17:13:52 +0000 (+0100) Subject: Add Zebra tests for Ed25519 X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=104a58392651dd4b0ad442ba07180d895d897e9e;p=Monocypher.git 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 89d3de9..42e4b47 100644 --- 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: