From d7e91558f502d57808809414d0affc56a4e564e8 Mon Sep 17 00:00:00 2001 From: 0xaatif Date: Sat, 8 Jun 2024 13:02:48 +0100 Subject: [PATCH] fix: parse test vectors --- ...ype1__witness__witness_test_vectors-5.snap | 1 - ...ype1__witness__witness_test_vectors-6.snap | 13897 ++++++++++++++++ ...ype1__witness__witness_test_vectors-7.snap | 6192 +++++++ trace_decoder/src/type1/witness.rs | 5 + trace_decoder/src/type1/witness2forest.rs | 1 + 5 files changed, 20095 insertions(+), 1 deletion(-) create mode 100644 trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-6.snap create mode 100644 trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-7.snap diff --git a/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-5.snap b/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-5.snap index 517a955b8..0b4207035 100644 --- a/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-5.snap +++ b/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-5.snap @@ -1,6 +1,5 @@ --- source: trace_decoder/src/type1/witness.rs -assertion_line: 250 expression: "witness::.parse(&*vector.bytes).unwrap()" --- Witness { diff --git a/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-6.snap b/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-6.snap new file mode 100644 index 000000000..5fbe192fe --- /dev/null +++ b/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-6.snap @@ -0,0 +1,13897 @@ +--- +source: trace_decoder/src/type1/witness.rs +expression: "witness::.parse(&*vector.bytes).unwrap()" +--- +Witness { + header: V1Header, + instructions: NonEmpty { + inner: [ + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 54, + 1, + 70, + 32, + 147, + 181, + 148, + 93, + 22, + 118, + 223, + 9, + 52, + 70, + 121, + 15, + 211, + 27, + 32, + 231, + 177, + 42, + 46, + 142, + 94, + 9, + 208, + 104, + 16, + 150, + 22, + 176, + ], + }, + nonce: None, + balance: Some( + 10000000000000000000000, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 70, + 130, + 136, + 5, + 99, + 16, + 200, + 42, + 164, + 192, + 26, + 126, + 18, + 161, + 15, + 129, + 17, + 160, + 86, + 14, + 114, + 183, + 0, + 85, + 84, + 121, + 3, + 27, + 134, + 195, + 87, + 208, + ], + }, + nonce: None, + balance: Some( + 1, + ), + has_code: false, + has_storage: false, + }, + Hash { + raw_hash: [ + 89, + 69, + 140, + 1, + 207, + 5, + 223, + 123, + 48, + 11, + 182, + 118, + 143, + 119, + 231, + 116, + 244, + 126, + 145, + 177, + 209, + 221, + 53, + 140, + 152, + 178, + 242, + 17, + 132, + 102, + 243, + 115, + ], + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 183, + 14, + 128, + 83, + 138, + 205, + 171, + 214, + 19, + 115, + 83, + 176, + 249, + 216, + 209, + 73, + 244, + 219, + 169, + 30, + 139, + 226, + 231, + 148, + 110, + 64, + 155, + 253, + 190, + 104, + 91, + 144, + ], + }, + nonce: None, + balance: Some( + 1, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 137, + 128, + 45, + 110, + 209, + 162, + 139, + 4, + 158, + 157, + 79, + 229, + 51, + 76, + 89, + 2, + 253, + 155, + 192, + 12, + 66, + 130, + 28, + 130, + 248, + 46, + 226, + 218, + 16, + 190, + 144, + 128, + ], + }, + nonce: None, + balance: Some( + 1, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 86, + 39, + 74, + 39, + 221, + 117, + 36, + 149, + 84, + 23, + 193, + 30, + 205, + 145, + 114, + 81, + 204, + 124, + 76, + 131, + 16, + 244, + 199, + 228, + 189, + 60, + 48, + 77, + 61, + 154, + 121, + ], + }, + nonce: Some( + 1, + ), + balance: Some( + 9900025381056000000000, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 58, + 176, + 151, + 11, + 115, + 137, + 91, + 140, + 153, + 89, + 186, + 230, + 133, + 195, + 161, + 159, + 69, + 235, + 90, + 216, + 157, + 66, + 181, + 42, + 52, + 14, + 196, + 172, + 32, + 77, + 25, + ], + }, + nonce: None, + balance: Some( + 1, + ), + has_code: false, + has_storage: false, + }, + Branch { + mask: 4128, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 30, + 236, + 43, + 132, + 240, + 186, + 52, + 79, + 212, + 180, + 210, + 240, + 34, + 70, + 159, + 235, + 231, + 167, + 114, + 196, + 120, + 154, + 207, + 193, + 25, + 235, + 85, + 138, + 177, + 218, + 61, + ], + }, + nonce: Some( + 14, + ), + balance: Some( + 99969062718766873456, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 118, + 218, + 81, + 138, + 57, + 61, + 189, + 6, + 125, + 199, + 42, + 191, + 160, + 141, + 71, + 94, + 214, + 68, + 127, + 202, + 150, + 217, + 46, + 195, + 249, + 231, + 235, + 165, + 3, + 202, + 97, + ], + }, + nonce: None, + balance: Some( + 1, + ), + has_code: false, + has_storage: false, + }, + Branch { + mask: 288, + }, + Hash { + raw_hash: [ + 93, + 234, + 223, + 2, + 221, + 131, + 68, + 39, + 82, + 131, + 254, + 227, + 148, + 148, + 92, + 94, + 21, + 120, + 112, + 84, + 224, + 238, + 242, + 31, + 80, + 201, + 96, + 253, + 145, + 50, + 50, + 151, + ], + }, + EmptyRoot, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 244, + 23, + 245, + 15, + 198, + 153, + 235, + 184, + 23, + 226, + 52, + 104, + 225, + 20, + 131, + 111, + 180, + 87, + 139, + 98, + 129, + 206, + 215, + 61, + 248, + 203, + 191, + 239, + 180, + 39, + 36, + 48, + ], + }, + nonce: Some( + 1, + ), + balance: None, + has_code: true, + has_storage: true, + }, + Hash { + raw_hash: [ + 126, + 234, + 58, + 72, + 86, + 62, + 123, + 147, + 136, + 82, + 170, + 252, + 147, + 215, + 96, + 211, + 26, + 132, + 173, + 82, + 10, + 223, + 17, + 40, + 175, + 87, + 108, + 221, + 101, + 238, + 154, + 142, + ], + }, + EmptyRoot, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 85, + 140, + 44, + 26, + 192, + 106, + 210, + 158, + 171, + 91, + 99, + 26, + 42, + 118, + 247, + 153, + 112, + 48, + 245, + 70, + 141, + 235, + 127, + 56, + 78, + 182, + 226, + 118, + 32, + 141, + 4, + 96, + ], + }, + nonce: Some( + 1, + ), + balance: None, + has_code: true, + has_storage: true, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 82, + 104, + 138, + 143, + 146, + 108, + 129, + 108, + 161, + 224, + 121, + 6, + 124, + 171, + 169, + 68, + 241, + 88, + 231, + 100, + 129, + 123, + 131, + 252, + 67, + 89, + 67, + 112, + 202, + 156, + 246, + 32, + ], + }, + nonce: None, + balance: Some( + 1, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 105, + 11, + 35, + 155, + 163, + 170, + 249, + 147, + 228, + 67, + 174, + 20, + 174, + 255, + 196, + 76, + 248, + 217, + 147, + 26, + 121, + 186, + 237, + 159, + 161, + 65, + 208, + 228, + 80, + 110, + 19, + 16, + ], + }, + nonce: None, + balance: Some( + 1, + ), + has_code: false, + has_storage: false, + }, + Code { + raw_code: NonEmpty { + inner: [ + 96, + 128, + 96, + 64, + 82, + 52, + 128, + 21, + 97, + 0, + 16, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 96, + 4, + 54, + 16, + 97, + 4, + 84, + 87, + 96, + 0, + 53, + 96, + 224, + 28, + 128, + 99, + 128, + 148, + 127, + 128, + 17, + 97, + 2, + 65, + 87, + 128, + 99, + 191, + 82, + 156, + 161, + 17, + 97, + 1, + 59, + 87, + 128, + 99, + 221, + 155, + 239, + 96, + 17, + 97, + 0, + 195, + 87, + 128, + 99, + 242, + 121, + 202, + 129, + 17, + 97, + 0, + 135, + 87, + 128, + 99, + 242, + 121, + 202, + 129, + 20, + 97, + 17, + 97, + 87, + 128, + 99, + 244, + 209, + 252, + 97, + 20, + 97, + 17, + 145, + 87, + 128, + 99, + 245, + 143, + 195, + 106, + 20, + 97, + 17, + 193, + 87, + 128, + 99, + 246, + 176, + 187, + 247, + 20, + 97, + 17, + 241, + 87, + 128, + 99, + 253, + 231, + 114, + 28, + 20, + 97, + 18, + 33, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 221, + 155, + 239, + 96, + 20, + 97, + 16, + 113, + 87, + 128, + 99, + 222, + 151, + 163, + 99, + 20, + 97, + 16, + 161, + 87, + 128, + 99, + 233, + 249, + 179, + 242, + 20, + 97, + 16, + 209, + 87, + 128, + 99, + 234, + 81, + 65, + 230, + 20, + 97, + 17, + 1, + 87, + 128, + 99, + 237, + 240, + 3, + 207, + 20, + 97, + 17, + 49, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 206, + 60, + 244, + 239, + 17, + 97, + 1, + 10, + 87, + 128, + 99, + 206, + 60, + 244, + 239, + 20, + 97, + 15, + 129, + 87, + 128, + 99, + 209, + 23, + 50, + 11, + 20, + 97, + 15, + 177, + 87, + 128, + 99, + 213, + 30, + 123, + 91, + 20, + 97, + 15, + 225, + 87, + 128, + 99, + 213, + 63, + 243, + 253, + 20, + 97, + 16, + 17, + 87, + 128, + 99, + 217, + 60, + 213, + 88, + 20, + 97, + 16, + 65, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 191, + 82, + 156, + 161, + 20, + 97, + 14, + 193, + 87, + 128, + 99, + 195, + 96, + 171, + 166, + 20, + 97, + 14, + 241, + 87, + 128, + 99, + 196, + 32, + 235, + 97, + 20, + 97, + 15, + 33, + 87, + 128, + 99, + 196, + 189, + 101, + 213, + 20, + 97, + 15, + 81, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 161, + 134, + 131, + 203, + 17, + 97, + 1, + 201, + 87, + 128, + 99, + 179, + 116, + 1, + 43, + 17, + 97, + 1, + 141, + 87, + 128, + 99, + 179, + 116, + 1, + 43, + 20, + 97, + 13, + 209, + 87, + 128, + 99, + 179, + 216, + 71, + 242, + 20, + 97, + 14, + 1, + 87, + 128, + 99, + 183, + 184, + 98, + 7, + 20, + 97, + 14, + 49, + 87, + 128, + 99, + 184, + 28, + 20, + 132, + 20, + 97, + 14, + 97, + 87, + 128, + 99, + 189, + 200, + 117, + 252, + 20, + 97, + 14, + 145, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 161, + 134, + 131, + 203, + 20, + 97, + 12, + 243, + 87, + 128, + 99, + 162, + 113, + 183, + 33, + 20, + 97, + 13, + 35, + 87, + 128, + 99, + 166, + 10, + 16, + 135, + 20, + 97, + 13, + 65, + 87, + 128, + 99, + 166, + 69, + 201, + 194, + 20, + 97, + 13, + 113, + 87, + 128, + 99, + 172, + 174, + 189, + 246, + 20, + 97, + 13, + 161, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 150, + 46, + 77, + 194, + 17, + 97, + 2, + 16, + 87, + 128, + 99, + 150, + 46, + 77, + 194, + 20, + 97, + 12, + 3, + 87, + 128, + 99, + 152, + 69, + 111, + 62, + 20, + 97, + 12, + 51, + 87, + 128, + 99, + 154, + 43, + 124, + 129, + 20, + 97, + 12, + 99, + 87, + 128, + 99, + 156, + 206, + 124, + 249, + 20, + 97, + 12, + 147, + 87, + 128, + 99, + 160, + 64, + 174, + 198, + 20, + 97, + 12, + 195, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 128, + 148, + 127, + 128, + 20, + 97, + 11, + 67, + 87, + 128, + 99, + 136, + 14, + 255, + 57, + 20, + 97, + 11, + 115, + 87, + 128, + 99, + 145, + 138, + 95, + 205, + 20, + 97, + 11, + 163, + 87, + 128, + 99, + 145, + 231, + 178, + 119, + 20, + 97, + 11, + 211, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 52, + 48, + 236, + 6, + 17, + 97, + 3, + 82, + 87, + 128, + 99, + 96, + 225, + 60, + 222, + 17, + 97, + 2, + 218, + 87, + 128, + 99, + 111, + 9, + 156, + 141, + 17, + 97, + 2, + 158, + 87, + 128, + 99, + 111, + 9, + 156, + 141, + 20, + 97, + 10, + 83, + 87, + 128, + 99, + 113, + 217, + 29, + 40, + 20, + 97, + 10, + 131, + 87, + 128, + 99, + 123, + 110, + 11, + 14, + 20, + 97, + 10, + 179, + 87, + 128, + 99, + 124, + 25, + 29, + 32, + 20, + 97, + 10, + 227, + 87, + 128, + 99, + 125, + 232, + 198, + 248, + 20, + 97, + 11, + 19, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 96, + 225, + 60, + 222, + 20, + 97, + 9, + 117, + 87, + 128, + 99, + 97, + 61, + 10, + 130, + 20, + 97, + 9, + 165, + 87, + 128, + 99, + 99, + 19, + 141, + 79, + 20, + 97, + 9, + 213, + 87, + 128, + 99, + 101, + 155, + 187, + 79, + 20, + 97, + 10, + 5, + 87, + 128, + 99, + 110, + 127, + 31, + 231, + 20, + 97, + 10, + 35, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 64, + 254, + 38, + 98, + 17, + 97, + 3, + 33, + 87, + 128, + 99, + 64, + 254, + 38, + 98, + 20, + 97, + 8, + 133, + 87, + 128, + 99, + 68, + 207, + 59, + 199, + 20, + 97, + 8, + 181, + 87, + 128, + 99, + 74, + 97, + 175, + 31, + 20, + 97, + 8, + 229, + 87, + 128, + 99, + 77, + 44, + 116, + 179, + 20, + 97, + 9, + 21, + 87, + 128, + 99, + 85, + 144, + 194, + 217, + 20, + 97, + 9, + 69, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 52, + 48, + 236, + 6, + 20, + 97, + 7, + 215, + 87, + 128, + 99, + 55, + 19, + 3, + 192, + 20, + 97, + 8, + 7, + 87, + 128, + 99, + 58, + 65, + 31, + 18, + 20, + 97, + 8, + 37, + 87, + 128, + 99, + 58, + 66, + 93, + 252, + 20, + 97, + 8, + 85, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 24, + 9, + 59, + 70, + 17, + 97, + 3, + 224, + 87, + 128, + 99, + 33, + 156, + 221, + 235, + 17, + 97, + 3, + 164, + 87, + 128, + 99, + 33, + 156, + 221, + 235, + 20, + 97, + 6, + 231, + 87, + 128, + 99, + 34, + 148, + 252, + 127, + 20, + 97, + 7, + 23, + 87, + 128, + 99, + 40, + 113, + 239, + 133, + 20, + 97, + 7, + 71, + 87, + 128, + 99, + 43, + 33, + 239, + 68, + 20, + 97, + 7, + 119, + 87, + 128, + 99, + 45, + 52, + 231, + 152, + 20, + 97, + 7, + 167, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 24, + 9, + 59, + 70, + 20, + 97, + 5, + 247, + 87, + 128, + 99, + 25, + 182, + 33, + 214, + 20, + 97, + 6, + 39, + 87, + 128, + 99, + 26, + 186, + 7, + 234, + 20, + 97, + 6, + 87, + 87, + 128, + 99, + 29, + 226, + 243, + 67, + 20, + 97, + 6, + 135, + 87, + 128, + 99, + 32, + 7, + 51, + 46, + 20, + 97, + 6, + 183, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 11, + 168, + 167, + 59, + 17, + 97, + 4, + 39, + 87, + 128, + 99, + 11, + 168, + 167, + 59, + 20, + 97, + 5, + 25, + 87, + 128, + 99, + 18, + 135, + 166, + 140, + 20, + 97, + 5, + 73, + 87, + 128, + 99, + 19, + 93, + 82, + 247, + 20, + 97, + 5, + 103, + 87, + 128, + 99, + 21, + 129, + 207, + 25, + 20, + 97, + 5, + 151, + 87, + 128, + 99, + 22, + 88, + 33, + 80, + 20, + 97, + 5, + 199, + 87, + 97, + 4, + 84, + 86, + 91, + 128, + 99, + 3, + 74, + 239, + 113, + 20, + 97, + 4, + 89, + 87, + 128, + 99, + 5, + 0, + 130, + 248, + 20, + 97, + 4, + 137, + 87, + 128, + 99, + 8, + 123, + 78, + 132, + 20, + 97, + 4, + 185, + 87, + 128, + 99, + 11, + 59, + 153, + 106, + 20, + 97, + 4, + 233, + 87, + 91, + 96, + 0, + 128, + 253, + 91, + 97, + 4, + 115, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 4, + 110, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 18, + 81, + 86, + 91, + 96, + 64, + 81, + 97, + 4, + 128, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 4, + 163, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 4, + 158, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 18, + 140, + 86, + 91, + 96, + 64, + 81, + 97, + 4, + 176, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 4, + 211, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 4, + 206, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 18, + 199, + 86, + 91, + 96, + 64, + 81, + 97, + 4, + 224, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 5, + 3, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 4, + 254, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 19, + 1, + 86, + 91, + 96, + 64, + 81, + 97, + 5, + 16, + 145, + 144, + 97, + 40, + 118, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 5, + 51, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 5, + 46, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 19, + 40, + 86, + 91, + 96, + 64, + 81, + 97, + 5, + 64, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 5, + 81, + 97, + 19, + 100, + 86, + 91, + 96, + 64, + 81, + 97, + 5, + 94, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 5, + 129, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 5, + 124, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 19, + 109, + 86, + 91, + 96, + 64, + 81, + 97, + 5, + 142, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 5, + 177, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 5, + 172, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 19, + 169, + 86, + 91, + 96, + 64, + 81, + 97, + 5, + 190, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 5, + 225, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 5, + 220, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 19, + 228, + 86, + 91, + 96, + 64, + 81, + 97, + 5, + 238, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 6, + 17, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 6, + 12, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 20, + 63, + 86, + 91, + 96, + 64, + 81, + 97, + 6, + 30, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 6, + 65, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 6, + 60, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 20, + 125, + 86, + 91, + 96, + 64, + 81, + 97, + 6, + 78, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 6, + 113, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 6, + 108, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 21, + 12, + 86, + 91, + 96, + 64, + 81, + 97, + 6, + 126, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 6, + 161, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 6, + 156, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 21, + 82, + 86, + 91, + 96, + 64, + 81, + 97, + 6, + 174, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 6, + 209, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 6, + 204, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 21, + 144, + 86, + 91, + 96, + 64, + 81, + 97, + 6, + 222, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 7, + 1, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 6, + 252, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 21, + 204, + 86, + 91, + 96, + 64, + 81, + 97, + 7, + 14, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 7, + 49, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 7, + 44, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 22, + 7, + 86, + 91, + 96, + 64, + 81, + 97, + 7, + 62, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 7, + 97, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 7, + 92, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 22, + 70, + 86, + 91, + 96, + 64, + 81, + 97, + 7, + 110, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 7, + 145, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 7, + 140, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 22, + 129, + 86, + 91, + 96, + 64, + 81, + 97, + 7, + 158, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 7, + 193, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 7, + 188, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 22, + 188, + 86, + 91, + 96, + 64, + 81, + 97, + 7, + 206, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 7, + 241, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 7, + 236, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 22, + 247, + 86, + 91, + 96, + 64, + 81, + 97, + 7, + 254, + 145, + 144, + 97, + 40, + 118, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 8, + 15, + 97, + 23, + 163, + 86, + 91, + 96, + 64, + 81, + 97, + 8, + 28, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 8, + 63, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 8, + 58, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 23, + 194, + 86, + 91, + 96, + 64, + 81, + 97, + 8, + 76, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 8, + 111, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 8, + 106, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 23, + 254, + 86, + 91, + 96, + 64, + 81, + 97, + 8, + 124, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 8, + 159, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 8, + 154, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 24, + 58, + 86, + 91, + 96, + 64, + 81, + 97, + 8, + 172, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 8, + 207, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 8, + 202, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 24, + 121, + 86, + 91, + 96, + 64, + 81, + 97, + 8, + 220, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 8, + 255, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 8, + 250, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 24, + 180, + 86, + 91, + 96, + 64, + 81, + 97, + 9, + 12, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 9, + 47, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 9, + 42, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 24, + 242, + 86, + 91, + 96, + 64, + 81, + 97, + 9, + 60, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 9, + 95, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 9, + 90, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 25, + 45, + 86, + 91, + 96, + 64, + 81, + 97, + 9, + 108, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 9, + 143, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 9, + 138, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 25, + 114, + 86, + 91, + 96, + 64, + 81, + 97, + 9, + 156, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 9, + 191, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 9, + 186, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 25, + 174, + 86, + 91, + 96, + 64, + 81, + 97, + 9, + 204, + 145, + 144, + 97, + 40, + 118, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 9, + 239, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 9, + 234, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 25, + 224, + 86, + 91, + 96, + 64, + 81, + 97, + 9, + 252, + 145, + 144, + 97, + 40, + 177, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 10, + 13, + 97, + 26, + 12, + 86, + 91, + 96, + 64, + 81, + 97, + 10, + 26, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 10, + 61, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 10, + 56, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 26, + 72, + 86, + 91, + 96, + 64, + 81, + 97, + 10, + 74, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 10, + 109, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 10, + 104, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 26, + 134, + 86, + 91, + 96, + 64, + 81, + 97, + 10, + 122, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 10, + 157, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 10, + 152, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 26, + 193, + 86, + 91, + 96, + 64, + 81, + 97, + 10, + 170, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 10, + 205, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 10, + 200, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 26, + 255, + 86, + 91, + 96, + 64, + 81, + 97, + 10, + 218, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 10, + 253, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 10, + 248, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 27, + 59, + 86, + 91, + 96, + 64, + 81, + 97, + 11, + 10, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 11, + 45, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 11, + 40, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 27, + 118, + 86, + 91, + 96, + 64, + 81, + 97, + 11, + 58, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 11, + 93, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 11, + 88, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 27, + 178, + 86, + 91, + 96, + 64, + 81, + 97, + 11, + 106, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 11, + 141, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 11, + 136, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 28, + 15, + 86, + 91, + 96, + 64, + 81, + 97, + 11, + 154, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 11, + 189, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 11, + 184, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 28, + 78, + 86, + 91, + 96, + 64, + 81, + 97, + 11, + 202, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 11, + 237, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 11, + 232, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 28, + 137, + 86, + 91, + 96, + 64, + 81, + 97, + 11, + 250, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 12, + 29, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 12, + 24, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 28, + 213, + 86, + 91, + 96, + 64, + 81, + 97, + 12, + 42, + 145, + 144, + 97, + 40, + 118, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 12, + 77, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 12, + 72, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 29, + 67, + 86, + 91, + 96, + 64, + 81, + 97, + 12, + 90, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 12, + 125, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 12, + 120, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 29, + 131, + 86, + 91, + 96, + 64, + 81, + 97, + 12, + 138, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 12, + 173, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 12, + 168, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 29, + 190, + 86, + 91, + 96, + 64, + 81, + 97, + 12, + 186, + 145, + 144, + 97, + 40, + 118, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 12, + 221, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 12, + 216, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 29, + 239, + 86, + 91, + 96, + 64, + 81, + 97, + 12, + 234, + 145, + 144, + 97, + 40, + 118, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 13, + 13, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 13, + 8, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 30, + 22, + 86, + 91, + 96, + 64, + 81, + 97, + 13, + 26, + 145, + 144, + 97, + 41, + 13, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 13, + 43, + 97, + 30, + 152, + 86, + 91, + 96, + 64, + 81, + 97, + 13, + 56, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 13, + 91, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 13, + 86, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 30, + 227, + 86, + 91, + 96, + 64, + 81, + 97, + 13, + 104, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 13, + 139, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 13, + 134, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 31, + 30, + 86, + 91, + 96, + 64, + 81, + 97, + 13, + 152, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 13, + 187, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 13, + 182, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 31, + 90, + 86, + 91, + 96, + 64, + 81, + 97, + 13, + 200, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 13, + 235, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 13, + 230, + 145, + 144, + 97, + 41, + 136, + 86, + 91, + 97, + 31, + 150, + 86, + 91, + 96, + 64, + 81, + 97, + 13, + 248, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 14, + 27, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 14, + 22, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 31, + 228, + 86, + 91, + 96, + 64, + 81, + 97, + 14, + 40, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 14, + 75, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 14, + 70, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 32, + 31, + 86, + 91, + 96, + 64, + 81, + 97, + 14, + 88, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 14, + 123, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 14, + 118, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 32, + 90, + 86, + 91, + 96, + 64, + 81, + 97, + 14, + 136, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 14, + 171, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 14, + 166, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 32, + 149, + 86, + 91, + 96, + 64, + 81, + 97, + 14, + 184, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 14, + 219, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 14, + 214, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 32, + 208, + 86, + 91, + 96, + 64, + 81, + 97, + 14, + 232, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 15, + 11, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 15, + 6, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 33, + 20, + 86, + 91, + 96, + 64, + 81, + 97, + 15, + 24, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 15, + 59, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 15, + 54, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 33, + 80, + 86, + 91, + 96, + 64, + 81, + 97, + 15, + 72, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 15, + 107, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 15, + 102, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 33, + 139, + 86, + 91, + 96, + 64, + 81, + 97, + 15, + 120, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 15, + 155, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 15, + 150, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 33, + 201, + 86, + 91, + 96, + 64, + 81, + 97, + 15, + 168, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 15, + 203, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 15, + 198, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 34, + 6, + 86, + 91, + 96, + 64, + 81, + 97, + 15, + 216, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 15, + 251, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 15, + 246, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 34, + 64, + 86, + 91, + 96, + 64, + 81, + 97, + 16, + 8, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 16, + 43, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 16, + 38, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 34, + 124, + 86, + 91, + 96, + 64, + 81, + 97, + 16, + 56, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 16, + 91, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 16, + 86, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 34, + 184, + 86, + 91, + 96, + 64, + 81, + 97, + 16, + 104, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 16, + 139, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 16, + 134, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 35, + 19, + 86, + 91, + 96, + 64, + 81, + 97, + 16, + 152, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 16, + 187, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 16, + 182, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 35, + 85, + 86, + 91, + 96, + 64, + 81, + 97, + 16, + 200, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 16, + 235, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 16, + 230, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 35, + 145, + 86, + 91, + 96, + 64, + 81, + 97, + 16, + 248, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 17, + 27, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 17, + 22, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 35, + 206, + 86, + 91, + 96, + 64, + 81, + 97, + 17, + 40, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 17, + 75, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 17, + 70, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 36, + 16, + 86, + 91, + 96, + 64, + 81, + 97, + 17, + 88, + 145, + 144, + 97, + 40, + 118, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 17, + 123, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 17, + 118, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 36, + 127, + 86, + 91, + 96, + 64, + 81, + 97, + 17, + 136, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 17, + 171, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 17, + 166, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 36, + 187, + 86, + 91, + 96, + 64, + 81, + 97, + 17, + 184, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 17, + 219, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 17, + 214, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 36, + 249, + 86, + 91, + 96, + 64, + 81, + 97, + 17, + 232, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 18, + 11, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 18, + 6, + 145, + 144, + 97, + 39, + 174, + 86, + 91, + 97, + 37, + 56, + 86, + 91, + 96, + 64, + 81, + 97, + 18, + 24, + 145, + 144, + 97, + 42, + 16, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 18, + 59, + 96, + 4, + 128, + 54, + 3, + 129, + 1, + 144, + 97, + 18, + 54, + 145, + 144, + 97, + 38, + 17, + 86, + 91, + 97, + 37, + 106, + 86, + 91, + 96, + 64, + 81, + 97, + 18, + 72, + 145, + 144, + 97, + 38, + 77, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 96, + 0, + 97, + 18, + 91, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 54, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 18, + 129, + 87, + 54, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 18, + 107, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 18, + 150, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 50, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 18, + 188, + 87, + 50, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 18, + 166, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 18, + 209, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 82, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 18, + 247, + 87, + 129, + 96, + 0, + 82, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 18, + 224, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 96, + 96, + 0, + 96, + 8, + 144, + 80, + 96, + 64, + 130, + 132, + 81, + 96, + 32, + 134, + 1, + 96, + 0, + 133, + 90, + 241, + 128, + 97, + 19, + 33, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 19, + 50, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 1, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 19, + 90, + 87, + 96, + 0, + 130, + 1, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 19, + 65, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 128, + 84, + 144, + 80, + 144, + 86, + 91, + 96, + 0, + 97, + 19, + 119, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 23, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 19, + 159, + 87, + 96, + 0, + 130, + 23, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 19, + 134, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 19, + 179, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 52, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 19, + 217, + 87, + 52, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 19, + 195, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 19, + 238, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 6, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 20, + 53, + 87, + 127, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 130, + 6, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 19, + 253, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 20, + 73, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 19, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 20, + 114, + 87, + 96, + 1, + 131, + 19, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 20, + 89, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 20, + 135, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 32, + 144, + 80, + 127, + 255, + 255, + 255, + 255, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 96, + 0, + 82, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 20, + 213, + 87, + 96, + 4, + 96, + 0, + 32, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 20, + 187, + 86, + 91, + 80, + 127, + 41, + 4, + 90, + 89, + 32, + 7, + 208, + 194, + 70, + 239, + 2, + 194, + 34, + 53, + 112, + 218, + 149, + 34, + 208, + 207, + 15, + 115, + 40, + 44, + 121, + 161, + 188, + 143, + 11, + 178, + 194, + 56, + 129, + 20, + 97, + 21, + 2, + 87, + 96, + 0, + 145, + 80, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 21, + 22, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 164, + 144, + 80, + 128, + 96, + 16, + 82, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 21, + 72, + 87, + 96, + 4, + 96, + 3, + 96, + 2, + 131, + 96, + 6, + 96, + 16, + 164, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 21, + 41, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 21, + 92, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 26, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 21, + 133, + 87, + 130, + 96, + 0, + 26, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 21, + 108, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 21, + 154, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 27, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 21, + 194, + 87, + 129, + 96, + 0, + 27, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 21, + 169, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 21, + 214, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 66, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 21, + 252, + 87, + 66, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 21, + 230, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 22, + 17, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 49, + 144, + 80, + 96, + 0, + 48, + 96, + 0, + 91, + 133, + 129, + 16, + 21, + 97, + 22, + 58, + 87, + 129, + 49, + 146, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 22, + 35, + 86, + 91, + 80, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 22, + 80, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 72, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 22, + 118, + 87, + 72, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 22, + 96, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 22, + 139, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 61, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 22, + 177, + 87, + 61, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 22, + 155, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 22, + 198, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 67, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 22, + 236, + 87, + 67, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 22, + 214, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 2, + 129, + 129, + 84, + 129, + 16, + 97, + 23, + 7, + 87, + 96, + 0, + 128, + 253, + 91, + 144, + 96, + 0, + 82, + 96, + 32, + 96, + 0, + 32, + 1, + 96, + 0, + 145, + 80, + 144, + 80, + 128, + 84, + 97, + 23, + 34, + 144, + 97, + 42, + 90, + 86, + 91, + 128, + 96, + 31, + 1, + 96, + 32, + 128, + 145, + 4, + 2, + 96, + 32, + 1, + 96, + 64, + 81, + 144, + 129, + 1, + 96, + 64, + 82, + 128, + 146, + 145, + 144, + 129, + 129, + 82, + 96, + 32, + 1, + 130, + 128, + 84, + 97, + 23, + 78, + 144, + 97, + 42, + 90, + 86, + 91, + 128, + 21, + 97, + 23, + 155, + 87, + 128, + 96, + 31, + 16, + 97, + 23, + 112, + 87, + 97, + 1, + 0, + 128, + 131, + 84, + 4, + 2, + 131, + 82, + 145, + 96, + 32, + 1, + 145, + 97, + 23, + 155, + 86, + 91, + 130, + 1, + 145, + 144, + 96, + 0, + 82, + 96, + 32, + 96, + 0, + 32, + 144, + 91, + 129, + 84, + 129, + 82, + 144, + 96, + 1, + 1, + 144, + 96, + 32, + 1, + 128, + 131, + 17, + 97, + 23, + 126, + 87, + 130, + 144, + 3, + 96, + 31, + 22, + 130, + 1, + 145, + 91, + 80, + 80, + 80, + 80, + 80, + 129, + 86, + 91, + 96, + 0, + 96, + 1, + 96, + 0, + 84, + 97, + 23, + 180, + 145, + 144, + 97, + 42, + 186, + 86, + 91, + 96, + 0, + 129, + 144, + 85, + 80, + 96, + 0, + 84, + 144, + 80, + 144, + 86, + 91, + 96, + 0, + 97, + 23, + 204, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 4, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 23, + 244, + 87, + 96, + 1, + 130, + 4, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 23, + 219, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 24, + 8, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 55, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 24, + 48, + 87, + 96, + 32, + 96, + 0, + 128, + 55, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 24, + 23, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 24, + 68, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 160, + 144, + 80, + 128, + 96, + 16, + 82, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 24, + 111, + 87, + 96, + 6, + 96, + 16, + 160, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 24, + 87, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 24, + 131, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 51, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 24, + 169, + 87, + 51, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 24, + 147, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 24, + 190, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 83, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 24, + 232, + 87, + 99, + 222, + 173, + 190, + 239, + 96, + 0, + 82, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 24, + 205, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 24, + 252, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 58, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 25, + 34, + 87, + 58, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 25, + 12, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 25, + 55, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 81, + 144, + 80, + 96, + 0, + 129, + 96, + 0, + 82, + 96, + 0, + 91, + 132, + 129, + 16, + 21, + 97, + 25, + 100, + 87, + 96, + 0, + 81, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 25, + 76, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 25, + 124, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 29, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 25, + 164, + 87, + 129, + 96, + 0, + 29, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 25, + 139, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 96, + 96, + 0, + 96, + 5, + 144, + 80, + 96, + 32, + 131, + 1, + 131, + 81, + 96, + 64, + 81, + 96, + 32, + 129, + 131, + 133, + 96, + 0, + 136, + 90, + 241, + 128, + 97, + 25, + 211, + 87, + 96, + 0, + 128, + 253, + 91, + 129, + 149, + 80, + 80, + 80, + 80, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 128, + 96, + 2, + 144, + 80, + 96, + 32, + 131, + 1, + 131, + 81, + 131, + 96, + 32, + 129, + 131, + 133, + 96, + 0, + 136, + 90, + 241, + 128, + 97, + 26, + 2, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 80, + 80, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 26, + 22, + 97, + 23, + 163, + 86, + 91, + 80, + 91, + 97, + 3, + 232, + 90, + 17, + 21, + 97, + 26, + 64, + 87, + 96, + 1, + 128, + 96, + 0, + 130, + 130, + 84, + 97, + 26, + 52, + 145, + 144, + 97, + 42, + 186, + 86, + 91, + 146, + 80, + 80, + 129, + 144, + 85, + 80, + 97, + 26, + 24, + 86, + 91, + 96, + 1, + 84, + 144, + 80, + 144, + 86, + 91, + 96, + 0, + 97, + 26, + 82, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 16, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 26, + 123, + 87, + 130, + 96, + 1, + 16, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 26, + 98, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 26, + 144, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 68, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 26, + 182, + 87, + 68, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 26, + 160, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 26, + 203, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 17, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 26, + 244, + 87, + 96, + 1, + 131, + 17, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 26, + 219, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 27, + 9, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 62, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 27, + 49, + 87, + 96, + 32, + 96, + 0, + 128, + 62, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 27, + 24, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 27, + 69, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 69, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 27, + 107, + 87, + 69, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 27, + 85, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 27, + 128, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 2, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 27, + 168, + 87, + 96, + 1, + 130, + 2, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 27, + 143, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 27, + 188, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 8, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 28, + 5, + 87, + 127, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 96, + 0, + 131, + 8, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 27, + 203, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 28, + 25, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 84, + 144, + 80, + 128, + 96, + 0, + 85, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 28, + 68, + 87, + 96, + 0, + 84, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 28, + 44, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 28, + 88, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 90, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 28, + 126, + 87, + 90, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 28, + 104, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 28, + 147, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 25, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 28, + 185, + 87, + 129, + 25, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 28, + 162, + 86, + 91, + 80, + 101, + 222, + 173, + 190, + 239, + 0, + 25, + 129, + 20, + 97, + 28, + 204, + 87, + 128, + 25, + 144, + 80, + 91, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 96, + 128, + 130, + 81, + 20, + 97, + 29, + 26, + 87, + 96, + 64, + 81, + 127, + 8, + 195, + 121, + 160, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 129, + 82, + 96, + 4, + 1, + 97, + 29, + 17, + 144, + 97, + 43, + 75, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 253, + 91, + 96, + 0, + 96, + 7, + 144, + 80, + 96, + 32, + 131, + 1, + 131, + 81, + 96, + 64, + 132, + 130, + 132, + 96, + 0, + 135, + 90, + 241, + 128, + 97, + 29, + 58, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 80, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 29, + 77, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 161, + 144, + 80, + 128, + 96, + 16, + 82, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 29, + 121, + 87, + 128, + 96, + 6, + 96, + 16, + 161, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 29, + 96, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 29, + 141, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 22, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 29, + 180, + 87, + 129, + 130, + 22, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 29, + 156, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 96, + 96, + 0, + 96, + 4, + 144, + 80, + 96, + 32, + 131, + 1, + 131, + 81, + 96, + 64, + 81, + 129, + 129, + 131, + 133, + 96, + 0, + 136, + 90, + 241, + 128, + 97, + 29, + 226, + 87, + 96, + 0, + 128, + 253, + 91, + 129, + 149, + 80, + 80, + 80, + 80, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 96, + 96, + 0, + 96, + 8, + 144, + 80, + 96, + 64, + 130, + 132, + 81, + 96, + 32, + 134, + 1, + 96, + 0, + 133, + 90, + 241, + 128, + 97, + 30, + 15, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 96, + 128, + 130, + 81, + 20, + 97, + 30, + 92, + 87, + 96, + 64, + 81, + 127, + 8, + 195, + 121, + 160, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 129, + 82, + 96, + 4, + 1, + 97, + 30, + 83, + 144, + 97, + 43, + 183, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 253, + 91, + 96, + 0, + 96, + 1, + 144, + 80, + 96, + 32, + 131, + 1, + 96, + 32, + 129, + 1, + 81, + 96, + 31, + 26, + 96, + 32, + 130, + 1, + 82, + 96, + 32, + 96, + 64, + 81, + 96, + 128, + 131, + 96, + 0, + 134, + 90, + 241, + 128, + 97, + 30, + 138, + 87, + 96, + 0, + 128, + 253, + 91, + 96, + 64, + 81, + 81, + 147, + 80, + 80, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 30, + 162, + 97, + 23, + 163, + 86, + 91, + 80, + 91, + 97, + 3, + 232, + 90, + 17, + 21, + 97, + 30, + 219, + 87, + 96, + 1, + 128, + 96, + 0, + 130, + 130, + 84, + 97, + 30, + 192, + 145, + 144, + 97, + 42, + 186, + 86, + 91, + 146, + 80, + 80, + 129, + 144, + 85, + 80, + 67, + 96, + 1, + 84, + 97, + 30, + 213, + 145, + 144, + 97, + 44, + 6, + 86, + 91, + 80, + 97, + 30, + 164, + 86, + 91, + 96, + 1, + 84, + 144, + 80, + 144, + 86, + 91, + 96, + 0, + 97, + 30, + 237, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 70, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 31, + 19, + 87, + 70, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 30, + 253, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 31, + 40, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 5, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 31, + 80, + 87, + 96, + 1, + 130, + 5, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 31, + 55, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 31, + 100, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 57, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 31, + 140, + 87, + 96, + 32, + 96, + 0, + 128, + 57, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 31, + 115, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 96, + 2, + 131, + 131, + 144, + 145, + 128, + 96, + 1, + 129, + 84, + 1, + 128, + 130, + 85, + 128, + 145, + 80, + 80, + 96, + 1, + 144, + 3, + 144, + 96, + 0, + 82, + 96, + 32, + 96, + 0, + 32, + 1, + 96, + 0, + 144, + 145, + 146, + 144, + 145, + 146, + 144, + 145, + 146, + 144, + 145, + 146, + 80, + 145, + 130, + 97, + 31, + 213, + 146, + 145, + 144, + 97, + 45, + 238, + 86, + 91, + 80, + 96, + 2, + 128, + 84, + 144, + 80, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 97, + 31, + 238, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 89, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 32, + 20, + 87, + 89, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 31, + 254, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 32, + 41, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 56, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 32, + 79, + 87, + 56, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 32, + 57, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 32, + 100, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 65, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 32, + 138, + 87, + 65, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 32, + 116, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 32, + 159, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 48, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 32, + 197, + 87, + 48, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 32, + 175, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 32, + 218, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 163, + 144, + 80, + 128, + 96, + 16, + 82, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 33, + 10, + 87, + 96, + 3, + 96, + 2, + 130, + 96, + 6, + 96, + 16, + 163, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 32, + 237, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 33, + 30, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 11, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 33, + 70, + 87, + 129, + 96, + 32, + 11, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 33, + 45, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 33, + 90, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 71, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 33, + 128, + 87, + 71, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 33, + 106, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 33, + 149, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 28, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 33, + 190, + 87, + 130, + 96, + 0, + 28, + 146, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 33, + 165, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 33, + 211, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 53, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 33, + 251, + 87, + 96, + 0, + 53, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 33, + 227, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 34, + 16, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 85, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 34, + 54, + 87, + 129, + 96, + 0, + 85, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 34, + 31, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 34, + 74, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 24, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 34, + 114, + 87, + 96, + 0, + 130, + 24, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 34, + 89, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 34, + 134, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 3, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 34, + 174, + 87, + 96, + 0, + 130, + 3, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 34, + 149, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 34, + 194, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 7, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 35, + 9, + 87, + 127, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 130, + 7, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 34, + 209, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 35, + 29, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 162, + 144, + 80, + 128, + 96, + 16, + 82, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 35, + 75, + 87, + 96, + 2, + 129, + 96, + 6, + 96, + 16, + 162, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 35, + 48, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 35, + 95, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 10, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 35, + 135, + 87, + 96, + 1, + 130, + 10, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 35, + 110, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 35, + 155, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 20, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 35, + 195, + 87, + 130, + 131, + 20, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 35, + 171, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 35, + 216, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 64, + 144, + 80, + 96, + 0, + 96, + 1, + 67, + 3, + 96, + 0, + 91, + 133, + 129, + 16, + 21, + 97, + 36, + 4, + 87, + 129, + 64, + 146, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 35, + 237, + 86, + 91, + 80, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 96, + 96, + 128, + 130, + 81, + 20, + 97, + 36, + 86, + 87, + 96, + 64, + 81, + 127, + 8, + 195, + 121, + 160, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 129, + 82, + 96, + 4, + 1, + 97, + 36, + 77, + 144, + 97, + 43, + 75, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 253, + 91, + 96, + 0, + 96, + 6, + 144, + 80, + 96, + 32, + 131, + 1, + 131, + 81, + 96, + 64, + 132, + 130, + 132, + 96, + 0, + 135, + 90, + 241, + 128, + 97, + 36, + 118, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 80, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 36, + 137, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 21, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 36, + 176, + 87, + 130, + 21, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 36, + 153, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 36, + 197, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 18, + 144, + 80, + 96, + 0, + 128, + 91, + 132, + 129, + 16, + 21, + 97, + 36, + 238, + 87, + 130, + 96, + 1, + 18, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 36, + 213, + 86, + 91, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 37, + 3, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 59, + 144, + 80, + 96, + 0, + 48, + 96, + 0, + 91, + 133, + 129, + 16, + 21, + 97, + 37, + 44, + 87, + 129, + 59, + 146, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 37, + 21, + 86, + 91, + 80, + 80, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 128, + 96, + 3, + 144, + 80, + 96, + 32, + 131, + 1, + 131, + 81, + 96, + 64, + 81, + 96, + 20, + 129, + 131, + 133, + 96, + 0, + 136, + 90, + 241, + 128, + 97, + 37, + 92, + 87, + 96, + 0, + 128, + 253, + 91, + 129, + 81, + 149, + 80, + 80, + 80, + 80, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 37, + 116, + 97, + 23, + 163, + 86, + 91, + 80, + 96, + 0, + 101, + 222, + 173, + 190, + 239, + 0, + 9, + 144, + 80, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 37, + 189, + 87, + 127, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 96, + 1, + 131, + 9, + 145, + 80, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 37, + 131, + 86, + 91, + 80, + 128, + 145, + 80, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 96, + 64, + 81, + 144, + 80, + 144, + 86, + 91, + 96, + 0, + 128, + 253, + 91, + 96, + 0, + 128, + 253, + 91, + 96, + 0, + 129, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 97, + 37, + 238, + 129, + 97, + 37, + 219, + 86, + 91, + 129, + 20, + 97, + 37, + 249, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 86, + 91, + 96, + 0, + 129, + 53, + 144, + 80, + 97, + 38, + 11, + 129, + 97, + 37, + 229, + 86, + 91, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 132, + 3, + 18, + 21, + 97, + 38, + 39, + 87, + 97, + 38, + 38, + 97, + 37, + 209, + 86, + 91, + 91, + 96, + 0, + 97, + 38, + 53, + 132, + 130, + 133, + 1, + 97, + 37, + 252, + 86, + 91, + 145, + 80, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 97, + 38, + 71, + 129, + 97, + 37, + 219, + 86, + 91, + 130, + 82, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 1, + 144, + 80, + 97, + 38, + 98, + 96, + 0, + 131, + 1, + 132, + 97, + 38, + 62, + 86, + 91, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 128, + 253, + 91, + 96, + 0, + 128, + 253, + 91, + 96, + 0, + 96, + 31, + 25, + 96, + 31, + 131, + 1, + 22, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 127, + 78, + 72, + 123, + 113, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 96, + 0, + 82, + 96, + 65, + 96, + 4, + 82, + 96, + 36, + 96, + 0, + 253, + 91, + 97, + 38, + 187, + 130, + 97, + 38, + 114, + 86, + 91, + 129, + 1, + 129, + 129, + 16, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 130, + 17, + 23, + 21, + 97, + 38, + 218, + 87, + 97, + 38, + 217, + 97, + 38, + 131, + 86, + 91, + 91, + 128, + 96, + 64, + 82, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 97, + 38, + 237, + 97, + 37, + 199, + 86, + 91, + 144, + 80, + 97, + 38, + 249, + 130, + 130, + 97, + 38, + 178, + 86, + 91, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 130, + 17, + 21, + 97, + 39, + 25, + 87, + 97, + 39, + 24, + 97, + 38, + 131, + 86, + 91, + 91, + 97, + 39, + 34, + 130, + 97, + 38, + 114, + 86, + 91, + 144, + 80, + 96, + 32, + 129, + 1, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 130, + 129, + 131, + 55, + 96, + 0, + 131, + 131, + 1, + 82, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 97, + 39, + 81, + 97, + 39, + 76, + 132, + 97, + 38, + 254, + 86, + 91, + 97, + 38, + 227, + 86, + 91, + 144, + 80, + 130, + 129, + 82, + 96, + 32, + 129, + 1, + 132, + 132, + 132, + 1, + 17, + 21, + 97, + 39, + 109, + 87, + 97, + 39, + 108, + 97, + 38, + 109, + 86, + 91, + 91, + 97, + 39, + 120, + 132, + 130, + 133, + 97, + 39, + 47, + 86, + 91, + 80, + 147, + 146, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 130, + 96, + 31, + 131, + 1, + 18, + 97, + 39, + 149, + 87, + 97, + 39, + 148, + 97, + 38, + 104, + 86, + 91, + 91, + 129, + 53, + 97, + 39, + 165, + 132, + 130, + 96, + 32, + 134, + 1, + 97, + 39, + 62, + 86, + 91, + 145, + 80, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 132, + 3, + 18, + 21, + 97, + 39, + 196, + 87, + 97, + 39, + 195, + 97, + 37, + 209, + 86, + 91, + 91, + 96, + 0, + 130, + 1, + 53, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 17, + 21, + 97, + 39, + 226, + 87, + 97, + 39, + 225, + 97, + 37, + 214, + 86, + 91, + 91, + 97, + 39, + 238, + 132, + 130, + 133, + 1, + 97, + 39, + 128, + 86, + 91, + 145, + 80, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 129, + 81, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 130, + 130, + 82, + 96, + 32, + 130, + 1, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 40, + 49, + 87, + 128, + 130, + 1, + 81, + 129, + 132, + 1, + 82, + 96, + 32, + 129, + 1, + 144, + 80, + 97, + 40, + 22, + 86, + 91, + 96, + 0, + 132, + 132, + 1, + 82, + 80, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 97, + 40, + 72, + 130, + 97, + 39, + 247, + 86, + 91, + 97, + 40, + 82, + 129, + 133, + 97, + 40, + 2, + 86, + 91, + 147, + 80, + 97, + 40, + 98, + 129, + 133, + 96, + 32, + 134, + 1, + 97, + 40, + 19, + 86, + 91, + 97, + 40, + 107, + 129, + 97, + 38, + 114, + 86, + 91, + 132, + 1, + 145, + 80, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 1, + 144, + 80, + 129, + 129, + 3, + 96, + 0, + 131, + 1, + 82, + 97, + 40, + 144, + 129, + 132, + 97, + 40, + 61, + 86, + 91, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 129, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 97, + 40, + 171, + 129, + 97, + 40, + 152, + 86, + 91, + 130, + 82, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 1, + 144, + 80, + 97, + 40, + 198, + 96, + 0, + 131, + 1, + 132, + 97, + 40, + 162, + 86, + 91, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 115, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 130, + 22, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 40, + 247, + 130, + 97, + 40, + 204, + 86, + 91, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 97, + 41, + 7, + 129, + 97, + 40, + 236, + 86, + 91, + 130, + 82, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 1, + 144, + 80, + 97, + 41, + 34, + 96, + 0, + 131, + 1, + 132, + 97, + 40, + 254, + 86, + 91, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 128, + 253, + 91, + 96, + 0, + 128, + 253, + 91, + 96, + 0, + 128, + 131, + 96, + 31, + 132, + 1, + 18, + 97, + 41, + 72, + 87, + 97, + 41, + 71, + 97, + 38, + 104, + 86, + 91, + 91, + 130, + 53, + 144, + 80, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 17, + 21, + 97, + 41, + 101, + 87, + 97, + 41, + 100, + 97, + 41, + 40, + 86, + 91, + 91, + 96, + 32, + 131, + 1, + 145, + 80, + 131, + 96, + 1, + 130, + 2, + 131, + 1, + 17, + 21, + 97, + 41, + 129, + 87, + 97, + 41, + 128, + 97, + 41, + 45, + 86, + 91, + 91, + 146, + 80, + 146, + 144, + 80, + 86, + 91, + 96, + 0, + 128, + 96, + 32, + 131, + 133, + 3, + 18, + 21, + 97, + 41, + 159, + 87, + 97, + 41, + 158, + 97, + 37, + 209, + 86, + 91, + 91, + 96, + 0, + 131, + 1, + 53, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 17, + 21, + 97, + 41, + 189, + 87, + 97, + 41, + 188, + 97, + 37, + 214, + 86, + 91, + 91, + 97, + 41, + 201, + 133, + 130, + 134, + 1, + 97, + 41, + 50, + 86, + 91, + 146, + 80, + 146, + 80, + 80, + 146, + 80, + 146, + 144, + 80, + 86, + 91, + 96, + 0, + 127, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 130, + 22, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 97, + 42, + 10, + 129, + 97, + 41, + 213, + 86, + 91, + 130, + 82, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 1, + 144, + 80, + 97, + 42, + 37, + 96, + 0, + 131, + 1, + 132, + 97, + 42, + 1, + 86, + 91, + 146, + 145, + 80, + 80, + 86, + 91, + 127, + 78, + 72, + 123, + 113, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 96, + 0, + 82, + 96, + 34, + 96, + 4, + 82, + 96, + 36, + 96, + 0, + 253, + 91, + 96, + 0, + 96, + 2, + 130, + 4, + 144, + 80, + 96, + 1, + 130, + 22, + 128, + 97, + 42, + 114, + 87, + 96, + 127, + 130, + 22, + 145, + 80, + 91, + 96, + 32, + 130, + 16, + 129, + 3, + 97, + 42, + 133, + 87, + 97, + 42, + 132, + 97, + 42, + 43, + 86, + 91, + 91, + 80, + 145, + 144, + 80, + 86, + 91, + 127, + 78, + 72, + 123, + 113, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 96, + 0, + 82, + 96, + 17, + 96, + 4, + 82, + 96, + 36, + 96, + 0, + 253, + 91, + 96, + 0, + 97, + 42, + 197, + 130, + 97, + 37, + 219, + 86, + 91, + 145, + 80, + 97, + 42, + 208, + 131, + 97, + 37, + 219, + 86, + 91, + 146, + 80, + 130, + 130, + 1, + 144, + 80, + 128, + 130, + 17, + 21, + 97, + 42, + 232, + 87, + 97, + 42, + 231, + 97, + 42, + 139, + 86, + 91, + 91, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 130, + 130, + 82, + 96, + 32, + 130, + 1, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 127, + 73, + 110, + 118, + 97, + 108, + 105, + 100, + 32, + 105, + 110, + 112, + 117, + 116, + 32, + 108, + 101, + 110, + 103, + 116, + 104, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 96, + 0, + 130, + 1, + 82, + 80, + 86, + 91, + 96, + 0, + 97, + 43, + 53, + 96, + 20, + 131, + 97, + 42, + 238, + 86, + 91, + 145, + 80, + 97, + 43, + 64, + 130, + 97, + 42, + 255, + 86, + 91, + 96, + 32, + 130, + 1, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 1, + 144, + 80, + 129, + 129, + 3, + 96, + 0, + 131, + 1, + 82, + 97, + 43, + 100, + 129, + 97, + 43, + 40, + 86, + 91, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 127, + 73, + 110, + 118, + 97, + 108, + 105, + 100, + 32, + 105, + 110, + 112, + 117, + 116, + 32, + 100, + 97, + 116, + 97, + 32, + 108, + 101, + 110, + 103, + 116, + 104, + 46, + 0, + 0, + 0, + 0, + 0, + 0, + 96, + 0, + 130, + 1, + 82, + 80, + 86, + 91, + 96, + 0, + 97, + 43, + 161, + 96, + 26, + 131, + 97, + 42, + 238, + 86, + 91, + 145, + 80, + 97, + 43, + 172, + 130, + 97, + 43, + 107, + 86, + 91, + 96, + 32, + 130, + 1, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 1, + 144, + 80, + 129, + 129, + 3, + 96, + 0, + 131, + 1, + 82, + 97, + 43, + 208, + 129, + 97, + 43, + 148, + 86, + 91, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 127, + 78, + 72, + 123, + 113, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 96, + 0, + 82, + 96, + 18, + 96, + 4, + 82, + 96, + 36, + 96, + 0, + 253, + 91, + 96, + 0, + 97, + 44, + 17, + 130, + 97, + 37, + 219, + 86, + 91, + 145, + 80, + 97, + 44, + 28, + 131, + 97, + 37, + 219, + 86, + 91, + 146, + 80, + 130, + 97, + 44, + 44, + 87, + 97, + 44, + 43, + 97, + 43, + 215, + 86, + 91, + 91, + 130, + 130, + 6, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 130, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 129, + 144, + 80, + 129, + 96, + 0, + 82, + 96, + 32, + 96, + 0, + 32, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 96, + 31, + 131, + 1, + 4, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 130, + 130, + 27, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 8, + 131, + 2, + 97, + 44, + 164, + 127, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 130, + 97, + 44, + 103, + 86, + 91, + 97, + 44, + 174, + 134, + 131, + 97, + 44, + 103, + 86, + 91, + 149, + 80, + 128, + 25, + 132, + 22, + 147, + 80, + 128, + 134, + 22, + 132, + 23, + 146, + 80, + 80, + 80, + 147, + 146, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 129, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 97, + 44, + 235, + 97, + 44, + 230, + 97, + 44, + 225, + 132, + 97, + 37, + 219, + 86, + 91, + 97, + 44, + 198, + 86, + 91, + 97, + 37, + 219, + 86, + 91, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 96, + 0, + 129, + 144, + 80, + 145, + 144, + 80, + 86, + 91, + 97, + 45, + 5, + 131, + 97, + 44, + 208, + 86, + 91, + 97, + 45, + 25, + 97, + 45, + 17, + 130, + 97, + 44, + 242, + 86, + 91, + 132, + 132, + 84, + 97, + 44, + 116, + 86, + 91, + 130, + 85, + 80, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 144, + 86, + 91, + 97, + 45, + 46, + 97, + 45, + 33, + 86, + 91, + 97, + 45, + 57, + 129, + 132, + 132, + 97, + 44, + 252, + 86, + 91, + 80, + 80, + 80, + 86, + 91, + 91, + 129, + 129, + 16, + 21, + 97, + 45, + 93, + 87, + 97, + 45, + 82, + 96, + 0, + 130, + 97, + 45, + 38, + 86, + 91, + 96, + 1, + 129, + 1, + 144, + 80, + 97, + 45, + 63, + 86, + 91, + 80, + 80, + 86, + 91, + 96, + 31, + 130, + 17, + 21, + 97, + 45, + 162, + 87, + 97, + 45, + 115, + 129, + 97, + 44, + 66, + 86, + 91, + 97, + 45, + 124, + 132, + 97, + 44, + 87, + 86, + 91, + 129, + 1, + 96, + 32, + 133, + 16, + 21, + 97, + 45, + 139, + 87, + 129, + 144, + 80, + 91, + 97, + 45, + 159, + 97, + 45, + 151, + 133, + 97, + 44, + 87, + 86, + 91, + 131, + 1, + 130, + 97, + 45, + 62, + 86, + 91, + 80, + 80, + 91, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 130, + 130, + 28, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 97, + 45, + 197, + 96, + 0, + 25, + 132, + 96, + 8, + 2, + 97, + 45, + 167, + 86, + 91, + 25, + 128, + 131, + 22, + 145, + 80, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 96, + 0, + 97, + 45, + 222, + 131, + 131, + 97, + 45, + 180, + 86, + 91, + 145, + 80, + 130, + 96, + 2, + 2, + 130, + 23, + 144, + 80, + 146, + 145, + 80, + 80, + 86, + 91, + 97, + 45, + 248, + 131, + 131, + 97, + 44, + 55, + 86, + 91, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 17, + 21, + 97, + 46, + 17, + 87, + 97, + 46, + 16, + 97, + 38, + 131, + 86, + 91, + 91, + 97, + 46, + 27, + 130, + 84, + 97, + 42, + 90, + 86, + 91, + 97, + 46, + 38, + 130, + 130, + 133, + 97, + 45, + 97, + 86, + 91, + 96, + 0, + 96, + 31, + 131, + 17, + 96, + 1, + 129, + 20, + 97, + 46, + 85, + 87, + 96, + 0, + 132, + 21, + 97, + 46, + 67, + 87, + 130, + 135, + 1, + 53, + 144, + 80, + 91, + 97, + 46, + 77, + 133, + 130, + 97, + 45, + 210, + 86, + 91, + 134, + 85, + 80, + 97, + 46, + 181, + 86, + 91, + 96, + 31, + 25, + 132, + 22, + 97, + 46, + 99, + 134, + 97, + 44, + 66, + 86, + 91, + 96, + 0, + 91, + 130, + 129, + 16, + 21, + 97, + 46, + 139, + 87, + 132, + 137, + 1, + 53, + 130, + 85, + 96, + 1, + 130, + 1, + 145, + 80, + 96, + 32, + 133, + 1, + 148, + 80, + 96, + 32, + 129, + 1, + 144, + 80, + 97, + 46, + 102, + 86, + 91, + 134, + 131, + 16, + 21, + 97, + 46, + 168, + 87, + 132, + 137, + 1, + 53, + 97, + 46, + 164, + 96, + 31, + 137, + 22, + 130, + 97, + 45, + 180, + 86, + 91, + 131, + 85, + 80, + 91, + 96, + 1, + 96, + 2, + 136, + 2, + 1, + 136, + 85, + 80, + 80, + 80, + 91, + 80, + 80, + 80, + 80, + 80, + 80, + 80, + 86, + 254, + 162, + 100, + 105, + 112, + 102, + 115, + 88, + 34, + 18, + 32, + 49, + 36, + 33, + 52, + 136, + 194, + 241, + 252, + 165, + 150, + 135, + 135, + 240, + 195, + 233, + 111, + 186, + 132, + 105, + 18, + 154, + 128, + 121, + 142, + 17, + 238, + 117, + 41, + 3, + 180, + 191, + 220, + 100, + 115, + 111, + 108, + 99, + 67, + 0, + 8, + 19, + 0, + 51, + ], + }, + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 82, + 19, + 11, + 245, + 97, + 162, + 173, + 148, + 104, + 203, + 41, + 25, + 213, + 255, + 44, + 218, + 92, + 80, + 131, + 56, + 170, + 165, + 161, + 46, + 224, + 110, + 67, + 172, + 241, + 250, + 51, + ], + }, + value: NonEmpty { + inner: [ + 186, + 170, + 170, + 173, + 186, + 173, + 240, + 13, + 186, + 210, + 34, + 34, + 186, + 221, + 202, + 254, + 202, + 254, + 176, + 186, + 176, + 186, + 186, + 190, + 190, + 239, + 186, + 190, + 192, + 0, + 16, + 255, + ], + }, + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 11, + 151, + 107, + 233, + 56, + 77, + 27, + 183, + 169, + 186, + 60, + 111, + 146, + 243, + 223, + 251, + 239, + 182, + 170, + 164, + 160, + 118, + 38, + 195, + 36, + 137, + 205, + 102, + 226, + 4, + 115, + ], + }, + value: NonEmpty { + inner: [ + 15, + 241, + 206, + 0, + 186, + 177, + 12, + 27, + 173, + 176, + 2, + 139, + 173, + 240, + 13, + 171, + 173, + 186, + 190, + 177, + 5, + 240, + 13, + 177, + 107, + 0, + 181, + 11, + 0, + 177, + 53, + ], + }, + }, + Branch { + mask: 2052, + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 176, + 198, + 148, + 138, + 39, + 83, + 73, + 174, + 69, + 160, + 106, + 173, + 102, + 168, + 189, + 101, + 172, + 24, + 7, + 70, + 21, + 213, + 54, + 118, + 192, + 155, + 103, + 128, + 144, + 153, + 224, + ], + }, + value: NonEmpty { + inner: [ + 2, + ], + }, + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 199, + 36, + 85, + 35, + 27, + 244, + 84, + 139, + 65, + 130, + 120, + 174, + 189, + 162, + 89, + 105, + 87, + 6, + 52, + 79, + 237, + 255, + 239, + 180, + 13, + 130, + 24, + 83, + 47, + 114, + 18, + ], + }, + value: NonEmpty { + inner: [ + 222, + 173, + 190, + 175, + 222, + 173, + 190, + 239, + 222, + 173, + 192, + 222, + 222, + 173, + 222, + 173, + 222, + 173, + 208, + 13, + 222, + 173, + 250, + 17, + 222, + 173, + 16, + 204, + 222, + 173, + 254, + 237, + ], + }, + }, + Branch { + mask: 3072, + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 126, + 255, + 65, + 160, + 220, + 227, + 10, + 110, + 91, + 222, + 178, + 61, + 27, + 187, + 150, + 112, + 159, + 172, + 175, + 10, + 191, + 248, + 148, + 151, + 73, + 248, + 156, + 105, + 122, + 126, + 221, + ], + }, + value: NonEmpty { + inner: [ + 202, + 254, + 186, + 190, + 202, + 254, + 208, + 13, + 206, + 250, + 237, + 254, + 13, + 21, + 234, + 94, + 218, + 187, + 173, + 0, + 222, + 173, + 43, + 173, + 222, + 173, + 186, + 173, + 222, + 173, + 186, + 190, + ], + }, + }, + Hash { + raw_hash: [ + 77, + 106, + 105, + 7, + 104, + 160, + 234, + 56, + 123, + 117, + 158, + 11, + 239, + 1, + 238, + 6, + 75, + 93, + 4, + 207, + 131, + 15, + 248, + 250, + 116, + 16, + 78, + 93, + 190, + 175, + 171, + 9, + ], + }, + Branch { + mask: 40960, + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 87, + 135, + 250, + 18, + 168, + 35, + 224, + 242, + 183, + 99, + 28, + 196, + 27, + 59, + 168, + 130, + 139, + 51, + 33, + 202, + 129, + 17, + 17, + 250, + 117, + 205, + 58, + 163, + 187, + 90, + 206, + ], + }, + value: NonEmpty { + inner: [ + 9, + ], + }, + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 166, + 148, + 113, + 223, + 110, + 86, + 154, + 61, + 13, + 162, + 73, + 67, + 181, + 168, + 71, + 226, + 29, + 167, + 58, + 13, + 88, + 176, + 162, + 88, + 54, + 99, + 55, + 147, + 203, + 242, + 220, + ], + }, + value: NonEmpty { + inner: [ + 222, + 173, + 190, + 175, + 222, + 173, + 190, + 239, + 222, + 173, + 192, + 222, + 222, + 173, + 222, + 173, + 222, + 173, + 208, + 13, + 222, + 173, + 250, + 17, + 222, + 173, + 16, + 204, + 222, + 173, + 254, + 237, + ], + }, + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 238, + 109, + 56, + 173, + 148, + 131, + 3, + 160, + 17, + 122, + 62, + 61, + 238, + 228, + 217, + 18, + 182, + 36, + 129, + 104, + 27, + 216, + 146, + 68, + 42, + 125, + 114, + 14, + 238, + 93, + 44, + ], + }, + value: NonEmpty { + inner: [ + 15, + 241, + 206, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 8, + ], + }, + }, + Branch { + mask: 1089, + }, + Leaf { + key: NonEmpty { + inner: [ + 3, + 120, + 11, + 215, + 103, + 84, + 205, + 139, + 223, + 110, + 187, + 207, + 82, + 107, + 30, + 156, + 48, + 8, + 133, + 225, + 87, + 183, + 46, + 9, + 196, + 246, + 130, + 20, + 198, + 22, + 247, + 189, + 48, + ], + }, + value: NonEmpty { + inner: [ + 129, + ], + }, + }, + Leaf { + key: NonEmpty { + inner: [ + 3, + 112, + 15, + 86, + 189, + 255, + 254, + 95, + 51, + 110, + 96, + 204, + 93, + 154, + 208, + 147, + 89, + 26, + 67, + 160, + 72, + 216, + 200, + 32, + 19, + 250, + 158, + 183, + 26, + 233, + 135, + 57, + 144, + ], + }, + value: NonEmpty { + inner: [ + 186, + 170, + 170, + 173, + 186, + 173, + 240, + 13, + 186, + 210, + 34, + 34, + 186, + 221, + 202, + 254, + 202, + 254, + 176, + 186, + 176, + 186, + 186, + 190, + 190, + 239, + 186, + 190, + 192, + 0, + 16, + 255, + ], + }, + }, + Leaf { + key: NonEmpty { + inner: [ + 3, + 246, + 79, + 96, + 102, + 19, + 34, + 179, + 106, + 241, + 127, + 250, + 225, + 216, + 59, + 219, + 115, + 29, + 69, + 220, + 225, + 89, + 110, + 255, + 250, + 60, + 207, + 196, + 44, + 74, + 161, + 130, + 160, + ], + }, + value: NonEmpty { + inner: [ + 177, + 5, + 240, + 13, + 177, + 107, + 0, + 181, + 11, + 0, + 177, + 53, + 186, + 170, + 170, + 173, + 186, + 173, + 240, + 13, + 186, + 210, + 34, + 34, + 186, + 221, + 202, + 254, + 202, + 254, + 176, + 186, + ], + }, + }, + Hash { + raw_hash: [ + 52, + 249, + 39, + 216, + 203, + 125, + 211, + 123, + 35, + 176, + 225, + 118, + 9, + 132, + 243, + 140, + 6, + 84, + 202, + 222, + 83, + 62, + 35, + 175, + 135, + 60, + 148, + 49, + 136, + 17, + 9, + 153, + ], + }, + Hash { + raw_hash: [ + 243, + 153, + 193, + 74, + 26, + 202, + 33, + 141, + 159, + 101, + 253, + 224, + 254, + 222, + 85, + 132, + 221, + 53, + 4, + 70, + 169, + 184, + 94, + 219, + 37, + 49, + 205, + 140, + 167, + 147, + 0, + 143, + ], + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 183, + 131, + 77, + 97, + 30, + 37, + 103, + 11, + 88, + 79, + 115, + 163, + 232, + 16, + 208, + 164, + 124, + 119, + 63, + 225, + 115, + 252, + 105, + 117, + 68, + 158, + 135, + 107, + 10, + 106, + 112, + ], + }, + value: NonEmpty { + inner: [ + 15, + 241, + 206, + 0, + 186, + 177, + 12, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 16, + ], + }, + }, + Hash { + raw_hash: [ + 238, + 165, + 90, + 32, + 99, + 114, + 62, + 197, + 248, + 59, + 27, + 194, + 253, + 74, + 20, + 237, + 217, + 155, + 88, + 175, + 173, + 104, + 99, + 27, + 135, + 220, + 10, + 192, + 108, + 241, + 42, + 53, + ], + }, + Leaf { + key: NonEmpty { + inner: [ + 2, + 202, + 21, + 41, + 32, + 9, + 95, + 47, + 231, + 152, + 75, + 156, + 225, + 167, + 37, + 195, + 188, + 148, + 54, + 149, + 46, + 209, + 113, + 19, + 245, + 252, + 123, + 123, + 97, + 60, + 64, + 29, + ], + }, + value: NonEmpty { + inner: [ + 2, + 1, + ], + }, + }, + Branch { + mask: 704, + }, + Hash { + raw_hash: [ + 49, + 108, + 70, + 58, + 135, + 119, + 116, + 5, + 118, + 174, + 223, + 221, + 61, + 133, + 152, + 81, + 184, + 204, + 69, + 94, + 194, + 195, + 194, + 254, + 43, + 35, + 94, + 16, + 46, + 89, + 238, + 182, + ], + }, + Leaf { + key: NonEmpty { + inner: [ + 3, + 81, + 38, + 164, + 215, + 17, + 242, + 221, + 152, + 170, + 125, + 244, + 107, + 16, + 12, + 41, + 21, + 3, + 221, + 219, + 67, + 173, + 129, + 128, + 174, + 7, + 246, + 0, + 112, + 69, + 36, + 169, + 208, + ], + }, + value: NonEmpty { + inner: [ + 65, + ], + }, + }, + Leaf { + key: NonEmpty { + inner: [ + 3, + 96, + 94, + 72, + 100, + 151, + 219, + 180, + 112, + 206, + 4, + 188, + 108, + 216, + 214, + 170, + 28, + 192, + 250, + 112, + 117, + 17, + 214, + 188, + 198, + 29, + 13, + 188, + 133, + 85, + 23, + 54, + 96, + ], + }, + value: NonEmpty { + inner: [ + 202, + 254, + 186, + 190, + 202, + 254, + 208, + 13, + 206, + 250, + 237, + 254, + 13, + 21, + 234, + 94, + 218, + 187, + 173, + 0, + 222, + 173, + 43, + 173, + 222, + 173, + 186, + 173, + 222, + 173, + 186, + 190, + ], + }, + }, + Branch { + mask: 57207, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 54, + 214, + 250, + 220, + 25, + 181, + 236, + 145, + 137, + 174, + 101, + 104, + 50, + 65, + 8, + 31, + 124, + 119, + 46, + 197, + 150, + 234, + 31, + 172, + 185, + 218, + 239, + 42, + 19, + 150, + 99, + 112, + ], + }, + nonce: Some( + 1, + ), + balance: None, + has_code: true, + has_storage: true, + }, + Branch { + mask: 64883, + }, + ], + }, +} diff --git a/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-7.snap b/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-7.snap new file mode 100644 index 000000000..1a3f76f8b --- /dev/null +++ b/trace_decoder/src/type1/snapshots/trace_decoder__type1__witness__witness_test_vectors-7.snap @@ -0,0 +1,6192 @@ +--- +source: trace_decoder/src/type1/witness.rs +expression: "witness::.parse(&*vector.bytes).unwrap()" +--- +Witness { + header: V1Header, + instructions: NonEmpty { + inner: [ + Hash { + raw_hash: [ + 170, + 47, + 66, + 172, + 142, + 237, + 123, + 111, + 206, + 152, + 40, + 246, + 141, + 41, + 243, + 115, + 67, + 135, + 195, + 80, + 142, + 154, + 113, + 250, + 131, + 6, + 140, + 223, + 244, + 117, + 206, + 232, + ], + }, + EmptyRoot, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 120, + 140, + 242, + 145, + 181, + 184, + 89, + 250, + 25, + 192, + 3, + 117, + 19, + 154, + 236, + 69, + 85, + 69, + 58, + 115, + 211, + 143, + 116, + 63, + 61, + 53, + 89, + 152, + 116, + 142, + 53, + 48, + ], + }, + nonce: Some( + 1, + ), + balance: None, + has_code: true, + has_storage: true, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 243, + 205, + 213, + 75, + 87, + 210, + 32, + 164, + 242, + 255, + 238, + 235, + 119, + 33, + 14, + 53, + 111, + 70, + 153, + 185, + 32, + 245, + 30, + 176, + 171, + 101, + 235, + 71, + 3, + 225, + 161, + 48, + ], + }, + nonce: None, + balance: Some( + 10000000000000000000000, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 13, + 4, + 76, + 125, + 42, + 159, + 50, + 24, + 45, + 253, + 133, + 203, + 31, + 236, + 131, + 108, + 246, + 191, + 46, + 251, + 48, + 54, + 82, + 92, + 180, + 10, + 24, + 195, + 10, + 180, + 148, + 80, + ], + }, + nonce: None, + balance: Some( + 10000000000000000000000, + ), + has_code: false, + has_storage: false, + }, + Hash { + raw_hash: [ + 147, + 57, + 98, + 191, + 241, + 124, + 107, + 153, + 253, + 165, + 173, + 41, + 95, + 234, + 25, + 235, + 48, + 141, + 27, + 210, + 42, + 56, + 162, + 197, + 85, + 249, + 242, + 202, + 167, + 241, + 89, + 84, + ], + }, + Extension { + key: NonEmpty { + inner: [ + 2, + ], + }, + }, + Hash { + raw_hash: [ + 182, + 3, + 86, + 76, + 133, + 88, + 29, + 159, + 49, + 101, + 250, + 205, + 189, + 62, + 222, + 189, + 5, + 65, + 123, + 19, + 46, + 199, + 96, + 206, + 38, + 235, + 162, + 38, + 202, + 33, + 4, + 88, + ], + }, + Hash { + raw_hash: [ + 156, + 131, + 38, + 167, + 122, + 37, + 44, + 33, + 220, + 146, + 176, + 104, + 110, + 136, + 230, + 214, + 110, + 162, + 32, + 117, + 86, + 86, + 230, + 199, + 128, + 100, + 203, + 0, + 90, + 113, + 186, + 81, + ], + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 35, + 177, + 22, + 31, + 248, + 252, + 128, + 80, + 199, + 99, + 84, + 173, + 75, + 75, + 240, + 154, + 80, + 140, + 238, + 224, + 137, + 130, + 115, + 79, + 116, + 134, + 66, + 24, + 207, + 163, + 197, + ], + }, + nonce: Some( + 1, + ), + balance: None, + has_code: true, + has_storage: true, + }, + Branch { + mask: 288, + }, + Hash { + raw_hash: [ + 131, + 114, + 0, + 72, + 247, + 178, + 235, + 179, + 26, + 18, + 105, + 97, + 223, + 77, + 64, + 152, + 86, + 138, + 253, + 253, + 185, + 194, + 29, + 198, + 11, + 17, + 133, + 156, + 146, + 220, + 167, + 18, + ], + }, + Hash { + raw_hash: [ + 76, + 244, + 109, + 17, + 73, + 229, + 82, + 193, + 61, + 47, + 175, + 104, + 242, + 242, + 49, + 44, + 36, + 182, + 151, + 69, + 152, + 28, + 221, + 116, + 181, + 208, + 92, + 253, + 246, + 85, + 213, + 219, + ], + }, + Hash { + raw_hash: [ + 248, + 21, + 127, + 233, + 216, + 10, + 172, + 185, + 90, + 42, + 202, + 207, + 181, + 54, + 124, + 5, + 183, + 73, + 196, + 109, + 26, + 74, + 252, + 149, + 215, + 223, + 252, + 214, + 138, + 128, + 36, + 223, + ], + }, + Code { + raw_code: NonEmpty { + inner: [ + 96, + 128, + 96, + 64, + 82, + 52, + 128, + 21, + 97, + 0, + 16, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 96, + 4, + 54, + 16, + 97, + 0, + 114, + 87, + 96, + 0, + 53, + 96, + 224, + 28, + 128, + 99, + 161, + 130, + 70, + 226, + 17, + 97, + 0, + 80, + 87, + 128, + 99, + 161, + 130, + 70, + 226, + 20, + 97, + 0, + 213, + 87, + 128, + 99, + 183, + 175, + 60, + 220, + 20, + 97, + 0, + 221, + 87, + 128, + 99, + 233, + 220, + 99, + 117, + 20, + 97, + 0, + 242, + 87, + 97, + 0, + 114, + 86, + 91, + 128, + 99, + 74, + 164, + 164, + 252, + 20, + 97, + 0, + 119, + 87, + 128, + 99, + 126, + 90, + 247, + 113, + 20, + 97, + 0, + 149, + 87, + 128, + 99, + 157, + 123, + 14, + 168, + 20, + 97, + 0, + 181, + 87, + 91, + 96, + 0, + 128, + 253, + 91, + 97, + 0, + 127, + 97, + 1, + 5, + 86, + 91, + 96, + 64, + 81, + 97, + 0, + 140, + 145, + 144, + 97, + 19, + 17, + 86, + 91, + 96, + 64, + 81, + 128, + 145, + 3, + 144, + 243, + 91, + 97, + 0, + 168, + 97, + 0, + 163, + 54, + 96, + 4, + 97, + 16, + 23, + 86, + 91, + 97, + 1, + 41, + 86, + 91, + 96, + 64, + 81, + 97, + 0, + 140, + 145, + 144, + 97, + 19, + 37, + 86, + 91, + 97, + 0, + 200, + 97, + 0, + 195, + 54, + 96, + 4, + 97, + 16, + 87, + 86, + 91, + 97, + 1, + 72, + 86, + 91, + 96, + 64, + 81, + 97, + 0, + 140, + 145, + 144, + 97, + 19, + 48, + 86, + 91, + 97, + 0, + 200, + 97, + 2, + 141, + 86, + 91, + 97, + 0, + 229, + 97, + 2, + 177, + 86, + 91, + 96, + 64, + 81, + 97, + 0, + 140, + 145, + 144, + 97, + 19, + 57, + 86, + 91, + 97, + 0, + 229, + 97, + 1, + 0, + 54, + 96, + 4, + 97, + 16, + 87, + 86, + 91, + 97, + 3, + 215, + 86, + 91, + 127, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 209, + 95, + 99, + 197, + 106, + 236, + 235, + 119, + 32, + 34, + 235, + 15, + 63, + 236, + 135, + 75, + 81, + 87, + 163, + 106, + 129, + 86, + 91, + 96, + 0, + 97, + 1, + 53, + 131, + 131, + 97, + 1, + 72, + 86, + 91, + 97, + 1, + 63, + 133, + 132, + 97, + 1, + 72, + 86, + 91, + 19, + 148, + 147, + 80, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 127, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 209, + 95, + 99, + 197, + 106, + 236, + 235, + 119, + 32, + 34, + 235, + 15, + 63, + 236, + 135, + 75, + 81, + 87, + 163, + 106, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 131, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 20, + 21, + 97, + 1, + 141, + 87, + 80, + 96, + 99, + 25, + 97, + 2, + 135, + 86, + 91, + 129, + 96, + 1, + 20, + 21, + 97, + 2, + 131, + 87, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 131, + 22, + 115, + 160, + 184, + 105, + 145, + 198, + 33, + 139, + 54, + 193, + 209, + 157, + 74, + 46, + 158, + 176, + 206, + 54, + 6, + 235, + 72, + 20, + 21, + 97, + 1, + 196, + 87, + 80, + 97, + 1, + 44, + 97, + 2, + 135, + 86, + 91, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 131, + 22, + 115, + 218, + 193, + 127, + 149, + 141, + 46, + 229, + 35, + 162, + 32, + 98, + 6, + 153, + 69, + 151, + 193, + 61, + 131, + 30, + 199, + 20, + 21, + 97, + 1, + 241, + 87, + 80, + 96, + 200, + 97, + 2, + 135, + 86, + 91, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 131, + 22, + 115, + 107, + 23, + 84, + 116, + 232, + 144, + 148, + 196, + 77, + 169, + 139, + 149, + 78, + 237, + 234, + 196, + 149, + 39, + 29, + 15, + 20, + 21, + 97, + 2, + 30, + 87, + 80, + 96, + 100, + 97, + 2, + 135, + 86, + 91, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 131, + 22, + 115, + 141, + 174, + 186, + 222, + 146, + 45, + 247, + 53, + 195, + 140, + 128, + 199, + 235, + 215, + 8, + 175, + 80, + 129, + 95, + 170, + 20, + 21, + 97, + 2, + 76, + 87, + 80, + 96, + 199, + 25, + 97, + 2, + 135, + 86, + 91, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 131, + 22, + 115, + 34, + 96, + 250, + 197, + 229, + 84, + 42, + 119, + 58, + 164, + 79, + 188, + 254, + 223, + 124, + 25, + 59, + 194, + 197, + 153, + 20, + 21, + 97, + 2, + 123, + 87, + 80, + 97, + 1, + 43, + 25, + 97, + 2, + 135, + 86, + 91, + 80, + 96, + 0, + 97, + 2, + 135, + 86, + 91, + 80, + 96, + 0, + 91, + 146, + 145, + 80, + 80, + 86, + 91, + 127, + 69, + 84, + 72, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 129, + 86, + 91, + 96, + 96, + 96, + 0, + 91, + 96, + 32, + 129, + 16, + 128, + 21, + 97, + 3, + 22, + 87, + 80, + 127, + 69, + 84, + 72, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 129, + 96, + 32, + 129, + 16, + 97, + 2, + 237, + 87, + 254, + 91, + 26, + 96, + 248, + 27, + 127, + 255, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 22, + 21, + 21, + 91, + 21, + 97, + 3, + 35, + 87, + 96, + 1, + 1, + 97, + 2, + 182, + 86, + 91, + 96, + 0, + 129, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 17, + 128, + 21, + 97, + 3, + 60, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 96, + 64, + 81, + 144, + 128, + 130, + 82, + 128, + 96, + 31, + 1, + 96, + 31, + 25, + 22, + 96, + 32, + 1, + 130, + 1, + 96, + 64, + 82, + 128, + 21, + 97, + 3, + 103, + 87, + 96, + 32, + 130, + 1, + 129, + 128, + 54, + 131, + 55, + 1, + 144, + 80, + 91, + 80, + 144, + 80, + 96, + 0, + 91, + 130, + 129, + 16, + 21, + 97, + 3, + 208, + 87, + 127, + 69, + 84, + 72, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 129, + 96, + 32, + 129, + 16, + 97, + 3, + 161, + 87, + 254, + 91, + 26, + 96, + 248, + 27, + 130, + 130, + 129, + 81, + 129, + 16, + 97, + 3, + 177, + 87, + 254, + 91, + 96, + 32, + 1, + 1, + 144, + 96, + 1, + 96, + 1, + 96, + 248, + 27, + 3, + 25, + 22, + 144, + 129, + 96, + 0, + 26, + 144, + 83, + 80, + 96, + 1, + 1, + 97, + 3, + 109, + 86, + 91, + 80, + 145, + 80, + 80, + 144, + 86, + 91, + 96, + 96, + 96, + 0, + 128, + 96, + 0, + 128, + 96, + 0, + 135, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 99, + 153, + 251, + 171, + 136, + 136, + 96, + 64, + 81, + 130, + 99, + 255, + 255, + 255, + 255, + 22, + 96, + 224, + 27, + 129, + 82, + 96, + 4, + 1, + 97, + 4, + 13, + 145, + 144, + 97, + 19, + 48, + 86, + 91, + 97, + 1, + 128, + 96, + 64, + 81, + 128, + 131, + 3, + 129, + 134, + 128, + 59, + 21, + 128, + 21, + 97, + 4, + 38, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 90, + 250, + 21, + 128, + 21, + 97, + 4, + 58, + 87, + 61, + 96, + 0, + 128, + 62, + 61, + 96, + 0, + 253, + 91, + 80, + 80, + 80, + 80, + 96, + 64, + 81, + 61, + 96, + 31, + 25, + 96, + 31, + 130, + 1, + 22, + 130, + 1, + 128, + 96, + 64, + 82, + 80, + 129, + 1, + 144, + 97, + 4, + 94, + 145, + 144, + 97, + 17, + 220, + 86, + 91, + 80, + 80, + 80, + 80, + 80, + 150, + 80, + 150, + 80, + 150, + 80, + 150, + 80, + 150, + 80, + 80, + 80, + 96, + 0, + 97, + 5, + 28, + 137, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 99, + 196, + 90, + 1, + 85, + 96, + 64, + 81, + 129, + 99, + 255, + 255, + 255, + 255, + 22, + 96, + 224, + 27, + 129, + 82, + 96, + 4, + 1, + 96, + 32, + 96, + 64, + 81, + 128, + 131, + 3, + 129, + 134, + 128, + 59, + 21, + 128, + 21, + 97, + 4, + 173, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 90, + 250, + 21, + 128, + 21, + 97, + 4, + 193, + 87, + 61, + 96, + 0, + 128, + 62, + 61, + 96, + 0, + 253, + 91, + 80, + 80, + 80, + 80, + 96, + 64, + 81, + 61, + 96, + 31, + 25, + 96, + 31, + 130, + 1, + 22, + 130, + 1, + 128, + 96, + 64, + 82, + 80, + 129, + 1, + 144, + 97, + 4, + 229, + 145, + 144, + 97, + 15, + 244, + 86, + 91, + 96, + 64, + 81, + 128, + 96, + 96, + 1, + 96, + 64, + 82, + 128, + 137, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 129, + 82, + 96, + 32, + 1, + 136, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 129, + 82, + 96, + 32, + 1, + 135, + 98, + 255, + 255, + 255, + 22, + 129, + 82, + 80, + 97, + 8, + 231, + 86, + 91, + 144, + 80, + 96, + 0, + 97, + 5, + 45, + 135, + 135, + 97, + 0, + 163, + 97, + 9, + 227, + 86, + 91, + 144, + 80, + 96, + 0, + 129, + 21, + 97, + 5, + 61, + 87, + 135, + 97, + 5, + 63, + 86, + 91, + 134, + 91, + 144, + 80, + 96, + 0, + 130, + 21, + 97, + 5, + 79, + 87, + 135, + 97, + 5, + 81, + 86, + 91, + 136, + 91, + 144, + 80, + 96, + 0, + 132, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 99, + 56, + 80, + 199, + 189, + 96, + 64, + 81, + 129, + 99, + 255, + 255, + 255, + 255, + 22, + 96, + 224, + 27, + 129, + 82, + 96, + 4, + 1, + 96, + 224, + 96, + 64, + 81, + 128, + 131, + 3, + 129, + 134, + 128, + 59, + 21, + 128, + 21, + 97, + 5, + 142, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 90, + 250, + 21, + 128, + 21, + 97, + 5, + 162, + 87, + 61, + 96, + 0, + 128, + 62, + 61, + 96, + 0, + 253, + 91, + 80, + 80, + 80, + 80, + 96, + 64, + 81, + 61, + 96, + 31, + 25, + 96, + 31, + 130, + 1, + 22, + 130, + 1, + 128, + 96, + 64, + 82, + 80, + 129, + 1, + 144, + 97, + 5, + 198, + 145, + 144, + 97, + 17, + 51, + 86, + 91, + 80, + 80, + 80, + 80, + 80, + 145, + 80, + 80, + 115, + 247, + 1, + 33, + 89, + 191, + 118, + 27, + 49, + 33, + 83, + 232, + 200, + 209, + 118, + 147, + 47, + 233, + 170, + 167, + 234, + 99, + 196, + 153, + 23, + 215, + 96, + 64, + 81, + 128, + 97, + 1, + 192, + 1, + 96, + 64, + 82, + 128, + 143, + 129, + 82, + 96, + 32, + 1, + 134, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 129, + 82, + 96, + 32, + 1, + 133, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 129, + 82, + 96, + 32, + 1, + 127, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 209, + 95, + 99, + 197, + 106, + 236, + 235, + 119, + 32, + 34, + 235, + 15, + 63, + 236, + 135, + 75, + 81, + 87, + 163, + 106, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 135, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 20, + 97, + 6, + 95, + 87, + 97, + 6, + 90, + 135, + 97, + 9, + 231, + 86, + 91, + 97, + 6, + 103, + 86, + 91, + 97, + 6, + 103, + 97, + 2, + 177, + 86, + 91, + 129, + 82, + 96, + 32, + 1, + 127, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 209, + 95, + 99, + 197, + 106, + 236, + 235, + 119, + 32, + 34, + 235, + 15, + 63, + 236, + 135, + 75, + 81, + 87, + 163, + 106, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 134, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 20, + 97, + 6, + 179, + 87, + 97, + 6, + 174, + 134, + 97, + 9, + 231, + 86, + 91, + 97, + 6, + 187, + 86, + 91, + 97, + 6, + 187, + 97, + 2, + 177, + 86, + 91, + 129, + 82, + 96, + 32, + 1, + 134, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 99, + 49, + 60, + 229, + 103, + 96, + 64, + 81, + 129, + 99, + 255, + 255, + 255, + 255, + 22, + 96, + 224, + 27, + 129, + 82, + 96, + 4, + 1, + 96, + 32, + 96, + 64, + 81, + 128, + 131, + 3, + 129, + 134, + 128, + 59, + 21, + 128, + 21, + 97, + 6, + 249, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 90, + 250, + 21, + 128, + 21, + 97, + 7, + 13, + 87, + 61, + 96, + 0, + 128, + 62, + 61, + 96, + 0, + 253, + 91, + 80, + 80, + 80, + 80, + 96, + 64, + 81, + 61, + 96, + 31, + 25, + 96, + 31, + 130, + 1, + 22, + 130, + 1, + 128, + 96, + 64, + 82, + 80, + 129, + 1, + 144, + 97, + 7, + 49, + 145, + 144, + 97, + 17, + 194, + 86, + 91, + 96, + 255, + 22, + 129, + 82, + 96, + 32, + 1, + 133, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 99, + 49, + 60, + 229, + 103, + 96, + 64, + 81, + 129, + 99, + 255, + 255, + 255, + 255, + 22, + 96, + 224, + 27, + 129, + 82, + 96, + 4, + 1, + 96, + 32, + 96, + 64, + 81, + 128, + 131, + 3, + 129, + 134, + 128, + 59, + 21, + 128, + 21, + 97, + 7, + 114, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 90, + 250, + 21, + 128, + 21, + 97, + 7, + 134, + 87, + 61, + 96, + 0, + 128, + 62, + 61, + 96, + 0, + 253, + 91, + 80, + 80, + 80, + 80, + 96, + 64, + 81, + 61, + 96, + 31, + 25, + 96, + 31, + 130, + 1, + 22, + 130, + 1, + 128, + 96, + 64, + 82, + 80, + 129, + 1, + 144, + 97, + 7, + 170, + 145, + 144, + 97, + 17, + 194, + 86, + 91, + 96, + 255, + 22, + 129, + 82, + 96, + 32, + 1, + 135, + 21, + 21, + 129, + 82, + 96, + 32, + 1, + 138, + 96, + 2, + 11, + 129, + 82, + 96, + 32, + 1, + 137, + 96, + 2, + 11, + 129, + 82, + 96, + 32, + 1, + 132, + 96, + 2, + 11, + 129, + 82, + 96, + 32, + 1, + 136, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 99, + 208, + 201, + 58, + 124, + 96, + 64, + 81, + 129, + 99, + 255, + 255, + 255, + 255, + 22, + 96, + 224, + 27, + 129, + 82, + 96, + 4, + 1, + 96, + 32, + 96, + 64, + 81, + 128, + 131, + 3, + 129, + 134, + 128, + 59, + 21, + 128, + 21, + 97, + 8, + 14, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 90, + 250, + 21, + 128, + 21, + 97, + 8, + 34, + 87, + 61, + 96, + 0, + 128, + 62, + 61, + 96, + 0, + 253, + 91, + 80, + 80, + 80, + 80, + 96, + 64, + 81, + 61, + 96, + 31, + 25, + 96, + 31, + 130, + 1, + 22, + 130, + 1, + 128, + 96, + 64, + 82, + 80, + 129, + 1, + 144, + 97, + 8, + 70, + 145, + 144, + 97, + 16, + 130, + 86, + 91, + 96, + 2, + 11, + 129, + 82, + 96, + 32, + 1, + 139, + 98, + 255, + 255, + 255, + 22, + 129, + 82, + 96, + 32, + 1, + 136, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 129, + 82, + 80, + 96, + 64, + 81, + 130, + 99, + 255, + 255, + 255, + 255, + 22, + 96, + 224, + 27, + 129, + 82, + 96, + 4, + 1, + 97, + 8, + 130, + 145, + 144, + 97, + 19, + 76, + 86, + 91, + 96, + 0, + 96, + 64, + 81, + 128, + 131, + 3, + 129, + 134, + 128, + 59, + 21, + 128, + 21, + 97, + 8, + 154, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 90, + 244, + 21, + 128, + 21, + 97, + 8, + 174, + 87, + 61, + 96, + 0, + 128, + 62, + 61, + 96, + 0, + 253, + 91, + 80, + 80, + 80, + 80, + 96, + 64, + 81, + 61, + 96, + 0, + 130, + 62, + 96, + 31, + 61, + 144, + 129, + 1, + 96, + 31, + 25, + 22, + 130, + 1, + 96, + 64, + 82, + 97, + 8, + 214, + 145, + 144, + 129, + 1, + 144, + 97, + 16, + 156, + 86, + 91, + 157, + 156, + 80, + 80, + 80, + 80, + 80, + 80, + 80, + 80, + 80, + 80, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 129, + 96, + 32, + 1, + 81, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 130, + 96, + 0, + 1, + 81, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 16, + 97, + 9, + 15, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 128, + 81, + 96, + 32, + 128, + 131, + 1, + 81, + 96, + 64, + 147, + 132, + 1, + 81, + 132, + 81, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 148, + 133, + 22, + 129, + 133, + 1, + 82, + 147, + 144, + 145, + 22, + 131, + 133, + 1, + 82, + 98, + 255, + 255, + 255, + 22, + 96, + 96, + 128, + 132, + 1, + 145, + 144, + 145, + 82, + 131, + 81, + 128, + 132, + 3, + 130, + 1, + 129, + 82, + 96, + 128, + 132, + 1, + 133, + 82, + 128, + 81, + 144, + 131, + 1, + 32, + 127, + 255, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 96, + 160, + 133, + 1, + 82, + 148, + 144, + 27, + 107, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 25, + 22, + 96, + 161, + 131, + 1, + 82, + 96, + 181, + 130, + 1, + 147, + 144, + 147, + 82, + 127, + 227, + 79, + 25, + 155, + 25, + 178, + 180, + 244, + 127, + 104, + 68, + 38, + 25, + 213, + 85, + 82, + 125, + 36, + 79, + 120, + 163, + 41, + 126, + 168, + 147, + 37, + 248, + 67, + 248, + 123, + 139, + 84, + 96, + 213, + 128, + 131, + 1, + 145, + 144, + 145, + 82, + 130, + 81, + 128, + 131, + 3, + 144, + 145, + 1, + 129, + 82, + 96, + 245, + 144, + 145, + 1, + 144, + 145, + 82, + 128, + 81, + 145, + 1, + 32, + 144, + 86, + 91, + 70, + 144, + 86, + 91, + 96, + 96, + 96, + 0, + 97, + 10, + 21, + 131, + 127, + 149, + 216, + 155, + 65, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 97, + 10, + 58, + 86, + 91, + 144, + 80, + 128, + 81, + 96, + 0, + 20, + 21, + 97, + 10, + 50, + 87, + 97, + 10, + 42, + 131, + 97, + 12, + 143, + 86, + 91, + 145, + 80, + 80, + 97, + 10, + 53, + 86, + 91, + 144, + 80, + 91, + 145, + 144, + 80, + 86, + 91, + 96, + 64, + 128, + 81, + 96, + 4, + 129, + 82, + 96, + 36, + 129, + 1, + 130, + 82, + 96, + 32, + 129, + 1, + 128, + 81, + 123, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 22, + 127, + 255, + 255, + 255, + 255, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 133, + 22, + 23, + 129, + 82, + 145, + 81, + 129, + 81, + 96, + 96, + 147, + 96, + 0, + 147, + 132, + 147, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 137, + 22, + 147, + 145, + 146, + 144, + 145, + 130, + 145, + 144, + 128, + 131, + 131, + 91, + 96, + 32, + 131, + 16, + 97, + 10, + 211, + 87, + 128, + 81, + 130, + 82, + 96, + 31, + 25, + 144, + 146, + 1, + 145, + 96, + 32, + 145, + 130, + 1, + 145, + 1, + 97, + 10, + 180, + 86, + 91, + 96, + 1, + 131, + 96, + 32, + 3, + 97, + 1, + 0, + 10, + 3, + 128, + 25, + 130, + 81, + 22, + 129, + 132, + 81, + 22, + 128, + 130, + 23, + 133, + 82, + 80, + 80, + 80, + 80, + 80, + 80, + 144, + 80, + 1, + 145, + 80, + 80, + 96, + 0, + 96, + 64, + 81, + 128, + 131, + 3, + 129, + 133, + 90, + 250, + 145, + 80, + 80, + 61, + 128, + 96, + 0, + 129, + 20, + 97, + 11, + 51, + 87, + 96, + 64, + 81, + 145, + 80, + 96, + 31, + 25, + 96, + 63, + 61, + 1, + 22, + 130, + 1, + 96, + 64, + 82, + 61, + 130, + 82, + 61, + 96, + 0, + 96, + 32, + 132, + 1, + 62, + 97, + 11, + 56, + 86, + 91, + 96, + 96, + 145, + 80, + 91, + 80, + 145, + 80, + 145, + 80, + 129, + 21, + 128, + 97, + 11, + 73, + 87, + 80, + 128, + 81, + 21, + 91, + 21, + 97, + 11, + 103, + 87, + 96, + 64, + 81, + 128, + 96, + 32, + 1, + 96, + 64, + 82, + 128, + 96, + 0, + 129, + 82, + 80, + 146, + 80, + 80, + 80, + 97, + 2, + 135, + 86, + 91, + 128, + 81, + 96, + 32, + 20, + 21, + 97, + 11, + 159, + 87, + 96, + 0, + 129, + 128, + 96, + 32, + 1, + 144, + 81, + 96, + 32, + 129, + 16, + 21, + 97, + 11, + 136, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 81, + 144, + 80, + 97, + 11, + 149, + 129, + 97, + 12, + 156, + 86, + 91, + 147, + 80, + 80, + 80, + 80, + 97, + 2, + 135, + 86, + 91, + 96, + 64, + 129, + 81, + 17, + 21, + 97, + 12, + 119, + 87, + 128, + 128, + 96, + 32, + 1, + 144, + 81, + 96, + 32, + 129, + 16, + 21, + 97, + 11, + 190, + 87, + 96, + 0, + 128, + 253, + 91, + 129, + 1, + 144, + 128, + 128, + 81, + 96, + 64, + 81, + 147, + 146, + 145, + 144, + 132, + 100, + 1, + 0, + 0, + 0, + 0, + 130, + 17, + 21, + 97, + 11, + 222, + 87, + 96, + 0, + 128, + 253, + 91, + 144, + 131, + 1, + 144, + 96, + 32, + 130, + 1, + 133, + 129, + 17, + 21, + 97, + 11, + 243, + 87, + 96, + 0, + 128, + 253, + 91, + 130, + 81, + 100, + 1, + 0, + 0, + 0, + 0, + 129, + 17, + 130, + 130, + 1, + 136, + 16, + 23, + 21, + 97, + 12, + 13, + 87, + 96, + 0, + 128, + 253, + 91, + 130, + 82, + 80, + 129, + 81, + 96, + 32, + 145, + 130, + 1, + 146, + 144, + 145, + 1, + 144, + 128, + 131, + 131, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 12, + 58, + 87, + 129, + 129, + 1, + 81, + 131, + 130, + 1, + 82, + 96, + 32, + 1, + 97, + 12, + 34, + 86, + 91, + 80, + 80, + 80, + 80, + 144, + 80, + 144, + 129, + 1, + 144, + 96, + 31, + 22, + 128, + 21, + 97, + 12, + 103, + 87, + 128, + 130, + 3, + 128, + 81, + 96, + 1, + 131, + 96, + 32, + 3, + 97, + 1, + 0, + 10, + 3, + 25, + 22, + 129, + 82, + 96, + 32, + 1, + 145, + 80, + 91, + 80, + 96, + 64, + 82, + 80, + 80, + 80, + 146, + 80, + 80, + 80, + 97, + 2, + 135, + 86, + 91, + 80, + 80, + 96, + 64, + 128, + 81, + 96, + 32, + 129, + 1, + 144, + 145, + 82, + 96, + 0, + 129, + 82, + 147, + 146, + 80, + 80, + 80, + 86, + 91, + 96, + 96, + 97, + 10, + 50, + 130, + 96, + 6, + 97, + 13, + 220, + 86, + 91, + 96, + 64, + 128, + 81, + 96, + 32, + 128, + 130, + 82, + 129, + 131, + 1, + 144, + 146, + 82, + 96, + 96, + 145, + 96, + 0, + 145, + 144, + 96, + 32, + 130, + 1, + 129, + 128, + 54, + 131, + 55, + 1, + 144, + 80, + 80, + 144, + 80, + 96, + 0, + 128, + 91, + 96, + 32, + 129, + 16, + 21, + 97, + 13, + 62, + 87, + 96, + 0, + 133, + 130, + 96, + 32, + 129, + 16, + 97, + 12, + 220, + 87, + 254, + 91, + 26, + 96, + 248, + 27, + 144, + 80, + 127, + 255, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 129, + 22, + 21, + 97, + 13, + 53, + 87, + 128, + 132, + 132, + 129, + 81, + 129, + 16, + 97, + 13, + 23, + 87, + 254, + 91, + 96, + 32, + 1, + 1, + 144, + 96, + 1, + 96, + 1, + 96, + 248, + 27, + 3, + 25, + 22, + 144, + 129, + 96, + 0, + 26, + 144, + 83, + 80, + 96, + 1, + 144, + 146, + 1, + 145, + 91, + 80, + 96, + 1, + 1, + 97, + 12, + 197, + 86, + 91, + 80, + 96, + 0, + 129, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 17, + 128, + 21, + 97, + 13, + 88, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 96, + 64, + 81, + 144, + 128, + 130, + 82, + 128, + 96, + 31, + 1, + 96, + 31, + 25, + 22, + 96, + 32, + 1, + 130, + 1, + 96, + 64, + 82, + 128, + 21, + 97, + 13, + 131, + 87, + 96, + 32, + 130, + 1, + 129, + 128, + 54, + 131, + 55, + 1, + 144, + 80, + 91, + 80, + 144, + 80, + 96, + 0, + 91, + 130, + 129, + 16, + 21, + 97, + 13, + 211, + 87, + 131, + 129, + 129, + 81, + 129, + 16, + 97, + 13, + 157, + 87, + 254, + 91, + 96, + 32, + 1, + 1, + 81, + 96, + 248, + 28, + 96, + 248, + 27, + 130, + 130, + 129, + 81, + 129, + 16, + 97, + 13, + 180, + 87, + 254, + 91, + 96, + 32, + 1, + 1, + 144, + 96, + 1, + 96, + 1, + 96, + 248, + 27, + 3, + 25, + 22, + 144, + 129, + 96, + 0, + 26, + 144, + 83, + 80, + 96, + 1, + 1, + 97, + 13, + 137, + 86, + 91, + 80, + 148, + 147, + 80, + 80, + 80, + 80, + 86, + 91, + 96, + 96, + 96, + 2, + 130, + 6, + 21, + 128, + 21, + 97, + 13, + 239, + 87, + 80, + 96, + 0, + 130, + 17, + 91, + 128, + 21, + 97, + 13, + 252, + 87, + 80, + 96, + 40, + 130, + 17, + 21, + 91, + 97, + 14, + 103, + 87, + 96, + 64, + 128, + 81, + 127, + 8, + 195, + 121, + 160, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 129, + 82, + 96, + 32, + 96, + 4, + 130, + 1, + 82, + 96, + 30, + 96, + 36, + 130, + 1, + 82, + 127, + 65, + 100, + 100, + 114, + 101, + 115, + 115, + 83, + 116, + 114, + 105, + 110, + 103, + 85, + 116, + 105, + 108, + 58, + 32, + 73, + 78, + 86, + 65, + 76, + 73, + 68, + 95, + 76, + 69, + 78, + 0, + 0, + 96, + 68, + 130, + 1, + 82, + 144, + 81, + 144, + 129, + 144, + 3, + 96, + 100, + 1, + 144, + 253, + 91, + 96, + 0, + 130, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 17, + 128, + 21, + 97, + 14, + 128, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 96, + 64, + 81, + 144, + 128, + 130, + 82, + 128, + 96, + 31, + 1, + 96, + 31, + 25, + 22, + 96, + 32, + 1, + 130, + 1, + 96, + 64, + 82, + 128, + 21, + 97, + 14, + 171, + 87, + 96, + 32, + 130, + 1, + 129, + 128, + 54, + 131, + 55, + 1, + 144, + 80, + 91, + 80, + 144, + 80, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 132, + 22, + 96, + 0, + 91, + 96, + 2, + 133, + 4, + 129, + 16, + 21, + 97, + 15, + 79, + 87, + 96, + 8, + 96, + 19, + 130, + 144, + 3, + 2, + 130, + 144, + 28, + 96, + 15, + 96, + 4, + 130, + 144, + 28, + 22, + 96, + 240, + 130, + 22, + 130, + 3, + 97, + 14, + 232, + 130, + 97, + 15, + 89, + 86, + 91, + 134, + 133, + 96, + 2, + 2, + 129, + 81, + 129, + 16, + 97, + 14, + 247, + 87, + 254, + 91, + 96, + 32, + 1, + 1, + 144, + 96, + 1, + 96, + 1, + 96, + 248, + 27, + 3, + 25, + 22, + 144, + 129, + 96, + 0, + 26, + 144, + 83, + 80, + 97, + 15, + 23, + 129, + 97, + 15, + 89, + 86, + 91, + 134, + 133, + 96, + 2, + 2, + 96, + 1, + 1, + 129, + 81, + 129, + 16, + 97, + 15, + 41, + 87, + 254, + 91, + 96, + 32, + 1, + 1, + 144, + 96, + 1, + 96, + 1, + 96, + 248, + 27, + 3, + 25, + 22, + 144, + 129, + 96, + 0, + 26, + 144, + 83, + 80, + 80, + 96, + 1, + 144, + 146, + 1, + 145, + 80, + 97, + 14, + 187, + 144, + 80, + 86, + 91, + 80, + 144, + 148, + 147, + 80, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 10, + 130, + 96, + 255, + 22, + 16, + 21, + 97, + 15, + 116, + 87, + 80, + 96, + 48, + 129, + 1, + 96, + 248, + 27, + 97, + 10, + 53, + 86, + 91, + 80, + 96, + 55, + 129, + 1, + 96, + 248, + 27, + 97, + 10, + 53, + 86, + 91, + 128, + 81, + 97, + 10, + 53, + 129, + 97, + 20, + 154, + 86, + 91, + 128, + 81, + 96, + 2, + 129, + 144, + 11, + 129, + 20, + 97, + 10, + 53, + 87, + 96, + 0, + 128, + 253, + 91, + 128, + 81, + 111, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 22, + 129, + 20, + 97, + 10, + 53, + 87, + 96, + 0, + 128, + 253, + 91, + 128, + 81, + 97, + 255, + 255, + 129, + 22, + 129, + 20, + 97, + 10, + 53, + 87, + 96, + 0, + 128, + 253, + 91, + 128, + 81, + 98, + 255, + 255, + 255, + 129, + 22, + 129, + 20, + 97, + 10, + 53, + 87, + 96, + 0, + 128, + 253, + 91, + 128, + 81, + 96, + 255, + 129, + 22, + 129, + 20, + 97, + 10, + 53, + 87, + 96, + 0, + 128, + 253, + 91, + 96, + 0, + 96, + 32, + 130, + 132, + 3, + 18, + 21, + 97, + 16, + 5, + 87, + 128, + 129, + 253, + 91, + 129, + 81, + 97, + 16, + 16, + 129, + 97, + 20, + 154, + 86, + 91, + 147, + 146, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 128, + 96, + 0, + 96, + 96, + 132, + 134, + 3, + 18, + 21, + 97, + 16, + 43, + 87, + 129, + 130, + 253, + 91, + 131, + 53, + 97, + 16, + 54, + 129, + 97, + 20, + 154, + 86, + 91, + 146, + 80, + 96, + 32, + 132, + 1, + 53, + 97, + 16, + 70, + 129, + 97, + 20, + 154, + 86, + 91, + 146, + 149, + 146, + 148, + 80, + 80, + 80, + 96, + 64, + 145, + 144, + 145, + 1, + 53, + 144, + 86, + 91, + 96, + 0, + 128, + 96, + 64, + 131, + 133, + 3, + 18, + 21, + 97, + 16, + 105, + 87, + 129, + 130, + 253, + 91, + 130, + 53, + 97, + 16, + 116, + 129, + 97, + 20, + 154, + 86, + 91, + 148, + 96, + 32, + 147, + 144, + 147, + 1, + 53, + 147, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 132, + 3, + 18, + 21, + 97, + 16, + 147, + 87, + 128, + 129, + 253, + 91, + 97, + 16, + 16, + 130, + 97, + 15, + 140, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 132, + 3, + 18, + 21, + 97, + 16, + 173, + 87, + 128, + 129, + 253, + 91, + 129, + 81, + 103, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 128, + 130, + 17, + 21, + 97, + 16, + 196, + 87, + 130, + 131, + 253, + 91, + 129, + 132, + 1, + 145, + 80, + 132, + 96, + 31, + 131, + 1, + 18, + 97, + 16, + 215, + 87, + 130, + 131, + 253, + 91, + 129, + 81, + 129, + 129, + 17, + 21, + 97, + 16, + 227, + 87, + 254, + 91, + 96, + 64, + 81, + 96, + 31, + 130, + 1, + 96, + 31, + 25, + 22, + 129, + 1, + 96, + 32, + 1, + 131, + 129, + 17, + 130, + 130, + 16, + 23, + 21, + 97, + 17, + 1, + 87, + 254, + 91, + 96, + 64, + 82, + 129, + 129, + 82, + 131, + 130, + 1, + 96, + 32, + 1, + 135, + 16, + 21, + 97, + 17, + 24, + 87, + 132, + 133, + 253, + 91, + 97, + 17, + 41, + 130, + 96, + 32, + 131, + 1, + 96, + 32, + 135, + 1, + 97, + 20, + 106, + 86, + 91, + 150, + 149, + 80, + 80, + 80, + 80, + 80, + 80, + 86, + 91, + 96, + 0, + 128, + 96, + 0, + 128, + 96, + 0, + 128, + 96, + 0, + 96, + 224, + 136, + 138, + 3, + 18, + 21, + 97, + 17, + 77, + 87, + 130, + 131, + 253, + 91, + 135, + 81, + 97, + 17, + 88, + 129, + 97, + 20, + 154, + 86, + 91, + 150, + 80, + 97, + 17, + 102, + 96, + 32, + 137, + 1, + 97, + 15, + 140, + 86, + 91, + 149, + 80, + 97, + 17, + 116, + 96, + 64, + 137, + 1, + 97, + 15, + 190, + 86, + 91, + 148, + 80, + 97, + 17, + 130, + 96, + 96, + 137, + 1, + 97, + 15, + 190, + 86, + 91, + 147, + 80, + 97, + 17, + 144, + 96, + 128, + 137, + 1, + 97, + 15, + 190, + 86, + 91, + 146, + 80, + 97, + 17, + 158, + 96, + 160, + 137, + 1, + 97, + 15, + 227, + 86, + 91, + 145, + 80, + 96, + 192, + 136, + 1, + 81, + 128, + 21, + 21, + 129, + 20, + 97, + 17, + 178, + 87, + 129, + 130, + 253, + 91, + 128, + 145, + 80, + 80, + 146, + 149, + 152, + 145, + 148, + 151, + 80, + 146, + 149, + 80, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 132, + 3, + 18, + 21, + 97, + 17, + 211, + 87, + 128, + 129, + 253, + 91, + 97, + 16, + 16, + 130, + 97, + 15, + 227, + 86, + 91, + 96, + 0, + 128, + 96, + 0, + 128, + 96, + 0, + 128, + 96, + 0, + 128, + 96, + 0, + 128, + 96, + 0, + 128, + 97, + 1, + 128, + 141, + 143, + 3, + 18, + 21, + 97, + 17, + 254, + 87, + 132, + 133, + 253, + 91, + 140, + 81, + 107, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 255, + 129, + 22, + 129, + 20, + 97, + 18, + 25, + 87, + 133, + 134, + 253, + 91, + 155, + 80, + 97, + 18, + 39, + 96, + 32, + 142, + 1, + 97, + 15, + 129, + 86, + 91, + 154, + 80, + 97, + 18, + 53, + 96, + 64, + 142, + 1, + 97, + 15, + 129, + 86, + 91, + 153, + 80, + 97, + 18, + 67, + 96, + 96, + 142, + 1, + 97, + 15, + 129, + 86, + 91, + 152, + 80, + 97, + 18, + 81, + 96, + 128, + 142, + 1, + 97, + 15, + 208, + 86, + 91, + 151, + 80, + 97, + 18, + 95, + 96, + 160, + 142, + 1, + 97, + 15, + 140, + 86, + 91, + 150, + 80, + 97, + 18, + 109, + 96, + 192, + 142, + 1, + 97, + 15, + 140, + 86, + 91, + 149, + 80, + 97, + 18, + 123, + 96, + 224, + 142, + 1, + 97, + 15, + 158, + 86, + 91, + 148, + 80, + 97, + 1, + 0, + 141, + 1, + 81, + 147, + 80, + 97, + 1, + 32, + 141, + 1, + 81, + 146, + 80, + 97, + 18, + 154, + 97, + 1, + 64, + 142, + 1, + 97, + 15, + 158, + 86, + 91, + 145, + 80, + 97, + 18, + 169, + 97, + 1, + 96, + 142, + 1, + 97, + 15, + 158, + 86, + 91, + 144, + 80, + 146, + 149, + 152, + 155, + 80, + 146, + 149, + 152, + 155, + 80, + 146, + 149, + 152, + 155, + 86, + 91, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 22, + 144, + 82, + 86, + 91, + 21, + 21, + 144, + 82, + 86, + 91, + 96, + 2, + 11, + 144, + 82, + 86, + 91, + 96, + 0, + 129, + 81, + 128, + 132, + 82, + 97, + 18, + 237, + 129, + 96, + 32, + 134, + 1, + 96, + 32, + 134, + 1, + 97, + 20, + 106, + 86, + 91, + 96, + 31, + 1, + 96, + 31, + 25, + 22, + 146, + 144, + 146, + 1, + 96, + 32, + 1, + 146, + 145, + 80, + 80, + 86, + 91, + 98, + 255, + 255, + 255, + 22, + 144, + 82, + 86, + 91, + 96, + 255, + 22, + 144, + 82, + 86, + 91, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 145, + 144, + 145, + 22, + 129, + 82, + 96, + 32, + 1, + 144, + 86, + 91, + 144, + 21, + 21, + 129, + 82, + 96, + 32, + 1, + 144, + 86, + 91, + 144, + 129, + 82, + 96, + 32, + 1, + 144, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 82, + 97, + 16, + 16, + 96, + 32, + 131, + 1, + 132, + 97, + 18, + 213, + 86, + 91, + 96, + 0, + 96, + 32, + 130, + 82, + 130, + 81, + 96, + 32, + 131, + 1, + 82, + 96, + 32, + 131, + 1, + 81, + 97, + 19, + 107, + 96, + 64, + 132, + 1, + 130, + 97, + 18, + 187, + 86, + 91, + 80, + 96, + 64, + 131, + 1, + 81, + 97, + 19, + 126, + 96, + 96, + 132, + 1, + 130, + 97, + 18, + 187, + 86, + 91, + 80, + 96, + 96, + 131, + 1, + 81, + 97, + 1, + 192, + 128, + 96, + 128, + 133, + 1, + 82, + 97, + 19, + 155, + 97, + 1, + 224, + 133, + 1, + 131, + 97, + 18, + 213, + 86, + 91, + 145, + 80, + 96, + 128, + 133, + 1, + 81, + 96, + 31, + 25, + 133, + 132, + 3, + 1, + 96, + 160, + 134, + 1, + 82, + 97, + 19, + 184, + 131, + 130, + 97, + 18, + 213, + 86, + 91, + 146, + 80, + 80, + 96, + 160, + 133, + 1, + 81, + 97, + 19, + 205, + 96, + 192, + 134, + 1, + 130, + 97, + 19, + 10, + 86, + 91, + 80, + 96, + 192, + 133, + 1, + 81, + 97, + 19, + 224, + 96, + 224, + 134, + 1, + 130, + 97, + 19, + 10, + 86, + 91, + 80, + 96, + 224, + 133, + 1, + 81, + 97, + 1, + 0, + 97, + 19, + 245, + 129, + 135, + 1, + 131, + 97, + 18, + 200, + 86, + 91, + 134, + 1, + 81, + 144, + 80, + 97, + 1, + 32, + 97, + 20, + 9, + 134, + 130, + 1, + 131, + 97, + 18, + 206, + 86, + 91, + 134, + 1, + 81, + 144, + 80, + 97, + 1, + 64, + 97, + 20, + 29, + 134, + 130, + 1, + 131, + 97, + 18, + 206, + 86, + 91, + 134, + 1, + 81, + 144, + 80, + 97, + 1, + 96, + 97, + 20, + 49, + 134, + 130, + 1, + 131, + 97, + 18, + 206, + 86, + 91, + 134, + 1, + 81, + 144, + 80, + 97, + 1, + 128, + 97, + 20, + 69, + 134, + 130, + 1, + 131, + 97, + 18, + 206, + 86, + 91, + 134, + 1, + 81, + 144, + 80, + 97, + 1, + 160, + 97, + 20, + 89, + 134, + 130, + 1, + 131, + 97, + 19, + 1, + 86, + 91, + 134, + 1, + 81, + 144, + 80, + 97, + 15, + 79, + 133, + 131, + 1, + 130, + 97, + 18, + 187, + 86, + 91, + 96, + 0, + 91, + 131, + 129, + 16, + 21, + 97, + 20, + 133, + 87, + 129, + 129, + 1, + 81, + 131, + 130, + 1, + 82, + 96, + 32, + 1, + 97, + 20, + 109, + 86, + 91, + 131, + 129, + 17, + 21, + 97, + 20, + 148, + 87, + 96, + 0, + 132, + 132, + 1, + 82, + 91, + 80, + 80, + 80, + 80, + 86, + 91, + 96, + 1, + 96, + 1, + 96, + 160, + 27, + 3, + 129, + 22, + 129, + 20, + 97, + 20, + 175, + 87, + 96, + 0, + 128, + 253, + 91, + 80, + 86, + 254, + 161, + 100, + 115, + 111, + 108, + 99, + 67, + 0, + 7, + 6, + 0, + 10, + ], + }, + }, + EmptyRoot, + AccountLeaf { + key: NonEmpty { + inner: [ + 3, + 42, + 98, + 161, + 13, + 43, + 138, + 116, + 92, + 61, + 114, + 99, + 105, + 125, + 131, + 132, + 42, + 120, + 122, + 35, + 235, + 42, + 254, + 211, + 63, + 216, + 34, + 40, + 243, + 155, + 202, + 176, + 64, + ], + }, + nonce: Some( + 1, + ), + balance: None, + has_code: true, + has_storage: true, + }, + Hash { + raw_hash: [ + 210, + 133, + 202, + 63, + 91, + 247, + 29, + 75, + 16, + 248, + 209, + 126, + 240, + 39, + 180, + 56, + 81, + 171, + 70, + 225, + 28, + 134, + 107, + 7, + 10, + 28, + 44, + 175, + 146, + 51, + 68, + 141, + ], + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 30, + 236, + 43, + 132, + 240, + 186, + 52, + 79, + 212, + 180, + 210, + 240, + 34, + 70, + 159, + 235, + 231, + 167, + 114, + 196, + 120, + 154, + 207, + 193, + 25, + 235, + 85, + 138, + 177, + 218, + 61, + ], + }, + nonce: Some( + 17, + ), + balance: Some( + 9999992909097698117054, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 28, + 50, + 128, + 78, + 128, + 248, + 235, + 28, + 171, + 169, + 37, + 13, + 101, + 92, + 200, + 251, + 9, + 68, + 50, + 46, + 69, + 171, + 80, + 96, + 170, + 53, + 107, + 88, + 3, + 172, + 253, + ], + }, + nonce: None, + balance: Some( + 10000000000000000000000, + ), + has_code: false, + has_storage: false, + }, + Branch { + mask: 4128, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 235, + 64, + 110, + 71, + 135, + 37, + 30, + 164, + 244, + 90, + 202, + 80, + 56, + 9, + 196, + 141, + 117, + 110, + 98, + 200, + 140, + 157, + 165, + 104, + 211, + 213, + 38, + 98, + 85, + 249, + 35, + ], + }, + nonce: None, + balance: Some( + 10000000000000000000000, + ), + has_code: false, + has_storage: false, + }, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 10, + 69, + 162, + 225, + 101, + 105, + 185, + 47, + 138, + 10, + 243, + 143, + 42, + 194, + 252, + 230, + 44, + 78, + 3, + 50, + 237, + 44, + 71, + 177, + 175, + 16, + 65, + 52, + 73, + 144, + 202, + ], + }, + nonce: None, + balance: Some( + 10000000000000000000000, + ), + has_code: false, + has_storage: false, + }, + Hash { + raw_hash: [ + 93, + 234, + 223, + 2, + 221, + 131, + 68, + 39, + 82, + 131, + 254, + 227, + 148, + 148, + 92, + 94, + 21, + 120, + 112, + 84, + 224, + 238, + 242, + 31, + 80, + 201, + 96, + 253, + 145, + 50, + 50, + 151, + ], + }, + EmptyRoot, + AccountLeaf { + key: NonEmpty { + inner: [ + 2, + 65, + 127, + 80, + 252, + 105, + 158, + 187, + 129, + 126, + 35, + 70, + 142, + 17, + 72, + 54, + 251, + 69, + 120, + 182, + 40, + 28, + 237, + 115, + 223, + 140, + 187, + 254, + 251, + 66, + 114, + 67, + ], + }, + nonce: Some( + 1, + ), + balance: None, + has_code: true, + has_storage: true, + }, + Branch { + mask: 33344, + }, + Hash { + raw_hash: [ + 37, + 251, + 92, + 75, + 68, + 36, + 207, + 91, + 164, + 86, + 252, + 150, + 25, + 108, + 140, + 11, + 86, + 90, + 194, + 134, + 1, + 159, + 52, + 232, + 212, + 66, + 130, + 210, + 189, + 81, + 241, + 51, + ], + }, + Hash { + raw_hash: [ + 95, + 226, + 168, + 253, + 142, + 63, + 107, + 95, + 252, + 95, + 178, + 88, + 96, + 162, + 191, + 50, + 246, + 163, + 39, + 48, + 179, + 237, + 236, + 107, + 99, + 247, + 121, + 203, + 4, + 126, + 30, + 122, + ], + }, + Branch { + mask: 40447, + }, + ], + }, +} diff --git a/trace_decoder/src/type1/witness.rs b/trace_decoder/src/type1/witness.rs index 3e1d012b5..2d07508ef 100644 --- a/trace_decoder/src/type1/witness.rs +++ b/trace_decoder/src/type1/witness.rs @@ -62,6 +62,8 @@ pub enum Instruction { has_code: bool, has_storage: bool, }, + // BUG: see parse site + EmptyRoot, NewTrie, } @@ -117,6 +119,9 @@ fn instruction<'a, E: ParserError<'a>>(input: &mut &'a [u8]) -> PResult trace("account_leaf", account_leaf).parse_next(input), + // BUG: this opcode is is undocumented, but the previous version of + // this code had it, and our tests fail without it + 0x06 => trace("empty_root", empty.value(Instruction::EmptyRoot)).parse_next(input), 0xBB => trace("new_trie", empty.value(Instruction::NewTrie)).parse_next(input), _ => { input.reset(&start); diff --git a/trace_decoder/src/type1/witness2forest.rs b/trace_decoder/src/type1/witness2forest.rs index c9d9afb2b..a285d0022 100644 --- a/trace_decoder/src/type1/witness2forest.rs +++ b/trace_decoder/src/type1/witness2forest.rs @@ -71,6 +71,7 @@ pub fn forest( let mut stack = vec![]; for instruction in instructions { match instruction { + Instruction::EmptyRoot => todo!(), Instruction::Hash { raw_hash } => stack.push(Node::Hash(Hash { raw_hash })), Instruction::Code { raw_code } => stack.push(Node::Code(Code { code: raw_code })), Instruction::Leaf { key, value } => stack.push(Node::Leaf(Leaf {