← Watch feed
Add sign_psbt test for MuSig round 1 and 2
Public commit record
55/100 · Thin
What the developer wrote
Authored by Salvatore Ingala
Add sign_psbt test for MuSig round 1 and 2
✓ Descriptive subject✓ Names a concrete action or component✓ Mentions testing or verification! No meaningful explanatory body
What changed, and why it matters
This commit only adds new test cases for an existing feature (MuSig multi-signature signing) in the Rust client test suite. It does not change any production code, cryptographic logic, or application behavior. The changes are purely in test files: extending the test harness to check two new kinds of returned data (public nonces and partial signatures) and adding recorded device communication data for two MuSig signing scenarios. There is no indication of a security fix or vulnerability.
Recommended action
No security action required. Treat as routine test-coverage expansion. Reviewers may optionally verify that the new test vectors exercise the intended MuSig protocol flows and that the assertion helper correctly handles empty optional fields.
Security signals we found
No strong security signals were identified.
Evidence from the diff
The diff modifies bitcoin_client_rs/tests/client.rs and bitcoin_client_rs/tests/data/sign_psbt.json. The Rust test file imports two additional yielded-object types (MusigPartialSignature, MusigPubNonce), makes the ‘sigs’ field optional with unwrap_or_default, adds optional ‘musig_pub_nonces’ and ‘musig_partial_signatures’ fields, and refactors the assertion helper to validate all three yielded-object variants. The JSON file adds two new test vectors named ‘Musig 2 my ears’ covering MuSig round 1 (public nonce) and round 2 (partial signature), plus fills in previously empty ‘sigs’ arrays for two unrelated test cases. No application or library source code is changed.
Changed components
bitcoin_client_rs/tests/client.rsbitcoin_client_rs/tests/data/sign_psbt.jsonInspect captured patch +1103 / −49
diff --git a/bitcoin_client_rs/tests/client.rs b/bitcoin_client_rs/tests/client.rs
index d4bfde8..4dde47a 100644
--- a/bitcoin_client_rs/tests/client.rs
+++ b/bitcoin_client_rs/tests/client.rs
@@ -7,7 +7,8 @@ use bitcoin::{
psbt::Psbt,
};
use ledger_bitcoin_client::{
- async_client, client, psbt::PartialSignature, wallet, SignPsbtYieldedObject,
+ async_client, client, psbt::PartialSignature, wallet, MusigPartialSignature, MusigPubNonce,
+ SignPsbtYieldedObject,
};
fn test_cases(path: &str) -> Vec<serde_json::Value> {
@@ -305,7 +306,17 @@ async fn test_sign_psbt() {
let sigs: Vec<serde_json::Value> = case
.get("sigs")
.map(|v| serde_json::from_value(v.clone()).unwrap())
- .unwrap();
+ .unwrap_or_default();
+
+ let musig_pub_nonces: Vec<serde_json::Value> = case
+ .get("musig_pub_nonces")
+ .map(|v| serde_json::from_value(v.clone()).unwrap())
+ .unwrap_or_default();
+
+ let musig_partial_signatures: Vec<serde_json::Value> = case
+ .get("musig_partial_signatures")
+ .map(|v| serde_json::from_value(v.clone()).unwrap())
+ .unwrap_or_default();
let psbt_str: String = case
.get("psbt")
@@ -321,58 +332,157 @@ async fn test_sign_psbt() {
.sign_psbt(&psbt, &wallet, hmac.as_ref())
.unwrap();
- let check_signatures =
- |sigs: &[serde_json::Value], res: Vec<(usize, SignPsbtYieldedObject)>| {
- for (i, psbt_sig) in res {
- for (j, res_sig) in sigs.iter().enumerate() {
- if i == j {
- match psbt_sig {
- SignPsbtYieldedObject::Partial(PartialSignature::TapScriptSig(
- key,
- tapleaf_hash,
- sig,
- )) => {
- assert_eq!(
- res_sig
- .get("key")
- .map(|v| serde_json::from_value::<String>(v.clone())
- .unwrap())
- .unwrap(),
- key.to_string()
- );
- if let Some(tapleaf_hash_res) =
- res_sig.get("tapleaf_hash").map(|v| {
- serde_json::from_value::<String>(v.clone()).unwrap()
- })
- {
- assert_eq!(
- tapleaf_hash_res,
- hex::encode(tapleaf_hash.unwrap().to_byte_array())
- );
- }
- assert_eq!(
- res_sig
- .get("sig")
- .map(|v| serde_json::from_value::<String>(v.clone())
- .unwrap())
- .unwrap(),
- hex::encode(sig.to_vec())
- );
- }
- _ => {}
- }
- }
- }
+ let get_str = |v: &serde_json::Value, key: &str| -> String {
+ serde_json::from_value::<String>(v.get(key).unwrap().clone()).unwrap()
+ };
+
+ let check_optional_tapleaf =
+ |expected: &serde_json::Value, actual: &Option<bitcoin::taproot::TapLeafHash>| {
+ if let Some(expected_hash) = expected.get("tapleaf_hash") {
+ let expected_hash: String =
+ serde_json::from_value(expected_hash.clone()).unwrap();
+ assert_eq!(expected_hash, hex::encode(actual.unwrap().to_byte_array()));
+ } else {
+ assert!(actual.is_none());
}
};
- check_signatures(&sigs, res);
+ let check_results = |sigs: &[serde_json::Value],
+ musig_pub_nonces: &[serde_json::Value],
+ musig_partial_sigs: &[serde_json::Value],
+ res: &[(usize, SignPsbtYieldedObject)]| {
+ let mut partial_results: Vec<&(usize, SignPsbtYieldedObject)> = Vec::new();
+ let mut nonce_results: Vec<&(usize, SignPsbtYieldedObject)> = Vec::new();
+ let mut partialsig_results: Vec<&(usize, SignPsbtYieldedObject)> = Vec::new();
+
+ for item in res {
+ match &item.1 {
+ SignPsbtYieldedObject::Partial(_) => partial_results.push(item),
+ SignPsbtYieldedObject::MusigPubNonce(_) => nonce_results.push(item),
+ SignPsbtYieldedObject::MusigPartialSignature(_) => {
+ partialsig_results.push(item)
+ }
+ other => panic!("Unexpected variant: {:?}", other),
+ }
+ }
+
+ // Check partial signatures (Sig and TapScriptSig)
+ assert_eq!(
+ sigs.len(),
+ partial_results.len(),
+ "Expected {} partial sigs, got {}",
+ sigs.len(),
+ partial_results.len()
+ );
+ for (expected, (i, obj)) in sigs.iter().zip(partial_results.iter()) {
+ match obj {
+ SignPsbtYieldedObject::Partial(PartialSignature::Sig(key, sig)) => {
+ assert_eq!(get_str(expected, "key"), key.to_string(), "input {i}");
+ assert_eq!(
+ get_str(expected, "sig"),
+ hex::encode(sig.to_vec()),
+ "input {i}"
+ );
+ }
+ SignPsbtYieldedObject::Partial(PartialSignature::TapScriptSig(
+ key,
+ tapleaf_hash,
+ sig,
+ )) => {
+ assert_eq!(get_str(expected, "key"), key.to_string(), "input {i}");
+ check_optional_tapleaf(expected, tapleaf_hash);
+ assert_eq!(
+ get_str(expected, "sig"),
+ hex::encode(sig.to_vec()),
+ "input {i}"
+ );
+ }
+ _ => unreachable!(),
+ }
+ }
+
+ // Check musig pub nonces
+ assert_eq!(
+ musig_pub_nonces.len(),
+ nonce_results.len(),
+ "Expected {} musig pub nonces, got {}",
+ musig_pub_nonces.len(),
+ nonce_results.len()
+ );
+ for (expected, (i, obj)) in musig_pub_nonces.iter().zip(nonce_results.iter()) {
+ match obj {
+ SignPsbtYieldedObject::MusigPubNonce(MusigPubNonce {
+ participant_pubkey,
+ aggregate_pubkey,
+ tapleaf_hash,
+ pubnonce,
+ }) => {
+ assert_eq!(
+ get_str(expected, "participant_pubkey"),
+ participant_pubkey.to_string(),
+ "input {i}"
+ );
+ assert_eq!(
+ get_str(expected, "aggregate_pubkey"),
+ aggregate_pubkey.to_string(),
+ "input {i}"
+ );
+ assert_eq!(
+ get_str(expected, "pubnonce"),
+ hex::encode(pubnonce),
+ "input {i}"
+ );
+ check_optional_tapleaf(expected, tapleaf_hash);
+ }
+ _ => unreachable!(),
+ }
+ }
+
+ // Check musig partial signatures
+ assert_eq!(
+ musig_partial_sigs.len(),
+ partialsig_results.len(),
+ "Expected {} musig partial sigs, got {}",
+ musig_partial_sigs.len(),
+ partialsig_results.len()
+ );
+ for (expected, (i, obj)) in musig_partial_sigs.iter().zip(partialsig_results.iter()) {
+ match obj {
+ SignPsbtYieldedObject::MusigPartialSignature(MusigPartialSignature {
+ participant_pubkey,
+ aggregate_pubkey,
+ tapleaf_hash,
+ partial_signature,
+ }) => {
+ assert_eq!(
+ get_str(expected, "participant_pubkey"),
+ participant_pubkey.to_string(),
+ "input {i}"
+ );
+ assert_eq!(
+ get_str(expected, "aggregate_pubkey"),
+ aggregate_pubkey.to_string(),
+ "input {i}"
+ );
+ assert_eq!(
+ get_str(expected, "partial_signature"),
+ hex::encode(partial_signature),
+ "input {i}"
+ );
+ check_optional_tapleaf(expected, tapleaf_hash);
+ }
+ _ => unreachable!(),
+ }
+ }
+ };
+
+ check_results(&sigs, &musig_pub_nonces, &musig_partial_signatures, &res);
let res = async_client::BitcoinClient::new(utils::TransportReplayer::new(store.clone()))
.sign_psbt(&psbt, &wallet, hmac.as_ref())
.await
.unwrap();
- check_signatures(&sigs, res);
+ check_results(&sigs, &musig_pub_nonces, &musig_partial_signatures, &res);
}
}
diff --git a/bitcoin_client_rs/tests/data/sign_psbt.json b/bitcoin_client_rs/tests/data/sign_psbt.json
index 593afcf..96fa042 100644
--- a/bitcoin_client_rs/tests/data/sign_psbt.json
+++ b/bitcoin_client_rs/tests/data/sign_psbt.json
@@ -456,7 +456,12 @@
"=> f801000100",
"<= 9000"
],
- "sigs": []
+ "sigs": [
+ {
+ "key": "024ba3b77d933de9fa3f9583348c40f3caaf2effad5b6e244ece8abbfcc7244f67",
+ "sig": "30440220720722b08489c2a50d10edea8e21880086c8e8f22889a16815e306daeea4665b02203fcf453fa490b76cf4f929714065fc90a519b7b97ab18914f9451b5a4b45241201"
+ }
+ ]
},
{
"name": "Liana",
@@ -859,7 +864,12 @@
"=> f80100017c7a7a005b38613634663261395d7470756244364e7a56626b7259685a34576d7a466a765172703773446134454355785469396f6279384b34465a6b64335843427445644b7755695179594a6178694a6f357934326779445745637a7246706f7a456a654c784d50786a663257746b66636270556466764e6e6f7a5746",
"<= 9000"
],
- "sigs": []
+ "sigs": [
+ {
+ "key": "023672a5a973d5005b6819b765a42a3be2f0aa0c0ae8b4d294652fac06df6b8a0c",
+ "sig": "304402201292a1d5c1ae3211e4c365553a187175fe01e82da5c67d8ab6681068241f57e60220429db8adf3b0c560c4ef5bb635521d58807f112080523136743e22fe7ec075c801"
+ }
+ ]
},
{
"name": "Taproot foreign internal key, and our script key",
@@ -1299,5 +1309,939 @@
"sig": "43493158062db6905dea9ba3ae6c14e1e155ba47aa1cfb35282052ac4dbc1c6718cda5c911a11599a869557ab34242cb0a227836e98976061530ca4de49eed9e01"
}
]
+ },
+ {
+ "name": "Musig 2 my ears",
+ "policy": "tr(musig(@0,@1)/**)",
+ "keys": [
+ "[f5acc2fd/48'/1'/0'/2']tpubDFAqEGNyad35aBCKUAXbQGDjdVhNueno5ZZVEn3sQbW5ci457gLR7HyTmHBg93oourBssgUxuWz1jX5uhc1qaqFo9VsybY1J5FuedLfm4dK",
+ "tpubD6NzVbkrYhZ4YAPXpMw61GrdqXJJEiYhHo6wxVkfwZgUged5qXm6Df4NLf8ZTFXxW1UhxDKGeKdAVxZtmodC8KfR7SqmW6LGQfDGfnFLmQ6"
+ ],
+ "hmac": "a189532e420785ebf7e2bfcfa60509e3a6c96eafdfcd1d7b3f67315ce61ee1f4",
+ "psbt": "cHNidP8BAH0CAAAAAfjLE2bITOIvFGyhs2DuqU407xa3bbLYO2LYRZ0KGvWjAQAAAAD9////AkBCDwAAAAAAFgAUN2XLvdAjjrSQDks97sC79Y3HegOxU4kAAAAAACJRILHWQqxLla8nXU/6Na9UToz3DwQW4g59BxB/YuyxliQQAAAAAAABASuAlpgAAAAAACJRIOPg1QV/ZN78Rbbj8mHZPYlYyhqwjYjENE2IEphTzMnoIRa1bUJbQd8m95FFgdtcUqcqB89d4MhkACLq8KlY90WHYA0ATcx7+wAAAAADAAAAARcgtW1CW0HfJveRRYHbXFKnKgfPXeDIZAAi6vCpWPdFh2AiGgOfVaTQXAZc2W185kusTOMP5mwXIXBhTOZlH9CX5Eyol0IDZ6wvQTRA5DwRKy2x9lLQtiisFFZKuk1+qQFl+B1SdgoDmYOLF5vqnLMMzUXoSJq5B/JvDpB96KvYqmyTuBPe9tQAAAEFIE8j3kpLoeNX/5t2RgfKhJVxBJw8ebCD8sgydj0cQt1PIQdPI95KS6HjV/+bdkYHyoSVcQScPHmwg/LIMnY9HELdTw0ATcx7+wEAAAAAAAAAIQdnrC9BNEDkPBErLbH2UtC2KKwUVkq6TX6pAWX4HVJ2ChUA9azC/TAAAIABAACAAAAAgAIAAIAhB5mDixeb6pyzDM1F6EiauQfybw6Qfeir2Kpsk7gT3vbUBQAbhFCkIggDn1Wk0FwGXNltfOZLrEzjD+ZsFyFwYUzmZR/Ql+RMqJdCA2esL0E0QOQ8ESstsfZS0LYorBRWSrpNfqkBZfgdUnYKA5mDixeb6pyzDM1F6EiauQfybw6Qfeir2Kpsk7gT3vbUAA==",
+ "exchanges": [
+ "=> e1040001c305519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e3132162086d8d9498a323006ec5982eeb4ea7c41d27020d57985512ab59ff8f40d5015070185247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a4023d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812dc8884c7816c9d7c9ce9042ebeba7a3d5f9b7111821cbad614bb69b85acc15510a189532e420785ebf7e2bfcfa60509e3a6c96eafdfcd1d7b3f67315ce61ee1f4",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200500e000",
+ "=> f801000182fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177f0303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d4b8c129ed14cce2c08cfc6766db7f8cdb133b5f698b8de3d5890ea7ff7f0a8d195811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 4000fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177fe000",
+ "=> f80100010402020002",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200501e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d0303fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177f4b8c129ed14cce2c08cfc6766db7f8cdb133b5f698b8de3d5890ea7ff7f0a8d195811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200502e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a403039f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d52c56b473e5246933e7852989cd9feba3b38f078742b93afff1e65ed4679782595811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200503e000",
+ "=> f8010001829f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a452c56b473e5246933e7852989cd9feba3b38f078742b93afff1e65ed4679782595811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 40009f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3de000",
+ "=> f80100010402020005",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200504e000",
+ "=> f80100014295811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926010112885c5025dece82b9e180bdaf19d6e5571772906c9c24de31790023755c8888",
+ "<= 400095811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926e000",
+ "=> f801000104020200fb",
+ "<= 42519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e31321620fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177fe000",
+ "=> f8010001020100",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200500e000",
+ "=> f801000182fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177f0303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d4b8c129ed14cce2c08cfc6766db7f8cdb133b5f698b8de3d5890ea7ff7f0a8d195811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 4186d8d9498a323006ec5982eeb4ea7c41d27020d57985512ab59ff8f40d5015070500e000",
+ "=> f8010001820bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b903038855508aade16ec573d21e6a485dfd0a7624085c1a14b5ecdd6485de0c6839a46bcf0e2e93e0a18e22789aee965e6553f4fbe93f0acfc4a705d691c8311c49650bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b9",
+ "<= 40000bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b9e000",
+ "=> f80100010705050002000000",
+ "<= 42519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e31321620583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020101",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200501e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d0303fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177f4b8c129ed14cce2c08cfc6766db7f8cdb133b5f698b8de3d5890ea7ff7f0a8d195811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 4186d8d9498a323006ec5982eeb4ea7c41d27020d57985512ab59ff8f40d5015070501e000",
+ "=> f8010001828855508aade16ec573d21e6a485dfd0a7624085c1a14b5ecdd6485de0c6839a403030bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b96bcf0e2e93e0a18e22789aee965e6553f4fbe93f0acfc4a705d691c8311c49650bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b9",
+ "<= 40008855508aade16ec573d21e6a485dfd0a7624085c1a14b5ecdd6485de0c6839a4e000",
+ "=> f80100010705050000000000",
+ "<= 4000c8884c7816c9d7c9ce9042ebeba7a3d5f9b7111821cbad614bb69b85acc15510e000",
+ "=> f8010001555353020f4d757369672032206d792065617273134d1fdac1a90eed146aa6b3a14d6f99d0b8d7f26fe837880fe77ace31e71c1a780205ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e",
+ "<= 40004d1fdac1a90eed146aa6b3a14d6f99d0b8d7f26fe837880fe77ace31e71c1a78e000",
+ "=> f80100011513137472286d757369672840302c4031292f2a2a29",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 4185247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a40100e000",
+ "=> f80100012285247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a40000",
+ "<= 400085247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a4e000",
+ "=> f80100014442420007f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633487c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be7670",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480700e000",
+ "=> f801000182b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d203039f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 4000b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f80100010402020001",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480701e000",
+ "=> f8010001829f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960303b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40009f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001040202000e",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480702e000",
+ "=> f8010001823b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050903030298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40003b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001040202000f",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480703e000",
+ "=> f8010001820298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe703033b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40000298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f80100010402020010",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480704e000",
+ "=> f801000182fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de030367a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 4000fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dee000",
+ "=> f80100012422220016b56d425b41df26f7914581db5c52a72a07cf5de0c8640022eaf0a958f7458760",
+ "<= 417c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be76700704e000",
+ "=> f80100018207afe11614d9c354c861d0bade08dc5340bc8e70ae60fd87e9eba32969adf0d6030318696388cc924bf83abb752710b1655eb2eb03d2495787856dccf932e58c4fb759579c1ea9b91106ace403ca45b0d6aca9c05e736389869839dca806acb948251b6625dce55ee2d624a5f618cabe7534a0a0286cd7322d7b109e911475a66086",
+ "<= 400007afe11614d9c354c861d0bade08dc5340bc8e70ae60fd87e9eba32969adf0d6e000",
+ "=> f8010001100e0e00004dcc7bfb0000000003000000",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480705e000",
+ "=> f80100018267a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed019040120303fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dea99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 400067a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012e000",
+ "=> f80100010402020017",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480706e000",
+ "=> f801000162a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9020260d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 4000a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9e000",
+ "=> f8010001252323001a039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 42f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe63348b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f8010001020100",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480700e000",
+ "=> f801000182b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d203039f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 417c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be76700700e000",
+ "=> f8010001821bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b916653203034bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387ba9c17c350269cd0f4fefb394a22845d64baebc115abc006725994f13898d15bebe11b2c3633b1da60e83d2466485f885243a7ac5e14a04427214108e69b66b9aa",
+ "<= 40001bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b9166532e000",
+ "=> f80100012e2c2c008096980000000000225120e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 413d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812d0200e000",
+ "=> f80100014220d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32e01017a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59",
+ "<= 400020d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32ee000",
+ "=> f8010001444242000278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d35324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0200e000",
+ "=> f801000142583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d01014f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0201e000",
+ "=> f8010001424f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40101583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 4278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020100",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0200e000",
+ "=> f801000142583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d01014f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4",
+ "<= 4135324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f0200e000",
+ "=> f8010001427fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f80101a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045b",
+ "<= 40007fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f8e000",
+ "=> f80100010b09090040420f0000000000",
+ "<= 4278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d4f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f8010001020101",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0201e000",
+ "=> f8010001424f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40101583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d",
+ "<= 4135324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f0201e000",
+ "=> f801000142a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045b01017fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f8",
+ "<= 4000a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045be000",
+ "=> f80100011917170000143765cbbdd0238eb4900e4b3deec0bbf58dc77a03",
+ "<= 413d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812d0201e000",
+ "=> f8010001427a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59010120d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32e",
+ "<= 40007a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59e000",
+ "=> f80100014442420007868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb002776392984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b478",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630700e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a45ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630701e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d5ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630702e000",
+ "=> f8010001829f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d0303bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f07878850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d89ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 40009f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3de000",
+ "=> f80100010402020005",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630703e000",
+ "=> f801000182bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f07803039f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d78850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d89ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4000bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f078e000",
+ "=> f801000124222200074f23de4a4ba1e357ff9b764607ca849571049c3c79b083f2c832763d1c42dd4f",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780703e000",
+ "=> f801000182e722ff39f05537b7e7bded010d2aac07f10e860ee9d293c58e398cb5b56e68f303037174f673abbedf4261d0d198ba70e65d965a693a42a40ed829412479939ba4d2aae7152f1d5cae26716e6b86abacd74be2c369b2541c559a35a1120281f578d5959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 4000e722ff39f05537b7e7bded010d2aac07f10e860ee9d293c58e398cb5b56e68f3e000",
+ "=> f8010001100e0e00004dcc7bfb0100000000000000",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630704e000",
+ "=> f801000182f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e5030396610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e14b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e464a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 4000f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e5e000",
+ "=> f8010001242222000767ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630705e000",
+ "=> f80100018296610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e10303f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e54b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e464a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 400096610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e1e000",
+ "=> f8010001242222000799838b179bea9cb30ccd45e8489ab907f26f0e907de8abd8aa6c93b813def6d4",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630706e000",
+ "=> f8010001624b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e460202e8d5e765482e286d21624c5a41b337759f222e753d5e4e9b6bc00efa044482ce4a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 40004b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e46e000",
+ "=> f80100012523230008039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 42868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb0027763583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020100",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630700e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a45ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780700e000",
+ "=> f801000182a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eac030356be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f83e06f3b3308f5b2a77f3b78e11ef46d3e3ee53d59659aeb3b0bfb460c81d094e959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 4000a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eace000",
+ "=> f80100010b090900b153890000000000",
+ "<= 42868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277634f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f8010001020101",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630701e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d5ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780701e000",
+ "=> f80100018256be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f80303a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eac3e06f3b3308f5b2a77f3b78e11ef46d3e3ee53d59659aeb3b0bfb460c81d094e959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 400056be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f8e000",
+ "=> f8010001252323005120b1d642ac4b95af275d4ffa35af544e8cf70f0416e20e7d07107f62ecb1962410",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 4185247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a40100e000",
+ "=> f80100012285247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a40000",
+ "<= 400085247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a4e000",
+ "=> f80100014442420007f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633487c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be7670",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480700e000",
+ "=> f801000182b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d203039f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 4000b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f80100010402020001",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480701e000",
+ "=> f8010001829f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960303b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40009f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001040202000e",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480702e000",
+ "=> f8010001823b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050903030298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40003b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001040202000f",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480703e000",
+ "=> f8010001820298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe703033b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40000298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f80100010402020010",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480704e000",
+ "=> f801000182fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de030367a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 4000fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dee000",
+ "=> f80100012422220016b56d425b41df26f7914581db5c52a72a07cf5de0c8640022eaf0a958f7458760",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480705e000",
+ "=> f80100018267a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed019040120303fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dea99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 400067a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012e000",
+ "=> f80100010402020017",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480706e000",
+ "=> f801000162a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9020260d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 4000a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9e000",
+ "=> f8010001252323001a039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 42f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633489f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001020101",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480701e000",
+ "=> f8010001829f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960303b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 417c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be76700701e000",
+ "=> f8010001824bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387ba03031bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b91665329c17c350269cd0f4fefb394a22845d64baebc115abc006725994f13898d15bebe11b2c3633b1da60e83d2466485f885243a7ac5e14a04427214108e69b66b9aa",
+ "<= 40004bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387bae000",
+ "=> f801000123212100f8cb1366c84ce22f146ca1b360eea94e34ef16b76db2d83b62d8459d0a1af5a3",
+ "<= 42f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633483b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001020102",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480702e000",
+ "=> f8010001823b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050903030298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 417c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be76700702e000",
+ "=> f80100018286f9649499b0080656c014aa244f654864bad4145c8513e9c8409f437d4a2b3b0303b2db18c190abf44354f0286c60b2a6b6a2db6d1a36a6829e66298918b55e1d98c8256b2414cf8fa78d9d1543d7f290f8a2ccd7b19639982c8ec50b9003a4e31be11b2c3633b1da60e83d2466485f885243a7ac5e14a04427214108e69b66b9aa",
+ "<= 400086f9649499b0080656c014aa244f654864bad4145c8513e9c8409f437d4a2b3be000",
+ "=> f80100010705050001000000",
+ "<= 42f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f8010001020103",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480703e000",
+ "=> f8010001820298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe703033b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 417c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be76700703e000",
+ "=> f801000182b2db18c190abf44354f0286c60b2a6b6a2db6d1a36a6829e66298918b55e1d98030386f9649499b0080656c014aa244f654864bad4145c8513e9c8409f437d4a2b3bc8256b2414cf8fa78d9d1543d7f290f8a2ccd7b19639982c8ec50b9003a4e31be11b2c3633b1da60e83d2466485f885243a7ac5e14a04427214108e69b66b9aa",
+ "<= 4000b2db18c190abf44354f0286c60b2a6b6a2db6d1a36a6829e66298918b55e1d98e000",
+ "=> f801000107050500fdffffff",
+ "<= 413d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812d0200e000",
+ "=> f80100014220d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32e01017a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59",
+ "<= 400020d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32ee000",
+ "=> f8010001444242000278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d35324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0200e000",
+ "=> f801000142583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d01014f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0201e000",
+ "=> f8010001424f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40101583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 4278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020100",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0200e000",
+ "=> f801000142583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d01014f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4",
+ "<= 4135324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f0200e000",
+ "=> f8010001427fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f80101a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045b",
+ "<= 40007fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f8e000",
+ "=> f80100010b09090040420f0000000000",
+ "<= 4278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d4f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f8010001020101",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0201e000",
+ "=> f8010001424f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40101583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d",
+ "<= 4135324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f0201e000",
+ "=> f801000142a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045b01017fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f8",
+ "<= 4000a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045be000",
+ "=> f80100011917170000143765cbbdd0238eb4900e4b3deec0bbf58dc77a03",
+ "<= 413d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812d0201e000",
+ "=> f8010001427a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59010120d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32e",
+ "<= 40007a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59e000",
+ "=> f80100014442420007868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb002776392984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b478",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630700e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a45ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630701e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d5ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630702e000",
+ "=> f8010001829f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d0303bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f07878850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d89ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 40009f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3de000",
+ "=> f80100010402020005",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630703e000",
+ "=> f801000182bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f07803039f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d78850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d89ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4000bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f078e000",
+ "=> f801000124222200074f23de4a4ba1e357ff9b764607ca849571049c3c79b083f2c832763d1c42dd4f",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630704e000",
+ "=> f801000182f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e5030396610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e14b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e464a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 4000f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e5e000",
+ "=> f8010001242222000767ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630705e000",
+ "=> f80100018296610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e10303f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e54b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e464a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 400096610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e1e000",
+ "=> f8010001242222000799838b179bea9cb30ccd45e8489ab907f26f0e907de8abd8aa6c93b813def6d4",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630706e000",
+ "=> f8010001624b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e460202e8d5e765482e286d21624c5a41b337759f222e753d5e4e9b6bc00efa044482ce4a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 40004b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e46e000",
+ "=> f80100012523230008039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 42868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb0027763583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020100",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630700e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a45ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780700e000",
+ "=> f801000182a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eac030356be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f83e06f3b3308f5b2a77f3b78e11ef46d3e3ee53d59659aeb3b0bfb460c81d094e959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 4000a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eace000",
+ "=> f80100010b090900b153890000000000",
+ "<= 42868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277634f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f8010001020101",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630701e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d5ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780701e000",
+ "=> f80100018256be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f80303a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eac3e06f3b3308f5b2a77f3b78e11ef46d3e3ee53d59659aeb3b0bfb460c81d094e959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 400056be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f8e000",
+ "=> f8010001252323005120b1d642ac4b95af275d4ffa35af544e8cf70f0416e20e7d07107f62ecb1962410",
+ "<= 4185247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a40100e000",
+ "=> f80100012285247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a40000",
+ "<= 400085247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a4e000",
+ "=> f80100014442420007f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633487c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be7670",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480700e000",
+ "=> f801000182b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d203039f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 4000b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f80100010402020001",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480701e000",
+ "=> f8010001829f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960303b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40009f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001040202000e",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480702e000",
+ "=> f8010001823b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050903030298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40003b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001040202000f",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480703e000",
+ "=> f8010001820298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe703033b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40000298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f80100010402020010",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480704e000",
+ "=> f801000182fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de030367a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 4000fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dee000",
+ "=> f80100012422220016b56d425b41df26f7914581db5c52a72a07cf5de0c8640022eaf0a958f7458760",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480705e000",
+ "=> f80100018267a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed019040120303fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dea99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 400067a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012e000",
+ "=> f80100010402020017",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480706e000",
+ "=> f801000162a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9020260d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 4000a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9e000",
+ "=> f8010001252323001a039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 42f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe63348b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f8010001020100",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480700e000",
+ "=> f801000182b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d203039f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 417c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be76700700e000",
+ "=> f8010001821bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b916653203034bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387ba9c17c350269cd0f4fefb394a22845d64baebc115abc006725994f13898d15bebe11b2c3633b1da60e83d2466485f885243a7ac5e14a04427214108e69b66b9aa",
+ "<= 40001bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b9166532e000",
+ "=> f80100012e2c2c008096980000000000225120e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 4185247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a40100e000",
+ "=> f80100012285247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a40000",
+ "<= 400085247b317dbf58cc96e26a68e97893379e6077fafc3f9c5824c8c68b4855c2a4e000",
+ "=> f80100014442420007f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633487c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be7670",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480700e000",
+ "=> f801000182b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d203039f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 4000b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f80100010402020001",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480701e000",
+ "=> f8010001829f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960303b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff013c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40009f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001040202000e",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480702e000",
+ "=> f8010001823b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050903030298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40003b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001040202000f",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480703e000",
+ "=> f8010001820298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe703033b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52973c4ef002ea1f53392335af22b1ec00a427304a0f49dda51d432b4a78f656ed89",
+ "<= 40000298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f80100010402020010",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480704e000",
+ "=> f801000182fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de030367a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 4000fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dee000",
+ "=> f80100012422220016b56d425b41df26f7914581db5c52a72a07cf5de0c8640022eaf0a958f7458760",
+ "<= 417c7d4a899c9d53b039025f4376c2db5746dcf43d4ff504a7ca21e77e27be76700704e000",
+ "=> f80100018207afe11614d9c354c861d0bade08dc5340bc8e70ae60fd87e9eba32969adf0d6030318696388cc924bf83abb752710b1655eb2eb03d2495787856dccf932e58c4fb759579c1ea9b91106ace403ca45b0d6aca9c05e736389869839dca806acb948251b6625dce55ee2d624a5f618cabe7534a0a0286cd7322d7b109e911475a66086",
+ "<= 400007afe11614d9c354c861d0bade08dc5340bc8e70ae60fd87e9eba32969adf0d6e000",
+ "=> f8010001100e0e00004dcc7bfb0000000003000000",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480705e000",
+ "=> f80100018267a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed019040120303fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dea99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 400067a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012e000",
+ "=> f80100010402020017",
+ "<= 41f2fa87cd5457b15b5fe77ff6f4091abd5368b2a887ec00fcf69a2d53dbe633480706e000",
+ "=> f801000162a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9020260d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c23",
+ "<= 4000a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9e000",
+ "=> f8010001252323001a039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 10feffffffff000389e2e9dc40b0a98c541a955f9b159f4457edc6aa17b67f3d10f2cfb47341b9310340a8b1974e645af6326939d85834ff1515dd9d93fcb7af1935c924aa5a8488550367ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a02e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8e000",
+ "=> f801000100",
+ "<= 9000"
+ ],
+ "musig_pub_nonces": [
+ {
+ "participant_pubkey": "0367ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a",
+ "aggregate_pubkey": "02e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "pubnonce": "0389e2e9dc40b0a98c541a955f9b159f4457edc6aa17b67f3d10f2cfb47341b9310340a8b1974e645af6326939d85834ff1515dd9d93fcb7af1935c924aa5a848855"
+ }
+ ]
+ },
+ {
+ "name": "Musig 2 my ears",
+ "policy": "tr(musig(@0,@1)/**)",
+ "keys": [
+ "[f5acc2fd/48'/1'/0'/2']tpubDFAqEGNyad35aBCKUAXbQGDjdVhNueno5ZZVEn3sQbW5ci457gLR7HyTmHBg93oourBssgUxuWz1jX5uhc1qaqFo9VsybY1J5FuedLfm4dK",
+ "tpubD6NzVbkrYhZ4YAPXpMw61GrdqXJJEiYhHo6wxVkfwZgUged5qXm6Df4NLf8ZTFXxW1UhxDKGeKdAVxZtmodC8KfR7SqmW6LGQfDGfnFLmQ6"
+ ],
+ "hmac": "a189532e420785ebf7e2bfcfa60509e3a6c96eafdfcd1d7b3f67315ce61ee1f4",
+ "psbt": "cHNidP8BAH0CAAAAAfjLE2bITOIvFGyhs2DuqU407xa3bbLYO2LYRZ0KGvWjAQAAAAD9////AkBCDwAAAAAAFgAUN2XLvdAjjrSQDks97sC79Y3HegOxU4kAAAAAACJRILHWQqxLla8nXU/6Na9UToz3DwQW4g59BxB/YuyxliQQAAAAAAABASuAlpgAAAAAACJRIOPg1QV/ZN78Rbbj8mHZPYlYyhqwjYjENE2IEphTzMnoIRa1bUJbQd8m95FFgdtcUqcqB89d4MhkACLq8KlY90WHYA0ATcx7+wAAAAADAAAAARcgtW1CW0HfJveRRYHbXFKnKgfPXeDIZAAi6vCpWPdFh2AiGgOfVaTQXAZc2W185kusTOMP5mwXIXBhTOZlH9CX5Eyol0IDZ6wvQTRA5DwRKy2x9lLQtiisFFZKuk1+qQFl+B1SdgoDmYOLF5vqnLMMzUXoSJq5B/JvDpB96KvYqmyTuBPe9tRDGwNnrC9BNEDkPBErLbH2UtC2KKwUVkq6TX6pAWX4HVJ2CgLj4NUFf2Te/EW24/Jh2T2JWMoasI2IxDRNiBKYU8zJ6EIDieLp3ECwqYxUGpVfmxWfRFftxqoXtn89EPLPtHNBuTEDQKixl05kWvYyaTnYWDT/FRXdnZP8t68ZNckkqlqEiFVDGwOZg4sXm+qcswzNRehImrkH8m8OkH3oq9iqbJO4E9721ALj4NUFf2Te/EW24/Jh2T2JWMoasI2IxDRNiBKYU8zJ6EID7gXFEvgjzULBsDLq0R+klhWzE2sAjYY90Ib5as3toPcC4HVnqgYBRpvhO7m7Ess0mgOd6/6ARwQ59LAWkJ/7TUoAAAEFIE8j3kpLoeNX/5t2RgfKhJVxBJw8ebCD8sgydj0cQt1PIQdPI95KS6HjV/+bdkYHyoSVcQScPHmwg/LIMnY9HELdTw0ATcx7+wEAAAAAAAAAIQdnrC9BNEDkPBErLbH2UtC2KKwUVkq6TX6pAWX4HVJ2ChUA9azC/TAAAIABAACAAAAAgAIAAIAhB5mDixeb6pyzDM1F6EiauQfybw6Qfeir2Kpsk7gT3vbUBQAbhFCkIggDn1Wk0FwGXNltfOZLrEzjD+ZsFyFwYUzmZR/Ql+RMqJdCA2esL0E0QOQ8ESstsfZS0LYorBRWSrpNfqkBZfgdUnYKA5mDixeb6pyzDM1F6EiauQfybw6Qfeir2Kpsk7gT3vbUAA==",
+ "exchanges": [
+ "=> e1040001c305519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e3132162086d8d9498a323006ec5982eeb4ea7c41d27020d57985512ab59ff8f40d501507018244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b023d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812dc8884c7816c9d7c9ce9042ebeba7a3d5f9b7111821cbad614bb69b85acc15510a189532e420785ebf7e2bfcfa60509e3a6c96eafdfcd1d7b3f67315ce61ee1f4",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200500e000",
+ "=> f801000182fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177f0303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d4b8c129ed14cce2c08cfc6766db7f8cdb133b5f698b8de3d5890ea7ff7f0a8d195811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 4000fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177fe000",
+ "=> f80100010402020002",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200501e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d0303fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177f4b8c129ed14cce2c08cfc6766db7f8cdb133b5f698b8de3d5890ea7ff7f0a8d195811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200502e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a403039f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d52c56b473e5246933e7852989cd9feba3b38f078742b93afff1e65ed4679782595811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200503e000",
+ "=> f8010001829f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a452c56b473e5246933e7852989cd9feba3b38f078742b93afff1e65ed4679782595811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 40009f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3de000",
+ "=> f80100010402020005",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200504e000",
+ "=> f80100014295811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926010112885c5025dece82b9e180bdaf19d6e5571772906c9c24de31790023755c8888",
+ "<= 400095811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926e000",
+ "=> f801000104020200fb",
+ "<= 42519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e31321620fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177fe000",
+ "=> f8010001020100",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200500e000",
+ "=> f801000182fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177f0303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d4b8c129ed14cce2c08cfc6766db7f8cdb133b5f698b8de3d5890ea7ff7f0a8d195811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 4186d8d9498a323006ec5982eeb4ea7c41d27020d57985512ab59ff8f40d5015070500e000",
+ "=> f8010001820bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b903038855508aade16ec573d21e6a485dfd0a7624085c1a14b5ecdd6485de0c6839a46bcf0e2e93e0a18e22789aee965e6553f4fbe93f0acfc4a705d691c8311c49650bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b9",
+ "<= 40000bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b9e000",
+ "=> f80100010705050002000000",
+ "<= 42519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e31321620583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020101",
+ "<= 41519b38dae74447b72151f354cb138ca3591a5ff8ac813289b18a004e313216200501e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d0303fcf0a6c700dd13e274b6fba8deea8dd9b26e4eedde3495717cac8408c9c5177f4b8c129ed14cce2c08cfc6766db7f8cdb133b5f698b8de3d5890ea7ff7f0a8d195811f41d3d5c58240be155bb7d1dcb8f47add7e3417c24e1d52d41653013926",
+ "<= 4186d8d9498a323006ec5982eeb4ea7c41d27020d57985512ab59ff8f40d5015070501e000",
+ "=> f8010001828855508aade16ec573d21e6a485dfd0a7624085c1a14b5ecdd6485de0c6839a403030bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b96bcf0e2e93e0a18e22789aee965e6553f4fbe93f0acfc4a705d691c8311c49650bd288cecce2dfc6c9b9245ab747a10870f84c16e986e61b259603b59cf1f3b9",
+ "<= 40008855508aade16ec573d21e6a485dfd0a7624085c1a14b5ecdd6485de0c6839a4e000",
+ "=> f80100010705050000000000",
+ "<= 4000c8884c7816c9d7c9ce9042ebeba7a3d5f9b7111821cbad614bb69b85acc15510e000",
+ "=> f8010001555353020f4d757369672032206d792065617273134d1fdac1a90eed146aa6b3a14d6f99d0b8d7f26fe837880fe77ace31e71c1a780205ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e",
+ "<= 40004d1fdac1a90eed146aa6b3a14d6f99d0b8d7f26fe837880fe77ace31e71c1a78e000",
+ "=> f80100011513137472286d757369672840302c4031292f2a2a29",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 418244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b0100e000",
+ "=> f8010001228244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b0000",
+ "<= 40008244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882be000",
+ "=> f80100014442420009b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c9478098f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf7",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800900e000",
+ "=> f8010001a2b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d204049f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f80100010402020001",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800901e000",
+ "=> f8010001a29f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960404b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40009f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001040202000e",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800902e000",
+ "=> f8010001a23b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050904040298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40003b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001040202000f",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800903e000",
+ "=> f8010001a20298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe704043b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40000298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f80100010402020010",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800904e000",
+ "=> f8010001a2fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de040467a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed0190401284f3b6da3a1ce1b4f06df94281c0bdef5e0bd5290d7e8cdeb7bee77679a7a026b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dee000",
+ "=> f80100012422220016b56d425b41df26f7914581db5c52a72a07cf5de0c8640022eaf0a958f7458760",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70904e000",
+ "=> f8010001a207afe11614d9c354c861d0bade08dc5340bc8e70ae60fd87e9eba32969adf0d6040418696388cc924bf83abb752710b1655eb2eb03d2495787856dccf932e58c4fb756b39d0059b2a99a0008ab0c0b4f3e74fe586890ee2dc7338771eb2b9c0d64bf1b6625dce55ee2d624a5f618cabe7534a0a0286cd7322d7b109e911475a660865fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 400007afe11614d9c354c861d0bade08dc5340bc8e70ae60fd87e9eba32969adf0d6e000",
+ "=> f8010001100e0e00004dcc7bfb0000000003000000",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800905e000",
+ "=> f8010001a267a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed019040120404fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de84f3b6da3a1ce1b4f06df94281c0bdef5e0bd5290d7e8cdeb7bee77679a7a026b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 400067a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012e000",
+ "=> f80100010402020017",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800906e000",
+ "=> f8010001a2a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf90404baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d760d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9e000",
+ "=> f8010001252323001a039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800907e000",
+ "=> f8010001a2baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d70404a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf960d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d7e000",
+ "=> f8010001464444001b0367ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a02e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800908e000",
+ "=> f8010001422a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e010112781da303905c150f1644ee5e49419d5710111d1f079b31fac260d03738c290",
+ "<= 40002a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3ee000",
+ "=> f8010001464444001b0399838b179bea9cb30ccd45e8489ab907f26f0e907de8abd8aa6c93b813def6d402e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c94780b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f8010001020100",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800900e000",
+ "=> f8010001a2b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d204049f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70900e000",
+ "=> f8010001a21bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b916653204044bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387ba9c17c350269cd0f4fefb394a22845d64baebc115abc006725994f13898d15bebf126f48af04b4cf57493f4abaa5ebd4b40a8a808c8d9df319d8c34e3ce6e4cec5fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 40001bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b9166532e000",
+ "=> f80100012e2c2c008096980000000000225120e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 413d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812d0200e000",
+ "=> f80100014220d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32e01017a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59",
+ "<= 400020d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32ee000",
+ "=> f8010001444242000278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d35324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0200e000",
+ "=> f801000142583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d01014f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0201e000",
+ "=> f8010001424f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40101583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 4278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020100",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0200e000",
+ "=> f801000142583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d01014f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4",
+ "<= 4135324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f0200e000",
+ "=> f8010001427fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f80101a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045b",
+ "<= 40007fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f8e000",
+ "=> f80100010b09090040420f0000000000",
+ "<= 4278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d4f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f8010001020101",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0201e000",
+ "=> f8010001424f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40101583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d",
+ "<= 4135324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f0201e000",
+ "=> f801000142a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045b01017fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f8",
+ "<= 4000a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045be000",
+ "=> f80100011917170000143765cbbdd0238eb4900e4b3deec0bbf58dc77a03",
+ "<= 413d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812d0201e000",
+ "=> f8010001427a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59010120d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32e",
+ "<= 40007a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59e000",
+ "=> f80100014442420007868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb002776392984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b478",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630700e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a45ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630701e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d5ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630702e000",
+ "=> f8010001829f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d0303bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f07878850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d89ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 40009f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3de000",
+ "=> f80100010402020005",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630703e000",
+ "=> f801000182bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f07803039f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d78850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d89ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4000bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f078e000",
+ "=> f801000124222200074f23de4a4ba1e357ff9b764607ca849571049c3c79b083f2c832763d1c42dd4f",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780703e000",
+ "=> f801000182e722ff39f05537b7e7bded010d2aac07f10e860ee9d293c58e398cb5b56e68f303037174f673abbedf4261d0d198ba70e65d965a693a42a40ed829412479939ba4d2aae7152f1d5cae26716e6b86abacd74be2c369b2541c559a35a1120281f578d5959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 4000e722ff39f05537b7e7bded010d2aac07f10e860ee9d293c58e398cb5b56e68f3e000",
+ "=> f8010001100e0e00004dcc7bfb0100000000000000",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630704e000",
+ "=> f801000182f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e5030396610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e14b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e464a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 4000f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e5e000",
+ "=> f8010001242222000767ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630705e000",
+ "=> f80100018296610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e10303f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e54b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e464a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 400096610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e1e000",
+ "=> f8010001242222000799838b179bea9cb30ccd45e8489ab907f26f0e907de8abd8aa6c93b813def6d4",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630706e000",
+ "=> f8010001624b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e460202e8d5e765482e286d21624c5a41b337759f222e753d5e4e9b6bc00efa044482ce4a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 40004b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e46e000",
+ "=> f80100012523230008039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 42868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb0027763583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020100",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630700e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a45ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780700e000",
+ "=> f801000182a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eac030356be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f83e06f3b3308f5b2a77f3b78e11ef46d3e3ee53d59659aeb3b0bfb460c81d094e959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 4000a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eace000",
+ "=> f80100010b090900b153890000000000",
+ "<= 42868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277634f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f8010001020101",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630701e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d5ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780701e000",
+ "=> f80100018256be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f80303a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eac3e06f3b3308f5b2a77f3b78e11ef46d3e3ee53d59659aeb3b0bfb460c81d094e959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 400056be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f8e000",
+ "=> f8010001252323005120b1d642ac4b95af275d4ffa35af544e8cf70f0416e20e7d07107f62ecb1962410",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 418244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b0100e000",
+ "=> f8010001228244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b0000",
+ "<= 40008244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882be000",
+ "=> f80100014442420009b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c9478098f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf7",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800900e000",
+ "=> f8010001a2b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d204049f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f80100010402020001",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800901e000",
+ "=> f8010001a29f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960404b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40009f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001040202000e",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800902e000",
+ "=> f8010001a23b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050904040298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40003b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001040202000f",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800903e000",
+ "=> f8010001a20298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe704043b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40000298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f80100010402020010",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800904e000",
+ "=> f8010001a2fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de040467a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed0190401284f3b6da3a1ce1b4f06df94281c0bdef5e0bd5290d7e8cdeb7bee77679a7a026b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dee000",
+ "=> f80100012422220016b56d425b41df26f7914581db5c52a72a07cf5de0c8640022eaf0a958f7458760",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800905e000",
+ "=> f8010001a267a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed019040120404fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de84f3b6da3a1ce1b4f06df94281c0bdef5e0bd5290d7e8cdeb7bee77679a7a026b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 400067a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012e000",
+ "=> f80100010402020017",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800906e000",
+ "=> f8010001a2a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf90404baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d760d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9e000",
+ "=> f8010001252323001a039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800907e000",
+ "=> f8010001a2baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d70404a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf960d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d7e000",
+ "=> f8010001464444001b0367ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a02e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800908e000",
+ "=> f8010001422a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e010112781da303905c150f1644ee5e49419d5710111d1f079b31fac260d03738c290",
+ "<= 40002a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3ee000",
+ "=> f8010001464444001b0399838b179bea9cb30ccd45e8489ab907f26f0e907de8abd8aa6c93b813def6d402e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947809f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001020101",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800901e000",
+ "=> f8010001a29f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960404b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70901e000",
+ "=> f8010001a24bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387ba04041bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b91665329c17c350269cd0f4fefb394a22845d64baebc115abc006725994f13898d15bebf126f48af04b4cf57493f4abaa5ebd4b40a8a808c8d9df319d8c34e3ce6e4cec5fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 40004bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387bae000",
+ "=> f801000123212100f8cb1366c84ce22f146ca1b360eea94e34ef16b76db2d83b62d8459d0a1af5a3",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947803b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001020102",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800902e000",
+ "=> f8010001a23b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050904040298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70902e000",
+ "=> f8010001a286f9649499b0080656c014aa244f654864bad4145c8513e9c8409f437d4a2b3b0404b2db18c190abf44354f0286c60b2a6b6a2db6d1a36a6829e66298918b55e1d98c8256b2414cf8fa78d9d1543d7f290f8a2ccd7b19639982c8ec50b9003a4e31bf126f48af04b4cf57493f4abaa5ebd4b40a8a808c8d9df319d8c34e3ce6e4cec5fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 400086f9649499b0080656c014aa244f654864bad4145c8513e9c8409f437d4a2b3be000",
+ "=> f80100010705050001000000",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f8010001020103",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800903e000",
+ "=> f8010001a20298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe704043b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70903e000",
+ "=> f8010001a2b2db18c190abf44354f0286c60b2a6b6a2db6d1a36a6829e66298918b55e1d98040486f9649499b0080656c014aa244f654864bad4145c8513e9c8409f437d4a2b3bc8256b2414cf8fa78d9d1543d7f290f8a2ccd7b19639982c8ec50b9003a4e31bf126f48af04b4cf57493f4abaa5ebd4b40a8a808c8d9df319d8c34e3ce6e4cec5fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 4000b2db18c190abf44354f0286c60b2a6b6a2db6d1a36a6829e66298918b55e1d98e000",
+ "=> f801000107050500fdffffff",
+ "<= 413d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812d0200e000",
+ "=> f80100014220d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32e01017a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59",
+ "<= 400020d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32ee000",
+ "=> f8010001444242000278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d35324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0200e000",
+ "=> f801000142583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d01014f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0201e000",
+ "=> f8010001424f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40101583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 4278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020100",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0200e000",
+ "=> f801000142583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d01014f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4",
+ "<= 4135324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f0200e000",
+ "=> f8010001427fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f80101a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045b",
+ "<= 40007fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f8e000",
+ "=> f80100010b09090040420f0000000000",
+ "<= 4278850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d4f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f8010001020101",
+ "<= 4178850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d0201e000",
+ "=> f8010001424f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40101583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d",
+ "<= 4135324f11579602144ce285cbfb28a8d974adeaa868d40cfc746f58fd6ee90d0f0201e000",
+ "=> f801000142a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045b01017fd79207422fd40908e5347504063463d1bc612b45722f601bd5f44bebc940f8",
+ "<= 4000a5d48513d48072d4091ddcc68379bf82e2f221f22dcc5ec22f86db753bf8045be000",
+ "=> f80100011917170000143765cbbdd0238eb4900e4b3deec0bbf58dc77a03",
+ "<= 413d3744dd8bbf29260ca678ce6b0ee928bc921bc83aa3e4ab47be1bcd72b2812d0201e000",
+ "=> f8010001427a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59010120d79c0b6ae4d0dd109cfef32d68a392a39e73e35612a44e6afbf2012c3ba32e",
+ "<= 40007a73c81b07c9259ce7bffcfd27886166a90371bcd57163ea5ea50507cb6a7d59e000",
+ "=> f80100014442420007868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb002776392984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b478",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630700e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a45ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4000583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f80100010402020003",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630701e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d5ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 40004f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f80100010402020004",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630702e000",
+ "=> f8010001829f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d0303bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f07878850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d89ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 40009f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3de000",
+ "=> f80100010402020005",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630703e000",
+ "=> f801000182bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f07803039f1afa4dc124cba73134e82ff50f17c8f7164257c79fed9a13f5943a6acb8e3d78850a5ab36238b076dd99fd258c70d523168704247988a94caa8c9ccd056b8d89ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4000bdcdd02ed8a9f3906c4ccfaba4407d8dc9ce7ed4cafbc6d0757b6faf7a12f078e000",
+ "=> f801000124222200074f23de4a4ba1e357ff9b764607ca849571049c3c79b083f2c832763d1c42dd4f",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630704e000",
+ "=> f801000182f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e5030396610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e14b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e464a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 4000f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e5e000",
+ "=> f8010001242222000767ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630705e000",
+ "=> f80100018296610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e10303f46f0b314658615f5cc857246abcf30764ccf40c820e3abcbdad46bbf273b8e54b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e464a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 400096610e06b96e6ab90eeea6fdb1ff22d6124fffe4eb954593efde14d1e61f78e1e000",
+ "=> f8010001242222000799838b179bea9cb30ccd45e8489ab907f26f0e907de8abd8aa6c93b813def6d4",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630706e000",
+ "=> f8010001624b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e460202e8d5e765482e286d21624c5a41b337759f222e753d5e4e9b6bc00efa044482ce4a193c0b9e6dea0e6e0fec61251fe595847bb24f0a9d0addf4a0bee3ad2c8102",
+ "<= 40004b9ef0c2f687175d326dbc576d63378162d16c2d86d9dd90a280a02909075e46e000",
+ "=> f80100012523230008039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 42868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb0027763583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5de000",
+ "=> f8010001020100",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630700e000",
+ "=> f801000182583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d03034f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a45ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780700e000",
+ "=> f801000182a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eac030356be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f83e06f3b3308f5b2a77f3b78e11ef46d3e3ee53d59659aeb3b0bfb460c81d094e959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 4000a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eace000",
+ "=> f80100010b090900b153890000000000",
+ "<= 42868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277634f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a4e000",
+ "=> f8010001020101",
+ "<= 41868292b6d9553b6e49dafa16f6c09df6090dd5709a396476e84cb20eb00277630701e000",
+ "=> f8010001824f35212d12f9ad2036492c95f1fe79baf4ec7bd9bef3dffa7579f2293ff546a40303583c7dfb7b3055d99465544032a571e10a134b1b6f769422bbb71fd7fa167a5d5ba8171a6086a30ced03b07b7810c5724a986428af953bc67b15aa9352fd280589ccf7c4912a4f9dfe08370ae9d40f2d91b10482260bec813a17625898a7ee0e",
+ "<= 4192984c8fa6302aec3aef23e0d3524f91b5aa2acee24d5062cf1363b510f6b4780701e000",
+ "=> f80100018256be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f80303a758a0805bc4255956f449bd87d839b1ab7b30229f8809ac064523bd90c51eac3e06f3b3308f5b2a77f3b78e11ef46d3e3ee53d59659aeb3b0bfb460c81d094e959d61bdf35a9de310434089cc7755054e53a7c7bf349a74fbe11b2e830c13db",
+ "<= 400056be1c93244e55fc6dde5cc6d05b1416dab72a96c9ff441da7fe40f28f32f6f8e000",
+ "=> f8010001252323005120b1d642ac4b95af275d4ffa35af544e8cf70f0416e20e7d07107f62ecb1962410",
+ "<= 418244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b0100e000",
+ "=> f8010001228244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b0000",
+ "<= 40008244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882be000",
+ "=> f80100014442420009b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c9478098f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf7",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800900e000",
+ "=> f8010001a2b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d204049f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f80100010402020001",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800901e000",
+ "=> f8010001a29f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960404b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40009f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001040202000e",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800902e000",
+ "=> f8010001a23b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050904040298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40003b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001040202000f",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800903e000",
+ "=> f8010001a20298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe704043b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40000298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f80100010402020010",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800904e000",
+ "=> f8010001a2fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de040467a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed0190401284f3b6da3a1ce1b4f06df94281c0bdef5e0bd5290d7e8cdeb7bee77679a7a026b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dee000",
+ "=> f80100012422220016b56d425b41df26f7914581db5c52a72a07cf5de0c8640022eaf0a958f7458760",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800905e000",
+ "=> f8010001a267a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed019040120404fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de84f3b6da3a1ce1b4f06df94281c0bdef5e0bd5290d7e8cdeb7bee77679a7a026b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 400067a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012e000",
+ "=> f80100010402020017",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800906e000",
+ "=> f8010001a2a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf90404baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d760d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9e000",
+ "=> f8010001252323001a039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800907e000",
+ "=> f8010001a2baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d70404a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf960d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d7e000",
+ "=> f8010001464444001b0367ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a02e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800908e000",
+ "=> f8010001422a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e010112781da303905c150f1644ee5e49419d5710111d1f079b31fac260d03738c290",
+ "<= 40002a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3ee000",
+ "=> f8010001464444001b0399838b179bea9cb30ccd45e8489ab907f26f0e907de8abd8aa6c93b813def6d402e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c94780b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f8010001020100",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800900e000",
+ "=> f8010001a2b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d204049f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70900e000",
+ "=> f8010001a21bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b916653204044bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387ba9c17c350269cd0f4fefb394a22845d64baebc115abc006725994f13898d15bebf126f48af04b4cf57493f4abaa5ebd4b40a8a808c8d9df319d8c34e3ce6e4cec5fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 40001bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b9166532e000",
+ "=> f80100012e2c2c008096980000000000225120e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 418244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b0100e000",
+ "=> f8010001228244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882b0000",
+ "<= 40008244e7998c1c74a2db709ba5784a4059c6e7eebb9efcdb972c36fbc9ba13882be000",
+ "=> f80100014442420009b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c9478098f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf7",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800900e000",
+ "=> f8010001a2b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d204049f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f80100010402020001",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800901e000",
+ "=> f8010001a29f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b1960404b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40009f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196e000",
+ "=> f8010001040202000e",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800902e000",
+ "=> f8010001a23b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae9050904040298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe73cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40003b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae90509e000",
+ "=> f8010001040202000f",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800903e000",
+ "=> f8010001a20298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe704043b2b7c6ee25e2f28a6235e273eaf13f504bd445024147ebacb878262aae905093cd9c1605ee4d185c8826df445334881b5785e1d4b45144ddd2f7e2fb2ce52976e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 40000298d122906dcfc10892cb53a73992fc5b9f493ea4c9badb27b791b4127a7fe7e000",
+ "=> f80100010402020010",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800904e000",
+ "=> f8010001a2fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de040467a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed0190401284f3b6da3a1ce1b4f06df94281c0bdef5e0bd5290d7e8cdeb7bee77679a7a026b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409dee000",
+ "=> f80100012422220016b56d425b41df26f7914581db5c52a72a07cf5de0c8640022eaf0a958f7458760",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70904e000",
+ "=> f8010001a207afe11614d9c354c861d0bade08dc5340bc8e70ae60fd87e9eba32969adf0d6040418696388cc924bf83abb752710b1655eb2eb03d2495787856dccf932e58c4fb756b39d0059b2a99a0008ab0c0b4f3e74fe586890ee2dc7338771eb2b9c0d64bf1b6625dce55ee2d624a5f618cabe7534a0a0286cd7322d7b109e911475a660865fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 400007afe11614d9c354c861d0bade08dc5340bc8e70ae60fd87e9eba32969adf0d6e000",
+ "=> f8010001100e0e00004dcc7bfb0000000003000000",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800905e000",
+ "=> f8010001a267a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed019040120404fd79435962894a331d185bc435e5406e22e3bb320a62d93be764055468f409de84f3b6da3a1ce1b4f06df94281c0bdef5e0bd5290d7e8cdeb7bee77679a7a026b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 400067a88a2dc9a9749ec611eef8f47ef5ffcc335f2950d1bfaaf31169ed01904012e000",
+ "=> f80100010402020017",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800906e000",
+ "=> f8010001a2a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf90404baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d760d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf9e000",
+ "=> f8010001252323001a039f55a4d05c065cd96d7ce64bac4ce30fe66c172170614ce6651fd097e44ca897",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800907e000",
+ "=> f8010001a2baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d70404a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf960d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4000baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d7e000",
+ "=> f8010001464444001b0367ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a02e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800908e000",
+ "=> f8010001422a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e010112781da303905c150f1644ee5e49419d5710111d1f079b31fac260d03738c290",
+ "<= 40002a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3ee000",
+ "=> f8010001464444001b0399838b179bea9cb30ccd45e8489ab907f26f0e907de8abd8aa6c93b813def6d402e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c94780b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d2e000",
+ "=> f8010001020100",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800900e000",
+ "=> f8010001a2b413f47d13ee2fe6c845b2ee141af81de858df4ec549a58b7970bb96645bc8d204049f4917386c45e2c0da0d9b475f1a19cf2db1e929195c6a9f4966ca0d2105b196d19379c3b959d2f633568f4389726312ac69bd8e3783436175c33216b545ff016e12da060485846a3dba4603ea6eb91dd5f90d0aabe89d5e187582e1f10e1d1d2a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70900e000",
+ "=> f8010001a21bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b916653204044bbd29249c686f545e19e555b417e5e5f36579b848ad3c1a85458c26353387ba9c17c350269cd0f4fefb394a22845d64baebc115abc006725994f13898d15bebf126f48af04b4cf57493f4abaa5ebd4b40a8a808c8d9df319d8c34e3ce6e4cec5fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 40001bb8e3c49a908ffe6ee99dcb50eacf912a794d81466db3c2a1241901b9166532e000",
+ "=> f80100012e2c2c008096980000000000225120e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0200e000",
+ "=> f80100014279ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade101014e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76",
+ "<= 400079ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1e000",
+ "=> f8010001898787005b66356163633266642f3438272f31272f30272f32275d747075624446417145474e79616433356142434b554158625147446a6456684e75656e6f355a5a56456e3373516257356369343537674c52374879546d48426739336f6f757242737367557875577a316a583575686331716171466f395673796259314a35467565644c666d34644b",
+ "<= 4105ce160aa30e4d4fc9eaa1a29c77caffac0d6b208c1a94bbe335ab6e0f04fa6e0201e000",
+ "=> f8010001424e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76010179ad51261747bf60b55f8900bb82bfc5dc7f52b9eb056bee94442ced92e1ade1",
+ "<= 40004e615878e7fb29deccdaface0e131842ddf3210cfcf8f05bd626d0615bca0f76e000",
+ "=> f8010001727070007470756244364e7a56626b7259685a3459415058704d77363147726471584a4a45695968486f367778566b66775a67556765643571586d364466344e4c66385a544658785731556878444b47654b644156785a746d6f6443384b66523753716d57364c4751664447666e464c6d5136",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c94780baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d7e000",
+ "=> f8010001020107",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800907e000",
+ "=> f8010001a2baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d70404a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf960d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70907e000",
+ "=> f8010001a2fa5fc7c435559b217adbfe5b8c2c49c3371bfe54c0640411d0fbf2e2f52cfc7d040459579c1ea9b91106ace403ca45b0d6aca9c05e736389869839dca806acb948256565b40592a06fa18d24f341c259a564fb06641fa87a1db693acbd375ab9fcf31b6625dce55ee2d624a5f618cabe7534a0a0286cd7322d7b109e911475a660865fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 4000fa5fc7c435559b217adbfe5b8c2c49c3371bfe54c0640411d0fbf2e2f52cfc7de000",
+ "=> f8010001454343000389e2e9dc40b0a98c541a955f9b159f4457edc6aa17b67f3d10f2cfb47341b9310340a8b1974e645af6326939d85834ff1515dd9d93fcb7af1935c924aa5a848855",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c94780baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d7e000",
+ "=> f8010001020107",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800907e000",
+ "=> f8010001a2baa60db9b219ab0e0facf3d1b38f62faa98c82a12358c93562a81931765589d70404a99ee8a84d2fd42de53f0c60d473a5fcf90a561d2c564bddf94bf89432b1ccf960d0822d86f984781451052be0c33e407c1352997e8fbae44047becbfaf92c29b2b11dcdce6e9754ef1b55479cd48cd7a44d183eee3b1bf22092472e1f6e2c232a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70907e000",
+ "=> f8010001a2fa5fc7c435559b217adbfe5b8c2c49c3371bfe54c0640411d0fbf2e2f52cfc7d040459579c1ea9b91106ace403ca45b0d6aca9c05e736389869839dca806acb948256565b40592a06fa18d24f341c259a564fb06641fa87a1db693acbd375ab9fcf31b6625dce55ee2d624a5f618cabe7534a0a0286cd7322d7b109e911475a660865fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7",
+ "<= 4000fa5fc7c435559b217adbfe5b8c2c49c3371bfe54c0640411d0fbf2e2f52cfc7de000",
+ "=> f8010001454343000389e2e9dc40b0a98c541a955f9b159f4457edc6aa17b67f3d10f2cfb47341b9310340a8b1974e645af6326939d85834ff1515dd9d93fcb7af1935c924aa5a848855",
+ "<= 42b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947802a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3ee000",
+ "=> f8010001020108",
+ "<= 41b66f9b3caa66c7ea70c3b176d98d4d5e7c2ca215a2d8d448c5aae5bed0c947800908e000",
+ "=> f8010001422a7c41fa6ac4012e7a2066a1263540a2740a498b1b6bf961dfa96ec7c45e4b3e010112781da303905c150f1644ee5e49419d5710111d1f079b31fac260d03738c290",
+ "<= 4198f2314d473ab47a572c853dbc03bd54c82363efaad2f7abcc17d1c133397bf70908e000",
+ "=> f8010001425fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd70101db95583c25dc5fec2bcbc969e22acf613d28fb09a31dd2f54e2aab1586b8acf6",
+ "<= 40005fbcb88616de9f142912f37ef96f85727928c259450e8c14e1cb525683245bd7e000",
+ "=> f80100014543430003ee05c512f823cd42c1b032ead11fa49615b3136b008d863dd086f96acdeda0f702e07567aa0601469be13bb9bb12cb349a039debfe80470439f4b016909ffb4d4a",
+ "<= 10fefeffffff00114d828e6c4ec36fe595aaffb9f66bfd04371906cec4b7969b7e650d0c10a0850367ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a02e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8e000",
+ "=> f801000100",
+ "<= 9000"
+ ],
+ "musig_partial_signatures": [
+ {
+ "participant_pubkey": "0367ac2f413440e43c112b2db1f652d0b628ac14564aba4d7ea90165f81d52760a",
+ "aggregate_pubkey": "02e3e0d5057f64defc45b6e3f261d93d8958ca1ab08d88c4344d88129853ccc9e8",
+ "partial_signature": "114d828e6c4ec36fe595aaffb9f66bfd04371906cec4b7969b7e650d0c10a085"
+ }
+ ]
}
-]
+]
\ No newline at end of file
Risk score
Our methodology →Why this scored 15/100
Human-validated context
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
No validated notes yet.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.