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 31 32 34 44 45 71 72 79 81 -999 -236 -137 -80 -79 -41
( 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:1 fee_burn_denom:2))
x{01FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF80000000800000014_}
(
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:11 capabilities:494))
x{C40000000B00000000000001EE}
(
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_v2 enabled_since:1573821854 monitor_min_split:0 min_split:0 max_split:0 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)
split_merge_timings:(wc_split_merge_timings split_merge_delay:100 split_merge_interval:100 min_split_merge_interval:30 max_split_merge_delay:1000) persistent_state_split_depth:4)))))
x{C_}
x{D053AEE74ECF00000070002AD89FB6870E861A64E10B07B7C8C7496C15FCEEE7C6F17264A51FEF9CE8AA237705F6FF25993B0FD9AF4F0EC40C753906568D073DA6976B39E24473974881A1000000000FFFFFFFF8000000000000000000000032000000320000000F000001F4024_}
(
(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:14400 elections_start_before:7200 elections_end_before:1800 stake_held_for:7200)x{0000384000001C200000070800001C20}
( max_validators:31 max_main_validators:15 min_validators:3)x{001F000F0003}
(
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:6 value:200000000000000)) max_stake_factor:1966080)
x{609184E72A00072386F26FC100006B5E620F48000001E0000}
(
(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 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:4 catchain_max_blocks_coeff:10000))
x{D90103000007D000003E800000000300000008000000040020000000200000000400002710}
(
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:1751730578 utime_until:1751744978 total:26 main:15 total_weight:1152921504606846964
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:xAED0FB253CA650A378EE9B6980251FA59A9E798C1BFECF6F9ACFBB4C2CB0F36A) weight:114422715347179354 adnl_addr:x151CDD00CCA9C3A4A2D7E4FED39DACBF3A0738AF17A892CFF2854DDA5A112718)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xC64827633531A71A04E533DC3CAFE9F12AAC95A23BE15272D147212653A215BC) weight:114422715347179354 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:x62B5658A43C4027D1EECAE489ECC9832F95B35A6BD7A6BA0317008F39FAF612F) weight:114422715347179354 adnl_addr:x63D851287431C3B28EC2CBF29ADCB05E5135A6FEEE32CDFF96CE99ED6BF7C73C)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x1E15C16DA79AFA877036DED518255CC1FE22AAAC0D527F97119C9DD9C90A2837) weight:114422715347179354 adnl_addr:x9835BBF9637BD12A50B1F5F90DEB4E0C53A95BACE3081C7B7037FA13EAC48A92)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xFF74D684620CD50248F62DF8D76F9694BA708FC8CE9D7B6A6AE52C762A70EBB0) weight:114422633616668391 adnl_addr:x794993420B1B72C6F73B26C577FEAF63936B2AABF4548A2C1B7D2C9028C3E681)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x6C66F3A2D81332B8D3C5998C6874D8FE8D4C595C32323320600121627B982503) weight:114422633616668391 adnl_addr:xD41D1269D0035B68A402C2E810FC00591032ED60D15BA9DEFDA3807F81B268E1)))))
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:x7D82B83C15D6BE66BA860D74E02C82A61FD889E162A6995588A798CBCD06E3E0) weight:114422633616668391 adnl_addr:x1196DD954095DAE45DDBB56C24E58250244182A298329171C0970A7B9C59F71F)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x52C7ED66A56D403E960C3CAC7C7774A967C6669FA8335C26A17667D96E69E60E) weight:89903480327987101 adnl_addr:xA91014BA60D42A2198FB12F91801EC4A6BE343E34C9BEE56B992E5D7D9327A4E)))))))))
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:x7B9B7CCAD8CB59B057C5DB6C108632B2870122511F0297389AD3D2993C24FB92) weight:43810990094065525 adnl_addr:x637420FEEF4E66BB62EDFB9525186F679DBBDD394B912F7ED5DAEB535AC208CB)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x8902A119CC90D5DB76C2141064E7113EA60D9006A79CF5D2DC2F3B3077EF18C2) weight:22218118742860208 adnl_addr:x6E4E253523B5A3B59811A492E9A0B9461CA6FBF797D4156C198B2F93399080C6)))))
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:x9A978D002B90D218D884831ED3D219EAC460B59D21661B484430DFA9F36CFA56) weight:20432546010056779 adnl_addr:xC607CB178F261051137A0D73F589DE7E9C2E66577398FA03FF2BEC26996595E0)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xD25F0AFB8B743E2F046104ED7C31DD6272F7AC9C66541451007B4202500B27DB) weight:16346200434162980 adnl_addr:x98C8552B9D35CB2FC820086E23B234F6268FF3091B994C8D52E462DE132040C2)))))))
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:x0960D9BAB592A8F73E56E012C21D878EAA43E9D98FEBF0C734C91D5C3B821D3F) weight:16346102192454193 adnl_addr:xD8A5A4F1CA99802D3A280A6185FCC4DD571E416B69A401846F26E4D3AB333BD2)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x018825988B3667F8DD7412F44FB39E80DEAD964E6E5DC619CCBB74A95B19EE13) weight:16346102192454193 adnl_addr:xA6EA2902ED5CF2246980DA2AFBA907C10EC450D6A6E31A24956A69F8F0E21E2C)))))
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:xF0CB910AE72D6E01D1EDAE22FCB3224F8E5F89E78CF9DBE4510345C77C27A77F) weight:16346102192454193 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:x132E896979E0D224E835E4971B8B88454ABDA29C7E735622ADB685FDD8B907E4) weight:16346102192454193 adnl_addr:x1F84AAA426CA904EAFEB48F26B038461F55624380783990368B316ABB916432E)))))))))))
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:x0F24072603BEB67AED9D0AB2A541366331A3560D5B5679D04F583EBB14A3FB57) weight:15118511601972075 adnl_addr:x1D358D9F38532F1C72A43DD0C97AB63E52C35E3038AD39E5DB36B1848FCB9DF6)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x651CF45A409AF3430AE84984F062C4BBB4F0B816C5A3C11D6FE1E20FADC749BE) weight:13408270971194190 adnl_addr:xAB5879E89939C60BD6A2DEE2D644B8ABE20A339565501B05E441A9022B13A787)))))
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:x39C7F3CE8C9D3B380A1018C4F39A8444283E02A178BDA25980F9D402B2E13F40) weight:12976722990134708 adnl_addr:x654EF8D2DFF3CA6F13075E70C77E91D164C0360EC951D942D78B3883314C86B2)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xA89DEBA5C5A6B48BA8838B59BF89D7D20CF6510A97FB803492EAA78FF12388FF) weight:12009130046845384 adnl_addr:x1AE45A6B2ACBC139E18BD12D03766DAC9AB96E1C06000715979BE2D502E77C15)))))))
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:x327A44D4E82144FA143FCFA12B79DDA262C9235B28D29AE3C343BA4C6F449811) weight:8172969365716134 adnl_addr:xC11D6BA9E99E7DF1EA0A059D793C1507215CABE07AB97DC4A898DB3B1FC94A8A)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xBAB2F0A4D69BB29B768E54EBEA6F96FE77321B1AB07C2FEC1490F85E22A7F20C) weight:7181659998254749 adnl_addr:x60F93484D1DB83B44081437B8EB84FA9311BBE8502D0B9C1DC5555E187D074E3)))))
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:x2DB0E40F6F976427D4F19141D89F4DCE4171B1BC99B43FAD9097006B46AC4F21) weight:6940365633887644 adnl_addr:x393EE40B423702A0D42994B50F31807A3622F52DB942D9FFE729ED83476BE862)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x97163F0FDE24B5ADE4ACB81C52F04ADA9C50A5A1B07A799A43FC34BCCFFDF9AA) weight:6921037619850578 adnl_addr:x5C75C912368169AC9AAE57D798A7CB70E84CACE871FCA7415096FD13762AAE47)))))))))
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:(validator_addr
public_key:(ed25519_pubkey pubkey:x047BE9EFFEBF99E162446A440B8A715B4A5D8897B3B6AE6653237B83836008B2) weight:5760853054247161 adnl_addr:xDD7565355FFCD1C879B84740017F18FA066DCEF6F3DA0A2F4471361C8446930F)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x7460F2CC8265A63492A9B84B9BA0CF9C8D653B690415FC673F109A5EA595EC5B) weight:5377476707072387 adnl_addr:xBBAFFB35844F5A9F735520DFE9C0207B99A3DD8626639970CC0B3EFC0366108D))))))))))))
x{1268694992686981D2001A000F0FFFFFFFFFFFFFF4C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2ABB43EC94F299428DE3BA6DA600947E966A79E6306FFB3DBE6B3EED30B2C3CDA8065A0B69DA045D685473740332A70E928B5F93FB4E76B2FCE81CE2BC5EA24B3FCA15376968449C62_}
x{1CE3A049E2B19209D8CD4C69C681394CF70F2BFA7C4AAB25688EF8549CB451C84994E8856F0065A0B69DA045D689560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{2_}
x{1CE3A049E298AD596290F1009F47BB2B9227B3260CBE56CD69AF5E9AE80C5C023CE7EBD84BC065A0B69DA045D698F6144A1D0C70ECA3B0B2FCA6B72C17944D69BFBB8CB37FE5B3A67B5AFDF1CF2_}
x{1CE3A049E28785705B69E6BEA1DC0DB7B5460957307F88AAAB03549FE5C467277672428A0DC065A0B69DA045D6A60D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{2_}
x{2_}
x{1CE3A049E2BFDD35A118833540923D8B7E35DBE5A52E9C23F233A75EDA9AB94B1D8A9C3AEC0065A0B1DBBF1DB9DE5264D082C6DCB1BDCEC9B15DFFABD8E4DACAAAFD15228B06DF4B240A30F9A06_}
x{1CE3A049E29B19BCE8B604CCAE34F166631A1D363FA35316570C8C8CC8180048589EE60940C065A0B1DBBF1DB9F507449A7400D6DA2900B0BA043F0016440CBB583456EA77BF68E01FE06C9A386_}
x{2_}
x{1CE3A049E29F60AE0F0575AF99AEA1835D380B20A987F6227858A9A6556229E632F341B8F80065A0B1DBBF1DB9C465B765502576B91776ED5B09396094091060A8A60CA45C7025C29EE7167DC7E_}
x{1CE3A049E294B1FB59A95B500FA5830F2B1F1DDD2A59F199A7EA0CD709A85D99F65B9A7983804FD9AF4C4157E76A44052E98350A88663EC4BE46007B129AF8D0F8D326FB95AE64B975F64C9E93A_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E29EE6DF32B632D66C15F176DB04218CACA1C0489447C0A5CE26B4F4A64F093EE48026E977417427DD58DD083FBBD399AED8BB7EE549461BD9E76EF74E52E44BDFB576BAD4D6B08232E_}
x{1CE3A049E2A240A84673243576DDB085041939C44FA9836401A9E73D74B70BCECC1DFBC6308013BBD0B8CFB86C1B93894D48ED68ED66046924BA682E518729BEFDE5F5055B0662CBE4CE642031A_}
x{2_}
x{1CE3A049E2A6A5E3400AE43486362120C7B4F4867AB1182D67485986D2110C37EA7CDB3E95801225D2B5B25212F181F2C5E3C9841444DE835CFD62779FA70B9995DCE63E80FFCAFB09A65965782_}
x{1CE3A049E2B497C2BEE2DD0F8BC118413B5F0C77589CBDEB2719950514401ED0809402C9F6C00E84B217938F492632154AE74D72CBF208021B88EC8D3D89A3FCC246E6532354B918B784C81030A_}
x{2_}
x{2_}
x{1CE3A049E28258366EAD64AA3DCF95B804B08761E3AA90FA7663FAFC31CD3247570EE0874FC00E84AC5FA92E8C7629693C72A6600B4E8A0298617F313755C7905ADA6900611BC9B934EACCCEF4A_}
x{1CE3A049E28062096622CD99FE375D04BD13ECE7A037AB65939B977186732EDD2A56C67B84C00E84AC5FA92E8C69BA8A40BB573C891A60368ABEEA41F043B11435A9B8C689255A9A7E3C38878B2_}
x{2_}
x{1CE3A049E2BC32E442B9CB5B80747B6B88BF2CC893E397E279E33E76F91440D171DF09E9DFC00E84AC5FA92E8C65981C434F640986810C7FC41368DD83A14ABA1327AB740A02B2C292AC6DB90F2_}
x{1CE3A049E284CBA25A5E7834893A0D7925C6E2E21152AF68A71F9CD588AB6DA17F762E41F9000E84AC5FA92E8C47E12AA909B2A413ABFAD23C9AC0E1187D55890E01E0E640DA2CC5AAEE4590CBA_}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E283C901C980EFAD9EBB6742ACA9504D98CC68D58356D59E7413D60FAEC528FED5C00D6D8D32645CDAC74D6367CE14CBC71CA90F74325EAD8F94B0D78C0E2B4E7976CDAC6123F2E77DA_}
x{1CE3A049E299473D169026BCD0C2BA12613C18B12EED3C2E05B168F0475BF87883EB71D26F800BE8B0171292D3AAD61E7A264E7182F5A8B7B8B5912E2AF8828CE5595406C179106A408AC4E9E1E_}
x{2_}
x{1CE3A049E28E71FCF3A3274ECE028406313CE6A1110A0F80A85E2F6896603E7500ACB84FD0000B8690B10B3D6D1953BE34B7FCF29BC4C1D79C31DFA47459300D83B2547650B5E2CE20CC5321ACA_}
x{1CE3A049E2AA277AE97169AD22EA20E2D66FE275F4833D9442A5FEE00D24BAA9E3FC48E23FC00AAA8F5EA03C7206B9169ACAB2F04E7862F44B40DD9B6B26AE5B87018001C565E6F8B540B9DF056_}
x{2_}
x{2_}
x{1CE3A049E28C9E91353A08513E850FF3E84ADE776898B248D6CA34A6B8F0D0EE931BD12604400742516DF36F29B0475AEA7A679F7C7A8281675E4F0541C8572AF81EAE5F712A2636CEC7F252A2A_}
x{1CE3A049E2AEACBC2935A6ECA6DDA3953AFA9BE5BF9DCC86C6AC1F0BFB05243E1788A9FC83000660EBA145FDA7583E4D213476E0ED102050DEE3AE13EA4C46EFA140B42E707715557861F41D38E_}
x{2_}
x{1CE3A049E28B6C3903DBE5D909F53C64507627D373905C6C6F266D0FEB6425C01AD1AB13C840062A0E730E07670E4FB902D08DC0A8350A652D43CC601E8D88BD4B6E50B67FF9CA7B60D1DAFA18A_}
x{1CE3A049E2A5C58FC3F7892D6B792B2E0714BC12B6A71429686C1E9E6690FF0D2F33FF7E6A800625A96933BB54971D72448DA05A6B26AB95F5E629F2DC3A132B3A1C7F29D05425BF44DD8AAB91E_}
x{D4_}
x{1CE3A049E2811EFA7BFFAFE67858911A9102E29C56D2976225ECEDAB9994C8DEE0E0D8022C80051DDDC7F9B43E775D594D57FF34721E6E11D0005FC63E819B73BDBCF6828BD11C4D872111A4C3E_}
x{1CE3A049E29D183CB32099698D24AA6E12E6E833E723594EDA41057F19CFC42697A9657B16C004C6B2573A6E60EEEBFECD6113D6A7DCD54837FA70081EE668F7618998E65C3302CFBF00D984236_}
(
cur_validators:(validators_ext utime_since:1751744978 utime_until:1751759378 total:25 main:15 total_weight:1152921504606846968
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:x2CCF0BA8C5ED226973F60EFED6561A02F4BD5F4D39455BC718F5752093824B88) weight:113998079352449083 adnl_addr:x151CDD00CCA9C3A4A2D7E4FED39DACBF3A0738AF17A892CFF2854DDA5A112718)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x1403BE0DD3B6E916DEFB40EDBE09960E62B36510B8405086468DFF4432B16ABC) weight:113998079352449083 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:x87F00E665E05664044917322D231AE16A1D2C75E93B8939C36D3F6CC5BA79653) weight:113998079352449083 adnl_addr:x63D851287431C3B28EC2CBF29ADCB05E5135A6FEEE32CDFF96CE99ED6BF7C73C)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xA850D733672D50A2A86DACB4921B33E6B562D809E54C55A13DC48B08AFAF4770) weight:113998079352449083 adnl_addr:x9835BBF9637BD12A50B1F5F90DEB4E0C53A95BACE3081C7B7037FA13EAC48A92)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xC3EA9E9B0D88DC1801D2BEBFCCA33E0BA7AC88F1540A732568A5F181A6A97EAD) weight:113997997925249545 adnl_addr:x794993420B1B72C6F73B26C577FEAF63936B2AABF4548A2C1B7D2C9028C3E681)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x6287D243B7F1F3BF20C01F6F15F134CC8AC204F1FFB1B595D90D7D85C7022E44) weight:113997997925249545 adnl_addr:xD41D1269D0035B68A402C2E810FC00591032ED60D15BA9DEFDA3807F81B268E1)))))
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:xDB1BC470376F089530B3DA10513DB63ED21A297FFFDB2563589C3C1E9FB5EAAA) weight:113997997925249545 adnl_addr:x1196DD954095DAE45DDBB56C24E58250244182A298329171C0970A7B9C59F71F)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x7BED26918EDDBCA60748EECB1146A3771965121C2EFA97B960C8325AAE7CC3ED) weight:89569838064010456 adnl_addr:xA91014BA60D42A2198FB12F91801EC4A6BE343E34C9BEE56B992E5D7D9327A4E)))))))))
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:x3589EE5B5C765D11DF8A884B5159869D8754FF88AECA6308CBBAB1272F6A2392) weight:66173804198857609 adnl_addr:x637420FEEF4E66BB62EDFB9525186F679DBBDD394B912F7ED5DAEB535AC208CB)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xDC8D2EF5CFAF21AE7CFEF957C56D834F82CFDD399462D1868253A77331FCC861) weight:20458438045877733 adnl_addr:xDA14F82AAA04F12A6B6B040164973EC68556FA31D3C206FD79CE11B813DDF6EC)))))
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:x317AF3CD62212CE488763FA85CBD2C706D1C74F7558666379CC4F0ED01CC8BBC) weight:17533874177428679 adnl_addr:x6E4E253523B5A3B59811A492E9A0B9461CA6FBF797D4156C198B2F93399080C6)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x6EFF390853455037A7D8093C017DEFE26D4F502120436771A1DE8B8FA28FD25E) weight:16285537784615114 adnl_addr:x98C8552B9D35CB2FC820086E23B234F6268FF3091B994C8D52E462DE132040C2)))))))
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:x37DCECCF4755B82E97936E32DAD481A2FD85809A9D41360E7565B67188B81EE8) weight:16285439907492726 adnl_addr:xD8A5A4F1CA99802D3A280A6185FCC4DD571E416B69A401846F26E4D3AB333BD2)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xC5E18C1602A3FC8C2A24DC84F1FC150D4087AEB26561281901FC3826FF288E93) weight:16285439907492726 adnl_addr:x1F84AAA426CA904EAFEB48F26B038461F55624380783990368B316ABB916432E)))))
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:x8A463CADFE571AA46048F2D9D60C11D431C958D845D6CFD2F959DFEEDC4653B8) weight:16285439907492726 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:x0B614E1597963FC4BC7DA56C317B07A8934D6568BAE5F056C1207EEE5C6B4809) weight:16285439907492726 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_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:x5F9F050749AEC17FF8A81203F377D4B97A9F248901DD895312D029F859428958) weight:13386807791530789 adnl_addr:x654EF8D2DFF3CA6F13075E70C77E91D164C0360EC951D942D78B3883314C86B2)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x85DA378C03A99D60AF86C4D854E476CA45B03E32920B1B51F2FA59F6C0377A7E) weight:13308338126425351 adnl_addr:x1D358D9F38532F1C72A43DD0C97AB63E52C35E3038AD39E5DB36B1848FCB9DF6)))))
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:x5D6C7818405AD8DC13D3A87A9FE5D727B045D9B8A166B59F8A1E99AF66D22074) weight:11935052467017829 adnl_addr:x60F6ADB0FF08A0BE4B271F02265AAEA111397212BCB3BBA604D93E31DD0CB2D0)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xB368F2602B6D431BDAF86E1B1B37FC6224055D480B09B061A7660A0000F3C771) weight:7914849121699414 adnl_addr:x10C9715D89ABC8D32C490BB5A5788E04EBE5FD193EC11860BBEC5029967C9737)))))))
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:x11414FAB7CE71B692F89B4F41AD03BC1036E51829520993B713B1BEFD3A878D8) weight:7204190051877557 adnl_addr:x60F93484D1DB83B44081437B8EB84FA9311BBE8502D0B9C1DC5555E187D074E3)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xA5138C72ECCCD06752AE6284F4F69419829E97DA48B5C7F0174387B0EBD4D2C2) weight:7053702932010193 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:xFBD55BD22FE373FAADA2D945DF2FF207910E3E54B510D0EED6DE2E3BB545BFE7) weight:6959028914926546 adnl_addr:x5C75C912368169AC9AAE57D798A7CB70E84CACE871FCA7415096FD13762AAE47)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xA565F128DFB647C49FAFEC4DE7C27E7027CF3E12D9F7BE266AFF52D0D53F4A9A) weight:6827625418120461 adnl_addr:x4C11B4BDB2B2DBD004A14E4A58165D5EBF34E6F6EF345C6338B55895F3B24391)))))))))
right:(hm_edge
label:(hml_same v:0 n:3)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x0503C6ED963A8F40F9248E94F19EEC02120B0457004C74B6025FAD078993463D) weight:5182346696933366 adnl_addr:xBBAFFB35844F5A9F735520DFE9C0207B99A3DD8626639970CC0B3EFC0366108D))))))))))
x{12686981D26869BA120019000F0FFFFFFFFFFFFFF8C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E28B33C2EA317B489A5CFD83BFB5958680BD2F57D34E5156F1C63D5D4824E092E2006540298C384A0EC5473740332A70E928B5F93FB4E76B2FCE81CE2BC5EA24B3FCA15376968449C62_}
x{1CE3A049E28500EF8374EDBA45B7BED03B6F82658398ACD9442E10142191A37FD10CAC5AAF006540298C384A0EC9560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{2_}
x{1CE3A049E2A1FC03999781599011245CC8B48C6B85A874B1D7A4EE24E70DB4FDB316E9E594C06540298C384A0ED8F6144A1D0C70ECA3B0B2FCA6B72C17944D69BFBB8CB37FE5B3A67B5AFDF1CF2_}
x{1CE3A049E2AA1435CCD9CB5428AA1B6B2D2486CCF9AD58B602795315684F7122C22BEBD1DC006540298C384A0EE60D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{2_}
x{2_}
x{1CE3A049E2B0FAA7A6C36237060074AFAFF328CF82E9EB223C55029CC95A297C6069AA5FAB40654024CEDC2C825E5264D082C6DCB1BDCEC9B15DFFABD8E4DACAAAFD15228B06DF4B240A30F9A06_}
x{1CE3A049E298A1F490EDFC7CEFC83007DBC57C4D3322B0813C7FEC6D6576435F6171C08B9100654024CEDC2C827507449A7400D6DA2900B0BA043F0016440CBB583456EA77BF68E01FE06C9A386_}
x{2_}
x{1CE3A049E2B6C6F11C0DDBC2254C2CF684144F6D8FB4868A5FFFF6C958D6270F07A7ED7AAA80654024CEDC2C824465B765502576B91776ED5B09396094091060A8A60CA45C7025C29EE7167DC7E_}
x{1CE3A049E29EFB49A463B76F2981D23BB2C451A8DDC65944870BBEA5EE58320C96AB9F30FB404F8DD2C31941362A44052E98350A88663EC4BE46007B129AF8D0F8D326FB95AE64B975F64C9E93A_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E28D627B96D71D974477E2A212D45661A761D53FE22BB298C232EEAC49CBDA88E4803AC62E5B2D62E258DD083FBBD399AED8BB7EE549461BD9E76EF74E52E44BDFB576BAD4D6B08232E_}
x{1CE3A049E2B7234BBD73EBC86B9F3FBE55F15B60D3E0B3F74E6518B461A094E9DCCC7F321840122BB5D318917976853E0AAA813C4A9ADAC1005925CFB1A155BE8C74F081BF5E73846E04F77DBB2_}
x{2_}
x{1CE3A049E28C5EBCF358884B39221D8FEA172F4B1C1B471D3DD561998DE7313C3B407322EF000F92BDCD787331DB93894D48ED68ED66046924BA682E518729BEFDE5F5055B0662CBE4CE642031A_}
x{1CE3A049E29BBFCE4214D1540DE9F6024F005F7BF89B53D4084810D9DC6877A2E3E8A3F497800E76E70FA83432A632154AE74D72CBF208021B88EC8D3D89A3FCC246E6532354B918B784C81030A_}
x{2_}
x{2_}
x{1CE3A049E28DF73B33D1D56E0BA5E4DB8CB6B52068BF616026A7504D839D596D9C622E07BA000E76E15D2C9CDDB629693C72A6600B4E8A0298617F313755C7905ADA6900611BC9B934EACCCEF4A_}
x{1CE3A049E2B178630580A8FF230A8937213C7F05435021EBAC99584A06407F0E09BFCA23A4C00E76E15D2C9CDD87E12AA909B2A413ABFAD23C9AC0E1187D55890E01E0E640DA2CC5AAEE4590CBA_}
x{2_}
x{1CE3A049E2A2918F2B7F95C6A918123CB6758304750C7256361175B3F4BE5677FBB71194EE000E76E15D2C9CDDA9BA8A40BB573C891A60368ABEEA41F043B11435A9B8C689255A9A7E3C38878B2_}
x{1CE3A049E282D8538565E58FF12F1F695B0C5EC1EA24D3595A2EB97C15B0481FBB971AD202400E76E15D2C9CDDA5981C434F640986810C7FC41368DD83A14ABA1327AB740A02B2C292AC6DB90F2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E297E7C141D26BB05FFE2A0480FCDDF52E5EA7C92240776254C4B40A7E1650A256000BE3CEC4C5CCC95953BE34B7FCF29BC4C1D79C31DFA47459300D83B2547650B5E2CE20CC5321ACA_}
x{1CE3A049E2A1768DE300EA67582BE1B13615391DB2916C0F8CA482C6D47CBE967DB00DDE9F800BD1F73BA4E341C74D6367CE14CBC71CA90F74325EAD8F94B0D78C0E2B4E7976CDAC6123F2E77DA_}
x{2_}
x{1CE3A049E2975B1E061016B63704F4EA1EA7F975C9EC11766E2859AD67E287A66BD9B4881D000A99B77CAB0619583DAB6C3FC2282F92C9C7C08996ABA8444E5C84AF2CEEE981364F8C77432CB42_}
x{1CE3A049E2ACDA3C980ADB50C6F6BE1B86C6CDFF188901575202C26C1869D98280003CF1DC400707A0DA96619584325C57626AF234CB1242ED695E23813AF97F464FB046182EFB140A659F25CDE_}
x{2_}
x{2_}
x{1CE3A049E2845053EADF39C6DA4BE26D3D06B40EF040DB9460A548264EDC4EC6FBF4EA1E360006660B0D3BF0AD583E4D213476E0ED102050DEE3AE13EA4C46EFA140B42E707715557861F41D38E_}
x{1CE3A049E2A944E31CBB333419D4AB98A13D3DA50660A7A5F6922D71FC05D0E1EC3AF534B0800643D38C6745344E4FB902D08DC0A8350A652D43CC601E8D88BD4B6E50B67FF9CA7B60D1DAFA18A_}
x{2_}
x{1CE3A049E2BEF556F48BF8DCFEAB68B65177CBFC81E4438F952D44343BB5B78B8EED516FF9C0062E4CCB9D2CF4971D72448DA05A6B26AB95F5E629F2DC3A132B3A1C7F29D05425BF44DD8AAB91E_}
x{1CE3A049E2A9597C4A37ED91F127EBFB1379F09F9C09F3CF84B67DEF899ABFD4B4354FD2A68006106C1AED374353046D2F6CACB6F40128539296059757AFCD39BDBBCD1718CE2D56257CEC90E46_}
x{DB9C74093C50281E376CB1D47A07C92474A78CF76010905822B80263A5B012FD683C4C9A31E800934A88EFC9FFB5DD7FD9AC227AD4FB9AA906FF4E0103DCCD1EEC31331CCB866059F7E01B30846C_}
(
(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{33C0B9E075702D034DA2231B6F08FEC709B28C6821270413D2CDB6E890A186B6}
x{A0000000648017F5C98837321E0979AE57989179BCB8269610C29B43F368D5F84A63E6AE16141_}
x{0000}
x{C_}
x{6A_}
x{BF573195A37F3BCFC37B061747F752C11CC32104BBBB9EFDB58F0A3DC2D4D25D0201001BC8D1A14B9F0D906D982330F08B45DB511F1854CA29D0B9D83AB1D8A8848C20C02_}
x{BF68278EE8EAFCC90CEE7057AD0B404484C81708DF3B9248AB45408973864F3AB403_}
x{E99B81BAEB655634A8458BF07C45FA0633CBDB798CB3B9D3E4242760D66D61478F441AC394CF94D0D83A763403654D7809D2F5B67DF16F17EC54EF815A92B6598004_}
x{A009888E4C7D139C821AD2848A8E44F70AC807354535232FF9138EF6A2BB4035E0800000000000000000000000113A25D7619B967FC0008B93B2FB157F8BED892FD_}
x{A06_}
x{2_}
x{ABE000000000071AFD498D000011E0EE9757DABFD1D9F3EF77F7F22C2C6678E84E61DEA8D1D77C88AC1F2671F6C1_}
x{ABFFFFFFFFC0071AFD498D000011E0EE9757DABFD1D9F3EF77F7F22C2C6678E84E61DEA8D1D77C88AC1F2671F6C1_}