Search block Search account Search transaction
params: 0 1 2 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 28 29 30 31 32 34 44 45 71 72 79 81 -10000 -1337 -1306 -1305 -1304 -1303 -1302 -1301 -1300 -1299 -1025 -1024 -1000 -999 -236 -137 -133 -90 -80 -79 -41 -1
( config_addr:x5555555555555555555555555555555555555555555555555555555555555555)x{5555555555555555555555555555555555555555555555555555555555555555}
( elector_addr:x3333333333333333333333333333333333333333333333333333333333333333)x{3333333333333333333333333333333333333333333333333333333333333333}
( minter_addr:xC13E44A8368271BCC03590CF609DC8A43E874BA2FDE3489CB850727822CBA5AD)x{C13E44A8368271BCC03590CF609DC8A43E874BA2FDE3489CB850727822CBA5AD}
( dns_root_addr:xEFE71D13860AFAA6AEAEAF636F9168487F80F1031B0BF8D939AE49D3EA7F7DA0)x{EFE71D13860AFAA6AEAEAF636F9168487F80F1031B0BF8D939AE49D3EA7F7DA0}
(
(burning_config
blackhole_addr:(just
value:xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) fee_burn_num:10 fee_burn_denom:20))
x{01FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF800000050000000A4_}
(
mint_new_price:(nanograms
amount:(var_uint len:4 value:1000000000))
mint_add_price:(nanograms
amount:(var_uint len:4 value:1000000000)))
x{43B9ACA0043B9ACA00}
(
to_mint:(extra_currencies
dict:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:23)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:7 s:xC9_)
node:(hmn_leaf
value:(var_uint len:8 value:2000000001000000000)))
right:(hm_edge
label:(hml_long n:7 s:xDF_)
node:(hmn_leaf
value:(var_uint len:5 value:666666666666)))))
right:(hm_edge
label:(hml_long n:31 s:xFFFFFFDF_)
node:(hmn_leaf
value:(var_uint len:5 value:1000000000000))))))))
x{C_}
x{2_}
x{D7}
x{BE440DE0B6B3C53165004_}
x{BEF2CD9C3705554_}
x{BFFFFFFFBCBD1A94A2001_}
(
(capabilities version:13 capabilities:494))
x{C40000000D00000000000001EE}
(
mandatory_params:(hm_edge
label:(hml_same v:0 n:26)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_leaf
value:true))))))))
right:(hm_edge
label:(hml_long n:5 s:x14_)
node:(hmn_leaf
value:true)))))
x{CD4_}
x{2_}
x{2_}
x{D4_}
x{2_}
x{2_}
x{2_}
x{2_}
x{5}
x{4}
x{2_}
x{4}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{4}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{4}
x{2_}
x{2_}
x{D4_}
x{A8A_}
(
critical_params:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:25)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))))))))
right:(hm_edge
label:(hml_same v:0 n:3)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_leaf
value:true))))))
right:(hm_edge
label:(hml_long n:27 s:xFFFFF83_)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:1 n:3)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true)))))))))
x{2_}
x{D9}
x{2_}
x{2_}
x{D4_}
x{2_}
x{2_}
x{2_}
x{2_}
x{5}
x{4}
x{2_}
x{4}
x{2_}
x{2_}
x{2_}
x{CE_}
x{2_}
x{2_}
x{62_}
x{2_}
x{4}
x{4}
x{D4_}
x{B7FFFFF06_}
x{FC_}
x{D4_}
x{2_}
x{2_}
(
(cfg_vote_setup
normal_params:(cfg_vote_cfg min_tot_rounds:2 max_tot_rounds:6 min_wins:2 max_losses:5 min_store_sec:1000000 max_store_sec:10000000 bit_price:1 cell_price:500)
critical_params:(cfg_vote_cfg min_tot_rounds:4 max_tot_rounds:7 min_wins:3 max_losses:5 min_store_sec:5000000 max_store_sec:20000000 bit_price:2 cell_price:1000)))
x{91}
x{3602060205000F42400098968000000001000001F4}
x{3604070305004C4B4001312D0000000002000003E8}
(
workchains:(hme_root
root:(hm_edge
label:(hml_same v:0 n:32)
node:(hmn_leaf
value:(workchain enabled_since:1573821854 monitor_min_split:0 min_split:0 max_split:2 basic:1 active:1 accept_msgs:1 flags:0 zerostate_root_hash:x55B13F6D0E1D0C34C9C2160F6F918E92D82BF9DDCF8DE2E4C94A3FDF39D15446 zerostate_file_hash:xEE0BEDFE4B32761FB35E9E1D8818EA720CAD1A0E7B4D2ED673C488E72E910342 version:0
format:(wfmt_basic vm_version:-1 vm_mode:0))))))
x{C_}
x{D0532EE74ECF00000170002AD89FB6870E861A64E10B07B7C8C7496C15FCEEE7C6F17264A51FEF9CE8AA237705F6FF25993B0FD9AF4F0EC40C753906568D073DA6976B39E24473974881A1000000000FFFFFFFF80000000000000004_}
(
(complaint_prices
deposit:(nanograms
amount:(var_uint len:4 value:1000000000))
bit_price:(nanograms
amount:(var_uint len:1 value:1))
cell_price:(nanograms
amount:(var_uint len:2 value:500))))
x{1A43B9ACA00101201F4}
(
(block_grams_created
masterchain_block_fee:(nanograms
amount:(var_uint len:4 value:1700000000))
basechain_block_fee:(nanograms
amount:(var_uint len:4 value:1000000000))))
x{6B46553F10043B9ACA00}
( validators_elected_for:3600 elections_start_before:1800 elections_end_before:300 stake_held_for:1800)x{00000E10000007080000012C00000708}
( max_validators:45 max_main_validators:15 min_validators:3)x{002D000F0003}
(
min_stake:(nanograms
amount:(var_uint len:6 value:10000000000000))
max_stake:(nanograms
amount:(var_uint len:7 value:10000000000000000))
min_total_stake:(nanograms
amount:(var_uint len:7 value:2000000000000000)) max_stake_factor:1966080)
x{609184E72A00072386F26FC100007071AFD498D0000001E0000}
(
(hm_edge
label:(hml_same v:0 n:32)
node:(hmn_leaf
value:( utime_since:0 bit_price_ps:1 cell_price_ps:500 mc_bit_price_ps:1000 mc_cell_price_ps:500000))))
x{D06600000000000000000000000080000000000000FA00000000000001F4000000000003D0904_}
( global_id:-3)x{FFFFFFFD}
(config_mc_gas_prices
(gas_flat_pfx flat_gas_limit:100 flat_gas_price:1000000
other:(gas_prices_ext gas_price:655360000 gas_limit:1000000 special_gas_limit:35000000 gas_credit:10000 block_gas_limit:2500000 freeze_due_limit:100000000 delete_due_limit:1000000000)))
x{D1000000000000006400000000000F4240DE000000002710000000000000000F42400000000002160EC0000000000000271000000000002625A00000000005F5E100000000003B9ACA00}
(config_gas_prices
(gas_flat_pfx flat_gas_limit:100 flat_gas_price:40000
other:(gas_prices_ext gas_price:26214400 gas_limit:1000000 special_gas_limit:1000000 gas_credit:10000 block_gas_limit:10000000 freeze_due_limit:100000000 delete_due_limit:1000000000)))
x{D100000000000000640000000000009C40DE000000000190000000000000000F424000000000000F4240000000000000271000000000009896800000000005F5E100000000003B9ACA00}
(config_mc_block_limits
(block_limits
bytes:(param_limits underload:131072 soft_limit:524288 hard_limit:1048576)
gas:(param_limits underload:20000 soft_limit:100000 hard_limit:150000)
lt_delta:(param_limits underload:1000 soft_limit:5000 hard_limit:10000)))
x{5DC3000200000008000000100000C300004E20000186A0000249F0C3000003E80000138800002710}
(config_block_limits
(block_limits
bytes:(param_limits underload:262144 soft_limit:1048576 hard_limit:2097152)
gas:(param_limits underload:2000000 soft_limit:10000000 hard_limit:20000000)
lt_delta:(param_limits underload:100 soft_limit:5000 hard_limit:10000)))
x{5DC3000400000010000000200000C3001E84800098968001312D00C3000000640000138800002710}
(config_mc_fwd_prices
(msg_forward_prices lump_price:10000000 bit_price:655360000 cell_price:65536000000 ihr_price_factor:98304 first_frac:21845 next_frac:21845))
x{EA000000000098968000000000271000000000000F424000000001800055555555}
(config_fwd_prices
(msg_forward_prices lump_price:400000 bit_price:26214400 cell_price:2621440000 ihr_price_factor:98304 first_frac:21845 next_frac:21845))
x{EA0000000000061A800000000001900000000000009C4000000001800055555555}
(
(catchain_config_new flags:0 shuffle_mc_validators:1 mc_catchain_lifetime:250 shard_catchain_lifetime:250 shard_validators_lifetime:1000 shard_validators_num:15))
x{C201000000FA000000FA000003E80000000F}
(
(consensus_config_v4 flags:0 use_quic:0 new_catchain_ids:1 round_candidates:3 next_candidate_delay_ms:2000 consensus_timeout_ms:16000 fast_attempts:3 attempt_duration:8 catchain_max_deps:4 max_block_bytes:2097152 max_collated_bytes:2097152 proto_version:6 catchain_max_blocks_coeff:10000))
x{D90103000007D000003E800000000300000008000000040020000000200000000600002710}
(
(new_consensus_config_all
mc:(just
value:^(simplex_config flags:0 use_quic:1 target_rate_ms:450 slots_per_leader_window:4 first_block_timeout_ms:800 max_leader_window_desync:250))
shard:(just
value:^(simplex_config flags:0 use_quic:1 target_rate_ms:450 slots_per_leader_window:4 first_block_timeout_ms:700 max_leader_window_desync:250))))
x{10E_}
x{2101000001C20000000400000320000000FA}
x{2101000001C200000004000002BC000000FA}
(
fundamental_smc_addr:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:253)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCE_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_long n:250 s:xD59E75EE6AA415D53B36AAF52BE9A81A70CD3274EBB1E4D35AD66714F9C10EE_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_long n:251 s:x7377FA15AA67172E01E1066701DC2FA8C7CA3835CCE3DCDE112037BD1336405_)
node:(hmn_leaf
value:true))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:254 s:x378D721B4FA5B803C1CB1421A897BD21AD1E917CC179CCB5C2F48F53E4E9C95A_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:x69899ED4C3A24C5F84B185D6346F3060BC25ABF657991EA0D8F8125DA3CE11E)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_long n:252 s:xD24C4A1F2B88F8B7053513B5CC6C5A31BC44B2A72DCB4D8C0338AF0F0D37EC5)
node:(hmn_leaf
value:true))))))))))
x{C_}
x{2_}
x{4}
x{DFB_}
x{5}
x{2_}
x{BEB33333333333333333333333333333333333333333333333333333333333333}
x{BEB5679D7B9AA905754ECDAABD4AFA6A069C334C9D3AEC7934D6B599C53E7043B}
x{BEDCDDFE856A99C5CB80784199C0770BEA31F28E0D7338F73784480DEF44CD9014_}
x{2_}
x{BF8DE35C86D3E96E00F072C5086A25EF486B47A45F305E732D70BD23D4F93A7256}
x{4}
x{BF1A6267B530E89317E12C61758D1BCC182F096AFD95E647A8363E049768F3847A_}
x{BF34931287CAE23E2DC14D44ED731B168C6F112CA9CB72D36300CE2BC3C34DFB16_}
(
prev_validators:(validators_ext utime_since:1773886666 utime_until:1773890266 total:19 main:15 total_weight:1152921504606846966
list:(hme_root
root:(hm_edge
label:(hml_same v:0 n:11)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x64261775B7E5A8577EE4EA42C14B4517A1E10B9DD3881BA0164BC94F191840F3) weight:104171887603869184 adnl_addr:xB0D4A2F92C1885B10E55A9C53D3D330844CD895B8A7084E42404A1959772F501)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x803CE5E7E012807878C1D88C82B528630C3289EC9F84D082E760EF5E1E5C76C2) weight:103846766946885270 adnl_addr:xADBCBF538874F1B8FD8233E08A81F31E1A204663093B44FA222C644F93E7E3BD)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x47AE95FE25F8658D406ECD0B66DE62398FA10621B1ADDCC7BEB628C8C1D4027C) weight:93552302639930478 adnl_addr:x37EBEB798C21BD0F3AD41F5B5A1A9DABCA620DE26FADE0595B3D1D6048355E5A)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x8ED54CF580245A8609AB5399399A9EC30C1D5DE0B51B9543886CFE7BF3E14D48) weight:92084778224295949 adnl_addr:x255801D2220221957B7E954C908E69DD779D2D7A67882C177B589C238D605E20)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x55CD693D4909B5A4EB9A459607FEA93E7F9CAD408DFE6F1033566CCB306507D4) weight:92084778224295949 adnl_addr:x56AB95B527438348FC6E64A9A5D63F012A7B0393CCD6261C9AC7499D9668CA83)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x664FDC02C7C3C86BBCF4BF84DDF0BC18AB58F578447B41DF28E65B584DDC34CE) weight:92084778224295949 adnl_addr:xCDB0A92B2E665C5C84302D8D32F3984ED345324F3C53BE022A431C4E1092FB5B)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x93409419E6024E8458F24B193E387BA5D724DAF019C04769F6B92C20CA1369A2) weight:92084778224295949 adnl_addr:x9835BBF9637BD12A50B1F5F90DEB4E0C53A95BACE3081C7B7037FA13EAC48A92)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x4A6A5767DAFCD4E190723F1A0D4BE174FF93A96F7CF0B38DF2C5BA5D777E0D5F) weight:92084747529369874 adnl_addr:xE527A2A40D255B0BA2EC9F54DD3D5A472CDE4FD46A0DD93D5E04C02B45E66F78)))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x7044CCDA192100CAD061C2EB5800F25EAB6C928D77ACC93C58E1AE914F3C7A25) weight:83216522962479052 adnl_addr:x4B6CF37015E0614E1711C1BB0EDE3AA124FDD15A66A90FEAD1332AD1652F1297)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x929F449699FC501AC45D00F3AA37B2C7A27C198ACB5302C9EF347E882032BFA3) weight:83213606944501950 adnl_addr:xB57970E61982AD719F502635A48F6C74A89279761CCDA633DD9B508A24A7DC44)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xA5B20A064C3791FFA90059F951F4ADA09525CABBA844E78E77593B4EFC4099D5) weight:68491460941114411 adnl_addr:x15AC93A1D1A54B2F1E723B71A6FB6D360E3732F034F133B5AF45A17E7282FA85)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x4B95C5103A362FD8A69FC7A0D4B5A147B5FF61B53B7316947459C104C7EFE147) weight:61390067014013156 adnl_addr:x5FE3DB8BB950A7E73A0ED4BF6596709EAB0F8061FFD4F80CF76B4372EE0EE0A3)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xFC750E5C058A8190115375C58FAD44448580868B2E45EF808D5F8B32A0B9C3F5) weight:61390036319087081 adnl_addr:x97CF63B68C3578DD9B4E00E3E6D555AEB1A15EEA9D096CF3D3A26DA2D5FC182F)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x69B3C7CBA3D70A257DFABBF9969A6F2D5F0344D7D41BD4353D31223703804F34) weight:10129294909746479 adnl_addr:x58679A314442E02D9B532342E09B2DFA8C51275514D497C3B14F0523CEC220D0)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xF1D712D5849FA13831A7F0EE8D78ACC6CA9C58745F46BF66E22658AC387C4AA4) weight:5828186496733862 adnl_addr:x393EE40B423702A0D42994B50F31807A3622F52DB942D9FFE729ED83476BE862)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xED57666CD9DAB6670E6E8737AD71E50ACCA81EFB4CEB2CDE6EDE696B1FFDCC27) weight:5001608726359582 adnl_addr:x375A6AF788BB999C2A53E2D37D3AE48FDC09BB241219EFD7EF4545C849DF7131)))))))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xB6AB1BF745CB7E4D8201E74B3E42006FB1A444EA1B49C0642C91355DF608CC06) weight:4329489210078558 adnl_addr:x523AB850585AA93A7AC45DE8D2E7C3C691ECEDCB483C5859A50297BDA8ADA084)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x07CCA6F38534D4D775655924FF6CFD95987A360310FF55CFC5575D830F018A25) weight:4329489210075826 adnl_addr:x9633FCF289A79DBBD5A8DBD47FF796BAB2315A031BE202ACD7415DCAE53661DA)))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x59E0FC1813C4CB4610FCBCC25410CB56C49F5A991903E3FA77008AF4D47BDA8C) weight:3606924255418407 adnl_addr:xDA14F82AAA04F12A6B6B040164973EC68556FA31D3C206FD79CE11B813DDF6EC))))))))))
x{1269BB5CCA69BB6ADA0013000F0FFFFFFFFFFFFFF6C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2990985DD6DF96A15DFB93A90B052D145E87842E774E206E80592F253C646103CC05C85F1E90D79802C3528BE4B06216C43956A714F4F4CC211336256E29C21390901286565DCBD406_}
x{1CE3A049E2A00F3979F804A01E1E30762320AD4A18C30CA27B27E13420B9D83BD787971DB0805C3C0565BC47A5AB6F2FD4E21D3C6E3F608CF822A07CC786881198C24ED13E888B1913E4F9F8EF6_}
x{2_}
x{1CE3A049E291EBA57F897E1963501BB342D9B7988E63E841886C6B7731EFAD8A323075009F00531754B5B1771B8DFAFADE63086F43CEB507D6D686A76AF29883789BEB781656CF4758120D5796A_}
x{1CE3A049E2A3B5533D600916A1826AD4E64E66A7B0C30757782D46E550E21B3F9EFCF853520051C9A78BD1E80349560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{2_}
x{2_}
x{1CE3A049E295735A4F52426D693AE6916581FFAA4F9FE72B50237F9BC40CD59B32CC1941F50051C9A78BD1E80355AAE56D49D0E0D23F1B992A69758FC04A9EC0E4F335898726B1D267659A32A0E_}
x{1CE3A049E29993F700B1F0F21AEF3D2FE1377C2F062AD63D5E111ED077CA3996D613770D338051C9A78BD1E803736C2A4ACB999717210C0B634CBCE613B4D14C93CF14EF808A90C7138424BED6E_}
x{2_}
x{1CE3A049E2A4D02506798093A1163C92C64F8E1EE975C936BC067011DA7DAE4B083284DA688051C9A78BD1E803660D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{1CE3A049E2929A95D9F6BF3538641C8FC68352F85D3FE4EA5BDF3C2CE37CB16E975DDF8357C051C9A5C26E0E44B949E8A9034956C2E8BB27D5374F5691CB3793F51A83764F5781300AD1799BDE2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E29C11333686484032B41870BAD6003C97AADB24A35DEB324F16386BA453CF1E894049E93F26A7C9F312DB3CDC0578185385C4706EC3B78EA8493F745699AA43FAB44CCAB4594BC4A5E_}
x{1CE3A049E2A4A7D125A67F1406B117403CEA8DECB1E89F0662B2D4C0B27BCD1FA2080CAFE8C049E8956A99FC2FAD5E5C398660AB5C67D4098D6923DB1D2A249E5D8733698CF766D4228929F7112_}
x{2_}
x{1CE3A049E2A96C8281930DE47FEA40167E547D2B68254972AEEA1139E39DD64ED3BF102675403CD527BBE2BB0AC56B24E8746952CBC79C8EDC69BEDB4D838DCCBC0D3C4CED6BD1685F9CA0BEA16_}
x{1CE3A049E292E571440E8D8BF629A7F1E8352D6851ED7FD86D4EDCC5A51D16704131FBF851C036867C3446E43917F8F6E2EE5429F9CE83B52FD9659C27AAC3E0187FF53E033DDAD0DCBB83B828E_}
x{2_}
x{2_}
x{1CE3A049E2BF1D43970162A0640454DD7163EB5111216021A2CB917BE02357E2CCA82E70FD4036867A6AE30A7A65F3D8EDA30D5E3766D38038F9B5556BAC6857BAA7425B3CF4E89B68B57F060BE_}
x{1CE3A049E29A6CF1F2E8F5C2895F7EAEFE65A69BCB57C0D135F506F50D4F4C488DC0E013CD0008FF22903AEB4BD619E68C5110B80B66D4C8D0B826CB7EA31449D5453525F0EC53C148F3B088342_}
x{2_}
x{1CE3A049E2BC75C4B56127E84E0C69FC3BA35E2B31B2A7161D17D1AFD9B889962B0E1F12A900052D2D1A74A4A98E4FB902D08DC0A8350A652D43CC601E8D88BD4B6E50B67FF9CA7B60D1DAFA18A_}
x{1CE3A049E2BB55D99B3676AD99C39BA1CDEB5C7942B32A07BED33ACB379BB79A5AC7FF7309C004713BF1DC2B878DD69ABDE22EE6670A94F8B4DF4EB923F7026EC904867BF5FBD151721277DC4C6_}
x{62_}
x{2_}
x{1CE3A049E2ADAAC6FDD172DF93608079D2CF90801BEC69113A86D270190B244D577D8233018003D869709B3D57948EAE141616AA4E9EB1177A34B9F0F1A47B3B72D20F16166940A5EF6A2B68212_}
x{1CE3A049E281F329BCE14D3535DD5956493FDB3F65661E8D80C43FD573F155D760C3C062894003D869709B3AACA58CFF3CA269E76EF56A36F51FFDE5AEAC8C5680C6F880AB35D05772B94D9876A_}
x{4738E81278A59E0FC1813C4CB4610FCBCC25410CB56C49F5A991903E3FA77008AF4D47BDA8C000CD07A7EF9D827DA14F82AAA04F12A6B6B040164973EC68556FA31D3C206FD79CE11B813DDF6EC}
(
cur_validators:(validators_ext utime_since:1773890266 utime_until:1773893866 total:22 main:15 total_weight:1152921504606846965
list:(hme_root
root:(hm_edge
label:(hml_same v:0 n:11)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x0D4D50CFAB613B47C59A922118A31F789AE0CE7CA4B07A9477E7F3ED72C7A203) weight:94114397794693415 adnl_addr:xB0D4A2F92C1885B10E55A9C53D3D330844CD895B8A7084E42404A1959772F501)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x58B8CBACEA9DC74A0BF8C6787879D2C20160DBD91CA6FCE44CDDBAFECB196BEB) weight:93946935350039211 adnl_addr:xADBCBF538874F1B8FD8233E08A81F31E1A204663093B44FA222C644F93E7E3BD)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x752FA2A5C9A3E848FECB5CC4E470F0C180F8FF7622ADAC98216ACF1320204D76) weight:84654869251026983 adnl_addr:x37EBEB798C21BD0F3AD41F5B5A1A9DABCA620DE26FADE0595B3D1D6048355E5A)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xFE7D094A148A97C404A7B8B921741D836DB788A58F46182ADB5F342BF9776E70) weight:83983171842629632 adnl_addr:x56AB95B527438348FC6E64A9A5D63F012A7B0393CCD6261C9AC7499D9668CA83)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x5A101A25C10CFFB2298AA5DBCB2C086B2D1924791FD9B8688D912B422EADC603) weight:83983171842629632 adnl_addr:xCDB0A92B2E665C5C84302D8D32F3984ED345324F3C53BE022A431C4E1092FB5B)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xD389F46C2E31BD037D0E96EBB5CB25105C42B2E640BB10EA73753A20E9E07EDC) weight:83983171842629632 adnl_addr:x9835BBF9637BD12A50B1F5F90DEB4E0C53A95BACE3081C7B7037FA13EAC48A92)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x26553D06298A0DC43FBEB0E9EE3112D78903CA455DFAE34767BCADE529AA9EA8) weight:83983171842629632 adnl_addr:x151CDD00CCA9C3A4A2D7E4FED39DACBF3A0738AF17A892CFF2854DDA5A112718)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x53E4FEFBC288D4A4876E05230E092F17791965301AAD01C6BD4876D3D131E782) weight:83983143848239017 adnl_addr:xE527A2A40D255B0BA2EC9F54DD3D5A472CDE4FD46A0DD93D5E04C02B45E66F78)))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x02CF86152623419CB834585F7C31AAD7D486E7F063A77F980CEA367B8D709350) weight:83273821978856167 adnl_addr:x6AED12FA5E74CEF56109F080E1E733BA227DE5934F67D407A9A96BEB11CB2593)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xE4DE3986B8AD02C8F76D80FA932E9EB6185DC3EC376D389C85D9D7FA6C31F1D1) weight:75303483038303245 adnl_addr:x4B6CF37015E0614E1711C1BB0EDE3AA124FDD15A66A90FEAD1332AD1652F1297)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x6AA84980C02240B2C0DB32328CEC7DC8B1C4B36C6CF264B4D5F33586B9413188) weight:75300907554366738 adnl_addr:xB57970E61982AD719F502635A48F6C74A89279761CCDA633DD9B508A24A7DC44)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xA877CA26DEE85F87ECC76442D3BBC5CABEF55A874A30A55393DB6FDBE271AA53) weight:62467970958516173 adnl_addr:x15AC93A1D1A54B2F1E723B71A6FB6D360E3732F034F133B5AF45A17E7282FA85)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x0671148D0C2AE0AD2FC28054B7173DD3DC0EC715B6990BDF8D7E4092011AD9E5) weight:55988977189154054 adnl_addr:x5FE3DB8BB950A7E73A0ED4BF6596709EAB0F8061FFD4F80CF76B4372EE0EE0A3)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xC42BDC62E9EFC5FFCBCA258A1B03EE6E25202EB69CA4E4282955532C0DBE957A) weight:55988949194763439 adnl_addr:x97CF63B68C3578DD9B4E00E3E6D555AEB1A15EEA9D096CF3D3A26DA2D5FC182F)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x0BE96EED7428FC89F649077477A0D0CDB1EBAB40CA16259DD209F6383F4554BA) weight:11023815844706438 adnl_addr:xA46E8662F24DEEBC973E21725A0D7832D9D3DD06ED198254E670F9E49F357844)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x12F929395827FA1A87185EA2B92C8D176367DC2037F172DB1C448AFF67E94FDC) weight:9238120908298645 adnl_addr:x58679A314442E02D9B532342E09B2DFA8C51275514D497C3B14F0523CEC220D0)))))))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x5E8288B894CE7B159886BAD793580F0F77A5F5DF93341E6A7A3E01D9F5847313) weight:7851942424263613 adnl_addr:xDA14F82AAA04F12A6B6B040164973EC68556FA31D3C206FD79CE11B813DDF6EC)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x78135C07C55EB76513DB6632E2B1F773FFCED4AEAFFFF44A6F2CE3BA593636D1) weight:5598878122841975 adnl_addr:xD8A5A4F1CA99802D3A280A6185FCC4DD571E416B69A401846F26E4D3AB333BD2)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x194C18A9B2C87EE1A2D131D2617AE611615DB6D36514D029DAD2A3B76437E36E) weight:5373678997504043 adnl_addr:x393EE40B423702A0D42994B50F31807A3622F52DB942D9FFE729ED83476BE862)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xDA60631049B80BF67CE09A29AD86A20B013B980B08332530E2E40E976BE7E61B) weight:4562836173605996 adnl_addr:x0F3B58927F187A3CA0E82466DC277E54D32DFC446F1FC100A6D2A62FD7907E62)))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x199191F0FEF1143B1F265FAB4D13629CCFBA5E928720E152247BBEF5E05B8147) weight:4158044303578408 adnl_addr:x9633FCF289A79DBBD5A8DBD47FF796BAB2315A031BE202ACD7415DCAE53661DA)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xE76E4BCEA6B2F465605A03F9CC86D40CCC5C89DCFD41D67647D8366A1D9F04A3) weight:4158044303570877 adnl_addr:x523AB850585AA93A7AC45DE8D2E7C3C691ECEDCB483C5859A50297BDA8ADA084))))))))))))
x{1269BB6ADA69BB78EA0016000F0FFFFFFFFFFFFFF5C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E283535433EAD84ED1F166A4884628C7DE26B8339F292C1EA51DF9FCFB5CB1E880C0539722F4335C49EC3528BE4B06216C43956A714F4F4CC211336256E29C21390901286565DCBD406_}
x{1CE3A049E2962E32EB3AA771D282FE319E1E1E74B0805836F64729BF3913376EBFB2C65AFAC053710F5B51A4AAEB6F2FD4E21D3C6E3F608CF822A07CC786881198C24ED13E888B1913E4F9F8EF6_}
x{2_}
x{1CE3A049E29D4BE8A97268FA123FB2D731391C3C30603E3FDD88AB6B26085AB3C4C808135D804B3049EC8DBC09CDFAFADE63086F43CEB507D6D686A76AF29883789BEB781656CF4758120D5796A_}
x{1CE3A049E2BF9F42528522A5F10129EE2E485D0760DB6DE22963D1860AB6D7CD0AFE5DDB9C004A978FFD32980015AAE56D49D0E0D23F1B992A69758FC04A9EC0E4F335898726B1D267659A32A0E_}
x{2_}
x{2_}
x{1CE3A049E29684068970433FEC8A62A976F2CB021ACB46491E47F66E1A23644AD08BAB7180C04A978FFD329800336C2A4ACB999717210C0B634CBCE613B4D14C93CF14EF808A90C7138424BED6E_}
x{1CE3A049E2B4E27D1B0B8C6F40DF43A5BAED72C9441710ACB9902EC43A9CDD4E883A781FB7004A978FFD329800260D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{2_}
x{1CE3A049E289954F418A6283710FEFAC3A7B8C44B5E240F291577EB8D1D9EF2B794A6AA7AA004A978FFD32980005473740332A70E928B5F93FB4E76B2FCE81CE2BC5EA24B3FCA15376968449C62_}
x{1CE3A049E294F93FBEF0A2352921DB8148C3824BC5DE46594C06AB4071AF521DB4F44C79E0804A978E5C0C77EA7949E8A9034956C2E8BB27D5374F5691CB3793F51A83764F5781300AD1799BDE2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E280B3E1854988D0672E0D1617DF0C6AB5F521B9FC18E9DFE6033A8D9EE35C24D40049F6466488E2B9DABB44BE979D33BD58427C203879CCEE889F7964D3D9F501EA6A5AFAC472C964E_}
x{1CE3A049E2B9378E61AE2B40B23DDB603EA4CBA7AD861770FB0DDB4E27217675FE9B0C7C744042E2079B36410352DB3CDC0578185385C4706EC3B78EA8493F745699AA43FAB44CCAB4594BC4A5E_}
x{2_}
x{1CE3A049E29AAA12603008902CB036CC8CA33B1F722C712CDB1B3C992D357CCD61AE504C620042E171B182B944AD5E5C398660AB5C67D4098D6923DB1D2A249E5D8733698CF766D4228929F7112_}
x{1CE3A049E2AA1DF289B7BA17E1FB31D910B4EEF172AFBD56A1D28C2954E4F6DBF6F89C6A94C0377B9278B497F3456B24E8746952CBC79C8EDC69BEDB4D838DCCBC0D3C4CED6BD1685F9CA0BEA16_}
x{2_}
x{2_}
x{1CE3A049E2819C4523430AB82B4BF0A0152DC5CF74F703B1C56DA642F7E35F90248046B6794031BA6B662C9B4197F8F6E2EE5429F9CE83B52FD9659C27AAC3E0187FF53E033DDAD0DCBB83B828E_}
x{1CE3A049E2B10AF718BA7BF17FF2F2896286C0FB9B89480BADA729390A0A5554CB036FA55E8031BA69C5067B2BE5F3D8EDA30D5E3766D38038F9B5556BAC6857BAA7425B3CF4E89B68B57F060BE_}
x{2_}
x{1CE3A049E282FA5BBB5D0A3F227D9241DD1DE834336C7AEAD03285896774827D8E0FD1552E8009CA8688DF8E21A91BA198BC937BAF25CF885C96835E0CB674F741BB466095399C3E7927CD5E112_}
x{1CE3A049E284BE4A4E5609FE86A1C617A8AE4B2345D8D9F7080DFC5CB6C71122BFD9FA53F70008348168C866655619E68C5110B80B66D4C8D0B826CB7EA31449D5453525F0EC53C148F3B088342_}
x{4}
x{2_}
x{2_}
x{1CE3A049E297A0A22E25339EC56621AEB5E4D603C3DDE97D77E4CD079A9E8F80767D611CC4C006F95333BFAEEF76853E0AAA813C4A9ADAC1005925CFB1A155BE8C74F081BF5E73846E04F77DBB2_}
x{1CE3A049E29E04D701F157ADD944F6D98CB8AC7DDCFFF3B52BABFFFD129BCB38EE964D8DB44004F9099969C5DDF629693C72A6600B4E8A0298617F313755C7905ADA6900611BC9B934EACCCEF4A_}
x{2_}
x{1CE3A049E28653062A6CB21FB868B44C74985EB98458576DB4D945340A76B4A8EDD90DF8DB8004C5D548F2200ACE4FB902D08DC0A8350A652D43CC601E8D88BD4B6E50B67FF9CA7B60D1DAFA18A_}
x{1CE3A049E2B69818C4126E02FD9F38268A6B61A882C04EE602C20CC94C38B903A5DAF9F986C0040D780552F31B03CED6249FC61E8F283A0919B709DF9534CB7F111BC7F04029B4A98BF5E41F98A_}
x{4}
x{1CE3A049E28664647C3FBC450EC7C997EAD344D8A733EE97A4A1C83854891EEFBD7816E051C003B16E086B354A258CFF3CA269E76EF56A36F51FFDE5AEAC8C5680C6F880AB35D05772B94D9876A_}
x{1CE3A049E2B9DB92F3A9ACBD19581680FE7321B503331722773F50759D91F60D9A8767C128C003B16E086B2DEF548EAE141616AA4E9EB1177A34B9F0F1A47B3B72D20F16166940A5EF6A2B68212_}
(
(suspended_address_list
addresses:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:31)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:247)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xDA391A4B88EE9C1DE7F8382EDF9ABC7877D65E56A0D4E775B26075D4C90627_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:250 s:xDA7FF7A8F609872E2111A47E58E5E6EBFF3E295F8372B0098F31C1DAF525DAA_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x082A325D5E0D291EB4487C38182D0DB474853A9846C36B5171B545F2F41EAB)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x27AFD84711FEA63794C619DED2288C7479B3EC16C927F0360ED76603F6DF06)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xCB694F7476543E6EBDE59F9B87467575CB5AE315D7EDF97A7657364973A588)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x5F5B9128665FC8F23011A217AD1D193AA69D72DE6AD7476F2B1588C71ED242)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:249 s:xF6467CE77E7071B1D3571DF3EC500305237C8FD5AC036C7D53F0D636452614C_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xCC4F8D79FF343BD74B672F751DF3E239BE84110F18AB258AC8853E29E6982C)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x0F71678BD23A8FC5DE48897EC00181121AA16A67BA3AD018D0649C293D03F5)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x6ED0C264419100E5DA07A5B056A173613775CD9832A75E4122ECBD9F4DBD93)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xA67FDECA75657FB222D9DEA33FFA755113EB745F45DD2EC38AE750C9E9648F)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x242B8250D00DC0B76FA953688AF6B553D1478465C55030C5835C17EE8192F6)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x98C2FDDF1BD44FE8810C9ACE7E1891192B37BCE733132F432406EE09BEDA53)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:250 s:x1F00D1FB3C6D9E793757E55AF665479BC427F0272CC1084E28AE2515454DE32_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))) s:x1_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x0A252BFEE7321BB730EF5BCCADF53FB0EA485A1090BC9E60FDD15B3E5FDCAC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x5A88E57789717ED815B447BB86C2A9A75CFEF2D1C8C41E26D04FABF832CB04_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xA6148BB777AE14F0546C2FFE9A1C89FE9D350E83719DC9573BEA761165B50D_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xCD3EC2D5D9564254754267EB2DF6868B94A3F781AEABF80B4176A4B859A857_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))))))) s:xB5)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:239 s:x27EB22BE1A96D451D1BD7636B80C71CB18612EE595DBEAB50714E14C4BB9_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:239 s:xDDD52252181A6460BE99D506C891336A09B420C35EDDDD90D650910532B9_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_long n:250 s:x2F5504ED3E659863AE122C8F83292EA805B410D09AC63B22E1F77366AD83D06_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xCA3A2C9990BF7878E8E495DCAB13DA05B2BFA30B3CA3AB7C85C5B7CE9DB1754_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xA405FA4CC0019C9BA47FF5CF5CD8A1FD3D59800063A31B4070E3DC03BD7421)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x125916151B6A357516044FBB45FC2D21D8DC3201466238C02EAE2E9346E659_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xFFE517373A339FB11BD4FB022ECF0D683D95846FBDA81065BCB246EFA2A44D_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x97A502EBF666C114C7956C2D873B09718C7EF158F6BE6A26F7F9EEEB5EC59A4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x27AE037FB55F6FCFE39A51A7B19072180742B04580FC57D65F254453977A0A)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x6FD10FD51007C7C639D84494716FAC6D19EB6AA0ED4E823B2DCC2FF73A4E35)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xAE045AA54E412D0958751CC67033E924D6B3BF81B113A6A1C242A3EC66A9ED_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xBD1F684402D77302D03D16FBD05FE03FB480556AB23200886AC3AAC3E6F8EF_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x5BBF159DE7EAB6BC9515A91F4095B1087DD172B0B4743D71A056505FF31E616_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:250 s:x3F5B81CC632B14667CCAC9102E816C74C243E58D5EA0B71FECF9F75819C3402_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xCB5B4053668732D03EA1E3C7A13ED82A0345EA371AEA07CE9B4D392CF6EBEE4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xD8CDC3975887F2907A920EDDE6F761DA733FD7468583E45E32CB4010FC4D28)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x04A139586288967A22DCE3B3C3BBE428A217E797968CFBE0C495B07A4F00C8)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:251 s:x2A4ADE65769265748F1B16E0C2E25D773A56265CB7305358C002E4C90708743_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))) s:xB)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x6E0C86EDF75C366761692D23ACC8050FA36A2F7A2DBC4B1687283494751CF4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xAA6E03E1EBCBE34C75A898BA0062E1EA8381B7116BE5B81CF17AFC8DA79644_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x7CCAEF29948438793CBFFFA4B1EAC1A62276ADECCA6EE12160B7D91AA897E9)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xD433AF4A8C768E78CDE34645B5449085224C0B211684145D4444514A5B626C)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x70727E6EBB414AC44E9D28A858D26A17167EE612065FBB5AE4ABA195E0459F_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xFF9500394C9AC60E6BFA12A69C365E63EA4B53CDB40E106AA9978E7171E90D_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xDBDEF467512619FFB747E061EEDDD699130716B601F89771679162A1352B7C)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x8EB5C7A310F2875658181741A1080B6927315BAA594758448490BC06A17EE4)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x2744ACC49F1589842BD27D5E29890D7CACCD08ED5442ED1C85D0B7B02F4232)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x2BC50786C0ECF00FD155E74ECEFCE133BFE02A162DBD50A91772AF4A2B2C0A_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:xF9CFCC66DB2B7F1E50751BD4C1D909DAE2B560CC6C48FE7E33DD462BDDAEE2_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x7F43D03B7FE7539CA9B970F9FD26996E88F6461663779CF8EE8ED533C0230F_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xC622A597C608BB98296D5AB61FE2941AD9A4593C5BCC03C2C1575866A5AB83_)
node:(hmn_leaf
value:unit))))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xDDD8F6AA51D448E7F60E4895AD5C2172ACB74A413D61B05F9F3534EEF2BEBB_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x71890F18B7F2DBF41CED90D7BD7725EE5324CE70A251945F41B5E2362CAF7D_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x0954A54D2B1675D19968B766722C16D2089B724349DB553C41AA19E7C1B7FC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x8697ED46AC6012123DC66808B3BCC3970E5EBDC99A5C536614B421DF1A32D4_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:247 s:x6BA287429C86B251BE555D8161DB7A8918013839E77B8AAA94FCBD221403E9_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:248 s:xF102C5D902D4D0A0CC09576EE7AF3342C85BA6D5A5357DBCA0785305B985FD)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x77FA11F3C4EB7C019C2AB327E384F7C019DB8774D65505ABF2B56AD1B6139D)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x6963A7C0DFE6A9C0C41776910CBBCB3CB855DFFBADB99AD7DC88CB74761E0B)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x7740AF3EFB32099C6E4DB51EE4ED8FB53B9D0B0B607373AEE0332E5F65A2CC4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x06B944768F87C34B99649C428027715ACFE78ECE9B4C7BA9AD8EC7B6A365D1_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x12B1CD0BDB44A8D34072419DA8A3469459FE0196B7AE1DCA58911FC2E40BFB_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x1425BF0B2DB48EDBC04B48F893D790BD183DB5CA5A4201671DCE5C07B15DBF_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x399CC9FD87673A15EAB3A27BC0EF84B0693C595D380B11738A38814E922F41_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:248 s:x4ACD125383C243C1F8ABC42AA0AD0B3F024B91C272C0BCFD5A09195E5FD3EB)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xD90D443BC808A0D035AA81969C752E74A7E6AA52840D3404F83C4DFBFE2C76)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xFB4CEC37D8FE2F1B3512F6C61B47CCC1B79EA9B5A5C53CF28D5E0B13ED2E25)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x3BEE8EE98EDD59BE073A73012B87D9ED0368F70A04CC121E29DE7E2B4F31964_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x7094BA2BD7C759E7F3B7028997C48E61C58338A09D57AEBC7424284B5711E94_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xD2A6642830CF2B0BCC84764CD68975BC97E2529DB8E3250A6842A782FD8091_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x36D9E6996E32CE601D880620EEC363A03F2C0A2588BE0BE4A6E6294D773289_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:249 s:xFD84033E838DD34D1F2F3AF65F9E15F790F04280FA774F4F9817E022E91147C_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x6_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x1CEF895C43D7BD202197EC58F18529F6CE07A2C23F96211FB23B7D6CFBC1DE_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x9ECBD91BBB78243C361812B681F1BDEC154AC2820E1AB24DC2F8EF142759A6_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xE_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:xC002FA14641A0936C3744C06509F364C3A5530BA0DAF8646656C5CA1F82166_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x5AB381E8485E83118F9F2F0166879CD022E945C453909EF78D9D26A7F81DAE_)
node:(hmn_leaf
value:unit))))))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:xCC8089E7A67F7BC5DEE998D2509A4312E1C2F6D316E2FC790C4F62BA5E67C2_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:xE5EAB7B222C08A1F67EAD88F3EA049E44B8C58CB74541FFEE46B5E765AB8AE_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x0891E001CB3EC10CE07FFF483CA7649F0FDE8F467E43E9F706D4842A2D2122)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x2AA2F9C3FE8C0FE67B00E06EB6EFAE47E6494EC80D5357EEE3AE219FD82B63)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x7401BC36D6B7FE26224F29A01B157409F29094DE9496274778D81BBED313F7_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xBB027D9C1604A1468671DF103B8540D1B706DC2DA7B4C7874F4109401FCA37_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x70DE1BD64DBE4CEADF00C3A46B7471BE5C1C7150D22B470F7B39476607CBC7)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:xEC2A8DEB76255682CC76BC3577E75B766D2C4CC4012A64F5E89CCB3B42AEFC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xC3CDA14D323175067A8CA23BA5B081DF4F60E3D65B424D5BE87BCC2EF8629C_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x1259A291251C857D254FED004958701743819D407C5F84C3E26E3FBF60DF974_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x4147B99C5103BC21F37E0E4903607175ADE489661BF4F30EA4F89200E884E2C_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:250 s:xE9F6A15EC26E646160673BB4B8825E3FCBE34FB8665CEF96612764FC72B90AE_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x57D26E1AA4C5BF1840F1B6777ECF4BA0EF9BE81DDF8E89B4906C0DBEB543E2)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x1E487E192FEED5F1E401105FF4966FE8B8827EC10B39413CC1A6C4874972DC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xB78613FA36072E9C791AFDC71683B32F9AE1834524B9DF06DDA745F0062544_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:247 s:x58A8A43DBF5AFC9DAD895EB23A13545B9062BE2995DE033E108DD5031B2DE9_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x97F49D3AF068F3D33E52E37A036C1A4A33ED4579C33EE86107ADF7E48D9917C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x9B4B6AC97158A789EDB9C0CB4F0255D60C70A21E89A092F5634ADFC1F2D0854_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x9208755A93E8C873D00DBAD4C07C7A5934CDD8746932EF2683CEC4EB8345A12_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))))) s:xBC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:244 s:x0060805C7B5A40936A8924F4ACD4ECF265194A8E47EAF33B82F03EDEAEFE8)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:244 s:x583316539952B7D1B689C24338C3485CEB46FE25FFDE1316CF688BE450EA4)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:251 s:x79DA47E716EEAA264DA931BD1FB7E54CE21F36262D0F1239007E13E86E2D715_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x53846F4E7D81E9EFBC9E6944BFF799A11CF560AAF7AB20EE7444E372B30580A_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x2E90DE1C1DAAA516E6B026FFD319AC615371D4D81E62BBC7193D530EB1E40E)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xAED4D7100A12A681119A2A8E9C809EF4B1F19F637CF4DE011FDA9D1E5AC6F9)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xB44A5B2896AE95EBCE61740FAA59A088C8070D4E82E97ECA471A45CB33DFD1)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xDBCCB8F4675A2E7728725BF421274394C518FDCC433C63561423D3F2DE06BA)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x2664F2A6AC921D531524C1D6B296F7C6BB362EB772E1E27E33B431A5B4B870)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x0E6FC3BEE08644516AAD9D1190F09A4C90C06872967293F768DDDFFD3189D5)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x1B6A61E804BF983FFE708BF8688626D73E63020096FD34C312BEF6CA05CE3F)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x416647545B2735CDD83D161A7D412B160FE2D2C970A128B24E88C177AD536A)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x00556EA806B31D4FA20E5D9260F2525E1521ED59304D8110363ACCC368418B_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x478A1BB6A9977DBD47D8DC5D125A9E0EE583E1DF98EF7A33349EDD1388C67D_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:248 s:x6C62EA2365CF74A189CCD9643E73A7077624C34410F6520C642656E465AFA6)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:250 s:x90799D7740FD25B33C4D2ADDFCD1F096B9A57DE2FC02FDB7EEAA6AE5835FDF2_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xA0F779545719A508492CE642FC8D315CAA0F251257C08BC75279EF23DA31432_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))) s:x7_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x838303F21D1543BD99768988232779D678F456DB08E8516031ADB8330796BC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xBE2E6E6BC47D5DAB3B6493B19C7C3DBBDABFE72C8E98A89A738617869CD974_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:249 s:x82A11088EA81284EBEFBD7C9091E8B455B4D09C13D3059275C5945D2579740C_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xCD40EC445D163A2422E9C509281E3B1922F95F05C1B19A1769C5CC70EE1774E_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x5A19981D45A9294614B3E6E6BF4B04B017EBB17A04540B0E5C1A84D02B8F3D4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))) s:x5_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x0889B58DCC7B34CBECA074C6F16291E287E042FF5D25CBD1BECFD45A15097C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xA29D6F1AD92371832322F9ED0C2F4D01881472E24661FC942B007319677634_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x3141B0B76E4841DDFFC878C8D3717BD46F0AA7618C68C12FD93896A1329BB3)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xDF81835A2722628EB6B846E84BCB23DE194A51701661C33752B73436308C83)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))))))) s:xAD)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:241 s:x7B2CC02F785E418A0ECA1447707BDD6C57457D8B76B592A24EFBBB05FF73C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:241 s:x7FC5B4FE6856DEA7114ACE0650F476C5F6ECB528456CA66DBFDB492586574_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x391A0C107AE499C011FBD9ED0E4023D07ABA80B1944F471E82553C4E6F637EE_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x03F4CC6AA9DA2B1D8106F73169F4E9C14C596115DC2974C0663F3439AA5149C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:xBC88626A9870E16F1DF81068E8876607854E26A42FC75649A7CFB341400D0BC_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))) s:xA)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x6E09928535F21004DBC34B040849ADC0DB6ECCA23E4B70C71003C23D186F4C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x80BBE29D99B8421CCF9038B04EBD6BB31316E011BEB9909F350381CECCA374_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:250 s:xB0BDA2B677F49B68F76938CEB479F7CF59E2AC92C80357014F132C6E7ED337E_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x673AFD1C350ED7805244C28F5BA208425541F37D9FAEAD0B4987A7AC456E714_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x18D6C4DFD999EE5AB91167E6A28D66DA1FEAB964C1E48219FF62CFAD09986A_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x98B7E8A8C670EFB967EE8027D029DAF81929FEC9CDC311E047631397FBAA56_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))) s:x3)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x789279CC80BE99DB34ADD9DBC1C07CB857BDB5CDE7D3E62BE03B336543740C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x5C129113ABA01B95F9951ED37DD41EC6344C8682555CDB8E3BA283DC89364C_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x1AEE2F16FD5EDF09FC9A29FF8B2ECE3C95DE80E613150E5B6456796B964F88)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x486642F3C3B6070DB2DEF92725EB7BA17577D1C0E51AD091F026FBA1186DE6_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x6BE42D4469258E317A86388C1348FB2E79CC8C990387A99805A86FDD282E7E_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:249 s:x27BF59C96826FA7AAB5ECEB1D08E3090F88A4011F6F02ED158D7CF4EA01FBBC_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xADD9D5C38D9C45D43AAE9CA17EF1D1168AF25D96263FD056220979ED86EAA72_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:250 s:xA786B8A78EFD01E0B4E0AF47511D31F01F530EB201A12815C965DEEF1123196_)
node:(hmn_leaf
value:unit))))))))))))))
right:(hm_edge
label:(hml_same v:1 n:31)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xDAB9DEB6E2662F1C1EB70457950F12C24CCCAC81E7F5FD6DFB7BF1CA99FC8A4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x5146B590512502A3BE7E753B63E9F3F55154E65790C4BA3BF54C801CDD92D94_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:250 s:x8AED03C44BFEAB117D5082726861F7257E69B12C1EC9919920C8C8CE6388A66_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:252 s:x9BD614293AE2E6DD4FB93D7C00E50000D95B6A14784D05FFF84D031E6F990DB)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x3A00CF6C519F2B3AA2C563C3D879A0B781BA29651D4132413C7DC0F4AF9367A_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:250 s:x0C18ACA9C34D3A01E458AA298B8E663651FA7E48793C0B464904D815065CF0E_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x14D2793493B8FB44309550167245195DD93E3DF6037B10D9D7E8EEF52C6117)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xF14297CDE39E6F3E927F4FEB76AED94A084F57E8ABE21C5455F34DA008F7B9)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xE30FD765E75A7D304E5E9799B8029678D814CD896365006588546A49CA25FDC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x58B28F7D57B2910D4DA1E5C24FEE7569645B3AC6132A6C9DDC0412CC4677F44_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xF29C71CA801C58EBE97E5BF75637E0AD193DBF8E2E6B377133388FA9F735846_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:250 s:x8AD021EAA0189D7045091F1E27695DD3B60994BF5A04846A6DDC314B1A79DCA_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:251 s:x19DD7573A250D23A0C910AE2A6350B1A1AF0797A8909165CC594C133D3A07EB_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:251 s:xD86D4A7B8ABA5F4DE6088F3BCFEA9530EFE077EC6F5EFE924B0756A5F6E7BE3_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x4C77BF20CD2895B0AD33CF4007B448DAF31D54A01FCD0D93239FE97CE8D40AE_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x1D9566441B45E3EEE1A02DF6A0CD3E06E339AD4BF24311D3D0073380D2BF7D_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x03D3454D9A8719CAB4BC2CFBA881DC09818C3DC160BB40229A89C9D6A2CECA_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x511E0955C1DF6626CE20EA9D266F8E4CF37A675CF46F290ABB4F54A7EC5CFE_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:248 s:xCE3E9105CE2643AA779E0EE6189EEDA7B31BCC44617BBA1B90CF40D309C208)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:251 s:x6A7DF8004E0C8383DEA99016E85EA3FC96E0165F1E80F0450C6602E5D220AEF_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:252 s:x07CF9EFF139C9E7F83DF22FC4869047FF497031DE94521FF2DFDD40C2EB3C46)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x92625B7428E27ABCA4A8D5CF37ECDFFD2E2713265976320EC76E2C7B6ECBC82_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x53B353382ACE7EB28C974F77694E3F62D0AA2645ECEDBF2DB7262F331FFA17C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))) s:x5_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:xB9AE18060D002B24D0CD850EEF3AE9C614821A8B8A534AE76A0B7E50682974_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x3E7239039EB6FE3688DF384269C26DA6F619661E6AF71CE5B0CA5E0B108704_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:251 s:xC6BA665070B31C77DA6836E22BAE8B0D129E29B9618B84284D546D849D8ECDB_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:251 s:xBA77F6CE184FE288A88AAB90060AF71EB40DC8CF0E398A1635F7AF9ECBF05B7_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:x83D524CE9F18FF4E0BE3DCCCC51D88A3CD7F0914AEDE1EB258335D7118D2A08)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:252 s:x17045F9F82DB60C4F3A4BB1206E108DEF01A2E2B400DF969771A7E3392555AD)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:xE5F3FE4B464C70A56FC6ABCCBB775C48E5253C3D2C46318C6BD224D7DFEFD96)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x6CDA909D3F0601D1C39E2C5FF4DCD3079558BE69EF698B3A9B9DCAC1BC4CCEC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x46B25990585029855C4500618826F7EE93FA01A6781DCF2D2C27C5B19963524_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))))) s:xBA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:243 s:x81DC71BD341EA846337951419219DD098EB969510C143DFAE5D12AED4BFA1_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:243 s:x8B736A3E478FA87CE010CDE422534E85E8C3759D3196589D1EBAB1FCEBDCD_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xE_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xE90DA70D141F671FD7B0627ECF4CD8B64E12E8E5CF65C50048E9B8DB4CB515_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x7D6EE908342A4A98D117780FAF7BB327869F164ADF8C3C91430946230CB675_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xDED695091330AD5D6C932FC4138E41389A134C9D1DEAF90B6486FA8F893E1B4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x4AB8F3DCFAC76FF5F7D14BF2A3F9B490299144EDF4FF8DBB6883FE5D6180824_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x965D05CC45ED5096252FAD8BBF28EC9DAA63E697C8A8A90A5D8FD027D779484_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x81D648BF35BB1FC283CF8CB5A0A322B80CE55D8F9317B3C6540C14BC60A7D14_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:252 s:xC3D252D2B2FD4F8964348D50DA8DE5C56C9FD39126A4BDDCBE8344CF476ECA1)
node:(hmn_leaf
value:unit))))))))))))) suspended_until:1803189600))
x{00B5BD3EB04_}
x{2_}
x{C1F}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{62_}
x{DEF_}
x{BDF68E4692E23BA70779FE0E0BB7E6AF1E1DF59795A83539DD6C981D75324189C_}
x{BEB69FFDEA3D8261CB8844691F963979BAFFCF8A57E0DCAC0263CC7076BD4976A}
x{2_}
x{4}
x{BE020A8C9757834A47AD121F0E060B436D1D214EA611B0DAD45C6D517CBD07AAE_}
x{BE09EBF611C47FA98DE5318677B48A231D1E6CFB05B249FC0D83B5D980FDB7C1A_}
x{2_}
x{2_}
x{BE32DA53DD1D950F9BAF7967E6E1D19D5D72D6B8C575FB7E5E9D95CD925CE9622_}
x{BE17D6E44A1997F23C8C046885EB47464EA9A75CB79AB5D1DBCAC56231C7B490A_}
x{BE7D919F39DF9C1C6C74D5C77CFB1400C148DF23F56B00DB1F54FC358D9149853_}
x{2_}
x{6A_}
x{BE3313E35E7FCD0EF5D2D9CBDD477CF88E6FA10443C62AC962B2214F8A79A60B2_}
x{BE03DC59E2F48EA3F17792225FB000604486A85A99EE8EB4063419270A4F40FD6_}
x{2_}
x{2_}
x{2_}
x{BE1BB43099106440397681E96C15A85CD84DDD73660CA9D79048BB2F67D36F64E_}
x{BE299FF7B29D595FEC88B677A8CFFE9D5444FADD17D1774BB0E2B9D4327A5923E_}
x{2_}
x{BE090AE0943403702DDBEA54DA22BDAD54F451E11971540C3160D705FBA064BDA_}
x{BE2630BF77C6F513FA204326B39F8624464ACDEF39CCC4CBD0C901BB826FB694E_}
x{BE87C0347ECF1B679E4DD5F956BD9951E6F109FC09CB3042138A2B8945515378C}
x{2_}
x{2_}
x{2_}
x{2_}
x{70}
x{BD42894AFFB9CC86EDCC3BD6F32B7D4FEC3A921684242F27983F7456CF97F72B_}
x{BD56A2395DE25C5FB6056D11EEE1B0AA69D73FBCB472310789B413EAFE0CB2C1_}
x{2_}
x{2_}
x{BDE98522EDDDEB853C151B0BFFA687227FA74D43A0DC677255CEFA9D84596D434_}
x{BDF34FB0B5765590951D5099FACB7DA1A2E528FDE06BAAFE02D05DA92E166A15C_}
x{7FAD6_}
x{BBC9FAC8AF86A5B514746F5D8DAE031C72C6184BB96576FAAD41C5385312EE4_}
x{BBF7754894860699182FA67541B2244CDA826D0830D7B77764359424414CAE4_}
x{BE8BD5413B4F996618EB848B23E0CA4BAA016D043426B18EC8B87DDCD9AB60F41}
x{5}
x{BE728E8B26642FDE1E3A3925772AC4F6816CAFE8C2CF28EADF21716DF3A76C5D5_}
x{2_}
x{BE29017E9330006726E91FFD73D736287F4F56600018E8C6D01C38F700EF5D086_}
x{2_}
x{BDC496458546DA8D5D458113EED17F0B4876370C8051988E300BAB8BA4D1B9964_}
x{BDFFF945CDCE8CE7EC46F53EC08BB3C35A0F65611BEF6A04196F2C91BBE8A9134_}
x{2_}
x{2_}
x{2_}
x{BE65E940BAFD99B04531E55B0B61CEC25C631FBC563DAF9A89BDFE7BBAD7B1669_}
x{2_}
x{BE09EB80DFED57DBF3F8E69469EC641C8601D0AC11603F15F597C95114E5DE82A_}
x{BE1BF443F54401F1F18E7611251C5BEB1B467ADAA83B53A08ECB730BFDCE938D6_}
x{62_}
x{BDEB8116A953904B42561D47319C0CFA4935ACEFE06C44E9A87090A8FB19AA7B4_}
x{BDEF47DA1100B5DCC0B40F45BEF417F80FED20155AAC8C80221AB0EAB0F9BE3BC_}
x{2_}
x{BE96EFC56779FAADAF25456A47D0256C421F745CAC2D1D0F5C68159417FCC7985}
x{BE8FD6E07318CAC5199F32B2440BA05B1D3090F96357A82DC7FB3E7DD60670D00}
x{2_}
x{2_}
x{2_}
x{4}
x{BE72D6D014D9A1CCB40FA878F1E84FB60A80D17A8DC6BA81F3A6D34E4B3DBAFB9_}
x{2_}
x{BE363370E5D621FCA41EA483B779BDD8769CCFF5D1A160F9178CB2D0043F134A2_}
x{BE01284E5618A2259E88B738ECF0EEF90A2885F9E5E5A33EF831256C1E93C0322_}
x{BECA92B7995DA4995D23C6C5B830B8975DCE9589972DCC14D63000B93241C21D0C_}
x{2_}
x{2_}
x{7AE_}
x{BD5B8321BB7DD70D99D85A4B48EB320143E8DA8BDE8B6F12C5A1CA0D251D473D_}
x{BD6A9B80F87AF2F8D31D6A262E8018B87AA0E06DC45AF96E073C5EBF2369E591_}
x{5}
x{BE1F32BBCA65210E1E4F2FFFE92C7AB069889DAB7B329BB848582DF646AA25FA6_}
x{BE350CEBD2A31DA39E3378D1916D512421489302C845A105175111145296D89B2_}
x{2_}
x{2_}
x{5}
x{BDDC1C9F9BAED052B113A74A2A16349A85C59FB9848197EED6B92AE865781167C_}
x{BDFFE5400E5326B1839AFE84A9A70D9798FA92D4F36D03841AAA65E39C5C7A434_}
x{2_}
x{BE36F7BD19D449867FEDD1F8187BB775A644C1C5AD807E25DC59E458A84D4ADF2_}
x{BE23AD71E8C43CA1D5960605D0684202DA49CC56EA9651D61121242F01A85FB92_}
x{2_}
x{2_}
x{BE09D12B3127C562610AF49F578A62435F2B33423B5510BB4721742DEC0BD08CA_}
x{4}
x{BD8AF141E1B03B3C03F45579D3B3BF384CEFF80A858B6F542A45DCABD28ACB02}
x{BDBE73F319B6CADFC7941D46F530764276B8AD58331B123F9F8CF7518AF76BB8}
|
| (
(precompiled_contracts_config
list:(hme_root
root:(hm_edge
label:(hml_long n:256 s:x89468F02C78E570802E39979C8516FC38DF07EA76A48357E0536F2BA7B3EE37B)
node:(hmn_leaf
value:(precompiled_smc gas_usage:1000))))))
x{C0C_}
x{A01128D1E058F1CAE1005C732F390A2DF871BE0FD4ED4906AFC0A6DE574F67DC6F76000000000000007D1_}
(
(oracle_bridge_params bridge_address:xB9E998AA2946EDA7F031D9083857087BC975C908EF1C34901BDB6F49E975DEE3 oracle_mutlisig_address:x8E575769805544CC49B2BC01134FC82786A67522A1E7F11CD3E9D9849AF9F37B
oracles:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:254 s:x8CFCEB853625A0A8130AC1A0105371ECE747FAC27DF1EB499F0AC8552B05C47E_)
node:(hmn_leaf
value:1341743997294016852935536825614805917915006606321))
right:(hm_edge
label:(hml_long n:254 s:x7F0B2464B12E1837D84D102DBEDF64FA611D91A22C92450EB04C0FC35C335E4E_)
node:(hmn_leaf
value:1309072402124590986537066459772523510465169052414))))
right:(hm_edge
label:(hml_long n:255 s:x3F88C11F71E51A8F49F03382E26A1716A729E521650805B262B08F81AE00AD97_)
node:(hmn_leaf
value:1405637230277783499249552545545270804021781236561))))) external_chain_address:x000000000000000000000000DB15FFAF2C88F2D89DB9365A5160D5B8C9448EA6))
x{B9E998AA2946EDA7F031D9083857087BC975C908EF1C34901BDB6F49E975DEE38E575769805544CC49B2BC01134FC82786A67522A1E7F11CD3E9D9849AF9F37B8000000000000000000000006D8AFFD79644796C4EDC9B2D28B06ADC64A247534_}
x{2_}
x{2_}
x{BFA33F3AE14D89682A04C2B0680414DC7B39D1FEB09F7C7AD267C2B2154AC1711F000000000000000000000000EB05E1B6AC0D574EF2CF29FDF01CC0BA3D8F9BF1}
x{BF9FC2C9192C4B860DF613440B6FB7D93E984764688B249143AC1303F0D70CD793000000000000000000000000E54CD631C97BE0767172AD16904688962D09D2FE}
x{BFCFE23047DC7946A3D27C0CE0B89A85C5A9CA79485942016C98AC23E06B802B658000000000000000000000007B1B7A075F0BFD9509A1F2F7774E89D5484445A8C_}
(
(oracle_bridge_params bridge_address:xC69899ED4C3A24C5F84B185D6346F3060BC25ABF657991EA0D8F8125DA3CE11E oracle_mutlisig_address:x375679D7B9AA905754ECDAABD4AFA6A069C334C9D3AEC7934D6B599C53E7043B
oracles:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:254 s:x8CFCEB853625A0A8130AC1A0105371ECE747FAC27DF1EB499F0AC8552B05C47E_)
node:(hmn_leaf
value:1341743997294016852935536825614805917915006606321))
right:(hm_edge
label:(hml_long n:254 s:x7F0B2464B12E1837D84D102DBEDF64FA611D91A22C92450EB04C0FC35C335E4E_)
node:(hmn_leaf
value:1309072402124590986537066459772523510465169052414))))
right:(hm_edge
label:(hml_long n:255 s:x3F88C11F71E51A8F49F03382E26A1716A729E521650805B262B08F81AE00AD97_)
node:(hmn_leaf
value:1405637230277783499249552545545270804021781236561))))) external_chain_address:x000000000000000000000000DB15FFAF2C88F2D89DB9365A5160D5B8C9448EA6))
x{C69899ED4C3A24C5F84B185D6346F3060BC25ABF657991EA0D8F8125DA3CE11E375679D7B9AA905754ECDAABD4AFA6A069C334C9D3AEC7934D6B599C53E7043B8000000000000000000000006D8AFFD79644796C4EDC9B2D28B06ADC64A247534_}
x{2_}
x{2_}
x{BFA33F3AE14D89682A04C2B0680414DC7B39D1FEB09F7C7AD267C2B2154AC1711F000000000000000000000000EB05E1B6AC0D574EF2CF29FDF01CC0BA3D8F9BF1}
x{BF9FC2C9192C4B860DF613440B6FB7D93E984764688B249143AC1303F0D70CD793000000000000000000000000E54CD631C97BE0767172AD16904688962D09D2FE}
x{BFCFE23047DC7946A3D27C0CE0B89A85C5A9CA79485942016C98AC23E06B802B658000000000000000000000007B1B7A075F0BFD9509A1F2F7774E89D5484445A8C_}
(
(jetton_bridge_params_v1 bridge_address:xA524100B8D7492C122A279D2B3AE24878B1C105312750714C4D3952BE405F065 oracles_address:x4D2C7F02B0652410A198CC2C5A2DDF5387A4F96243BE317B02114F51C357E246
oracles:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:254 s:x8CFCEB853625A0A8130AC1A0105371ECE747FAC27DF1EB499F0AC8552B05C47E_)
node:(hmn_leaf
value:1341743997294016852935536825614805917915006606321))
right:(hm_edge
label:(hml_long n:254 s:x7F0B2464B12E1837D84D102DBEDF64FA611D91A22C92450EB04C0FC35C335E4E_)
node:(hmn_leaf
value:1309072402124590986537066459772523510465169052414))))
right:(hm_edge
label:(hml_long n:255 s:x3F88C11F71E51A8F49F03382E26A1716A729E521650805B262B08F81AE00AD97_)
node:(hmn_leaf
value:1405637230277783499249552545545270804021781236561))))) state_flags:0
prices:(jetton_bridge_prices
bridge_burn_fee:(
grams:(nanograms
amount:(var_uint len:4 value:1000000000)))
bridge_mint_fee:(
grams:(nanograms
amount:(var_uint len:4 value:1000000000)))
wallet_min_tons_for_storage:(
grams:(nanograms
amount:(var_uint len:3 value:8000000)))
wallet_gas_consumption:(
grams:(nanograms
amount:(var_uint len:3 value:15000000)))
minter_min_tons_for_storage:(
grams:(nanograms
amount:(var_uint len:4 value:100000000)))
discover_gas_consumption:(
grams:(nanograms
amount:(var_uint len:3 value:10000000)))) external_chain_address:x0000000000000000000000004EFD8F04B6FB4CFAF0CFAAC11FB489B97DBEBB60))
x{01A524100B8D7492C122A279D2B3AE24878B1C105312750714C4D3952BE405F0654D2C7F02B0652410A198CC2C5A2DDF5387A4F96243BE317B02114F51C357E24680000000000000000000000000277EC7825B7DA67D7867D5608FDA44DCBEDF5DB04_}
x{2_}
x{2_}
x{BFA33F3AE14D89682A04C2B0680414DC7B39D1FEB09F7C7AD267C2B2154AC1711F000000000000000000000000EB05E1B6AC0D574EF2CF29FDF01CC0BA3D8F9BF1}
x{BF9FC2C9192C4B860DF613440B6FB7D93E984764688B249143AC1303F0D70CD793000000000000000000000000E54CD631C97BE0767172AD16904688962D09D2FE}
x{BFCFE23047DC7946A3D27C0CE0B89A85C5A9CA79485942016C98AC23E06B802B658000000000000000000000007B1B7A075F0BFD9509A1F2F7774E89D5484445A8C_}
x{43B9ACA0043B9ACA0037A12003E4E1C0405F5E1003989680}
(
(jetton_bridge_params_v1 bridge_address:xB525EB5B3C5F6E6DCD606BEE7BA07A0EC83035212849B7E0559499C0F6BAD54D oracles_address:x211F1574BF623D14787708C5FDD565E329A25ABFA49095E984426F19BCF04974
oracles:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:x26E0C2150C627DB21D4DF8DDD71ECCA92F99EDDCC85241ED21D5637157854F6)
node:(hmn_leaf
value:793697967099509008209516227511583997618122386031))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xC13C71C8A301B9A46812557F27E0A98E697F84123BE7392051950BD5B0958FE_)
node:(hmn_leaf
value:696792033252978185794915626763083492124605415105))
right:(hm_edge
label:(hml_long n:250 s:xB1C183B2024F87D1818173BD2064525CEA8A94BDC1F2C14FB224D05F48D87E2_)
node:(hmn_leaf
value:281633868233304417562572155736365104367335520434))))
right:(hm_edge
label:(hml_long n:251 s:x8F1BDB89BD326F70CABD00437072FF85D83B3630AEAA3510D3DB7C8609A1569_)
node:(hmn_leaf
value:777608011679031228429594516736564499414207438770))))))
right:(hm_edge
label:(hml_long n:253 s:x7069DDB2C1384BB6DC54D207305AE4894AE2CD69D3E6F23DC9F398204738E41C_)
node:(hmn_leaf
value:1344678276561404795186410063798908641577107429834))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:x3D7E14E6FCDA944414F816EC097336567B7F45E7BE619A916DB7C2959E20B02)
node:(hmn_leaf
value:385782990916311287394729117265910472215696830598))
right:(hm_edge
label:(hml_long n:252 s:x46E0F7AC50F2354A6E5ED0409D64F290A540B98ED428BAF27B8D7DB2DD9BDB9)
node:(hmn_leaf
value:852309941578529433498607459853229507481879392631))))
right:(hm_edge
label:(hml_long n:253 s:xA731861AFE7739E1B69A4654283E905AA32FAE6B39D7479F59B0C918F5AD8814_)
node:(hmn_leaf
value:415313265058769448185696091671509588960788065347))))))
right:(hm_edge
label:(hml_long n:255 s:x4FBAAECCF753A4F702821B7BC53A688BE83D4B0EE0B646034B268E874A877341_)
node:(hmn_leaf
value:624380978848250621638684286914575125545021100386))))) state_flags:0
prices:(jetton_bridge_prices
bridge_burn_fee:(
grams:(nanograms
amount:(var_uint len:4 value:1000000000)))
bridge_mint_fee:(
grams:(nanograms
amount:(var_uint len:4 value:1000000000)))
wallet_min_tons_for_storage:(
grams:(nanograms
amount:(var_uint len:3 value:8000000)))
wallet_gas_consumption:(
grams:(nanograms
amount:(var_uint len:3 value:15000000)))
minter_min_tons_for_storage:(
grams:(nanograms
amount:(var_uint len:4 value:100000000)))
discover_gas_consumption:(
grams:(nanograms
amount:(var_uint len:3 value:10000000)))) external_chain_address:x000000000000000000000000B323692B6D4DB96AF1F52E4499A2BD0DED9AF3C5))
x{01B525EB5B3C5F6E6DCD606BEE7BA07A0EC83035212849B7E0559499C0F6BAD54D211F1574BF623D14787708C5FDD565E329A25ABFA49095E984426F19BCF04974800000000000000000000000005991B495B6A6DCB578FA97224CD15E86F6CD79E2C_}
x{2_}
x{2_}
x{2_}
x{2_}
x{BF09B8308543189F6C87537E3775C7B32A4BE67B773214907B487558DC55E153D80000000000000000000000022C1A974DD897D07BA767D50D20AD958B195FA9BE_}
x{2_}
x{2_}
x{BEB04F1C7228C06E691A04955FC9F82A639A5FE1048EF9CE48146542F56C2563F0000000000000000000000007A0D3C42F795BA2DB707D421ADD31DEDA9F1FEC1}
x{BEAC7060EC8093E1F460605CEF481914973AA2A52F707CB053EC893417D2361F80000000000000000000000003154E640C56D023A98890426A24D1A772F5A38B2}
x{BEE3C6F6E26F4C9BDC32AF4010DC1CBFE1760ECD8C2BAA8D4434F6DF21826855A000000000000000000000000441A93191A834877917CD2C0735A09E3A3E00FD94_}
x{BF5C1A776CB04E12EDB7153481CC16B92252B8B35A74F9BC8F727CE60811CE3906000000000000000000000001D712EB2CDB5E190CE438297176FBF713F9773395_}
x{2_}
x{2_}
x{BF0F5F8539BF36A511053E05BB025CCD959EDFD179EF9866A45B6DF0A567882C080000000000000000000000010E4C6E30A78D2A3059A550233558C9FD4473C21A_}
x{BF11B83DEB143C8D529B97B41027593CA429502E63B50A2EBC9EE35F6CB766F6E4000000000000000000000002552B992EC09A2C1BFFBEEDBD15219E97CB2CC5DE_}
x{BF69CC6186BF9DCE786DA691950A0FA416A8CBEB9ACE75D1E7D66C32463D6B6204000000000000000000000000917E94F07D9F6FF355956D1A5160DFB5FE6F5887_}
x{BFD3EEABB33DD4E93DC0A086DEF14E9A22FA0F52C3B82D9180D2C9A3A1D2A1DCD000000000000000000000000036AF1B0FBF0AF5D39F20C827A7D953E9650228B14_}
x{43B9ACA0043B9ACA0037A12003E4E1C0405F5E1003989680}
x{}
x{0020000F0003}
x{0000000000000000000000001}
x{001F000F0003}
x{0020000F0003}
x{0021000F0003}
x{0022000F0003}
x{0023000F0003}
x{0024000F0003}
x{0025000F0003}
x{0026000F0003}
x{4_}
x{492C0A37FBE873E730EE4780B294758D650CAD220951872B007C67223838ED94}
x{}
x{FF00F4A413F4BCF2C80B}
x{2_}
x{4}
x{C5}
x{CD_}
x{2_}
x{4}
x{007434C0FE900C083E9108A342180162A47CD356A611C58F12ACA444C78D6D0AB59D09321D94AD1320419D669640A531C140B03FD4882C6CC11C6C052C4931C02C6497C17800F4C7F4CFC8A0841B90D4DB2F54982C3C9948A084139594D52EB8C08D0860841B90D4DB2EB8C08D0820841B959414AEB8C08D08E_}
x{32343403D4D171F833206E92307F94D0D70BFFE2027003BA9C3120F00721F823BC02BCB001DE019F802401F0018210EE764F4B8040F008E0308210EE764F6F8040F008}
x{355BD4D21FFA40D122D7393123D76522FA445B01C00001C000B0228509BA2381FBFFBAB15005B014B09E01F001018210EF764F4B8040F008E05B018210EF764F6F8040F008}
x{3003DB3C804021A322C2FF9C5B74FB028210EE56505283069132E2F008}
x{01D31FD4D2003022AB1D9502F823A102DE21DB3C228509BA2381FBFFBAB1985F0782173C8D96AAE020C2FF8E1722F833206E92307092F900E221BD973082171D9B9CAADE8E1579F83352308020F40C6FA1319730821732AF9194DEE221D7658307BE973082173D9E9BAADE20C1FF926C61E0239132E30E21C1FF}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{7AF833138020F40C6FA1319782173C8D96AC32DE}
x{93155F05E03121800BF833DB3C3434355280B9985F0982173A878F97E05073B608038309F941328309A017A806A60212A815A05301A802F823A0ED44D0D4D31FD3FFF404D128F90053018307F40E6FA1E302303651A6A1831DB9985F0A82170F9E86DCE0DB3C3073A9B401706D03F9001057104B1A4330}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{38393905DB3C524DBD985F0F82173C8D96ABE05358BE985F0F82173E938DBBE05286A1830DA019A851DDA1831DB9985F0D82170F9E86DCE01056401450770380CEC8CA0716CB1F14CC12CA00F400CA3FCBFF5004CF1640458307F4431303C8CC12CB1FCBFFF400C9ED54}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{80CEC8CA0716CB1F14CC12CA00F400CA3FCBFF17CB0714CB0F40168307F4431203C8CC12CB1FCBFFF400C9ED54}
x{8210566F7465BA8F4A338308D71820D31FD30FD3FFD1028210566F7445BAF2A520DB3C30D3070180DFB0C053F2A9D31F0182108E81278ABAF2A9D3FFD33F304455F911F2A202DB3C8210D6745240A08040F008E05F0320C00001831EB0B1F2A5}
x{DB3C32598010F40E6FA13001}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{ED44D0D4D31FD3FFF404D146135054DB3C5473542503C8CC12CB1FCBFFF400C9ED54216E926C518F387621A14440DB3C5472652603C8CC12CB1FCBFFF400C9ED54218E97F80F10231025DB3C440303C8CC12CB1FCBFFF400C9ED549410465F06E2E2}
x{53238307F40E6FA1945F046D7FE1DB3C3001F90002DB3C26F823BB9A5F0B018307F45B306D7FE05318BD8E8C313222DB3C6D0573A9B40115923737E2256E9A5F09018307F45B306D7FE053818010F40E6FA131945F0A6D7EE0F823C8CB1F50928010F443275087A15207B2C2FF}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{800BF833DB3C10475F0702D307D307D3073003C2FF13A15204BC935F036DE0A520C100935F036DE0C8CB07CB07CB07C9D0}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{8E1F552380CEC8CA0716CB1F14CC12CA00F400CA3FCBFF01CF16028307F4436D72E020800BF833DB3C10575F0704D307D307D3073001A45207BE8E105B50565F0550238307F45B307658A112E0104510341023487680CEC8CA0716CB1F14CC12CA00F400CA3FCBFF12CB0712CB07CB07028307F4436D72}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{01DB3C53248020F46A206E92307092F900E221BD01C2FFB0945F03706DE0218509BA2281FBFFBAB1945F03706DE079248020F46A52208020F40C6FA131216EB0945F03706DE07A248020F46A52208020F40C6FA1315003B9935B706DE05461048020F41559}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{2181FC19BA9D6C21206E92307094D0D70BFFE2E0206E915BE02181FC18BA8E1431D0D421FB04ED4302D0ED1EED5301F10682F200E00181FC17BA93D0F00B9130E2}
x{3B513435140CE0083D0572330073C5B27B552_}
x{F68698380E0097944E98FE98FE987E987981061007944DF7944C_}
x{4}
x{4708018C8CB055005CF1614CB6ECB1FCB3FC901FB00}
x{571F833D0D70BFFF82382104E436F64708200C4FFC8CB1014CBFF831DFA0213CB6A12CB1FCB3F01CF16C970FB00}
x{AA825B}
x{2_}
x{2_}
x{BA545ED44D0D74C800B018020F46A14DB3C6C445254B9935F067FE05044B608028309A013A803A60212A812A001A8}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{2_}
x{B592FDA89A1AE163F_}
x{B6117DA89A1A9A63FA7FFE809A2D863060FE81CDF432460DBC3B679_}
x{DB3C6D831F8E12258010F47E6FA532219552036F0202DE01B3E63034D307D307D307D107DB3C6F030607103510346F09}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{BD1C176A2686A698FE9FFFA0268B618C27FB6C74EA8894183FA3F37D2904746016D9E290837812801B7810148997100D989733610C_}
x{DB3C6D831F8E12258010F47E6FA532219552036F0202DE01B3E63034D307D307D307D107DB3C6F030607103510346F09}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{F1}
x{0C3B51343534C7F4FFFD01346008200914D47D1A9C085BA49B08638DC8740835D27089E38A74C1F5C2C7FE08EEC07004AC2385CC2008961459BD1B9515487D1B8C200910057D168C00DFE49B0878A4C4D7C0F8B8A3A0B6CF37C0F23304B2C7F2FFFD00327B552_}
x{F810218307F47D6FA5915BE15202DB3C8E11206E9730018307F45B3095028307F416E2915BE2}
x{31DB3C3001F90022DB3C3325F823BB945F096D7FE026BA935F0770E037541066DB3C6D0573A9B401216E945F076D7FE0103510241036460680CEC8CA0716CB1F14CC12CA00F400CA3FCBFF01CF16C9D07F}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{800BF833DB3C10475F0702D307D307D3073003C2FF13A15204BC935F036DE0A520C100935F036DE0C8CB07CB07CB07C9D0}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{20C235C60834C7F4C7F4C7C07E08EE7C98C835D920C1AF3C99FB51343534C7F4FFFD01345454AEBCA8496084159BDD196EA3D20D40B4C3F4FFF44876CF0C34C1C06037EC3014FCAA74C7C0608423A049E2AEBCAA74FFF4CFCC12267E447CA8BE0000A92A4E07D54480F23304B2C7F2FFFD00327B553E03D636CF0C2_}
x{DB3C32598010F40E6FA13001}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{ED44D0D4D31FD3FFF404D146135054DB3C5473542503C8CC12CB1FCBFFF400C9ED54216E926C518F387621A14440DB3C5472652603C8CC12CB1FCBFFF400C9ED54218E97F80F10231025DB3C440303C8CC12CB1FCBFFF400C9ED549410465F06E2E2}
x{53238307F40E6FA1945F046D7FE1DB3C3001F90002DB3C26F823BB9A5F0B018307F45B306D7FE05318BD8E8C313222DB3C6D0573A9B40115923737E2256E9A5F09018307F45B306D7FE053818010F40E6FA131945F0A6D7EE0F823C8CB1F50928010F443275087A15207B2C2FF}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{800BF833DB3C10475F0702D307D307D3073003C2FF13A15204BC935F036DE0A520C100935F036DE0C8CB07CB07CB07C9D0}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{8E1F552380CEC8CA0716CB1F14CC12CA00F400CA3FCBFF01CF16028307F4436D72E020800BF833DB3C10575F0704D307D307D3073001A45207BE8E105B50565F0550238307F45B307658A112E0104510341023487680CEC8CA0716CB1F14CC12CA00F400CA3FCBFF12CB0712CB07CB07028307F4436D72}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{01DB3C53248020F46A206E92307092F900E221BD01C2FFB0945F03706DE0218509BA2281FBFFBAB1945F03706DE079248020F46A52208020F40C6FA131216EB0945F03706DE07A248020F46A52208020F40C6FA1315003B9935B706DE05461048020F41559}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{2181FC19BA9D6C21206E92307094D0D70BFFE2E0206E915BE02181FC18BA8E1431D0D421FB04ED4302D0ED1EED5301F10682F200E00181FC17BA93D0F00B9130E2}
x{E006F901541076F910F2A2F80005A4A9381F5475042503C8CC12CB1FCBFFF400C9ED54F80F10354455DB3C430303C8CC12CB1FCBFFF400C9ED54}
x{21821043665021BA9C31D21FD4D140138020F41501E02182104E436F64BA8E1331D421FB04ED4302D0ED1EED5301F10682F200E021821050624B21BA956C21D3FFD1E02182104E43EF05BA9331F00BE030F260}
x{33C0B9E075702D034DA2231B6F08FEC709B28C6821270413D2CDB6E890A186B6}
x{A0000000648017F5C98837321E0979AE57989179BCB8269610C29B43F368D5F84A63E6AE16141_}
x{0000}
x{0000000F0003}
x{019E12415ABCD9A326E331A1701DEB25CDF4C5EF5F64A18B710AAD40203B38698A}
x{800DAD361FE196DE310754505362E9B880D7114FFE11B753436627320B1454834E05329E8C26B7286972F11AA46206493871FFC494334954920B8CCAD3996963A4C0003000003E8000003E8}
x{0000000304675F1C7C72ADAA3EFBF1D858EA8EFCAE7E900A528E98029BE613F270CAFBD35101B82370DC6E400A39F187853D646FC22ABBB53CF0B9A050C4E60694B161388D135477416D98E83018C059AEB884B3EBEBBDEF060C73B733B1CF725427A4E07C}
x{06E278A39760EA90476AA75556D6F9B119620EAAEDBFF377AD68B06FD4B7EE89D9FBF93AF928779385C62A273874C22CB9AB5A62F8B09AA0B1DDEA3646EEB0B4}
x{9FF1BC6B90DA7D2DC01E0E58A10D44BDE90D68F48BE60BCE65AE17A47A9F274E4AD3ED69D3365710EEFF7F685A803A3014241A572D9BEA87BAF021B45F0A6310E7926AFC676C222920CA03608E099B252D265AB5D2B198CA44BC22217D5639F7E4A}
x{8001E0DBAE4AA93BAC14D946E8758A65B6A4F13962B5E3F287FD2D5B7698350C2AA28ABBDE05A4AC8751A2498EC478FEE8876553CF642F4AD64CBD1E340B9C6B324}
x{8018494B89F7AA591AB993401C1105F3804090B3BA8FEC67D52991F6240A3B3932B001B5A6C3FC32DBC620EA8A0A6C5D37101AE229FFC236EA686CC4E641628A9069C090AB614E7B2FCF30794270E16F78F710909C003F1CB861079FF2D3B980C0F342_}
x{C_}
x{6A_}
x{BF573195A37F3BCFC37B061747F752C11CC32104BBBB9EFDB58F0A3DC2D4D25D0201001BC8D1A14B9F0D906D982330F08B45DB511F1854CA29D0B9D83AB1D8A8848C20C02_}
x{BF68278EE8EAFCC90CEE7057AD0B404484C81708DF3B9248AB45408973864F3AB403_}
x{E99B81BAEB655634A8458BF07C45FA0633CBDB798CB3B9D3E4242760D66D61478F441AC394CF94D0D83A763403654D7809D2F5B67DF16F17EC54EF815A92B6598004_}
x{A009888E4C7D139C821AD2848A8E44F70AC807354535232FF9138EF6A2BB4035E0800000000000000000000000113A25D7619B967FC0008B93B2FB157F8BED892FD_}
x{A06_}
x{2_}
x{ABE000000000071AFD498D000011E0EE9757DABFD1D9F3EF77F7F22C2C6678E84E61DEA8D1D77C88AC1F2671F6C1_}
x{ABFFFFFFFFC0071AFD498D000011E0EE9757DABFD1D9F3EF77F7F22C2C6678E84E61DEA8D1D77C88AC1F2671F6C1_}
x{9214F8DE8ABB28789C9A0BB6310DCEC3910CDB812EE76F04DC4E78AD95C20934}