Search block Search account Search transaction
params: 0 1 2 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 28 29 30 31 32 34 44 45 71 72 79 81 -10000 -1337 -1306 -1305 -1304 -1303 -1302 -1301 -1300 -1299 -1025 -1024 -1000 -999 -236 -137 -133 -90 -80 -79 -41 -1
( config_addr:x5555555555555555555555555555555555555555555555555555555555555555)x{5555555555555555555555555555555555555555555555555555555555555555}
( elector_addr:x3333333333333333333333333333333333333333333333333333333333333333)x{3333333333333333333333333333333333333333333333333333333333333333}
( minter_addr:xC13E44A8368271BCC03590CF609DC8A43E874BA2FDE3489CB850727822CBA5AD)x{C13E44A8368271BCC03590CF609DC8A43E874BA2FDE3489CB850727822CBA5AD}
( dns_root_addr:xEFE71D13860AFAA6AEAEAF636F9168487F80F1031B0BF8D939AE49D3EA7F7DA0)x{EFE71D13860AFAA6AEAEAF636F9168487F80F1031B0BF8D939AE49D3EA7F7DA0}
(
(burning_config
blackhole_addr:(just
value:xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) fee_burn_num:10 fee_burn_denom:20))
x{01FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF800000050000000A4_}
(
mint_new_price:(nanograms
amount:(var_uint len:4 value:1000000000))
mint_add_price:(nanograms
amount:(var_uint len:4 value:1000000000)))
x{43B9ACA0043B9ACA00}
(
to_mint:(extra_currencies
dict:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:23)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:7 s:xC9_)
node:(hmn_leaf
value:(var_uint len:8 value:2000000001000000000)))
right:(hm_edge
label:(hml_long n:7 s:xDF_)
node:(hmn_leaf
value:(var_uint len:5 value:666666666666)))))
right:(hm_edge
label:(hml_long n:31 s:xFFFFFFDF_)
node:(hmn_leaf
value:(var_uint len:5 value:1000000000000))))))))
x{C_}
x{2_}
x{D7}
x{BE440DE0B6B3C53165004_}
x{BEF2CD9C3705554_}
x{BFFFFFFFBCBD1A94A2001_}
(
(capabilities version:13 capabilities:494))
x{C40000000D00000000000001EE}
(
mandatory_params:(hm_edge
label:(hml_same v:0 n:26)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_leaf
value:true))))))))
right:(hm_edge
label:(hml_long n:5 s:x14_)
node:(hmn_leaf
value:true)))))
x{CD4_}
x{2_}
x{2_}
x{D4_}
x{2_}
x{2_}
x{2_}
x{2_}
x{5}
x{4}
x{2_}
x{4}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{4}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{4}
x{2_}
x{2_}
x{D4_}
x{A8A_}
(
critical_params:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:25)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))))))))
right:(hm_edge
label:(hml_same v:0 n:3)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_leaf
value:true))))
right:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_leaf
value:true))))))
right:(hm_edge
label:(hml_long n:27 s:xFFFFF83_)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:1 n:3)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_same v:0 n:2)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:true)))))))))
x{2_}
x{D9}
x{2_}
x{2_}
x{D4_}
x{2_}
x{2_}
x{2_}
x{2_}
x{5}
x{4}
x{2_}
x{4}
x{2_}
x{2_}
x{2_}
x{CE_}
x{2_}
x{2_}
x{62_}
x{2_}
x{4}
x{4}
x{D4_}
x{B7FFFFF06_}
x{FC_}
x{D4_}
x{2_}
x{2_}
(
(cfg_vote_setup
normal_params:(cfg_vote_cfg min_tot_rounds:2 max_tot_rounds:6 min_wins:2 max_losses:5 min_store_sec:1000000 max_store_sec:10000000 bit_price:1 cell_price:500)
critical_params:(cfg_vote_cfg min_tot_rounds:4 max_tot_rounds:7 min_wins:3 max_losses:5 min_store_sec:5000000 max_store_sec:20000000 bit_price:2 cell_price:1000)))
x{91}
x{3602060205000F42400098968000000001000001F4}
x{3604070305004C4B4001312D0000000002000003E8}
(
workchains:(hme_root
root:(hm_edge
label:(hml_same v:0 n:32)
node:(hmn_leaf
value:(workchain_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:3600 elections_start_before:1800 elections_end_before:300 stake_held_for:1800)x{00000E10000007080000012C00000708}
( max_validators:45 max_main_validators:15 min_validators:3)x{002D000F0003}
(
min_stake:(nanograms
amount:(var_uint len:7 value:1500000000000000))
max_stake:(nanograms
amount:(var_uint len:7 value:10000000000000000))
min_total_stake:(nanograms
amount:(var_uint len:7 value:2000000000000000)) max_stake_factor:196608)
x{705543DF729C00072386F26FC100007071AFD498D000000030000}
(
(hm_edge
label:(hml_same v:0 n:32)
node:(hmn_leaf
value:( utime_since:0 bit_price_ps:1 cell_price_ps:500 mc_bit_price_ps:1000 mc_cell_price_ps:500000))))
x{D06600000000000000000000000080000000000000FA00000000000001F4000000000003D0904_}
( global_id:-3)x{FFFFFFFD}
(config_mc_gas_prices
(gas_flat_pfx flat_gas_limit:100 flat_gas_price:1000000
other:(gas_prices_ext gas_price:655360000 gas_limit:1000000 special_gas_limit:35000000 gas_credit:10000 block_gas_limit:2500000 freeze_due_limit:100000000 delete_due_limit:1000000000)))
x{D1000000000000006400000000000F4240DE000000002710000000000000000F42400000000002160EC0000000000000271000000000002625A00000000005F5E100000000003B9ACA00}
(config_gas_prices
(gas_flat_pfx flat_gas_limit:100 flat_gas_price:40000
other:(gas_prices_ext gas_price:26214400 gas_limit:1000000 special_gas_limit:1000000 gas_credit:10000 block_gas_limit:10000000 freeze_due_limit:100000000 delete_due_limit:1000000000)))
x{D100000000000000640000000000009C40DE000000000190000000000000000F424000000000000F4240000000000000271000000000009896800000000005F5E100000000003B9ACA00}
(config_mc_block_limits
(block_limits
bytes:(param_limits underload:131072 soft_limit:524288 hard_limit:1048576)
gas:(param_limits underload:20000 soft_limit:100000 hard_limit:150000)
lt_delta:(param_limits underload:1000 soft_limit:5000 hard_limit:10000)))
x{5DC3000200000008000000100000C300004E20000186A0000249F0C3000003E80000138800002710}
(config_block_limits
(block_limits
bytes:(param_limits underload:262144 soft_limit:1048576 hard_limit:2097152)
gas:(param_limits underload:2000000 soft_limit:10000000 hard_limit:20000000)
lt_delta:(param_limits underload:100 soft_limit:5000 hard_limit:10000)))
x{5DC3000400000010000000200000C3001E84800098968001312D00C3000000640000138800002710}
(config_mc_fwd_prices
(msg_forward_prices lump_price:10000000 bit_price:655360000 cell_price:65536000000 ihr_price_factor:98304 first_frac:21845 next_frac:21845))
x{EA000000000098968000000000271000000000000F424000000001800055555555}
(config_fwd_prices
(msg_forward_prices lump_price:400000 bit_price:26214400 cell_price:2621440000 ihr_price_factor:98304 first_frac:21845 next_frac:21845))
x{EA0000000000061A800000000001900000000000009C4000000001800055555555}
(
(catchain_config_new flags:0 shuffle_mc_validators:1 mc_catchain_lifetime:250 shard_catchain_lifetime:250 shard_validators_lifetime:1000 shard_validators_num:15))
x{C201000000FA000000FA000003E80000000F}
(
(consensus_config_v4 flags:0 use_quic:0 new_catchain_ids:1 round_candidates:3 next_candidate_delay_ms:2000 consensus_timeout_ms:16000 fast_attempts:3 attempt_duration:8 catchain_max_deps:4 max_block_bytes:2097152 max_collated_bytes:2097152 proto_version:6 catchain_max_blocks_coeff:10000))
x{D90103000007D000003E800000000300000008000000040020000000200000000600002710}
(
(new_consensus_config_all
mc:(just
value:^(simplex_config flags:0 use_quic:0 target_rate_ms:2400 slots_per_leader_window:4 first_block_timeout_ms:7000 max_leader_window_desync:250))
shard:(just
value:^(simplex_config flags:0 use_quic:0 target_rate_ms:450 slots_per_leader_window:1 first_block_timeout_ms:4000 max_leader_window_desync:250))))
x{10E_}
x{2100000009600000000400001B58000000FA}
x{2100000001C20000000100000FA0000000FA}
(
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:1769948266 utime_until:1769951866 total:17 main:15 total_weight:1152921504606846969
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:x140C6408C9489F93C3887788621FC126DF7021E1D5CA128F23E252D3F6D1ECED) weight:79355450236111522 adnl_addr:x56AB95B527438348FC6E64A9A5D63F012A7B0393CCD6261C9AC7499D9668CA83)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x1A98D3765F8E46771369BF4DB425D589AFD567A77AC8245D0EC8881018529E88) weight:79355450236111522 adnl_addr:xCDB0A92B2E665C5C84302D8D32F3984ED345324F3C53BE022A431C4E1092FB5B)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x90307927A508D17D09CC502548415E32D3D3A57EB985D0E613011BAE11965B3B) weight:79355450236111522 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:xFAE7815B5BC79161928E3232B2DDDFFCE7B5EA82C41F169E4C68B4FF73F2B114) weight:79355450236111522 adnl_addr:x255801D2220221957B7E954C908E69DD779D2D7A67882C177B589C238D605E20)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x0CFE82F0957DDE67928990E2B7E1C6FF4AFB1471A0B9D893A2AEE8A3C9B66C22) weight:79355450236111522 adnl_addr:x9835BBF9637BD12A50B1F5F90DEB4E0C53A95BACE3081C7B7037FA13EAC48A92)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x65C3D685B9EC563EC13E5B2AA4CEF242B576F8095346E0B52DC923C288F0923A) weight:79355450236111522 adnl_addr:x151CDD00CCA9C3A4A2D7E4FED39DACBF3A0738AF17A892CFF2854DDA5A112718)))))
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:xFFD41F846CF80D48CABF3FDE312838EF9514AC2D7C5071AA5487398BC336D5E3) weight:79355423784294776 adnl_addr:xE527A2A40D255B0BA2EC9F54DD3D5A472CDE4FD46A0DD93D5E04C02B45E66F78)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x0FD1BF92F85E486444207B7F120891C93CE7249B24C6B1F2AC1273E7977AC0E4) weight:75323108839630496 adnl_addr:x6AED12FA5E74CEF56109F080E1E733BA227DE5934F67D407A9A96BEB11CB2593)))))))))
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:xC65C8B89F8AE6D8B28401EF9B8B24535AD5EDF425731474F20B44BF8A8062DF5) weight:69112857111419390 adnl_addr:xB0D4A2F92C1885B10E55A9C53D3D330844CD895B8A7084E42404A1959772F501)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x184E771160BCC2799E7351BB58AB45F9E1DBC6479A8D4771DBC1FDDA3BDD8006) weight:68896930931326930 adnl_addr:xADBCBF538874F1B8FD8233E08A81F31E1A204663093B44FA222C644F93E7E3BD)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xAA0F4803188109E711C80AB4223452D309F880CE194830E9D8929F0AE3E0B4A5) weight:62066754425871321 adnl_addr:x37EBEB798C21BD0F3AD41F5B5A1A9DABCA620DE26FADE0595B3D1D6048355E5A)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x5297FA71E17944E1B63A401F389E690FFB071634B6CED8B2C79500E57F4AEE98) weight:55210099651853596 adnl_addr:x4B6CF37015E0614E1711C1BB0EDE3AA124FDD15A66A90FEAD1332AD1652F1297)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xB1FEB389BF6B0053E3928CB3488EB47C0438952263C62ACBACFEA306C761A60C) weight:55208565446482364 adnl_addr:xB57970E61982AD719F502635A48F6C74A89279761CCDA633DD9B508A24A7DC44)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xCD6D128B57EA3B21B8138070378DC036F60F8CD9959D8AC782279070F9EAB846) weight:52903818653458232 adnl_addr:x5FE3DB8BB950A7E73A0ED4BF6596709EAB0F8061FFD4F80CF76B4372EE0EE0A3)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x7A039099F037CC50240505C3ED90D2C9F74184B4980643C97C0FFD116DB1842B) weight:52903792201641486 adnl_addr:x97CF63B68C3578DD9B4E00E3E6D555AEB1A15EEA9D096CF3D3A26DA2D5FC182F)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xCFEC2F23D226E824B806B0FC828EFBD9943DF412D6165F1B7271663028DDFB15) weight:52903739298007996 adnl_addr:xB558830FEBB0BCA9DEDFAB6E57E6053830A4BD122BEF4C41282205FB49A5A210)))))))))))
right:(hm_edge
label:(hml_same v:0 n:4)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x234758B9EDA252DDBDBAA144347B4ABB3B78923EE7F7D6F27ABAC7110F1362F9) weight:52903712846191250 adnl_addr:x1E0B837E41527CED64C990B338B408F807A722990F89179B7C991A75102BCA80))))))))
x{12697F446A697F527A0011000F0FFFFFFFFFFFFFF9C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E285031902325227E4F0E21DE21887F049B7DC0878757284A3C8F894B4FDB47B3B40467B57239422A895AAE56D49D0E0D23F1B992A69758FC04A9EC0E4F335898726B1D267659A32A0E_}
x{1CE3A049E286A634DD97E3919DC4DA6FD36D0975626BF559E9DEB2091743B222040614A7A200467B57239422A8B36C2A4ACB999717210C0B634CBCE613B4D14C93CF14EF808A90C7138424BED6E_}
x{2_}
x{1CE3A049E2A40C1E49E942345F427314095210578CB4F4E95FAE61743984C046EB846596CEC0467B57239422A898F6144A1D0C70ECA3B0B2FCA6B72C17944D69BFBB8CB37FE5B3A67B5AFDF1CF2_}
x{1CE3A049E2BEB9E056D6F1E45864A38C8CACB777FF39ED7AA0B107C5A7931A2D3FDCFCAC4500467B57239422A889560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{2_}
x{2_}
x{1CE3A049E2833FA0BC255F7799E4A26438ADF871BFD2BEC51C682E7624E8ABBA28F26D9B0880467B57239422A8A60D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{1CE3A049E29970F5A16E7B158FB04F96CAA933BC90AD5DBE0254D1B82D4B7248F0A23C248E80467B57239422A885473740332A70E928B5F93FB4E76B2FCE81CE2BC5EA24B3FCA15376968449C62_}
x{2_}
x{1CE3A049E2BFF507E11B3E035232AFCFF78C4A0E3BE5452B0B5F141C6A9521CE62F0CDB578C0467B55996A765E3949E8A9034956C2E8BB27D5374F5691CB3793F51A83764F5781300AD1799BDE2_}
x{1CE3A049E283F46FE4BE17921911081EDFC48224724F39C926C931AC7CAB049CF9E5DEB0390042E67DFA70E9A81ABB44BE979D33BD58427C203879CCEE889F7964D3D9F501EA6A5AFAC472C964E_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2B19722E27E2B9B62CA1007BE6E2C914D6B57B7D095CC51D3C82D12FE2A018B7D403D6271C062767FAC3528BE4B06216C43956A714F4F4CC211336256E29C21390901286565DCBD406_}
x{1CE3A049E286139DC4582F309E679CD46ED62AD17E7876F191E6A351DC76F07F768EF76001803D31593191AFF4AB6F2FD4E21D3C6E3F608CF822A07CC786881198C24ED13E888B1913E4F9F8EF6_}
x{2_}
x{1CE3A049E2AA83D200C6204279C47202AD088D14B4C27E203386520C3A7624A7C2B8F82D2940372058987A96F64DFAFADE63086F43CEB507D6D686A76AF29883789BEB781656CF4758120D5796A_}
x{1CE3A049E294A5FE9C785E51386D8E9007CE279A43FEC1C58D2DB3B62CB1E540395FD2BBA600310952C270CF4712DB3CDC0578185385C4706EC3B78EA8493F745699AA43FAB44CCAB4594BC4A5E_}
x{2_}
x{2_}
x{1CE3A049E2AC7FACE26FDAC014F8E4A32CD223AD1F010E254898F18AB2EB3FA8C1B1D86983003108F974FFC66F2D5E5C398660AB5C67D4098D6923DB1D2A249E5D8733698CF766D4228929F7112_}
x{1CE3A049E2B35B44A2D5FA8EC86E04E01C0DE3700DBD83E336656762B1E089E41C3E7AAE11802EFCEF898677CE17F8F6E2EE5429F9CE83B52FD9659C27AAC3E0187FF53E033DDAD0DCBB83B828E_}
x{2_}
x{1CE3A049E29E80E4267C0DF31409014170FB6434B27DD0612D260190F25F03FF445B6C610AC02EFCEDFF5CCB83A5F3D8EDA30D5E3766D38038F9B5556BAC6857BAA7425B3CF4E89B68B57F060BE_}
x{1CE3A049E2B3FB0BC8F489BA092E01AC3F20A3BEF6650F7D04B58597C6DC9C598C0A377EC5402EFCEAEB0972EF2D5620C3FAEC2F2A77B7EADB95F9814E0C292F448AFBD3104A08817ED26968842_}
x{D1CE3A049E288D1D62E7B6894B76F6EA8510D1ED2AECEDE248FB9FDF5BC9EAEB1C443C4D8BE402EFCE960DFC6A48782E0DF90549F3B5932642CCE2D023E01E9C8A643E245E6DF26469D440AF2A02_}
(
cur_validators:(validators_ext utime_since:1769951866 utime_until:1769955466 total:17 main:15 total_weight:1152921504606846968
list:(hme_root
root:(hm_edge
label:(hml_same v:0 n:11)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x2E55C842D47593FA0E5BA9D80B0063C5AC07BD5652D98D35C7C0A45FECCF2064) weight:79354494393037219 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:xDAF1158133ABDBCE4070F1FCCCC6687356E6DAE8FC31CB4C4EF066AB747BE62D) weight:79354494393037219 adnl_addr:x56AB95B527438348FC6E64A9A5D63F012A7B0393CCD6261C9AC7499D9668CA83)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xA1D3E4874A3C12D01D0AE5461B3FE9062C1CF41873F38595536C7295E0F08841) weight:79354494393037219 adnl_addr:xCDB0A92B2E665C5C84302D8D32F3984ED345324F3C53BE022A431C4E1092FB5B)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x59CBAFE9B5E88135E0155AD05F4395B7C52072CD83F5FFFCD379284587062DB1) weight:79354494393037219 adnl_addr:x63D851287431C3B28EC2CBF29ADCB05E5135A6FEEE32CDFF96CE99ED6BF7C73C)))))))
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:x395C4C97F23FD2F38C327DEA232D7FAB1610C4D05A38FAB114955FF8A9180AAF) weight:79354494393037219 adnl_addr:x255801D2220221957B7E954C908E69DD779D2D7A67882C177B589C238D605E20)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x37AD3CBC3FA0459FAE31910B13C6AE2FAD92648C688810A1E2458A2D015292B8) weight:79354494393037219 adnl_addr:x9835BBF9637BD12A50B1F5F90DEB4E0C53A95BACE3081C7B7037FA13EAC48A92)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x1B9202FC9672EEEB8A351B1AB858D75B0CD678ECBA23C57281E457D27A3B8E86) weight:79354467941539088 adnl_addr:xE527A2A40D255B0BA2EC9F54DD3D5A472CDE4FD46A0DD93D5E04C02B45E66F78)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x36E8CC1B9B152A39909E2454315CF41BBB86E3C65D2966820B096C07FA6FDB4F) weight:75340162133678514 adnl_addr:x6AED12FA5E74CEF56109F080E1E733BA227DE5934F67D407A9A96BEB11CB2593)))))))))
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:x80DBD8CD0CDFB88A105EF379DBED5FEB6877464D076E4F05EC450ADC5DFB9914) weight:69028411455648858 adnl_addr:xB0D4A2F92C1885B10E55A9C53D3D330844CD895B8A7084E42404A1959772F501)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x0E8603DA7DE4D72769B2B1D1F632997451A930D8032C322775B8CF6BCFF64AA3) weight:68905835213309746 adnl_addr:xADBCBF538874F1B8FD8233E08A81F31E1A204663093B44FA222C644F93E7E3BD)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x9B1283FEAC50055C121E7D69403ED26E07287BB14D922D14F2760C3C43B8F76E) weight:62091188652813282 adnl_addr:x37EBEB798C21BD0F3AD41F5B5A1A9DABCA620DE26FADE0595B3D1D6048355E5A)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xEDFFACD5900B773A3B88B02F6548ACE8930A39A4D941C27311AEC01ECCF475E6) weight:55232130026954848 adnl_addr:x4B6CF37015E0614E1711C1BB0EDE3AA124FDD15A66A90FEAD1332AD1652F1297)))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xE46C3FD86AC34B204ED77B27A180DFC296ABB61C4679D56D223E358279ECCB69) weight:55229828746617450 adnl_addr:xB57970E61982AD719F502635A48F6C74A89279761CCDA633DD9B508A24A7DC44)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xB062949C4C9D06A603CF8070B96B8D6686C2129D895D3778C318455B7674F6C1) weight:52903181422511729 adnl_addr:x5FE3DB8BB950A7E73A0ED4BF6596709EAB0F8061FFD4F80CF76B4372EE0EE0A3)))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:x75EE3C33AA6068CB0BBCAD1524B488773FDB3780F678BC5A1CFFC369CBF00D68) weight:52903154971013598 adnl_addr:x97CF63B68C3578DD9B4E00E3E6D555AEB1A15EEA9D096CF3D3A26DA2D5FC182F)))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xF2DAE26DDE3278106647668CD4E24084340B3D205CB8915D9784AE2062E07C1F) weight:52903102068017336 adnl_addr:xB558830FEBB0BCA9DEDFAB6E57E6053830A4BD122BEF4C41282205FB49A5A210)))))))))))
right:(hm_edge
label:(hml_same v:0 n:4)
node:(hmn_leaf
value:(validator_addr
public_key:(ed25519_pubkey pubkey:xB6E3BA2AE575E71272F68C52430F071E1273D07F3AA08E8BFFDA501094B6850E) weight:52903075616519205 adnl_addr:x1E0B837E41527CED64C990B338B408F807A722990F89179B7C991A75102BCA80))))))))
x{12697F527A697F608A0011000F0FFFFFFFFFFFFFF8C_}
x{CB}
x{2_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E28B957210B51D64FE8396EA7602C018F16B01EF5594B6634D71F02917FB33C81900467B1F80682C68C5473740332A70E928B5F93FB4E76B2FCE81CE2BC5EA24B3FCA15376968449C62_}
x{1CE3A049E2B6BC45604CEAF6F3901C3C7F33319A1CD5B9B6BA3F0C72D313BC19AADD1EF98B40467B1F80682C68D5AAE56D49D0E0D23F1B992A69758FC04A9EC0E4F335898726B1D267659A32A0E_}
x{2_}
x{1CE3A049E2A874F921D28F04B40742B95186CFFA418B073D061CFCE16554DB1CA5783C221040467B1F80682C68F36C2A4ACB999717210C0B634CBCE613B4D14C93CF14EF808A90C7138424BED6E_}
x{1CE3A049E29672EBFA6D7A204D780556B417D0E56DF1481CB360FD7FFF34DE4A1161C18B6C40467B1F80682C68D8F6144A1D0C70ECA3B0B2FCA6B72C17944D69BFBB8CB37FE5B3A67B5AFDF1CF2_}
x{2_}
x{2_}
x{1CE3A049E28E571325FC8FF4BCE30C9F7A88CB5FEAC5843134168E3EAC452557FE2A4602ABC0467B1F80682C68C9560074888088655EDFA55324239A775DE74B5E99E20B05DED62708E35817882_}
x{1CE3A049E28DEB4F2F0FE81167EB8C6442C4F1AB8BEB6499231A2204287891628B4054A4AE00467B1F80682C68E60D6EFE58DEF44A942C7D7E437AD38314EA56EB38C2071EDC0DFE84FAB122A4A_}
x{2_}
x{1CE3A049E286E480BF259CBBBAE28D46C6AE1635D6C3359E3B2E88F15CA07915F49E8EE3A180467B1DF63FB7443949E8A9034956C2E8BB27D5374F5691CB3793F51A83764F5781300AD1799BDE2_}
x{1CE3A049E28DBA3306E6C54A8E642789150C573D06EEE1B8F1974A59A082C25B01FE9BF6D3C042EA5E9C53166C9ABB44BE979D33BD58427C203879CCEE889F7964D3D9F501EA6A5AFAC472C964E_}
x{2_}
x{2_}
x{2_}
x{1CE3A049E2A036F6334337EE228417BCDE76FB57FADA1DD19341DB93C17B1142B7177EE645003D4F3E5E0E4D16AC3528BE4B06216C43956A714F4F4CC211336256E29C21390901286565DCBD406_}
x{1CE3A049E283A180F69F7935C9DA6CAC747D8CA65D146A4C3600CB0C89DD6E33DAF3FD92A8C03D335F7DB5D1CCAB6F2FD4E21D3C6E3F608CF822A07CC786881198C24ED13E888B1913E4F9F8EF6_}
x{2_}
x{1CE3A049E2A6C4A0FFAB14015704879F5A500FB49B81CA1EEC53648B453C9D830F10EE3DDB803725E6DAD54AF88DFAFADE63086F43CEB507D6D686A76AF29883789BEB781656CF4758120D5796A_}
x{1CE3A049E2BB7FEB356402DDCE8EE22C0BD9522B3A24C28E693650709CC46BB007B33D1D7980310E55189C781812DB3CDC0578185385C4706EC3B78EA8493F745699AA43FAB44CCAB4594BC4A5E_}
x{2_}
x{2_}
x{1CE3A049E2B91B0FF61AB0D2C813B5DEC9E86037F0A5AAED87119E755B488F8D609E7B32DA40310DCF24DCA89AAD5E5C398660AB5C67D4098D6923DB1D2A249E5D8733698CF766D4228929F7112_}
x{1CE3A049E2AC18A527132741A980F3E01C2E5AE359A1B084A762574DDE30C61156DD9D3DB0402EFCCA720B519C57F8F6E2EE5429F9CE83B52FD9659C27AAC3E0187FF53E033DDAD0DCBB83B828E_}
x{2_}
x{1CE3A049E29D7B8F0CEA981A32C2EF2B45492D221DCFF6CDE03D9E2F16873FF0DA72FC035A002EFCC8E7E2DC77A5F3D8EDA30D5E3766D38038F9B5556BAC6857BAA7425B3CF4E89B68B57F060BE_}
x{1CE3A049E2BCB6B89B778C9E041991D9A3353890210D02CF48172E245765E12B8818B81F07C02EFCC5D391F22E2D5620C3FAEC2F2A77B7EADB95F9814E0C292F448AFBD3104A08817ED26968842_}
x{D1CE3A049E2ADB8EE8AB95D79C49CBDA31490C3C1C7849CF41FCEA823A2FFF69404252DA143802EFCC449697D094782E0DF90549F3B5932642CCE2D023E01E9C8A643E245E6DF26469D440AF2A02_}
(
(suspended_address_list
addresses:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:31)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_same v:0 n:247)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xDA391A4B88EE9C1DE7F8382EDF9ABC7877D65E56A0D4E775B26075D4C90627_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:250 s:xDA7FF7A8F609872E2111A47E58E5E6EBFF3E295F8372B0098F31C1DAF525DAA_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x082A325D5E0D291EB4487C38182D0DB474853A9846C36B5171B545F2F41EAB)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x27AFD84711FEA63794C619DED2288C7479B3EC16C927F0360ED76603F6DF06)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xCB694F7476543E6EBDE59F9B87467575CB5AE315D7EDF97A7657364973A588)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x5F5B9128665FC8F23011A217AD1D193AA69D72DE6AD7476F2B1588C71ED242)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:249 s:xF6467CE77E7071B1D3571DF3EC500305237C8FD5AC036C7D53F0D636452614C_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xCC4F8D79FF343BD74B672F751DF3E239BE84110F18AB258AC8853E29E6982C)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x0F71678BD23A8FC5DE48897EC00181121AA16A67BA3AD018D0649C293D03F5)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x6ED0C264419100E5DA07A5B056A173613775CD9832A75E4122ECBD9F4DBD93)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xA67FDECA75657FB222D9DEA33FFA755113EB745F45DD2EC38AE750C9E9648F)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x242B8250D00DC0B76FA953688AF6B553D1478465C55030C5835C17EE8192F6)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x98C2FDDF1BD44FE8810C9ACE7E1891192B37BCE733132F432406EE09BEDA53)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:250 s:x1F00D1FB3C6D9E793757E55AF665479BC427F0272CC1084E28AE2515454DE32_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))) s:x1_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x0A252BFEE7321BB730EF5BCCADF53FB0EA485A1090BC9E60FDD15B3E5FDCAC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x5A88E57789717ED815B447BB86C2A9A75CFEF2D1C8C41E26D04FABF832CB04_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xA6148BB777AE14F0546C2FFE9A1C89FE9D350E83719DC9573BEA761165B50D_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xCD3EC2D5D9564254754267EB2DF6868B94A3F781AEABF80B4176A4B859A857_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))))))) s:xB5)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:239 s:x27EB22BE1A96D451D1BD7636B80C71CB18612EE595DBEAB50714E14C4BB9_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:239 s:xDDD52252181A6460BE99D506C891336A09B420C35EDDDD90D650910532B9_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_long n:250 s:x2F5504ED3E659863AE122C8F83292EA805B410D09AC63B22E1F77366AD83D06_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xCA3A2C9990BF7878E8E495DCAB13DA05B2BFA30B3CA3AB7C85C5B7CE9DB1754_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xA405FA4CC0019C9BA47FF5CF5CD8A1FD3D59800063A31B4070E3DC03BD7421)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x125916151B6A357516044FBB45FC2D21D8DC3201466238C02EAE2E9346E659_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xFFE517373A339FB11BD4FB022ECF0D683D95846FBDA81065BCB246EFA2A44D_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x97A502EBF666C114C7956C2D873B09718C7EF158F6BE6A26F7F9EEEB5EC59A4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x27AE037FB55F6FCFE39A51A7B19072180742B04580FC57D65F254453977A0A)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x6FD10FD51007C7C639D84494716FAC6D19EB6AA0ED4E823B2DCC2FF73A4E35)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xAE045AA54E412D0958751CC67033E924D6B3BF81B113A6A1C242A3EC66A9ED_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xBD1F684402D77302D03D16FBD05FE03FB480556AB23200886AC3AAC3E6F8EF_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x5BBF159DE7EAB6BC9515A91F4095B1087DD172B0B4743D71A056505FF31E616_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:250 s:x3F5B81CC632B14667CCAC9102E816C74C243E58D5EA0B71FECF9F75819C3402_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xCB5B4053668732D03EA1E3C7A13ED82A0345EA371AEA07CE9B4D392CF6EBEE4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xD8CDC3975887F2907A920EDDE6F761DA733FD7468583E45E32CB4010FC4D28)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x04A139586288967A22DCE3B3C3BBE428A217E797968CFBE0C495B07A4F00C8)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:251 s:x2A4ADE65769265748F1B16E0C2E25D773A56265CB7305358C002E4C90708743_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))) s:xB)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x6E0C86EDF75C366761692D23ACC8050FA36A2F7A2DBC4B1687283494751CF4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xAA6E03E1EBCBE34C75A898BA0062E1EA8381B7116BE5B81CF17AFC8DA79644_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x7CCAEF29948438793CBFFFA4B1EAC1A62276ADECCA6EE12160B7D91AA897E9)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xD433AF4A8C768E78CDE34645B5449085224C0B211684145D4444514A5B626C)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x70727E6EBB414AC44E9D28A858D26A17167EE612065FBB5AE4ABA195E0459F_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xFF9500394C9AC60E6BFA12A69C365E63EA4B53CDB40E106AA9978E7171E90D_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xDBDEF467512619FFB747E061EEDDD699130716B601F89771679162A1352B7C)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x8EB5C7A310F2875658181741A1080B6927315BAA594758448490BC06A17EE4)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x2744ACC49F1589842BD27D5E29890D7CACCD08ED5442ED1C85D0B7B02F4232)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x2BC50786C0ECF00FD155E74ECEFCE133BFE02A162DBD50A91772AF4A2B2C0A_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:xF9CFCC66DB2B7F1E50751BD4C1D909DAE2B560CC6C48FE7E33DD462BDDAEE2_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x7F43D03B7FE7539CA9B970F9FD26996E88F6461663779CF8EE8ED533C0230F_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xC622A597C608BB98296D5AB61FE2941AD9A4593C5BCC03C2C1575866A5AB83_)
node:(hmn_leaf
value:unit))))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xDDD8F6AA51D448E7F60E4895AD5C2172ACB74A413D61B05F9F3534EEF2BEBB_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x71890F18B7F2DBF41CED90D7BD7725EE5324CE70A251945F41B5E2362CAF7D_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x0954A54D2B1675D19968B766722C16D2089B724349DB553C41AA19E7C1B7FC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x8697ED46AC6012123DC66808B3BCC3970E5EBDC99A5C536614B421DF1A32D4_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:247 s:x6BA287429C86B251BE555D8161DB7A8918013839E77B8AAA94FCBD221403E9_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:248 s:xF102C5D902D4D0A0CC09576EE7AF3342C85BA6D5A5357DBCA0785305B985FD)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x77FA11F3C4EB7C019C2AB327E384F7C019DB8774D65505ABF2B56AD1B6139D)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x6963A7C0DFE6A9C0C41776910CBBCB3CB855DFFBADB99AD7DC88CB74761E0B)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x7740AF3EFB32099C6E4DB51EE4ED8FB53B9D0B0B607373AEE0332E5F65A2CC4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x06B944768F87C34B99649C428027715ACFE78ECE9B4C7BA9AD8EC7B6A365D1_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x12B1CD0BDB44A8D34072419DA8A3469459FE0196B7AE1DCA58911FC2E40BFB_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x1425BF0B2DB48EDBC04B48F893D790BD183DB5CA5A4201671DCE5C07B15DBF_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x399CC9FD87673A15EAB3A27BC0EF84B0693C595D380B11738A38814E922F41_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:248 s:x4ACD125383C243C1F8ABC42AA0AD0B3F024B91C272C0BCFD5A09195E5FD3EB)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xD90D443BC808A0D035AA81969C752E74A7E6AA52840D3404F83C4DFBFE2C76)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xFB4CEC37D8FE2F1B3512F6C61B47CCC1B79EA9B5A5C53CF28D5E0B13ED2E25)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x3BEE8EE98EDD59BE073A73012B87D9ED0368F70A04CC121E29DE7E2B4F31964_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x7094BA2BD7C759E7F3B7028997C48E61C58338A09D57AEBC7424284B5711E94_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xD2A6642830CF2B0BCC84764CD68975BC97E2529DB8E3250A6842A782FD8091_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x36D9E6996E32CE601D880620EEC363A03F2C0A2588BE0BE4A6E6294D773289_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:249 s:xFD84033E838DD34D1F2F3AF65F9E15F790F04280FA774F4F9817E022E91147C_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x6_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x1CEF895C43D7BD202197EC58F18529F6CE07A2C23F96211FB23B7D6CFBC1DE_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x9ECBD91BBB78243C361812B681F1BDEC154AC2820E1AB24DC2F8EF142759A6_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xE_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:xC002FA14641A0936C3744C06509F364C3A5530BA0DAF8646656C5CA1F82166_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x5AB381E8485E83118F9F2F0166879CD022E945C453909EF78D9D26A7F81DAE_)
node:(hmn_leaf
value:unit))))))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:xCC8089E7A67F7BC5DEE998D2509A4312E1C2F6D316E2FC790C4F62BA5E67C2_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:xE5EAB7B222C08A1F67EAD88F3EA049E44B8C58CB74541FFEE46B5E765AB8AE_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x0891E001CB3EC10CE07FFF483CA7649F0FDE8F467E43E9F706D4842A2D2122)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x2AA2F9C3FE8C0FE67B00E06EB6EFAE47E6494EC80D5357EEE3AE219FD82B63)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x7401BC36D6B7FE26224F29A01B157409F29094DE9496274778D81BBED313F7_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:xBB027D9C1604A1468671DF103B8540D1B706DC2DA7B4C7874F4109401FCA37_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x70DE1BD64DBE4CEADF00C3A46B7471BE5C1C7150D22B470F7B39476607CBC7)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:x2_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:xEC2A8DEB76255682CC76BC3577E75B766D2C4CC4012A64F5E89CCB3B42AEFC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xC3CDA14D323175067A8CA23BA5B081DF4F60E3D65B424D5BE87BCC2EF8629C_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x1259A291251C857D254FED004958701743819D407C5F84C3E26E3FBF60DF974_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x4147B99C5103BC21F37E0E4903607175ADE489661BF4F30EA4F89200E884E2C_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:250 s:xE9F6A15EC26E646160673BB4B8825E3FCBE34FB8665CEF96612764FC72B90AE_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x57D26E1AA4C5BF1840F1B6777ECF4BA0EF9BE81DDF8E89B4906C0DBEB543E2)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x1E487E192FEED5F1E401105FF4966FE8B8827EC10B39413CC1A6C4874972DC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xB78613FA36072E9C791AFDC71683B32F9AE1834524B9DF06DDA745F0062544_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:247 s:x58A8A43DBF5AFC9DAD895EB23A13545B9062BE2995DE033E108DD5031B2DE9_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x97F49D3AF068F3D33E52E37A036C1A4A33ED4579C33EE86107ADF7E48D9917C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x9B4B6AC97158A789EDB9C0CB4F0255D60C70A21E89A092F5634ADFC1F2D0854_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x9208755A93E8C873D00DBAD4C07C7A5934CDD8746932EF2683CEC4EB8345A12_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))))) s:xBC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:244 s:x0060805C7B5A40936A8924F4ACD4ECF265194A8E47EAF33B82F03EDEAEFE8)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:244 s:x583316539952B7D1B689C24338C3485CEB46FE25FFDE1316CF688BE450EA4)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:251 s:x79DA47E716EEAA264DA931BD1FB7E54CE21F36262D0F1239007E13E86E2D715_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x53846F4E7D81E9EFBC9E6944BFF799A11CF560AAF7AB20EE7444E372B30580A_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x2E90DE1C1DAAA516E6B026FFD319AC615371D4D81E62BBC7193D530EB1E40E)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xAED4D7100A12A681119A2A8E9C809EF4B1F19F637CF4DE011FDA9D1E5AC6F9)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:xB44A5B2896AE95EBCE61740FAA59A088C8070D4E82E97ECA471A45CB33DFD1)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xDBCCB8F4675A2E7728725BF421274394C518FDCC433C63561423D3F2DE06BA)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x2664F2A6AC921D531524C1D6B296F7C6BB362EB772E1E27E33B431A5B4B870)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x0E6FC3BEE08644516AAD9D1190F09A4C90C06872967293F768DDDFFD3189D5)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x1B6A61E804BF983FFE708BF8688626D73E63020096FD34C312BEF6CA05CE3F)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:x416647545B2735CDD83D161A7D412B160FE2D2C970A128B24E88C177AD536A)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x00556EA806B31D4FA20E5D9260F2525E1521ED59304D8110363ACCC368418B_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x478A1BB6A9977DBD47D8DC5D125A9E0EE583E1DF98EF7A33349EDD1388C67D_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:248 s:x6C62EA2365CF74A189CCD9643E73A7077624C34410F6520C642656E465AFA6)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:250 s:x90799D7740FD25B33C4D2ADDFCD1F096B9A57DE2FC02FDB7EEAA6AE5835FDF2_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xA0F779545719A508492CE642FC8D315CAA0F251257C08BC75279EF23DA31432_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))) s:x7_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x838303F21D1543BD99768988232779D678F456DB08E8516031ADB8330796BC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xBE2E6E6BC47D5DAB3B6493B19C7C3DBBDABFE72C8E98A89A738617869CD974_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:249 s:x82A11088EA81284EBEFBD7C9091E8B455B4D09C13D3059275C5945D2579740C_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xCD40EC445D163A2422E9C509281E3B1922F95F05C1B19A1769C5CC70EE1774E_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x5A19981D45A9294614B3E6E6BF4B04B017EBB17A04540B0E5C1A84D02B8F3D4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))) s:x5_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x0889B58DCC7B34CBECA074C6F16291E287E042FF5D25CBD1BECFD45A15097C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:xA29D6F1AD92371832322F9ED0C2F4D01881472E24661FC942B007319677634_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x3141B0B76E4841DDFFC878C8D3717BD46F0AA7618C68C12FD93896A1329BB3)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xDF81835A2722628EB6B846E84BCB23DE194A51701661C33752B73436308C83)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))))))) s:xAD)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:241 s:x7B2CC02F785E418A0ECA1447707BDD6C57457D8B76B592A24EFBBB05FF73C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:241 s:x7FC5B4FE6856DEA7114ACE0650F476C5F6ECB528456CA66DBFDB492586574_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x391A0C107AE499C011FBD9ED0E4023D07ABA80B1944F471E82553C4E6F637EE_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x03F4CC6AA9DA2B1D8106F73169F4E9C14C596115DC2974C0663F3439AA5149C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:xBC88626A9870E16F1DF81068E8876607854E26A42FC75649A7CFB341400D0BC_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))) s:xA)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x6E09928535F21004DBC34B040849ADC0DB6ECCA23E4B70C71003C23D186F4C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x80BBE29D99B8421CCF9038B04EBD6BB31316E011BEB9909F350381CECCA374_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:250 s:xB0BDA2B677F49B68F76938CEB479F7CF59E2AC92C80357014F132C6E7ED337E_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x673AFD1C350ED7805244C28F5BA208425541F37D9FAEAD0B4987A7AC456E714_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x18D6C4DFD999EE5AB91167E6A28D66DA1FEAB964C1E48219FF62CFAD09986A_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x98B7E8A8C670EFB967EE8027D029DAF81929FEC9CDC311E047631397FBAA56_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))) s:x3)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:x789279CC80BE99DB34ADD9DBC1C07CB857BDB5CDE7D3E62BE03B336543740C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x5C129113ABA01B95F9951ED37DD41EC6344C8682555CDB8E3BA283DC89364C_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x1AEE2F16FD5EDF09FC9A29FF8B2ECE3C95DE80E613150E5B6456796B964F88)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x486642F3C3B6070DB2DEF92725EB7BA17577D1C0E51AD091F026FBA1186DE6_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x6BE42D4469258E317A86388C1348FB2E79CC8C990387A99805A86FDD282E7E_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:249 s:x27BF59C96826FA7AAB5ECEB1D08E3090F88A4011F6F02ED158D7CF4EA01FBBC_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xADD9D5C38D9C45D43AAE9CA17EF1D1168AF25D96263FD056220979ED86EAA72_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:250 s:xA786B8A78EFD01E0B4E0AF47511D31F01F530EB201A12815C965DEEF1123196_)
node:(hmn_leaf
value:unit))))))))))))))
right:(hm_edge
label:(hml_same v:1 n:31)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xDAB9DEB6E2662F1C1EB70457950F12C24CCCAC81E7F5FD6DFB7BF1CA99FC8A4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x5146B590512502A3BE7E753B63E9F3F55154E65790C4BA3BF54C801CDD92D94_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:250 s:x8AED03C44BFEAB117D5082726861F7257E69B12C1EC9919920C8C8CE6388A66_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:252 s:x9BD614293AE2E6DD4FB93D7C00E50000D95B6A14784D05FFF84D031E6F990DB)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x3A00CF6C519F2B3AA2C563C3D879A0B781BA29651D4132413C7DC0F4AF9367A_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:250 s:x0C18ACA9C34D3A01E458AA298B8E663651FA7E48793C0B464904D815065CF0E_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:248 s:x14D2793493B8FB44309550167245195DD93E3DF6037B10D9D7E8EEF52C6117)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:248 s:xF14297CDE39E6F3E927F4FEB76AED94A084F57E8ABE21C5455F34DA008F7B9)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xE30FD765E75A7D304E5E9799B8029678D814CD896365006588546A49CA25FDC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x58B28F7D57B2910D4DA1E5C24FEE7569645B3AC6132A6C9DDC0412CC4677F44_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xF29C71CA801C58EBE97E5BF75637E0AD193DBF8E2E6B377133388FA9F735846_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:250 s:x8AD021EAA0189D7045091F1E27695DD3B60994BF5A04846A6DDC314B1A79DCA_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:251 s:x19DD7573A250D23A0C910AE2A6350B1A1AF0797A8909165CC594C133D3A07EB_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:251 s:xD86D4A7B8ABA5F4DE6088F3BCFEA9530EFE077EC6F5EFE924B0756A5F6E7BE3_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x4C77BF20CD2895B0AD33CF4007B448DAF31D54A01FCD0D93239FE97CE8D40AE_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:x1D9566441B45E3EEE1A02DF6A0CD3E06E339AD4BF24311D3D0073380D2BF7D_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:246 s:x03D3454D9A8719CAB4BC2CFBA881DC09818C3DC160BB40229A89C9D6A2CECA_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:246 s:x511E0955C1DF6626CE20EA9D266F8E4CF37A675CF46F290ABB4F54A7EC5CFE_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:248 s:xCE3E9105CE2643AA779E0EE6189EEDA7B31BCC44617BBA1B90CF40D309C208)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:251 s:x6A7DF8004E0C8383DEA99016E85EA3FC96E0165F1E80F0450C6602E5D220AEF_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_long n:252 s:x07CF9EFF139C9E7F83DF22FC4869047FF497031DE94521FF2DFDD40C2EB3C46)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:x92625B7428E27ABCA4A8D5CF37ECDFFD2E2713265976320EC76E2C7B6ECBC82_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x53B353382ACE7EB28C974F77694E3F62D0AA2645ECEDBF2DB7262F331FFA17C_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero))) s:x5_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:245 s:xB9AE18060D002B24D0CD850EEF3AE9C614821A8B8A534AE76A0B7E50682974_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:245 s:x3E7239039EB6FE3688DF384269C26DA6F619661E6AF71CE5B0CA5E0B108704_)
node:(hmn_leaf
value:unit))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:251 s:xC6BA665070B31C77DA6836E22BAE8B0D129E29B9618B84284D546D849D8ECDB_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:251 s:xBA77F6CE184FE288A88AAB90060AF71EB40DC8CF0E398A1635F7AF9ECBF05B7_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:x83D524CE9F18FF4E0BE3DCCCC51D88A3CD7F0914AEDE1EB258335D7118D2A08)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:252 s:x17045F9F82DB60C4F3A4BB1206E108DEF01A2E2B400DF969771A7E3392555AD)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:xE5F3FE4B464C70A56FC6ABCCBB775C48E5253C3D2C46318C6BD224D7DFEFD96)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:x4_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x6CDA909D3F0601D1C39E2C5FF4DCD3079558BE69EF698B3A9B9DCAC1BC4CCEC_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x46B25990585029855C4500618826F7EE93FA01A6781DCF2D2C27C5B19963524_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:(unary_succ
x:unary_zero)))))) s:xBA_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:243 s:x81DC71BD341EA846337951419219DD098EB969510C143DFAE5D12AED4BFA1_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:243 s:x8B736A3E478FA87CE010CDE422534E85E8C3759D3196589D1EBAB1FCEBDCD_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:(unary_succ
x:unary_zero)) s:xE_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:247 s:xE90DA70D141F671FD7B0627ECF4CD8B64E12E8E5CF65C50048E9B8DB4CB515_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:247 s:x7D6EE908342A4A98D117780FAF7BB327869F164ADF8C3C91430946230CB675_)
node:(hmn_leaf
value:unit))))))))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:xDED695091330AD5D6C932FC4138E41389A134C9D1DEAF90B6486FA8F893E1B4_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x4AB8F3DCFAC76FF5F7D14BF2A3F9B490299144EDF4FF8DBB6883FE5D6180824_)
node:(hmn_leaf
value:unit))))
right:(hm_edge
label:(hml_short
len:(unary_succ
x:unary_zero) s:xC_)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:249 s:x965D05CC45ED5096252FAD8BBF28EC9DAA63E697C8A8A90A5D8FD027D779484_)
node:(hmn_leaf
value:unit))
right:(hm_edge
label:(hml_long n:249 s:x81D648BF35BB1FC283CF8CB5A0A322B80CE55D8F9317B3C6540C14BC60A7D14_)
node:(hmn_leaf
value:unit))))))
right:(hm_edge
label:(hml_long n:252 s:xC3D252D2B2FD4F8964348D50DA8DE5C56C9FD39126A4BDDCBE8344CF476ECA1)
node:(hmn_leaf
value:unit))))))))))))) suspended_until:1803189600))
x{00B5BD3EB04_}
x{2_}
x{C1F}
x{2_}
x{2_}
x{2_}
x{2_}
x{2_}
x{62_}
x{DEF_}
x{BDF68E4692E23BA70779FE0E0BB7E6AF1E1DF59795A83539DD6C981D75324189C_}
x{BEB69FFDEA3D8261CB8844691F963979BAFFCF8A57E0DCAC0263CC7076BD4976A}
x{2_}
x{4}
x{BE020A8C9757834A47AD121F0E060B436D1D214EA611B0DAD45C6D517CBD07AAE_}
x{BE09EBF611C47FA98DE5318677B48A231D1E6CFB05B249FC0D83B5D980FDB7C1A_}
x{2_}
x{2_}
x{BE32DA53DD1D950F9BAF7967E6E1D19D5D72D6B8C575FB7E5E9D95CD925CE9622_}
x{BE17D6E44A1997F23C8C046885EB47464EA9A75CB79AB5D1DBCAC56231C7B490A_}
x{BE7D919F39DF9C1C6C74D5C77CFB1400C148DF23F56B00DB1F54FC358D9149853_}
x{2_}
x{6A_}
x{BE3313E35E7FCD0EF5D2D9CBDD477CF88E6FA10443C62AC962B2214F8A79A60B2_}
x{BE03DC59E2F48EA3F17792225FB000604486A85A99EE8EB4063419270A4F40FD6_}
x{2_}
x{2_}
x{2_}
x{BE1BB43099106440397681E96C15A85CD84DDD73660CA9D79048BB2F67D36F64E_}
x{BE299FF7B29D595FEC88B677A8CFFE9D5444FADD17D1774BB0E2B9D4327A5923E_}
x{2_}
x{BE090AE0943403702DDBEA54DA22BDAD54F451E11971540C3160D705FBA064BDA_}
x{BE2630BF77C6F513FA204326B39F8624464ACDEF39CCC4CBD0C901BB826FB694E_}
x{BE87C0347ECF1B679E4DD5F956BD9951E6F109FC09CB3042138A2B8945515378C}
x{2_}
x{2_}
x{2_}
x{2_}
x{70}
x{BD42894AFFB9CC86EDCC3BD6F32B7D4FEC3A921684242F27983F7456CF97F72B_}
x{BD56A2395DE25C5FB6056D11EEE1B0AA69D73FBCB472310789B413EAFE0CB2C1_}
x{2_}
x{2_}
x{BDE98522EDDDEB853C151B0BFFA687227FA74D43A0DC677255CEFA9D84596D434_}
x{BDF34FB0B5765590951D5099FACB7DA1A2E528FDE06BAAFE02D05DA92E166A15C_}
x{7FAD6_}
x{BBC9FAC8AF86A5B514746F5D8DAE031C72C6184BB96576FAAD41C5385312EE4_}
x{BBF7754894860699182FA67541B2244CDA826D0830D7B77764359424414CAE4_}
x{BE8BD5413B4F996618EB848B23E0CA4BAA016D043426B18EC8B87DDCD9AB60F41}
x{5}
x{BE728E8B26642FDE1E3A3925772AC4F6816CAFE8C2CF28EADF21716DF3A76C5D5_}
x{2_}
x{BE29017E9330006726E91FFD73D736287F4F56600018E8C6D01C38F700EF5D086_}
x{2_}
x{BDC496458546DA8D5D458113EED17F0B4876370C8051988E300BAB8BA4D1B9964_}
x{BDFFF945CDCE8CE7EC46F53EC08BB3C35A0F65611BEF6A04196F2C91BBE8A9134_}
x{2_}
x{2_}
x{2_}
x{BE65E940BAFD99B04531E55B0B61CEC25C631FBC563DAF9A89BDFE7BBAD7B1669_}
x{2_}
x{BE09EB80DFED57DBF3F8E69469EC641C8601D0AC11603F15F597C95114E5DE82A_}
x{BE1BF443F54401F1F18E7611251C5BEB1B467ADAA83B53A08ECB730BFDCE938D6_}
x{62_}
x{BDEB8116A953904B42561D47319C0CFA4935ACEFE06C44E9A87090A8FB19AA7B4_}
x{BDEF47DA1100B5DCC0B40F45BEF417F80FED20155AAC8C80221AB0EAB0F9BE3BC_}
x{2_}
x{BE96EFC56779FAADAF25456A47D0256C421F745CAC2D1D0F5C68159417FCC7985}
x{BE8FD6E07318CAC5199F32B2440BA05B1D3090F96357A82DC7FB3E7DD60670D00}
x{2_}
x{2_}
x{2_}
x{4}
x{BE72D6D014D9A1CCB40FA878F1E84FB60A80D17A8DC6BA81F3A6D34E4B3DBAFB9_}
x{2_}
x{BE363370E5D621FCA41EA483B779BDD8769CCFF5D1A160F9178CB2D0043F134A2_}
x{BE01284E5618A2259E88B738ECF0EEF90A2885F9E5E5A33EF831256C1E93C0322_}
x{BECA92B7995DA4995D23C6C5B830B8975DCE9589972DCC14D63000B93241C21D0C_}
x{2_}
x{2_}
x{7AE_}
x{BD5B8321BB7DD70D99D85A4B48EB320143E8DA8BDE8B6F12C5A1CA0D251D473D_}
x{BD6A9B80F87AF2F8D31D6A262E8018B87AA0E06DC45AF96E073C5EBF2369E591_}
x{5}
x{BE1F32BBCA65210E1E4F2FFFE92C7AB069889DAB7B329BB848582DF646AA25FA6_}
x{BE350CEBD2A31DA39E3378D1916D512421489302C845A105175111145296D89B2_}
x{2_}
x{2_}
x{5}
x{BDDC1C9F9BAED052B113A74A2A16349A85C59FB9848197EED6B92AE865781167C_}
x{BDFFE5400E5326B1839AFE84A9A70D9798FA92D4F36D03841AAA65E39C5C7A434_}
x{2_}
x{BE36F7BD19D449867FEDD1F8187BB775A644C1C5AD807E25DC59E458A84D4ADF2_}
x{BE23AD71E8C43CA1D5960605D0684202DA49CC56EA9651D61121242F01A85FB92_}
x{2_}
x{2_}
x{BE09D12B3127C562610AF49F578A62435F2B33423B5510BB4721742DEC0BD08CA_}
x{4}
x{BD8AF141E1B03B3C03F45579D3B3BF384CEFF80A858B6F542A45DCABD28ACB02}
x{BDBE73F319B6CADFC7941D46F530764276B8AD58331B123F9F8CF7518AF76BB8}
|
| (
(precompiled_contracts_config
list:(hme_root
root:(hm_edge
label:(hml_long n:256 s:x89468F02C78E570802E39979C8516FC38DF07EA76A48357E0536F2BA7B3EE37B)
node:(hmn_leaf
value:(precompiled_smc gas_usage:1000))))))
x{C0C_}
x{A01128D1E058F1CAE1005C732F390A2DF871BE0FD4ED4906AFC0A6DE574F67DC6F76000000000000007D1_}
(
(oracle_bridge_params bridge_address:xB9E998AA2946EDA7F031D9083857087BC975C908EF1C34901BDB6F49E975DEE3 oracle_mutlisig_address:x8E575769805544CC49B2BC01134FC82786A67522A1E7F11CD3E9D9849AF9F37B
oracles:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:254 s:x8CFCEB853625A0A8130AC1A0105371ECE747FAC27DF1EB499F0AC8552B05C47E_)
node:(hmn_leaf
value:1341743997294016852935536825614805917915006606321))
right:(hm_edge
label:(hml_long n:254 s:x7F0B2464B12E1837D84D102DBEDF64FA611D91A22C92450EB04C0FC35C335E4E_)
node:(hmn_leaf
value:1309072402124590986537066459772523510465169052414))))
right:(hm_edge
label:(hml_long n:255 s:x3F88C11F71E51A8F49F03382E26A1716A729E521650805B262B08F81AE00AD97_)
node:(hmn_leaf
value:1405637230277783499249552545545270804021781236561))))) external_chain_address:x000000000000000000000000DB15FFAF2C88F2D89DB9365A5160D5B8C9448EA6))
x{B9E998AA2946EDA7F031D9083857087BC975C908EF1C34901BDB6F49E975DEE38E575769805544CC49B2BC01134FC82786A67522A1E7F11CD3E9D9849AF9F37B8000000000000000000000006D8AFFD79644796C4EDC9B2D28B06ADC64A247534_}
x{2_}
x{2_}
x{BFA33F3AE14D89682A04C2B0680414DC7B39D1FEB09F7C7AD267C2B2154AC1711F000000000000000000000000EB05E1B6AC0D574EF2CF29FDF01CC0BA3D8F9BF1}
x{BF9FC2C9192C4B860DF613440B6FB7D93E984764688B249143AC1303F0D70CD793000000000000000000000000E54CD631C97BE0767172AD16904688962D09D2FE}
x{BFCFE23047DC7946A3D27C0CE0B89A85C5A9CA79485942016C98AC23E06B802B658000000000000000000000007B1B7A075F0BFD9509A1F2F7774E89D5484445A8C_}
(
(oracle_bridge_params bridge_address:xC69899ED4C3A24C5F84B185D6346F3060BC25ABF657991EA0D8F8125DA3CE11E oracle_mutlisig_address:x375679D7B9AA905754ECDAABD4AFA6A069C334C9D3AEC7934D6B599C53E7043B
oracles:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:254 s:x8CFCEB853625A0A8130AC1A0105371ECE747FAC27DF1EB499F0AC8552B05C47E_)
node:(hmn_leaf
value:1341743997294016852935536825614805917915006606321))
right:(hm_edge
label:(hml_long n:254 s:x7F0B2464B12E1837D84D102DBEDF64FA611D91A22C92450EB04C0FC35C335E4E_)
node:(hmn_leaf
value:1309072402124590986537066459772523510465169052414))))
right:(hm_edge
label:(hml_long n:255 s:x3F88C11F71E51A8F49F03382E26A1716A729E521650805B262B08F81AE00AD97_)
node:(hmn_leaf
value:1405637230277783499249552545545270804021781236561))))) external_chain_address:x000000000000000000000000DB15FFAF2C88F2D89DB9365A5160D5B8C9448EA6))
x{C69899ED4C3A24C5F84B185D6346F3060BC25ABF657991EA0D8F8125DA3CE11E375679D7B9AA905754ECDAABD4AFA6A069C334C9D3AEC7934D6B599C53E7043B8000000000000000000000006D8AFFD79644796C4EDC9B2D28B06ADC64A247534_}
x{2_}
x{2_}
x{BFA33F3AE14D89682A04C2B0680414DC7B39D1FEB09F7C7AD267C2B2154AC1711F000000000000000000000000EB05E1B6AC0D574EF2CF29FDF01CC0BA3D8F9BF1}
x{BF9FC2C9192C4B860DF613440B6FB7D93E984764688B249143AC1303F0D70CD793000000000000000000000000E54CD631C97BE0767172AD16904688962D09D2FE}
x{BFCFE23047DC7946A3D27C0CE0B89A85C5A9CA79485942016C98AC23E06B802B658000000000000000000000007B1B7A075F0BFD9509A1F2F7774E89D5484445A8C_}
(
(jetton_bridge_params_v1 bridge_address:xA524100B8D7492C122A279D2B3AE24878B1C105312750714C4D3952BE405F065 oracles_address:x4D2C7F02B0652410A198CC2C5A2DDF5387A4F96243BE317B02114F51C357E246
oracles:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:254 s:x8CFCEB853625A0A8130AC1A0105371ECE747FAC27DF1EB499F0AC8552B05C47E_)
node:(hmn_leaf
value:1341743997294016852935536825614805917915006606321))
right:(hm_edge
label:(hml_long n:254 s:x7F0B2464B12E1837D84D102DBEDF64FA611D91A22C92450EB04C0FC35C335E4E_)
node:(hmn_leaf
value:1309072402124590986537066459772523510465169052414))))
right:(hm_edge
label:(hml_long n:255 s:x3F88C11F71E51A8F49F03382E26A1716A729E521650805B262B08F81AE00AD97_)
node:(hmn_leaf
value:1405637230277783499249552545545270804021781236561))))) state_flags:0
prices:(jetton_bridge_prices
bridge_burn_fee:(
grams:(nanograms
amount:(var_uint len:4 value:1000000000)))
bridge_mint_fee:(
grams:(nanograms
amount:(var_uint len:4 value:1000000000)))
wallet_min_tons_for_storage:(
grams:(nanograms
amount:(var_uint len:3 value:8000000)))
wallet_gas_consumption:(
grams:(nanograms
amount:(var_uint len:3 value:15000000)))
minter_min_tons_for_storage:(
grams:(nanograms
amount:(var_uint len:4 value:100000000)))
discover_gas_consumption:(
grams:(nanograms
amount:(var_uint len:3 value:10000000)))) external_chain_address:x0000000000000000000000004EFD8F04B6FB4CFAF0CFAAC11FB489B97DBEBB60))
x{01A524100B8D7492C122A279D2B3AE24878B1C105312750714C4D3952BE405F0654D2C7F02B0652410A198CC2C5A2DDF5387A4F96243BE317B02114F51C357E24680000000000000000000000000277EC7825B7DA67D7867D5608FDA44DCBEDF5DB04_}
x{2_}
x{2_}
x{BFA33F3AE14D89682A04C2B0680414DC7B39D1FEB09F7C7AD267C2B2154AC1711F000000000000000000000000EB05E1B6AC0D574EF2CF29FDF01CC0BA3D8F9BF1}
x{BF9FC2C9192C4B860DF613440B6FB7D93E984764688B249143AC1303F0D70CD793000000000000000000000000E54CD631C97BE0767172AD16904688962D09D2FE}
x{BFCFE23047DC7946A3D27C0CE0B89A85C5A9CA79485942016C98AC23E06B802B658000000000000000000000007B1B7A075F0BFD9509A1F2F7774E89D5484445A8C_}
x{43B9ACA0043B9ACA0037A12003E4E1C0405F5E1003989680}
(
(jetton_bridge_params_v1 bridge_address:xB525EB5B3C5F6E6DCD606BEE7BA07A0EC83035212849B7E0559499C0F6BAD54D oracles_address:x211F1574BF623D14787708C5FDD565E329A25ABFA49095E984426F19BCF04974
oracles:(hme_root
root:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:x26E0C2150C627DB21D4DF8DDD71ECCA92F99EDDCC85241ED21D5637157854F6)
node:(hmn_leaf
value:793697967099509008209516227511583997618122386031))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:250 s:xC13C71C8A301B9A46812557F27E0A98E697F84123BE7392051950BD5B0958FE_)
node:(hmn_leaf
value:696792033252978185794915626763083492124605415105))
right:(hm_edge
label:(hml_long n:250 s:xB1C183B2024F87D1818173BD2064525CEA8A94BDC1F2C14FB224D05F48D87E2_)
node:(hmn_leaf
value:281633868233304417562572155736365104367335520434))))
right:(hm_edge
label:(hml_long n:251 s:x8F1BDB89BD326F70CABD00437072FF85D83B3630AEAA3510D3DB7C8609A1569_)
node:(hmn_leaf
value:777608011679031228429594516736564499414207438770))))))
right:(hm_edge
label:(hml_long n:253 s:x7069DDB2C1384BB6DC54D207305AE4894AE2CD69D3E6F23DC9F398204738E41C_)
node:(hmn_leaf
value:1344678276561404795186410063798908641577107429834))))
right:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_short
len:unary_zero s:x)
node:(hmn_fork
left:(hm_edge
label:(hml_long n:252 s:x3D7E14E6FCDA944414F816EC097336567B7F45E7BE619A916DB7C2959E20B02)
node:(hmn_leaf
value:385782990916311287394729117265910472215696830598))
right:(hm_edge
label:(hml_long n:252 s:x46E0F7AC50F2354A6E5ED0409D64F290A540B98ED428BAF27B8D7DB2DD9BDB9)
node:(hmn_leaf
value:852309941578529433498607459853229507481879392631))))
right:(hm_edge
label:(hml_long n:253 s:xA731861AFE7739E1B69A4654283E905AA32FAE6B39D7479F59B0C918F5AD8814_)
node:(hmn_leaf
value:415313265058769448185696091671509588960788065347))))))
right:(hm_edge
label:(hml_long n:255 s:x4FBAAECCF753A4F702821B7BC53A688BE83D4B0EE0B646034B268E874A877341_)
node:(hmn_leaf
value:624380978848250621638684286914575125545021100386))))) state_flags:0
prices:(jetton_bridge_prices
bridge_burn_fee:(
grams:(nanograms
amount:(var_uint len:4 value:1000000000)))
bridge_mint_fee:(
grams:(nanograms
amount:(var_uint len:4 value:1000000000)))
wallet_min_tons_for_storage:(
grams:(nanograms
amount:(var_uint len:3 value:8000000)))
wallet_gas_consumption:(
grams:(nanograms
amount:(var_uint len:3 value:15000000)))
minter_min_tons_for_storage:(
grams:(nanograms
amount:(var_uint len:4 value:100000000)))
discover_gas_consumption:(
grams:(nanograms
amount:(var_uint len:3 value:10000000)))) external_chain_address:x000000000000000000000000B323692B6D4DB96AF1F52E4499A2BD0DED9AF3C5))
x{01B525EB5B3C5F6E6DCD606BEE7BA07A0EC83035212849B7E0559499C0F6BAD54D211F1574BF623D14787708C5FDD565E329A25ABFA49095E984426F19BCF04974800000000000000000000000005991B495B6A6DCB578FA97224CD15E86F6CD79E2C_}
x{2_}
x{2_}
x{2_}
x{2_}
x{BF09B8308543189F6C87537E3775C7B32A4BE67B773214907B487558DC55E153D80000000000000000000000022C1A974DD897D07BA767D50D20AD958B195FA9BE_}
x{2_}
x{2_}
x{BEB04F1C7228C06E691A04955FC9F82A639A5FE1048EF9CE48146542F56C2563F0000000000000000000000007A0D3C42F795BA2DB707D421ADD31DEDA9F1FEC1}
x{BEAC7060EC8093E1F460605CEF481914973AA2A52F707CB053EC893417D2361F80000000000000000000000003154E640C56D023A98890426A24D1A772F5A38B2}
x{BEE3C6F6E26F4C9BDC32AF4010DC1CBFE1760ECD8C2BAA8D4434F6DF21826855A000000000000000000000000441A93191A834877917CD2C0735A09E3A3E00FD94_}
x{BF5C1A776CB04E12EDB7153481CC16B92252B8B35A74F9BC8F727CE60811CE3906000000000000000000000001D712EB2CDB5E190CE438297176FBF713F9773395_}
x{2_}
x{2_}
x{BF0F5F8539BF36A511053E05BB025CCD959EDFD179EF9866A45B6DF0A567882C080000000000000000000000010E4C6E30A78D2A3059A550233558C9FD4473C21A_}
x{BF11B83DEB143C8D529B97B41027593CA429502E63B50A2EBC9EE35F6CB766F6E4000000000000000000000002552B992EC09A2C1BFFBEEDBD15219E97CB2CC5DE_}
x{BF69CC6186BF9DCE786DA691950A0FA416A8CBEB9ACE75D1E7D66C32463D6B6204000000000000000000000000917E94F07D9F6FF355956D1A5160DFB5FE6F5887_}
x{BFD3EEABB33DD4E93DC0A086DEF14E9A22FA0F52C3B82D9180D2C9A3A1D2A1DCD000000000000000000000000036AF1B0FBF0AF5D39F20C827A7D953E9650228B14_}
x{43B9ACA0043B9ACA0037A12003E4E1C0405F5E1003989680}
x{}
x{0020000F0003}
x{0000000000000000000000001}
x{001F000F0003}
x{0020000F0003}
x{0021000F0003}
x{0022000F0003}
x{0023000F0003}
x{0024000F0003}
x{0025000F0003}
x{0026000F0003}
x{4_}
x{492C0A37FBE873E730EE4780B294758D650CAD220951872B007C67223838ED94}
x{}
x{FF00F4A413F4BCF2C80B}
x{2_}
x{4}
x{C5}
x{CD_}
x{2_}
x{4}
x{007434C0FE900C083E9108A342180162A47CD356A611C58F12ACA444C78D6D0AB59D09321D94AD1320419D669640A531C140B03FD4882C6CC11C6C052C4931C02C6497C17800F4C7F4CFC8A0841B90D4DB2F54982C3C9948A084139594D52EB8C08D0860841B90D4DB2EB8C08D0820841B959414AEB8C08D08E_}
x{32343403D4D171F833206E92307F94D0D70BFFE2027003BA9C3120F00721F823BC02BCB001DE019F802401F0018210EE764F4B8040F008E0308210EE764F6F8040F008}
x{355BD4D21FFA40D122D7393123D76522FA445B01C00001C000B0228509BA2381FBFFBAB15005B014B09E01F001018210EF764F4B8040F008E05B018210EF764F6F8040F008}
x{3003DB3C804021A322C2FF9C5B74FB028210EE56505283069132E2F008}
x{01D31FD4D2003022AB1D9502F823A102DE21DB3C228509BA2381FBFFBAB1985F0782173C8D96AAE020C2FF8E1722F833206E92307092F900E221BD973082171D9B9CAADE8E1579F83352308020F40C6FA1319730821732AF9194DEE221D7658307BE973082173D9E9BAADE20C1FF926C61E0239132E30E21C1FF}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{7AF833138020F40C6FA1319782173C8D96AC32DE}
x{93155F05E03121800BF833DB3C3434355280B9985F0982173A878F97E05073B608038309F941328309A017A806A60212A815A05301A802F823A0ED44D0D4D31FD3FFF404D128F90053018307F40E6FA1E302303651A6A1831DB9985F0A82170F9E86DCE0DB3C3073A9B401706D03F9001057104B1A4330}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{38393905DB3C524DBD985F0F82173C8D96ABE05358BE985F0F82173E938DBBE05286A1830DA019A851DDA1831DB9985F0D82170F9E86DCE01056401450770380CEC8CA0716CB1F14CC12CA00F400CA3FCBFF5004CF1640458307F4431303C8CC12CB1FCBFFF400C9ED54}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{80CEC8CA0716CB1F14CC12CA00F400CA3FCBFF17CB0714CB0F40168307F4431203C8CC12CB1FCBFFF400C9ED54}
x{8210566F7465BA8F4A338308D71820D31FD30FD3FFD1028210566F7445BAF2A520DB3C30D3070180DFB0C053F2A9D31F0182108E81278ABAF2A9D3FFD33F304455F911F2A202DB3C8210D6745240A08040F008E05F0320C00001831EB0B1F2A5}
x{DB3C32598010F40E6FA13001}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{ED44D0D4D31FD3FFF404D146135054DB3C5473542503C8CC12CB1FCBFFF400C9ED54216E926C518F387621A14440DB3C5472652603C8CC12CB1FCBFFF400C9ED54218E97F80F10231025DB3C440303C8CC12CB1FCBFFF400C9ED549410465F06E2E2}
x{53238307F40E6FA1945F046D7FE1DB3C3001F90002DB3C26F823BB9A5F0B018307F45B306D7FE05318BD8E8C313222DB3C6D0573A9B40115923737E2256E9A5F09018307F45B306D7FE053818010F40E6FA131945F0A6D7EE0F823C8CB1F50928010F443275087A15207B2C2FF}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{800BF833DB3C10475F0702D307D307D3073003C2FF13A15204BC935F036DE0A520C100935F036DE0C8CB07CB07CB07C9D0}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{8E1F552380CEC8CA0716CB1F14CC12CA00F400CA3FCBFF01CF16028307F4436D72E020800BF833DB3C10575F0704D307D307D3073001A45207BE8E105B50565F0550238307F45B307658A112E0104510341023487680CEC8CA0716CB1F14CC12CA00F400CA3FCBFF12CB0712CB07CB07028307F4436D72}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{01DB3C53248020F46A206E92307092F900E221BD01C2FFB0945F03706DE0218509BA2281FBFFBAB1945F03706DE079248020F46A52208020F40C6FA131216EB0945F03706DE07A248020F46A52208020F40C6FA1315003B9935B706DE05461048020F41559}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{2181FC19BA9D6C21206E92307094D0D70BFFE2E0206E915BE02181FC18BA8E1431D0D421FB04ED4302D0ED1EED5301F10682F200E00181FC17BA93D0F00B9130E2}
x{3B513435140CE0083D0572330073C5B27B552_}
x{F68698380E0097944E98FE98FE987E987981061007944DF7944C_}
x{4}
x{4708018C8CB055005CF1614CB6ECB1FCB3FC901FB00}
x{571F833D0D70BFFF82382104E436F64708200C4FFC8CB1014CBFF831DFA0213CB6A12CB1FCB3F01CF16C970FB00}
x{AA825B}
x{2_}
x{2_}
x{BA545ED44D0D74C800B018020F46A14DB3C6C445254B9935F067FE05044B608028309A013A803A60212A812A001A8}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{2_}
x{B592FDA89A1AE163F_}
x{B6117DA89A1A9A63FA7FFE809A2D863060FE81CDF432460DBC3B679_}
x{DB3C6D831F8E12258010F47E6FA532219552036F0202DE01B3E63034D307D307D307D107DB3C6F030607103510346F09}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{BD1C176A2686A698FE9FFFA0268B618C27FB6C74EA8894183FA3F37D2904746016D9E290837812801B7810148997100D989733610C_}
x{DB3C6D831F8E12258010F47E6FA532219552036F0202DE01B3E63034D307D307D307D107DB3C6F030607103510346F09}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{F1}
x{0C3B51343534C7F4FFFD01346008200914D47D1A9C085BA49B08638DC8740835D27089E38A74C1F5C2C7FE08EEC07004AC2385CC2008961459BD1B9515487D1B8C200910057D168C00DFE49B0878A4C4D7C0F8B8A3A0B6CF37C0F23304B2C7F2FFFD00327B552_}
x{F810218307F47D6FA5915BE15202DB3C8E11206E9730018307F45B3095028307F416E2915BE2}
x{31DB3C3001F90022DB3C3325F823BB945F096D7FE026BA935F0770E037541066DB3C6D0573A9B401216E945F076D7FE0103510241036460680CEC8CA0716CB1F14CC12CA00F400CA3FCBFF01CF16C9D07F}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{800BF833DB3C10475F0702D307D307D3073003C2FF13A15204BC935F036DE0A520C100935F036DE0C8CB07CB07CB07C9D0}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{20C235C60834C7F4C7F4C7C07E08EE7C98C835D920C1AF3C99FB51343534C7F4FFFD01345454AEBCA8496084159BDD196EA3D20D40B4C3F4FFF44876CF0C34C1C06037EC3014FCAA74C7C0608423A049E2AEBCAA74FFF4CFCC12267E447CA8BE0000A92A4E07D54480F23304B2C7F2FFFD00327B553E03D636CF0C2_}
x{DB3C32598010F40E6FA13001}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{ED44D0D4D31FD3FFF404D146135054DB3C5473542503C8CC12CB1FCBFFF400C9ED54216E926C518F387621A14440DB3C5472652603C8CC12CB1FCBFFF400C9ED54218E97F80F10231025DB3C440303C8CC12CB1FCBFFF400C9ED549410465F06E2E2}
x{53238307F40E6FA1945F046D7FE1DB3C3001F90002DB3C26F823BB9A5F0B018307F45B306D7FE05318BD8E8C313222DB3C6D0573A9B40115923737E2256E9A5F09018307F45B306D7FE053818010F40E6FA131945F0A6D7EE0F823C8CB1F50928010F443275087A15207B2C2FF}
x{8022F83320D0D30701C012F2A88060D721D33FF404D1}
x{D20701C0CEF2ACD31FD4D200F404D23FD3FF}
x{800BF833DB3C10475F0702D307D307D3073003C2FF13A15204BC935F036DE0A520C100935F036DE0C8CB07CB07CB07C9D0}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{8E1F552380CEC8CA0716CB1F14CC12CA00F400CA3FCBFF01CF16028307F4436D72E020800BF833DB3C10575F0704D307D307D3073001A45207BE8E105B50565F0550238307F45B307658A112E0104510341023487680CEC8CA0716CB1F14CC12CA00F400CA3FCBFF12CB0712CB07CB07028307F4436D72}
x{D0D30701810091BAF2AC0192D431DED74CD0D30701C036F2ACD307D307D307D307D31FD31FD31FD31FD1}
x{01DB3C53248020F46A206E92307092F900E221BD01C2FFB0945F03706DE0218509BA2281FBFFBAB1945F03706DE079248020F46A52208020F40C6FA131216EB0945F03706DE07A248020F46A52208020F40C6FA1315003B9935B706DE05461048020F41559}
x{D0D20701C0F3F2ACD21FF404D2000192D3FF927F01E2D1}
x{2181FC19BA9D6C21206E92307094D0D70BFFE2E0206E915BE02181FC18BA8E1431D0D421FB04ED4302D0ED1EED5301F10682F200E00181FC17BA93D0F00B9130E2}
x{E006F901541076F910F2A2F80005A4A9381F5475042503C8CC12CB1FCBFFF400C9ED54F80F10354455DB3C430303C8CC12CB1FCBFFF400C9ED54}
x{21821043665021BA9C31D21FD4D140138020F41501E02182104E436F64BA8E1331D421FB04ED4302D0ED1EED5301F10682F200E021821050624B21BA956C21D3FFD1E02182104E43EF05BA9331F00BE030F260}
x{33C0B9E075702D034DA2231B6F08FEC709B28C6821270413D2CDB6E890A186B6}
x{A0000000648017F5C98837321E0979AE57989179BCB8269610C29B43F368D5F84A63E6AE16141_}
x{0000}
x{0000000F0003}
x{019E12415ABCD9A326E331A1701DEB25CDF4C5EF5F64A18B710AAD40203B38698A}
x{800DAD361FE196DE310754505362E9B880D7114FFE11B753436627320B1454834E05329E8C26B7286972F11AA46206493871FFC494334954920B8CCAD3996963A4C0003000003E8000003E8}
x{0000000304675F1C7C72ADAA3EFBF1D858EA8EFCAE7E900A528E98029BE613F270CAFBD35101B82370DC6E400A39F187853D646FC22ABBB53CF0B9A050C4E60694B161388D135477416D98E83018C059AEB884B3EBEBBDEF060C73B733B1CF725427A4E07C}
x{06E278A39760EA90476AA75556D6F9B119620EAAEDBFF377AD68B06FD4B7EE89D9FBF93AF928779385C62A273874C22CB9AB5A62F8B09AA0B1DDEA3646EEB0B4}
x{9FF1BC6B90DA7D2DC01E0E58A10D44BDE90D68F48BE60BCE65AE17A47A9F274E4AD3ED69D3365710EEFF7F685A803A3014241A572D9BEA87BAF021B45F0A6310E7926AFC676C222920CA03608E099B252D265AB5D2B198CA44BC22217D5639F7E4A}
x{8001E0DBAE4AA93BAC14D946E8758A65B6A4F13962B5E3F287FD2D5B7698350C2AA28ABBDE05A4AC8751A2498EC478FEE8876553CF642F4AD64CBD1E340B9C6B324}
x{8018494B89F7AA591AB993401C1105F3804090B3BA8FEC67D52991F6240A3B3932B001B5A6C3FC32DBC620EA8A0A6C5D37101AE229FFC236EA686CC4E641628A9069C090AB614E7B2FCF30794270E16F78F710909C003F1CB861079FF2D3B980C0F342_}
x{C_}
x{6A_}
x{BF573195A37F3BCFC37B061747F752C11CC32104BBBB9EFDB58F0A3DC2D4D25D0201001BC8D1A14B9F0D906D982330F08B45DB511F1854CA29D0B9D83AB1D8A8848C20C02_}
x{BF68278EE8EAFCC90CEE7057AD0B404484C81708DF3B9248AB45408973864F3AB403_}
x{E99B81BAEB655634A8458BF07C45FA0633CBDB798CB3B9D3E4242760D66D61478F441AC394CF94D0D83A763403654D7809D2F5B67DF16F17EC54EF815A92B6598004_}
x{A009888E4C7D139C821AD2848A8E44F70AC807354535232FF9138EF6A2BB4035E0800000000000000000000000113A25D7619B967FC0008B93B2FB157F8BED892FD_}
x{A06_}
x{2_}
x{ABE000000000071AFD498D000011E0EE9757DABFD1D9F3EF77F7F22C2C6678E84E61DEA8D1D77C88AC1F2671F6C1_}
x{ABFFFFFFFFC0071AFD498D000011E0EE9757DABFD1D9F3EF77F7F22C2C6678E84E61DEA8D1D77C88AC1F2671F6C1_}
x{9214F8DE8ABB28789C9A0BB6310DCEC3910CDB812EE76F04DC4E78AD95C20934}