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_v2 flags:0 use_quic:1 slots_per_leader_window:4
noncritical_params:(hme_root
root:(hm_edge
label:(hml_same v:0 n:4)
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:400))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:700))))
right:(hm_edge
label:(hml_long n:3 s:xB_)
node:(hmn_leaf
value:300)))))))
shard:(just
value:^(simplex_config_v2 flags:0 use_quic:1 slots_per_leader_window:4
noncritical_params:(hme_root
root:(hm_edge
label:(hml_same v:0 n:4)
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:400))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:700))))
right:(hm_edge
label:(hml_long n:3 s:xB_)
node:(hmn_leaf
value:300)))))))))
x{10E_}
x{220100000004C_}
x{C9_}
x{D4_}
x{000000642_}
x{000000AF2_}
x{BA00000259_}
x{220100000004C_}
x{C9_}
x{D4_}
x{000000642_}
x{000000AF2_}
x{BA00000259_}
(
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:1775683066 utime_until:1775686666 total:27 main:15 total_weight:1152921504606846959
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:x93FB5FF93DEDA486905768D4ED7D0FBEAACDDE439C603787FF25910EB8A61C4E) weight:96371573187083309 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:x1C05BC24ABF3C8B499C7F4F7B106D467BE9C7824ACFD601D4B8D79D992ED9526) weight:95897915900059317 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:xEA4C35E2733C6C88BAD8147F75FB3300753154530C034DF5F34C79589ED08196) weight:86346977607021545 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:x8162D3AD306BE084D1A5353886367824DFCF4BCE38B60041A6C0F34031BAB188) weight:76808452750222299 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_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x84BE266C3CA0F5A569A9857E803C8A67E17FE423C7EFADECE28F8E51FB987002) weight:76805823427678904 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:x2508C04E1765E6BAF67E215A72AA35684A89E34EEFD0F58EA42EE2F642CBC9A3) weight:75845842597917068 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_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xB178E54FDB51C408F81B23A17789AB32A3050F1015DED8A86FD17553DD440AD8) weight:75845842597917068 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:xFC953FD5B27FBA8109C5AAE775A9DC09224111DED5081EE85B032966E092A843) weight:75845842597917068 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_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x5140E3D8F8FA17012B1BC07DF849F46AC2295449A2E3E7C1857B4E58BF6F0335) weight:75845842597917068 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:x22ACE1436D5B44DB2F28284F5C4D44C85E2692F354D52A179BD0F90E0AD71BA5) weight:75845817315969535 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_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x68809A80EA1A0C4994680B6E72FF20FAA9088CB452AC8DA5C0FC290971D4F566) weight:63716170938497648 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:x79496F4B00B299CA4831E7DC2A01F0E5948506A4197D53624AC2579A3F1606A6) weight:55980425914408293 adnl_addr:x1E0B837E41527CED64C990B338B408F807A722990F89179B7C991A75102BCA80)))))))
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:x22329C21859E2B30258B1BFE30D014B3B42A7DEEC4B2CFEB3817FAD5922B9FCA) weight:55980350068565695 adnl_addr:xB558830FEBB0BCA9DEDFAB6E57E6053830A4BD122BEF4C41282205FB49A5A210)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x339049D7DFC7D285574F83652212CC687037AF416D11F2D091904BEB4A54489A) weight:50564072038910774 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_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x782037255E2D3CE51F345837E94623E24053CC19471652CB71645BDE72361173) weight:50564046756963241 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:xF2638C8DD1E673813EBCAB6868F3E485D80255970E22540EE43D73702B124EC9) weight:10134311733483656 adnl_addr:xBDEFFA68D399B03978919C706150D82E2F0967A4E865870F0366FCF520D6648B)))))))))))
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:(validator_addr
public_key:(ed25519_pubkey pubkey:x9E59151A353E4743F2CA8A4D7E2856F5D878BD036E1F0EB175FC6847B329EC6E) weight:8343017403823344 adnl_addr:x58679A314442E02D9B532342E09B2DFA8C51275514D497C3B14F0523CEC220D0)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xB7371DAB02EC620A337B1258731C75FCF77507DD91259178A652092C1B4AC228) weight:5440677396497618 adnl_addr:x393EE40B423702A0D42994B50F31807A3622F52DB942D9FFE729ED83476BE862)))))
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:xC3C0EF13B83F5CF5AA6F271837E73A4F5128C470B6F1C016A628CCA83D11A20E) weight:5056419895934377 adnl_addr:x98C8552B9D35CB2FC820086E23B234F6268FF3091B994C8D52E462DE132040C2)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x59F3B0A62E5086BA48C0FA2B1AE0123D642948BC957799CF9D328583F080F777) weight:5056389506527804 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_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x87FD883B18C2B79FBC938A1E718A328C30D94DE16CCFCD78512FDDFF1122D242) weight:5056389506527804 adnl_addr:x1F84AAA426CA904EAFEB48F26B038461F55624380783990368B316ABB916432E)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x878A1FD3D62E652A4A856C69D012DF51082C99DE0FEA477F845987F061B4BBB3) weight:5056389506527804 adnl_addr:x9660710D3D90261A0431FF104DA3760E852AE84C9EADD0280ACB0A4AB1B6E43C)))))
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:x901A1F327078BE8397DDC37313C929EDA7B123914DD8897075F8FBE217212B86) weight:5056389506527804 adnl_addr:xA6EA2902ED5CF2246980DA2AFBA907C10EC450D6A6E31A24956A69F8F0E21E2C)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x98948DF623EA969C8E04E93D5C8052B7F3A64B35727D60FA4C48ACB600F88AC9) weight:4044600852926609 adnl_addr:x523AB850585AA93A7AC45DE8D2E7C3C691ECEDCB483C5859A50297BDA8ADA084)))))))))
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_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x35893BDB917AAD02F27A98400F0C9EF207E2FCF03D161AD981B6AC767D6AE382) weight:4044600852924384 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:xE2FAB39FFB221B416413BAE7AF084301F70DC81801CC24C652DBEA523E64F985) weight:3989218236935705 adnl_addr:x50411AE7C253F4483145BCE83A41CFDC19B39AAB42965C6365002AC2B4BB3531)))))
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:x23D2D3ECF2B48213E4BE8B05D2B8F588DA453A86150B68DCAC874D6BA8449770) weight:3378103911161218 adnl_addr:xDA14F82AAA04F12A6B6B040164973EC68556FA31D3C206FD79CE11B813DDF6EC))))))))))))
x{1269D6C5FA69D6D40A001B000F0FFFFFFFFFFFFFEFC_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2A4FED7FE4F7B6921A415DA353B5F43EFAAB37790E7180DE1FFC96443AE2987138055985BDA90BF0B6C3528BE4B06216C43956A714F4F4CC211336256E29C21390901286565DCBD406_}
x{1CE3A049E287016F092AFCF22D2671FD3DEC41B519EFA71E092B3F580752E35E7664BB654980552CA95EFB17AD6B6F2FD4E21D3C6E3F608CF822A07CC786881198C24ED13E888B1913E4F9F8EF6_}
x{2_}
x{1CE3A049E2BA930D789CCF1B222EB6051FDD7ECCC01D4C5514C300D37D7CD31E5627B42065804CB10797EC7CFA4DFAFADE63086F43CEB507D6D686A76AF29883789BEB781656CF4758120D5796A_}
x{1CE3A049E2A058B4EB4C1AF82134694D4E218D9E0937F3D2F38E2D801069B03CD00C6EAC62004438385F7B28F6D2DB3CDC0578185385C4706EC3B78EA8493F745699AA43FAB44CCAB4594BC4A5E_}
x{2_}
x{2_}
x{1CE3A049E2A12F899B0F283D695A6A615FA00F2299F85FF908F1FBEB7B38A3E3947EE61C008044379F5385A4AE2D5E5C398660AB5C67D4098D6923DB1D2A249E5D8733698CF766D4228929F7112_}
x{1CE3A049E28942301385D979AEBD9F88569CAA8D5A12A278D3BBF43D63A90BB8BD90B2F268C0435D59166F4C6309560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{2_}
x{1CE3A049E2AC5E3953F6D471023E06C8E85DE26ACCA8C143C40577B62A1BF45D54F75102B600435D59166F4C63336C2A4ACB999717210C0B634CBCE613B4D14C93CF14EF808A90C7138424BED6E_}
x{1CE3A049E2BF254FF56C9FEEA042716AB9DD6A770248904477B54207BA16C0CA59B824AA10C0435D59166F4C6315AAE56D49D0E0D23F1B992A69758FC04A9EC0E4F335898726B1D267659A32A0E_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2945038F63E3E85C04AC6F01F7E127D1AB08A551268B8F9F0615ED3962FDBC0CD40435D59166F4C63260D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{1CE3A049E288AB3850DB56D136CBCA0A13D71351321789A4BCD5354A85E6F43E4382B5C6E940435D579DB4527FF949E8A9034956C2E8BB27D5374F5691CB3793F51A83764F5781300AD1799BDE2_}
x{2_}
x{1CE3A049E29A2026A03A868312651A02DB9CBFC83EAA42232D14AB2369703F0A425C753D598038976145CF2E9C056B24E8746952CBC79C8EDC69BEDB4D838DCCBC0D3C4CED6BD1685F9CA0BEA16_}
x{1CE3A049E29E525BD2C02CA672920C79F70A807C39652141A9065F54D892B095E68FC581A98031B879A64037594782E0DF90549F3B5932642CCE2D023E01E9C8A643E245E6DF26469D440AF2A02_}
x{2_}
x{2_}
x{1CE3A049E2888CA70861678ACC0962C6FF8C34052CED0A9F7BB12CB3FACE05FEB5648AE7F28031B8753C0F49AFED5620C3FAEC2F2A77B7EADB95F9814E0C292F448AFBD3104A08817ED26968842_}
x{1CE3A049E28CE41275F7F1F4A155D3E0D94884B31A1C0DEBD05B447CB4246412FAD2951226802CE8F05C11B2CD97F8F6E2EE5429F9CE83B52FD9659C27AAC3E0187FF53E033DDAD0DCBB83B828E_}
x{2_}
x{1CE3A049E29E080DC9578B4F3947CD160DFA5188F89014F30651C594B2DC5916F79C8D845CC02CE8EEE356B8EA65F3D8EDA30D5E3766D38038F9B5556BAC6857BAA7425B3CF4E89B68B57F060BE_}
x{1CE3A049E2BC98E32374799CE04FAF2ADA1A3CF92176009565C3889503B90F5CDC0AC493B24009004694BAB6222F7BFE9A34E66C0E5E24671C1854360B8BC259E93A1961C3C0D9BF3D48359922E_}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2A79645468D4F91D0FCB2A2935F8A15BD761E2F40DB87C3AC5D7F1A11ECCA7B1B800768FB872D6D3C1619E68C5110B80B66D4C8D0B826CB7EA31449D5453525F0EC53C148F3B088342_}
x{1CE3A049E2ADCDC76AC0BB18828CDEC4961CC71D7F3DDD41F76449645E2994824B06D2B08A0004D5111AE391348E4FB902D08DC0A8350A652D43CC601E8D88BD4B6E50B67FF9CA7B60D1DAFA18A_}
x{2_}
x{1CE3A049E2B0F03BC4EE0FD73D6A9BC9C60DF9CE93D44A311C2DBC7005A98A332A0F44688380047DB25FEEDF6A6632154AE74D72CBF208021B88EC8D3D89A3FCC246E6532354B918B784C81030A_}
x{1CE3A049E2967CEC298B9421AE92303E8AC6B8048F590A522F255DE673E74CA160FC203DDDC0047DB09B187C8F3629693C72A6600B4E8A0298617F313755C7905ADA6900611BC9B934EACCCEF4A_}
x{2_}
x{2_}
x{1CE3A049E2A1FF620EC630ADE7EF24E2879C628CA30C3653785B33F35E144BF77FC448B49080047DB09B187C8F07E12AA909B2A413ABFAD23C9AC0E1187D55890E01E0E640DA2CC5AAEE4590CBA_}
x{1CE3A049E2A1E287F4F58B994A92A15B1A7404B7D4420B267783FA91DFE11661FC186D2EECC0047DB09B187C8F25981C434F640986810C7FC41368DD83A14ABA1327AB740A02B2C292AC6DB90F2_}
x{2_}
x{1CE3A049E2A40687CC9C1E2FA0E5F770DCC4F24A7B69EC48E45376225C1D7E3EF885C84AE180047DB09B187C8F29BA8A40BB573C891A60368ABEEA41F043B11435A9B8C689255A9A7E3C38878B2_}
x{1CE3A049E2A625237D88FAA5A723813A4F572014ADFCE992CD5C9F583E93122B2D803E22B2400397A2C1463424548EAE141616AA4E9EB1177A34B9F0F1A47B3B72D20F16166940A5EF6A2B68212_}
x{4}
x{2_}
x{1CE3A049E28D624EF6E45EAB40BC9EA61003C327BC81F8BF3C0F4586B6606DAB1D9F5AB8E0800397A2C14631F8258CFF3CA269E76EF56A36F51FFDE5AEAC8C5680C6F880AB35D05772B94D9876A_}
x{1CE3A049E2B8BEACE7FEC886D05904EEB9EBC210C07DC372060073093194B6FA948F993E6140038B0B0FFC6B86541046B9F094FD120C516F3A0E9073F7066CE6AAD0A59718D9400AB0AD2ECD4C6_}
x{4738E81278A23D2D3ECF2B48213E4BE8B05D2B8F588DA453A86150B68DCAC874D6BA8449770000C005E1BA39D82DA14F82AAA04F12A6B6B040164973EC68556FA31D3C206FD79CE11B813DDF6EC}
(
cur_validators:(validators_ext utime_since:1775686666 utime_until:1775690266 total:28 main:15 total_weight:1152921504606846960
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:xDFCFDF43CCE5747E2BE66C2FA925EC0D6667E8E01418A7BECEF6C0AE60FDB90C) weight:95080663637114801 adnl_addr:xADBCBF538874F1B8FD8233E08A81F31E1A204663093B44FA222C644F93E7E3BD)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x203CC7313CD0332886F60336AACEA41E3E96425356CC012E12817A87DEB0D77E) weight:95080514976135242 adnl_addr:xB0D4A2F92C1885B10E55A9C53D3D330844CD895B8A7084E42404A1959772F501)))))
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:x530A6DD28BAD2CBDEFF6E4D4A6055FD7ECC918FD3BF77469EC6EFEF32EB5B4BD) weight:85719803853046068 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:x8AB63E59CCC234FA801A4573E0EAC848C62B3954905A75BCF7409CCD11316098) weight:76249380927042031 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_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xE8E531D8DBE979BFF2DB6FA7096151D85B9423CB4EB9B08E9E72635DC8E3BB88) weight:76246680252580034 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:x5D0C795230CABA9D0B5141860FBB9B2F8C7373B785F9060D4CE9E65885324134) weight:74330489779718738 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_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x22EA0D8BF6F4BE40B2A6908A8F966109FE93143ACCEE4FA760FDF9AFB557562C) weight:74330489779718738 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:x200D91B22024F13830A04E15EA7EA83FFCD87FD601D019A3CD165E0EAF480AAB) weight:74330489779718738 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_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xE6F75DA317C78BDC1447E91E6B159700CA77434271996150A6E8EAE254D24B50) weight:74330489779718738 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:x96E32FE7D6DC4D81B44259F9E593A24C77B9899827E2AE6CF8F5DDCC9A7CCF98) weight:74330465002888812 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_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xB4F5E7EA360AFFDEB2A5D8ECF672418E86F75A2A046F3B6B8A0A24B5AADD2A00) weight:62756959975887338 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:x5BE7FF4172B2870C97E0E56FF38B70E90A9D029CC71CFB3549E69A1F398BF608) weight:54833874855627705 adnl_addr:x1E0B837E41527CED64C990B338B408F807A722990F89179B7C991A75102BCA80)))))))
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:x3E7C826D0095A6541A93EE558514DAB7EC0C254D8F518DC04181EE9F5C5312D4) weight:54833701417818219 adnl_addr:xB558830FEBB0BCA9DEDFAB6E57E6053830A4BD122BEF4C41282205FB49A5A210)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x617B78C6C354B2018F5B8C40901C795F75266D7FBCB32D7B08FB579B036ECDBF) weight:49553833290955311 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_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xEB0A609E7B2B05DFFA5463781853B4E71AF112ADBEF1DC88F1BD0CDD2645AEA5) weight:49553808514125385 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:x0F5245D11F133B4382106071D32963392440B654295D2D7F61937F18950E67D7) weight:11725426523653598 adnl_addr:x12E0423C63265755327A32604E7C5DB7FDA985A05FCDE4342B6E8E08E4A2F890)))))))))))
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:(validator_addr
public_key:(ed25519_pubkey pubkey:x94526970250BF7D69304BEE6D79FDDF52A3C4DBF10C3700B26904D7065C8FCA2) weight:11000903574528748 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:x3DEBBCA5E8C174A29ACFF17ECDA435CC224EA3081E6ED66657B04B56D1DA1AD2) weight:8176329098939134 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:x3CDFC152843419634ED8A87374E8DAB18DB3CB8B07F076B473F9E014358F1025) weight:8075803034837240 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:x215C156CF7240682B05C4BBF69A6D58C10F4987006A3CC0C4E7F5D4BC8631A73) weight:5389764076497248 adnl_addr:x393EE40B423702A0D42994B50F31807A3622F52DB942D9FFE729ED83476BE862)))))))
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:xE3970311DD60810F4CC051A76D25B0595169BD3AAE34F7E3311488ACB146A795) weight:4955395767559690 adnl_addr:x98C8552B9D35CB2FC820086E23B234F6268FF3091B994C8D52E462DE132040C2)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x3463A5C61C008345CF53240E669300DF5055B3D4626134781CFFFFFE773259A1) weight:4955365985314582 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:x1FD7EB32BE743ACD8E261053B340C636C3404BABDE343789192243C2DB3B1C5D) weight:4955365985314582 adnl_addr:xA6EA2902ED5CF2246980DA2AFBA907C10EC450D6A6E31A24956A69F8F0E21E2C)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x64D3C272FA6F8FF827A1DD9E45021DD56C42FED02D601C4AE4CFC36FB4110477) weight:4955365985314582 adnl_addr:x1F84AAA426CA904EAFEB48F26B038461F55624380783990368B316ABB916432E)))))))))
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_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xA579CF700B02E5BE760A3700D80CD6560CC7DF5E599608BA9863500490D842B6) weight:4955365985314582 adnl_addr:x9660710D3D90261A0431FF104DA3760E852AE84C9EADD0280ACB0A4AB1B6E43C)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xBF5DDCEF2BB129599BAF73E4EC0C96A66E05022B93093F832525096564B175C1) weight:4153148629796272 adnl_addr:x523AB850585AA93A7AC45DE8D2E7C3C691ECEDCB483C5859A50297BDA8ADA084)))))
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:x4C48A6BC43C61E6EFE87D4751B824C2E75F0D88FD44B2F05906385670BD8EA29) weight:4153148629796272 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:x35423859ED285867D53B766132CB3D306ED1D439C9AD87D5DDC11A85826B2ECC) weight:3908475507884532 adnl_addr:x50411AE7C253F4483145BCE83A41CFDC19B39AAB42965C6365002AC2B4BB3531))))))))))))))
x{1269D6D40A69D6E21A001C000F0FFFFFFFFFFFFFF0C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2B7F3F7D0F3395D1F8AF99B0BEA497B035999FA38050629EFB3BDB02B983F6E43005472D707464FEC6B6F2FD4E21D3C6E3F608CF822A07CC786881198C24ED13E888B1913E4F9F8EF6_}
x{1CE3A049E2880F31CC4F340CCA21BD80CDAAB3A9078FA59094D5B3004B84A05EA1F7AC35DF805472CE600DAE12AC3528BE4B06216C43956A714F4F4CC211336256E29C21390901286565DCBD406_}
x{2_}
x{1CE3A049E294C29B74A2EB4B2F7BFDB935298157F5FB32463F4EFDDD1A7B1BBFBCCBAD6D2F404C226D46B8204D0DFAFADE63086F43CEB507D6D686A76AF29883789BEB781656CF4758120D5796A_}
x{1CE3A049E2A2AD8F9673308D3EA006915CF83AB212318ACE5524169D6F3DD02733444C58260043B91A1C1FFC7BD2DB3CDC0578185385C4706EC3B78EA8493F745699AA43FAB44CCAB4594BC4A5E_}
x{2_}
x{2_}
x{1CE3A049E2BA394C7636FA5E6FFCB6DBE9C258547616E508F2D3AE6C23A79C98D77238EEE20043B87CE8F08030AD5E5C398660AB5C67D4098D6923DB1D2A249E5D8733698CF766D4228929F7112_}
x{1CE3A049E297431E548C32AEA742D4506183EEE6CBE31CDCEDE17E4183533A7996214C904D004204CBF1D3429489560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{2_}
x{1CE3A049E288BA8362FDBD2F902CA9A422A3E598427FA4C50EB33B93E9D83F7E6BED55D58B004204CBF1D34294B36C2A4ACB999717210C0B634CBCE613B4D14C93CF14EF808A90C7138424BED6E_}
x{1CE3A049E28803646C88093C4E0C2813857A9FAA0FFF361FF580740668F3459783ABD202AAC04204CBF1D3429495AAE56D49D0E0D23F1B992A69758FC04A9EC0E4F335898726B1D267659A32A0E_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2B9BDD768C5F1E2F70511FA479AC565C0329DD0D09C66585429BA3AB8953492D4004204CBF1D34294A60D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{1CE3A049E2A5B8CBF9F5B713606D10967E7964E8931DEE626609F8AB9B3E3D7773269F33E6004204CA809F279B3949E8A9034956C2E8BB27D5374F5691CB3793F51A83764F5781300AD1799BDE2_}
x{2_}
x{1CE3A049E2AD3D79FA8D82BFF7ACA9763B3D9C9063A1BDD68A811BCEDAE282892D6AB74A800037BD47D8A2F47A856B24E8746952CBC79C8EDC69BEDB4D838DCCBC0D3C4CED6BD1685F9CA0BEA16_}
x{1CE3A049E296F9FFD05CACA1C325F8395BFCE2DC3A42A740A731C73ECD5279A687CE62FD820030B3C7981B62EE4782E0DF90549F3B5932642CCE2D023E01E9C8A643E245E6DF26469D440AF2A02_}
x{2_}
x{2_}
x{1CE3A049E28F9F209B4025699506A4FB95614536ADFB03095363D4637010607BA7D714C4B50030B3BD7FAEA61AED5620C3FAEC2F2A77B7EADB95F9814E0C292F448AFBD3104A08817ED26968842_}
x{1CE3A049E2985EDE31B0D52C8063D6E31024071E57DD499B5FEF2CCB5EC23ED5E6C0DBB36FC02C033CB9A43E8BD7F8F6E2EE5429F9CE83B52FD9659C27AAC3E0187FF53E033DDAD0DCBB83B828E_}
x{2_}
x{1CE3A049E2BAC298279ECAC177FE9518DE0614ED39C6BC44AB6FBC77223C6F433749916BA9402C033B4870239265F3D8EDA30D5E3766D38038F9B5556BAC6857BAA7425B3CF4E89B68B57F060BE_}
x{1CE3A049E283D4917447C4CED0E084181C74CA58CE49102D950A574B5FD864DFC6254399F5C00A6A0DA6B2117784B8108F18C995D54C9E8C98139F176DFF6A616817F3790D0ADBA3823928BE242_}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2A5149A5C0942FDF5A4C12FB9B5E7F77D4A8F136FC430DC02C9A4135C19723F288009C550DD7128BB291BA198BC937BAF25CF885C96835E0CB674F741BB466095399C3E7927CD5E112_}
x{1CE3A049E28F7AEF297A305D28A6B3FC5FB3690D730893A8C2079BB59995EC12D5B47686B480074314FDE092BF9619E68C5110B80B66D4C8D0B826CB7EA31449D5453525F0EC53C148F3B088342_}
x{2_}
x{1CE3A049E28F37F054A10D0658D3B62A1CDD3A36AC636CF2E2C1FC1DAD1CFE78050D63C40940072C399ACAB83E36853E0AAA813C4A9ADAC1005925CFB1A155BE8C74F081BF5E73846E04F77DBB2_}
x{1CE3A049E28857055B3DC901A0AC1712EFDA69B563043D261C01A8F303139FD752F218C69CC004C97D8F4CFA580E4FB902D08DC0A8350A652D43CC601E8D88BD4B6E50B67FF9CA7B60D1DAFA18A_}
x{2_}
x{2_}
x{1CE3A049E2B8E5C0C477582043D3301469DB496C16545A6F4EAB8D3DF8CC45222B2C51A9E5400466B9FF1C9982A632154AE74D72CBF208021B88EC8D3D89A3FCC246E6532354B918B784C81030A_}
x{1CE3A049E28D18E971870020D173D4C90399A4C037D4156CF518984D1E073FFFFF9DCC9668400466B8435259C5B629693C72A6600B4E8A0298617F313755C7905ADA6900611BC9B934EACCCEF4A_}
x{2_}
x{1CE3A049E287F5FACCAF9D0EB363898414ECD0318DB0D012EAF78D0DE2464890F0B6CEC717400466B8435259C5A9BA8A40BB573C891A60368ABEEA41F043B11435A9B8C689255A9A7E3C38878B2_}
x{1CE3A049E29934F09CBE9BE3FE09E87767914087755B10BFB40B580712B933F0DBED04411DC00466B8435259C587E12AA909B2A413ABFAD23C9AC0E1187D55890E01E0E640DA2CC5AAEE4590CBA_}
x{4}
x{2_}
x{1CE3A049E2A95E73DC02C0B96F9D828DC0360335958331F7D79665822EA618D401243610AD800466B8435259C5A5981C434F640986810C7FC41368DD83A14ABA1327AB740A02B2C292AC6DB90F2_}
x{1CE3A049E2AFD7773BCAEC4A5666EBDCF93B0325A99B81408AE4C24FE0C9494259592C5D704003B0511131D16C148EAE141616AA4E9EB1177A34B9F0F1A47B3B72D20F16166940A5EF6A2B68212_}
x{2_}
x{1CE3A049E2931229AF10F1879BBFA1F51D46E0930B9D7C3623F512CBC16418E159C2F63A8A4003B0511131D16C258CFF3CA269E76EF56A36F51FFDE5AEAC8C5680C6F880AB35D05772B94D9876A_}
x{1CE3A049E28D508E167B4A1619F54EDD984CB2CF4C1BB4750E726B61F5777046A1609ACBB3000378AF3790B07D141046B9F094FD120C516F3A0E9073F7066CE6AAD0A59718D9400AB0AD2ECD4C6_}
(
(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}