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:1751759378 utime_until:1751773778 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:xE46098F984E9A289B8B473925A4115CD1E379843E3282F2DBCA960C148AD92A0) weight:114652269723854538 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:x166A9E3D633D5E60742AE6570F35B09B834C647E4D6C7B06D9C78D21FA0512EB) weight:114652269723854538 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:xCDDCB4EE095F32ED730590FF342CC56C0B4C9AEACDAF60FA889607E91C579CD3) weight:114652269723854538 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:xC3458A4E83BD9519A91DDD69546B1C301FF241D105C99FD73DD995BF13FACE28) weight:114652269723854538 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:xF184C343AFA04BAD40D9A59E30EA79C16F2CF98CCB6B3A8839D5A440A40BDB59) weight:114652187829376164 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:xB5DD107EC85120629000B92DA2A821EA9D241612D27B8766C7F1AFB570771697) weight:114652187829376164 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:xEE19D1DBA0E1C2E78CA36B4116FE84EF44430FF539AA3324C8F4F4567C2E82D3) weight:114652187829376164 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:xE06C6ADA746AEE53BE66F7D59DC725D99757707B3120D452EE82114EABC708E7) weight:90083844317121620 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:x1408B9E786888696C0A0363D2D7304D738815D0BD9A0EB3823EDFFF5C3D27AAC) weight:43948428281140136 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:xF163DEFCBFD30155A4E9D40249EB5510013389387F95EA4E97CB08B775F7BF34) weight:22287813690332542 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:x37E3555F61A0135DFC58C52C8B6B54DB8F9F6AF6A16E5FEB7B936168F4A73817) weight:20473537699067079 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:xE174B0E57F4C400B6DB19897413EBA597875F3684D71D8F31F09FBB7373F7085) weight:16378994113637257 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:xE443B56D143737F0041E503D15FD675EB55F1852AAAD36C7867F9F476FF27BFD) weight:16378895674836362 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:x792F095D84CF43F6F6DCE04F0FB9D0222B7EA9C37869EE4070A1EDC40887528F) weight:16378895674836362 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:x1A8D7CC62D80399A38C26132E94422A2D8676C02DD284932FFE73AF0D549241F) weight:16378895674836362 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:x38964A7C10C6303ED1062FE422E5F50DF783AA5AEDBCB8C719E4E589DE35A58F) weight:16378895674836362 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:x0D04D97966E88960FF24E11A059958BD8768F1DD982A1F5F194ED3789FE4075D) weight:13555697939954600 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:x177938C651146787DB714BEC5BF3D09F94449C988EFA90003274E78CC83324FA) weight:13450471553627889 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:xCD19A445E25F2D670BA45E83B244B83B687CE01FEE679FA10F5F3D478B88EE41) weight:13017545137294925 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:12046745198526224 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:x34566001E5AE0609E43C770CE88DB7853A7B56F265A24E676C338A8954AA0262) weight:8189365942939807 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:x02D44FAD6CBEAF0DFDDF48ACCC3B03406DF4ED802F93F48A7DB0610445F02606) weight:7204584840490270 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:xF83250D4F5BF03EBBED5C8DF6296EAB54B6E84B81B92A7559DE5CF7ABC2FF05E) weight:6962273467742725 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:x6590DC913071B973ABF7B108D4FB1E14572C41981870F740D4B426CE39B604AC) weight:6943521497030502 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:x30204760D67DD09C466842743FED7CCD5110C5CC66F29491E76DC7605C37CBBE) weight:5778889865064430 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:x422722CC7FB875B4A2BF2AE192A4EC26C33D7653C30A7AD62E5E8656EB3E479E) weight:4518565979984866 adnl_addr:xBBAFFB35844F5A9F735520DFE9C0207B99A3DD8626639970CC0B3EFC0366108D))))))))))))
x{126869BA126869F252001A000F0FFFFFFFFFFFFFF4C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2B918263E613A68A26E2D1CE496904573478DE610F8CA0BCB6F2A5830522B64A80065D4E8706549B285473740332A70E928B5F93FB4E76B2FCE81CE2BC5EA24B3FCA15376968449C62_}
x{1CE3A049E2859AA78F58CF57981D0AB995C3CD6C26E0D3191F935B1EC1B671E3487E8144BAC065D4E8706549B289560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{2_}
x{1CE3A049E2B3772D3B8257CCBB5CC1643FCD0B315B02D326BAB36BD83EA22581FA4715E734C065D4E8706549B298F6144A1D0C70ECA3B0B2FCA6B72C17944D69BFBB8CB37FE5B3A67B5AFDF1CF2_}
x{1CE3A049E2B0D16293A0EF65466A47775A551AC70C07FC9074417267F5CF76656FC4FEB38A0065D4E8706549B2A60D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{2_}
x{2_}
x{1CE3A049E2BC6130D0EBE812EB503669678C3A9E705BCB3E6332DACEA20E7569102902F6D64065D4E3AC12A5291E5264D082C6DCB1BDCEC9B15DFFABD8E4DACAAAFD15228B06DF4B240A30F9A06_}
x{1CE3A049E2AD77441FB2144818A4002E4B68AA087AA7490584B49EE1D9B1FC6BED5C1DC5A5C065D4E3AC12A5293507449A7400D6DA2900B0BA043F0016440CBB583456EA77BF68E01FE06C9A386_}
x{2_}
x{1CE3A049E2BB867476E83870B9E328DAD045BFA13BD110C3FD4E6A8CC9323D3D159F0BA0B4C065D4E3AC12A5290465B765502576B91776ED5B09396094091060A8A60CA45C7025C29EE7167DC7E_}
x{1CE3A049E2B81B1AB69D1ABB94EF99BDF56771C97665D5DC1ECC483514BBA08453AAF1C239C05002B1DD2183152A44052E98350A88663EC4BE46007B129AF8D0F8D326FB95AE64B975F64C9E93A_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E285022E79E1A221A5B0280D8F4B5CC135CE205742F6683ACE08FB7FFD70F49EAB002708B7360894EA18DD083FBBD399AED8BB7EE549461BD9E76EF74E52E44BDFB576BAD4D6B08232E_}
x{1CE3A049E2BC58F7BF2FF4C055693A7500927AD544004CE24E1FE57A93A5F2C22DDD7DEFCD0013CBA98075455F9B93894D48ED68ED66046924BA682E518729BEFDE5F5055B0662CBE4CE642031A_}
x{2_}
x{1CE3A049E28DF8D557D86804D77F16314B22DAD536E3E7DABDA85B97FADEE4D85A3D29CE05C0122F24BD764D31F181F2C5E3C9841444DE835CFD62779FA70B9995DCE63E80FFCAFB09A65965782_}
x{1CE3A049E2B85D2C395FD31002DB6C6625D04FAE965E1D7CDA135C763CC7C27EEDCDCFDC21400E8C26EF7AFAE26632154AE74D72CBF208021B88EC8D3D89A3FCC246E6532354B918B784C81030A_}
x{2_}
x{2_}
x{1CE3A049E2B910ED5B450DCDFC0107940F457F59D7AD57C614AAAB4DB1E19FE7D1DBFC9EFF400E8C2134A0C162B629693C72A6600B4E8A0298617F313755C7905ADA6900611BC9B934EACCCEF4A_}
x{1CE3A049E29E4BC2576133D0FDBDB73813C3EE74088ADFAA70DE1A7B901C287B710221D4A3C00E8C2134A0C16287E12AA909B2A413ABFAD23C9AC0E1187D55890E01E0E640DA2CC5AAEE4590CBA_}
x{2_}
x{1CE3A049E286A35F318B600E668E30984CBA5108A8B619DB00B74A124CBFF9CEBC35524907C00E8C2134A0C162A9BA8A40BB573C891A60368ABEEA41F043B11435A9B8C689255A9A7E3C38878B2_}
x{1CE3A049E28E25929F04318C0FB4418BF908B97D437DE0EA96BB6F2E31C6793962778D6963C00E8C2134A0C162A5981C434F640986810C7FC41368DD83A14ABA1327AB740A02B2C292AC6DB90F2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E28341365E59BA22583FC938468166562F61DA3C77660A87D7C653B4DE27F901D7400C0A3578192EEA074D6367CE14CBC71CA90F74325EAD8F94B0D78C0E2B4E7976CDAC6123F2E77DA_}
x{1CE3A049E285DE4E31944519E1F6DC52FB16FCF427E511272623BEA4000C9D39E3320CC93E800BF2487CC0FDBC6AD61E7A264E7182F5A8B7B8B5912E2AF8828CE5595406C179106A408AC4E9E1E_}
x{2_}
x{1CE3A049E2B34669117897CB59C2E917A0EC912E0EDA1F3807FB99E7E843D7CF51E2E23B90400B8FD8DA7063935953BE34B7FCF29BC4C1D79C31DFA47459300D83B2547650B5E2CE20CC5321ACA_}
x{1CE3A049E2AA277AE97169AD22EA20E2D66FE275F4833D9442A5FEE00D24BAA9E3FC48E23FC00AB31CDC107FC406B9169ACAB2F04E7862F44B40DD9B6B26AE5B87018001C565E6F8B540B9DF056_}
x{2_}
x{2_}
x{1CE3A049E28D159800796B8182790F1DC33A236DE14E9ED5BC99689399DB0CE2A2552A80988007460BD5FDBC27F0475AEA7A679F7C7A8281675E4F0541C8572AF81EAE5F712A2636CEC7F252A2A_}
x{1CE3A049E280B513EB5B2FABC37F77D22B330EC0D01B7D3B600BE4FD229F6C1841117C098180066622080AFB47983E4D213476E0ED102050DEE3AE13EA4C46EFA140B42E707715557861F41D38E_}
x{2_}
x{1CE3A049E2BE0C94353D6FC0FAEFB57237D8A5BAAD52DBA12E06E4A9D5677973DEAF0BFC1780062F09A737EE814E4FB902D08DC0A8350A652D43CC601E8D88BD4B6E50B67FF9CA7B60D1DAFA18A_}
x{1CE3A049E2996437244C1C6E5CEAFDEC42353EC78515CB1066061C3DD0352D09B38E6D812B00062AC6251487D9971D72448DA05A6B26AB95F5E629F2DC3A132B3A1C7F29D05425BF44DD8AAB91E_}
x{D4_}
x{1CE3A049E28C0811D8359F7427119A109D0FFB5F335444317319BCA52479DB71D8170DF2EF800521F7A9669BFBB75D594D57FF34721E6E11D0005FC63E819B73BDBCF6828BD11C4D872111A4C3E_}
x{1CE3A049E29089C8B31FEE1D6D28AFCAB864A93B09B0CF5D94F0C29EB58B97A195BACF91E780040367280864F8AEEBFECD6113D6A7DCD54837FA70081EE668F7618998E65C3302CFBF00D984236_}
(
cur_validators:(validators_ext utime_since:1751773778 utime_until:1751788178 total:25 main:15 total_weight:1152921504606846962
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:x2ED0767B5AEE5ED9251BBD509EF3B2133C682AC2A6EC62249A311E6FC1921140) weight:113961114848861600 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:x563BC90E96794D5FD9FD3EF20C6262EF723120004D555AC0EE6132028E223CA3) weight:113961114848861600 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:x3B058D1FA85B0F80EA5AB0BB314369DCBBC8FC735E3AA60AC2EE330C60D1DFB1) weight:113961114848861600 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:x7CFB52E73B6D3AF71918B27D5BBE945450C9BA7478AED1E3396DF418EA138DD7) weight:113961114848861600 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:x78B60DF43232EAD915ADB589834E4B5C61D4F965F1E260201728FEDCD09A29D3) weight:113961033448065280 adnl_addr:xD41D1269D0035B68A402C2E810FC00591032ED60D15BA9DEFDA3807F81B268E1)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x1889425D655DD732DF5CC33A61910CF9BF0776B939B4307F410F1C035FC35ACF) weight:113961033448065280 adnl_addr:x794993420B1B72C6F73B26C577FEAF63936B2AABF4548A2C1B7D2C9028C3E681)))))
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:xB4BF5E27CC38FF3D52C235F8A78F1AA98DB89CF3833E313634FF4337139B1C7B) weight:113961033448065280 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:x0340A1FE3C926D48CA7BD0159DC62D83DC1661BA65506E97437F485633ECA6B8) weight:89540794551880651 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:x4C2944C959103BCF4E192BCC78D94827974931ABA3527E232C7048ECCA6D36A9) weight:66226233145045680 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:x6E3788611384EC682E9F93412A919A88B32ABE3366DA084CDBFB2F5115B47F69) weight:20474741588347872 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:x9843B90B9CB7D1BFC9767ADF9AA75AE9137145269EB524450C76C049B701C6E9) weight:17547800008632652 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:x2803108452F3BF979357C3826A9C0776FFE4335815BAF1C44E73FE0368CAD9BC) weight:16280257109508279 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:xCEC9643D9F9813D0D9AA92601F441517CB8A7969B0652F7A347258C201BA2519) weight:16280159264123085 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:x3C891361A530649EFA21E2473DE3840AF04F91C5530950031AE89E070091F568) weight:16280159264123085 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:x74C6E181EDEA5FC6F98417455F1C39D078497BF2EF5DA1A19E3884724384C33B) weight:16280159264123085 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:x564B1E5BBC5656D1AE0A090ACC9EBCF04FDAC88755384D55689A8877C6591CB3) weight:16280159264123085 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:x8BF2EAC4790E2ADB2A7FC781953BDAD234DB14982EC52C06B9527F16E3C5A547) weight:13397541626233693 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:x70D35226427C8CA3CBE4CE45819716B1815C4FC66A0D2E583520C75E782D12D1) weight:13312372607956864 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:11944465512414033 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:x9B9849D4251095BAF8441D21207859601384005C247C83938F910358ECCEC4B5) weight:7921086710082030 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:x0751537345A0F1EB92D3EB3AFAE2B514C01FFD22D276A27A4D3FC7A594032873) weight:7209342926931626 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:xCDA801979DEC49A72E2B7E483563D81B9C48693151559D54604F8FD376128DB1) weight:7059434406876031 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:x70A84A3B87BE28964DB1036A412E534172DCF551089129125893372107ADB75C) weight:6964098483233657 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:x27ED54E34AD72D656F79722267F44D51B819E2A0C6F8E959B5E4878964F8AD92) weight:6833172079512894 adnl_addr:x4C11B4BDB2B2DBD004A14E4A58165D5EBF34E6F6EF345C6338B55895F3B24391)))))))))
right:(hm_edge
label:(hml_same v:0 n:3)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xE658F274440DCCD6DE1ECBC2FA1BD350086061E754CA380B3F7C1F6E63995799) weight:5361967054056420 adnl_addr:xBBAFFB35844F5A9F735520DFE9C0207B99A3DD8626639970CC0B3EFC0366108D))))))))))
x{126869F252686A2A920019000F0FFFFFFFFFFFFFF2C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E28BB41D9ED6BB97B64946EF5427BCEC84CF1A0AB0A9BB1889268C479BF0648450006537C1EE31876805473740332A70E928B5F93FB4E76B2FCE81CE2BC5EA24B3FCA15376968449C62_}
x{1CE3A049E2958EF243A59E5357F67F4FBC831898BBDC8C4800135556B03B984C80A3888F28C06537C1EE31876809560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{2_}
x{1CE3A049E28EC16347EA16C3E03A96AC2ECC50DA772EF23F1CD78EA982B0BB8CC3183477EC406537C1EE31876818F6144A1D0C70ECA3B0B2FCA6B72C17944D69BFBB8CB37FE5B3A67B5AFDF1CF2_}
x{1CE3A049E29F3ED4B9CEDB4EBDC6462C9F56EFA51514326E9D1E2BB478CE5B7D063A84E375C06537C1EE318768260D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{2_}
x{2_}
x{1CE3A049E29E2D837D0C8CBAB6456B6D6260D392D718753E597C78980805CA3FB734268A74C06537BD313A22403507449A7400D6DA2900B0BA043F0016440CBB583456EA77BF68E01FE06C9A386_}
x{1CE3A049E286225097595775CCB7D730CE9864433E6FC1DDAE4E6D0C1FD043C700D7F0D6B3C06537BD313A22401E5264D082C6DCB1BDCEC9B15DFFABD8E4DACAAAFD15228B06DF4B240A30F9A06_}
x{2_}
x{1CE3A049E2AD2FD789F30E3FCF54B08D7E29E3C6AA636E273CE0CF8C4D8D3FD0CDC4E6C71EC06537BD313A22400465B765502576B91776ED5B09396094091060A8A60CA45C7025C29EE7167DC7E_}
x{1CE3A049E280D0287F8F249B52329EF40567718B60F705986E99541BA5D0DFD2158CFB29AE004F8738350AF2F2EA44052E98350A88663EC4BE46007B129AF8D0F8D326FB95AE64B975F64C9E93A_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2930A513256440EF3D3864AF31E365209E5D24C6AE8D49F88CB1C123B329B4DAA403AD21A1F5B0CAC18DD083FBBD399AED8BB7EE549461BD9E76EF74E52E44BDFB576BAD4D6B08232E_}
x{1CE3A049E29B8DE21844E13B1A0BA7E4D04AA466A22CCAAF8CD9B6821336FECBD4456D1FDA40122F6AD0CF72F836853E0AAA813C4A9ADAC1005925CFB1A155BE8C74F081BF5E73846E04F77DBB2_}
x{2_}
x{1CE3A049E2A610EE42E72DF46FF25D9EB7E6A9D6BA44DC5149A7AD4911431DB0126DC071BA400F95E86486AA531B93894D48ED68ED66046924BA682E518729BEFDE5F5055B0662CBE4CE642031A_}
x{1CE3A049E28A00C42114BCEFE5E4D5F0E09AA701DDBFF90CD6056EBC71139CFF80DA32B66F000E75B3AF77502DE632154AE74D72CBF208021B88EC8D3D89A3FCC246E6532354B918B784C81030A_}
x{2_}
x{2_}
x{1CE3A049E2B3B2590F67E604F4366AA49807D10545F2E29E5A6C194BDE8D1C9630806E8946400E75ADFD74CA337629693C72A6600B4E8A0298617F313755C7905ADA6900611BC9B934EACCCEF4A_}
x{1CE3A049E28F2244D8694C1927BE887891CF78E102BC13E47154C25400C6BA2781C0247D5A000E75ADFD74CA3347E12AA909B2A413ABFAD23C9AC0E1187D55890E01E0E640DA2CC5AAEE4590CBA_}
x{2_}
x{1CE3A049E29D31B8607B7A97F1BE6105D157C70E741E125EFCBBD76868678E211C90E130CEC00E75ADFD74CA3369BA8A40BB573C891A60368ABEEA41F043B11435A9B8C689255A9A7E3C38878B2_}
x{1CE3A049E29592C796EF1595B46B828242B327AF3C13F6B221D54E13555A26A21DF196472CC00E75ADFD74CA3365981C434F640986810C7FC41368DD83A14ABA1327AB740A02B2C292AC6DB90F2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2A2FCBAB11E438AB6CA9FF1E0654EF6B48D36C5260BB14B01AE549FC5B8F16951C00BE63F8F5FB0D75953BE34B7FCF29BC4C1D79C31DFA47459300D83B2547650B5E2CE20CC5321ACA_}
x{1CE3A049E29C34D489909F2328F2F933916065C5AC605713F19A834B960D4831D79E0B44B4400BD2E2121A8DE0074D6367CE14CBC71CA90F74325EAD8F94B0D78C0E2B4E7976CDAC6123F2E77DA_}
x{2_}
x{1CE3A049E2975B1E061016B63704F4EA1EA7F975C9EC11766E2859AD67E287A66BD9B4881D000A9BDB65F98ED4583DAB6C3FC2282F92C9C7C08996ABA8444E5C84AF2CEEE981364F8C77432CB42_}
x{1CE3A049E2A6E612750944256EBE110748481E165804E10017091F20E4E3E440D63B33B12D4007090BEDE5BA7B84325C57626AF234CB1242ED695E23813AF97F464FB046182EFB140A659F25CDE_}
x{2_}
x{2_}
x{1CE3A049E281D454DCD1683C7AE4B4FACEBEB8AD453007FF48B49DA89E934FF1E96500CA1CC0066736FD0E51AA983E4D213476E0ED102050DEE3AE13EA4C46EFA140B42E707715557861F41D38E_}
x{1CE3A049E2B36A0065E77B1269CB8ADF920D58F606E7121A4C545567551813E3F4DD84A36C400645212A08C4DFCE4FB902D08DC0A8350A652D43CC601E8D88BD4B6E50B67FF9CA7B60D1DAFA18A_}
x{2_}
x{1CE3A049E29C2A128EE1EF8A25936C40DA904B94D05CB73D5442244A449624CDC841EB6DD700062F73E21188DE571D72448DA05A6B26AB95F5E629F2DC3A132B3A1C7F29D05425BF44DD8AAB91E_}
x{1CE3A049E289FB5538D2B5CB595BDE5C8899FD13546E0678A831BE3A566D7921E2593E2B64800611AEF69F434F93046D2F6CACB6F40128539296059757AFCD39BDBBCD1718CE2D56257CEC90E46_}
x{DB9C74093C5732C793A2206E66B6F0F65E17D0DE9A8043030F3AA651C059FBE0FB731CCABCC800986571EC6F5F25DD7FD9AC227AD4FB9AA906FF4E0103DCCD1EEC31331CCB866059F7E01B30846C_}
(
(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_}