diff --git a/crates/blockifier_test_utils/resources/feature_contracts/cairo1/block_info_test_contract.cairo b/crates/blockifier_test_utils/resources/feature_contracts/cairo1/block_info_test_contract.cairo index 7b5abbb169f..6f1f62760dd 100644 --- a/crates/blockifier_test_utils/resources/feature_contracts/cairo1/block_info_test_contract.cairo +++ b/crates/blockifier_test_utils/resources/feature_contracts/cairo1/block_info_test_contract.cairo @@ -4,10 +4,7 @@ mod Account { use array::SpanTrait; use box::BoxTrait; use starknet::{ - ContractAddress, - info::SyscallResultTrait, - get_block_number, - get_block_timestamp, + ContractAddress, info::SyscallResultTrait, get_block_number, get_block_timestamp, }; use zeroable::{IsZeroResult, NonZeroIntoImpl, Zeroable}; @@ -16,8 +13,7 @@ mod Account { const VALIDATE_TIMESTAMP_ROUNDING: u64 = 3600; #[storage] - struct Storage { - } + struct Storage {} #[constructor] fn constructor(ref self: ContractState, is_validate_: bool) { @@ -64,16 +60,14 @@ mod Account { fn test_block_info(is_validate: bool) -> felt252 { let block_number = get_block_number(); let block_timestamp = get_block_timestamp(); - test_given_block_info( - block_number, block_timestamp, is_validate - ) + test_given_block_info(block_number, block_timestamp, is_validate) } - fn test_given_block_info ( + fn test_given_block_info( block_number: u64, block_timestamp: u64, is_validate: bool ) -> felt252 { // Verify the block number and timestamp. - assert (VALIDATE_BLOCK_NUMBER_ROUNDING != 0, 'INVALID_ROUNDING'); + assert(VALIDATE_BLOCK_NUMBER_ROUNDING != 0, 'INVALID_ROUNDING'); let (divided_block_number, _) = DivRem::div_rem( block_number, VALIDATE_BLOCK_NUMBER_ROUNDING.try_into().unwrap() ); @@ -81,16 +75,16 @@ mod Account { let (divided_block_timestamp, _) = DivRem::div_rem( block_timestamp, VALIDATE_TIMESTAMP_ROUNDING.try_into().unwrap() ); - let block_timestamp_for_validate = ( - divided_block_timestamp * VALIDATE_TIMESTAMP_ROUNDING - ); + let block_timestamp_for_validate = (divided_block_timestamp * VALIDATE_TIMESTAMP_ROUNDING); if is_validate { - assert (block_number == block_number_for_validate, 'INVALID_BLOCK_NUMBER'); - assert (block_timestamp == block_timestamp_for_validate, 'INVALID_BLOCK_TIMESTAMP'); + assert(block_number == block_number_for_validate, 'INVALID_BLOCK_NUMBER'); + assert(block_timestamp == block_timestamp_for_validate, 'INVALID_BLOCK_TIMESTAMP'); return starknet::VALIDATED; } - assert (!is_validate, 'INVALID_IS_VALIDATE'); + assert(block_number != block_number_for_validate, 'INVALID_BLOCK_NUMBER'); + assert(block_timestamp != block_timestamp_for_validate, 'INVALID_BLOCK_TIMESTAMP'); + assert(!is_validate, 'INVALID_IS_VALIDATE'); starknet::VALIDATED } } diff --git a/crates/blockifier_test_utils/resources/feature_contracts/cairo1/compiled/block_info_test_contract.casm.json b/crates/blockifier_test_utils/resources/feature_contracts/cairo1/compiled/block_info_test_contract.casm.json index 720ac98db6c..6ad506004a7 100644 --- a/crates/blockifier_test_utils/resources/feature_contracts/cairo1/compiled/block_info_test_contract.casm.json +++ b/crates/blockifier_test_utils/resources/feature_contracts/cairo1/compiled/block_info_test_contract.casm.json @@ -8,7 +8,7 @@ "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", - "0xb5", + "0x92", "0x4825800180007ffa", "0x0", "0x400280007ff97fff", @@ -16,7 +16,7 @@ "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0xa2", + "0x7f", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", @@ -24,7 +24,7 @@ "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0x8f", + "0x6c", "0x482480017ffd8000", "0x1", "0x48127ffd7fff8000", @@ -32,29 +32,33 @@ "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0x7c", + "0x59", "0x480080007ffd8000", "0x20680017fff7fff", - "0x6", + "0x8", "0x482480017ff78000", - "0x1360", + "0x12fc", + "0x480680017fff8000", + "0x1", "0x10780017fff7fff", - "0x4", + "0x6", "0x482480017ff78000", - "0x13c4", - "0x482480017ffb8000", + "0x1360", + "0x480680017fff8000", + "0x0", + "0x482480017ffa8000", "0x1", - "0x48127ffb7fff8000", + "0x48127ffa7fff8000", "0x48307ffe80007fff", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xd", "0x1104800180018000", - "0x397", + "0x320", "0x482680017ff98000", "0x1", - "0x48127ff37fff8000", + "0x48127ff27fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", @@ -62,101 +66,62 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x50a", + "0x6b9", "0x482480017fff8000", - "0x509", + "0x6b8", "0x480080007fff8000", "0xa0680017fff8000", "0x9", - "0x4824800180007ff7", - "0x6568", + "0x4824800180007ff6", + "0x67ca", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400280017ff97fff", "0x10780017fff7fff", - "0x4d", - "0x4824800180007ff7", - "0x6568", + "0x26", + "0x4824800180007ff6", + "0x67ca", "0x400280017ff97fff", "0x480680017fff8000", - "0x476574457865637574696f6e496e666f", - "0x400280007ffb7fff", - "0x400280017ffb7ffe", - "0x480280037ffb8000", - "0x20680017fff7fff", - "0x39", - "0x480280027ffb8000", - "0x480680017fff8000", - "0x476574457865637574696f6e496e666f", - "0x400280057ffb7fff", - "0x400280067ffb7ffe", - "0x480280087ffb8000", - "0x20680017fff7fff", - "0x27", - "0x480280047ffb8000", - "0x480080007fff8000", - "0x480280097ffb8000", - "0x480080007fff8000", + "0x1", "0x482680017ff98000", "0x2", - "0x480080007ffc8000", - "0x480080017ffd8000", - "0x480680017fff8000", - "0x1", + "0x48127ffd7fff8000", + "0x480a7ffb7fff8000", + "0x480280007ffc8000", + "0x480080007fe98000", + "0x48307ff080007ffa", "0x1104800180018000", - "0x367", + "0x300", "0x20680017fff7ffd", - "0x10", - "0x480280077ffb8000", + "0xe", "0x40780017fff7fff", "0x1", - "0x400080007fff7ffd", - "0x48127ffa7fff8000", - "0x48127ffd7fff8000", - "0x482680017ffb8000", - "0xa", + "0x400080007fff7ffe", + "0x48127ff97fff8000", + "0x48127ff97fff8000", + "0x48127ff97fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x482480017ffa8000", "0x1", "0x208b7fff7fff7ffe", - "0x48127ffc7fff8000", - "0x480280077ffb8000", - "0x482680017ffb8000", - "0xa", - "0x480680017fff8000", - "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", - "0x208b7fff7fff7ffe", - "0x482680017ff98000", - "0x2", - "0x480280077ffb8000", - "0x482680017ffb8000", - "0xb", - "0x480680017fff8000", - "0x1", - "0x480280097ffb8000", - "0x4802800a7ffb8000", - "0x208b7fff7fff7ffe", - "0x482680017ff98000", - "0x2", - "0x480280027ffb8000", - "0x482680017ffb8000", - "0x6", + "0x48127ffa7fff8000", "0x480680017fff8000", "0x1", - "0x480280047ffb8000", - "0x480280057ffb8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x482680017ff98000", "0x2", - "0x48127ff47fff8000", + "0x48127ff37fff8000", "0x10780017fff7fff", "0x27", "0x1104800180018000", - "0x3ad", + "0x389", "0x482680017ff98000", "0x1", "0x48127fef7fff8000", @@ -167,7 +132,7 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3a7", + "0x383", "0x482680017ff98000", "0x1", "0x48127ff27fff8000", @@ -178,7 +143,7 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3a1", + "0x37d", "0x482680017ff98000", "0x1", "0x48127ff57fff8000", @@ -193,7 +158,7 @@ "0x482680017ffa8000", "0x1e96", "0x1104800180018000", - "0x397", + "0x373", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -208,7 +173,7 @@ "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", - "0x87", + "0x5c", "0x4825800180007ffa", "0x0", "0x400280007ff97fff", @@ -216,7 +181,7 @@ "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0x74", + "0x49", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", @@ -226,7 +191,7 @@ "0x10780017fff7fff", "0xd", "0x1104800180018000", - "0x2e8", + "0x298", "0x482680017ff98000", "0x1", "0x48127ff27fff8000", @@ -237,93 +202,50 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x45b", + "0x631", "0x482480017fff8000", - "0x45a", + "0x630", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff6", - "0x4d58", + "0x4e8e", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400280017ff97fff", "0x10780017fff7fff", - "0x4d", + "0x22", "0x4824800180007ff6", - "0x4d58", + "0x4e8e", "0x400280017ff97fff", - "0x480680017fff8000", - "0x476574457865637574696f6e496e666f", - "0x400280007ffb7fff", - "0x400280017ffb7ffe", - "0x480280037ffb8000", - "0x20680017fff7fff", - "0x39", - "0x480280027ffb8000", - "0x480680017fff8000", - "0x476574457865637574696f6e496e666f", - "0x400280057ffb7fff", - "0x400280067ffb7ffe", - "0x480280087ffb8000", - "0x20680017fff7fff", - "0x27", - "0x480280047ffb8000", - "0x480080007fff8000", - "0x480280097ffb8000", - "0x480080007fff8000", "0x482680017ff98000", "0x2", - "0x480080007ffc8000", - "0x480080017ffd8000", - "0x480680017fff8000", - "0x1", + "0x48127ffe7fff8000", + "0x480a7ffb7fff8000", + "0x480280007ffc8000", "0x1104800180018000", - "0x2b8", + "0x336", "0x20680017fff7ffd", - "0x10", - "0x480280077ffb8000", + "0xe", "0x40780017fff7fff", "0x1", - "0x400080007fff7ffd", - "0x48127ffa7fff8000", - "0x48127ffd7fff8000", - "0x482680017ffb8000", - "0xa", + "0x400080007fff7ffe", + "0x48127ff97fff8000", + "0x48127ff97fff8000", + "0x48127ff97fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x482480017ffa8000", "0x1", "0x208b7fff7fff7ffe", - "0x48127ffc7fff8000", - "0x480280077ffb8000", - "0x482680017ffb8000", - "0xa", - "0x480680017fff8000", - "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", - "0x208b7fff7fff7ffe", - "0x482680017ff98000", - "0x2", - "0x480280077ffb8000", - "0x482680017ffb8000", - "0xb", - "0x480680017fff8000", - "0x1", - "0x480280097ffb8000", - "0x4802800a7ffb8000", - "0x208b7fff7fff7ffe", - "0x482680017ff98000", - "0x2", - "0x480280027ffb8000", - "0x482680017ffb8000", - "0x6", + "0x48127ffa7fff8000", "0x480680017fff8000", "0x1", - "0x480280047ffb8000", - "0x480280057ffb8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x482680017ff98000", "0x2", @@ -332,7 +254,7 @@ "0x10780017fff7fff", "0x11", "0x1104800180018000", - "0x307", + "0x30e", "0x482680017ff98000", "0x1", "0x48127ff57fff8000", @@ -347,7 +269,7 @@ "0x482680017ffa8000", "0x1e96", "0x1104800180018000", - "0x2fd", + "0x304", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -356,13 +278,15 @@ "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x2", "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", - "0xea", + "0xc3", "0x4825800180007ffa", "0x0", "0x400280007ff97fff", @@ -370,11 +294,11 @@ "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0xd4", - "0x480280007ffc8000", + "0xad", + "0x400380007ffc8001", "0xa0680017fff8004", "0xe", - "0x4824800180047ffe", + "0x4825800180048001", "0x800000000000000000000000000000000000000000000000000000000000000", "0x484480017ffe8000", "0x110000000000000000", @@ -385,10 +309,10 @@ "0xffffffffffffffeeffffffffffffffff", "0x400280037ff97ffd", "0x10780017fff7fff", - "0xbf", + "0x98", "0x484480017fff8001", "0x8000000000000000000000000000000", - "0x48307fff80007ffd", + "0x48317fff80008001", "0x480280017ff97ffd", "0x480280027ff97ffd", "0x402480017ffc7ffe", @@ -401,20 +325,21 @@ "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0xa4", + "0x7d", "0x482480017ffd8000", "0x1", "0x48127ffd7fff8000", + "0x40137ffb7fff8000", "0x48307ffe80007fff", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0x8e", + "0x66", "0x40780017fff7fff", "0x1", "0x482680017ff98000", "0x4", - "0x48127ff07fff8000", + "0x48127ff17fff8000", "0x482480017ffa8000", "0x1", "0x48127ffa7fff8000", @@ -422,18 +347,18 @@ "0x48127ffa7fff8000", "0x480080007ff68000", "0x1104800180018000", - "0x2b7", + "0x361", "0x20680017fff7ffa", - "0x77", + "0x4f", "0x20680017fff7ffd", - "0x70", + "0x48", "0x48307ffb80007ffc", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xc", "0x1104800180018000", - "0x219", + "0x1f1", "0x48127fef7fff8000", "0x48127fef7fff8000", "0x480a7ffb7fff8000", @@ -443,103 +368,63 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x38d", + "0x58b", "0x482480017fff8000", - "0x38c", + "0x58a", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff3", - "0x60cc", + "0x63f6", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff07fff", "0x10780017fff7fff", - "0x4d", + "0x25", "0x4824800180007ff3", - "0x60cc", + "0x63f6", "0x400080007ff17fff", - "0x480680017fff8000", - "0x476574457865637574696f6e496e666f", - "0x400280007ffb7fff", - "0x400280017ffb7ffe", - "0x480280037ffb8000", - "0x20680017fff7fff", - "0x39", - "0x480280027ffb8000", - "0x480680017fff8000", - "0x476574457865637574696f6e496e666f", - "0x400280057ffb7fff", - "0x400280067ffb7ffe", - "0x480280087ffb8000", - "0x20680017fff7fff", - "0x27", - "0x480280047ffb8000", - "0x480080007fff8000", - "0x480280097ffb8000", - "0x480080007fff8000", - "0x482480017fe88000", - "0x1", - "0x480080007ffc8000", - "0x480080017ffd8000", - "0x480680017fff8000", + "0x482480017ff18000", "0x1", + "0x48127ffe7fff8000", + "0x480a7ffb7fff8000", + "0x480a80017fff8000", + "0x4802800080008000", + "0x48127ff27fff8000", + "0x48127ff27fff8000", "0x1104800180018000", - "0x1ea", + "0x380", "0x20680017fff7ffd", - "0x10", - "0x480280077ffb8000", + "0xe", "0x40780017fff7fff", "0x1", - "0x400080007fff7ffd", - "0x48127ffa7fff8000", - "0x48127ffd7fff8000", - "0x482680017ffb8000", - "0xa", + "0x400080007fff7ffe", + "0x48127ff97fff8000", + "0x48127ff97fff8000", + "0x48127ff97fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x482480017ffa8000", "0x1", "0x208b7fff7fff7ffe", - "0x48127ffc7fff8000", - "0x480280077ffb8000", - "0x482680017ffb8000", - "0xa", - "0x480680017fff8000", - "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", - "0x208b7fff7fff7ffe", - "0x482480017fec8000", - "0x1", - "0x480280077ffb8000", - "0x482680017ffb8000", - "0xb", - "0x480680017fff8000", - "0x1", - "0x480280097ffb8000", - "0x4802800a7ffb8000", - "0x208b7fff7fff7ffe", - "0x482480017fef8000", - "0x1", - "0x480280027ffb8000", - "0x482680017ffb8000", - "0x6", + "0x48127ffa7fff8000", "0x480680017fff8000", "0x1", - "0x480280047ffb8000", - "0x480280057ffb8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x482480017ff08000", "0x1", "0x482480017ff08000", - "0x49c", + "0x3d4", "0x10780017fff7fff", "0x40", "0x48127ff87fff8000", "0x482480017ff88000", - "0x992", + "0x8ca", "0x10780017fff7fff", "0xe", "0x48127ff87fff8000", @@ -552,10 +437,10 @@ "0x208b7fff7fff7ffe", "0x482680017ff98000", "0x4", - "0x482480017ff18000", - "0x16bc", + "0x482480017ff28000", + "0x15f4", "0x1104800180018000", - "0x21e", + "0x24a", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -565,10 +450,10 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x219", + "0x245", "0x482680017ff98000", "0x4", - "0x48127fec7fff8000", + "0x48127fed7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", @@ -577,16 +462,16 @@ "0x208b7fff7fff7ffe", "0x482680017ff98000", "0x4", - "0x482480017ff68000", - "0x1914", + "0x482480017ff78000", + "0x18a6", "0x10780017fff7fff", "0x6", "0x482680017ff98000", "0x1", "0x482480017ffd8000", - "0x1dce", + "0x1d56", "0x1104800180018000", - "0x209", + "0x235", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -598,9 +483,9 @@ "0x482680017ff98000", "0x1", "0x482680017ffa8000", - "0x1e96", + "0x1e1e", "0x1104800180018000", - "0x200", + "0x22c", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -678,7 +563,7 @@ "0x48127ffa7fff8000", "0x480080007ff68000", "0x1104800180018000", - "0x1b7", + "0x289", "0x20680017fff7ffa", "0x3a", "0x20680017fff7ffd", @@ -699,21 +584,21 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x28d", + "0x4b3", "0x482480017fff8000", - "0x28c", + "0x4b2", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff3", - "0x6004", + "0x625c", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff07fff", "0x10780017fff7fff", "0x10", "0x4824800180007ff3", - "0x6004", + "0x625c", "0x400080007ff17fff", "0x482480017ff18000", "0x1", @@ -724,7 +609,7 @@ "0x48127ff27fff8000", "0x48127ff27fff8000", "0x1104800180018000", - "0x1d6", + "0x34e", "0x208b7fff7fff7ffe", "0x482480017ff08000", "0x1", @@ -750,7 +635,7 @@ "0x482480017ff28000", "0x15f4", "0x1104800180018000", - "0x15b", + "0x187", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -760,7 +645,7 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x156", + "0x182", "0x482680017ff98000", "0x4", "0x48127fed7fff8000", @@ -781,7 +666,7 @@ "0x482480017ffd8000", "0x1d56", "0x1104800180018000", - "0x146", + "0x172", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -795,7 +680,7 @@ "0x482680017ffa8000", "0x1e1e", "0x1104800180018000", - "0x13d", + "0x169", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -852,21 +737,21 @@ "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x1f4", + "0x41a", "0x482480017fff8000", - "0x1f3", + "0x419", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff6", - "0x6568", + "0x65cc", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400280017ff97fff", "0x10780017fff7fff", "0x4c", "0x4824800180007ff6", - "0x6568", + "0x65cc", "0x400280017ff97fff", "0x480680017fff8000", "0x476574457865637574696f6e496e666f", @@ -895,7 +780,7 @@ "0x480080017ffd8000", "0x48307fe980007ff8", "0x1104800180018000", - "0x50", + "0x34c", "0x20680017fff7ffd", "0xe", "0x480280077ffb8000", @@ -945,7 +830,7 @@ "0x10780017fff7fff", "0x11", "0x1104800180018000", - "0xa2", + "0xce", "0x482680017ff98000", "0x1", "0x48127ff57fff8000", @@ -960,7 +845,7 @@ "0x482680017ffa8000", "0x1e96", "0x1104800180018000", - "0x98", + "0xc4", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", @@ -972,105 +857,120 @@ "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x1104800180018000", - "0x161", + "0x387", "0x208b7fff7fff7ffe", "0x480680017fff8000", + "0x476574457865637574696f6e496e666f", + "0x400280007ffa7fff", + "0x400380017ffa7ff9", + "0x480280037ffa8000", + "0x20680017fff7fff", + "0x96", + "0x480280027ffa8000", + "0x480680017fff8000", + "0x476574457865637574696f6e496e666f", + "0x400280057ffa7fff", + "0x400280067ffa7ffe", + "0x480280087ffa8000", + "0x20680017fff7fff", + "0x83", + "0x480280047ffa8000", + "0x480080007fff8000", + "0x480080007fff8000", + "0x480680017fff8000", "0x64", - "0x480280007ffa8004", + "0x480280007ff88004", "0x4824800180037fff", "0x1", "0x48307ffe7fff7ffd", - "0x480280017ffa7ffe", - "0x480280027ffa7fff", + "0x480280017ff87ffe", + "0x480280027ff87fff", "0x40507ffe7ffa7ffd", - "0x40317fff7ffd7ffb", + "0x40307fff7ffd7ff9", "0x484480017ffe8000", "0x64", "0xa0680017fff8000", "0x7", "0x4824800180007ffe", "0x10000000000000000", - "0x400280037ffa7fff", + "0x400280037ff87fff", "0x10780017fff7fff", - "0x5d", + "0x5b", "0x482480017ffe8000", "0xffffffffffffffff0000000000000000", - "0x400280037ffa7fff", + "0x400280037ff87fff", + "0x480280097ffa8000", + "0x480080007fff8000", + "0x480080017fff8000", "0x480680017fff8000", "0xe10", - "0x480280047ffa8004", + "0x480280047ff88004", "0x4824800180037fff", "0x1", "0x48307ffe7fff7ffd", - "0x480280057ffa7ffe", - "0x480280067ffa7fff", + "0x480280057ff87ffe", + "0x480280067ff87fff", "0x40507ffe7ffa7ffd", - "0x40317fff7ffd7ffc", + "0x40307fff7ffd7ff9", "0x484480017ffe8000", "0xe10", "0xa0680017fff8000", "0x7", "0x4824800180007ffe", "0x10000000000000000", - "0x400280077ffa7fff", + "0x400280077ff87fff", "0x10780017fff7fff", - "0x41", + "0x3b", "0x482480017ffe8000", "0xffffffffffffffff0000000000000000", - "0x400280077ffa7fff", - "0x20780017fff7ffd", - "0x13", - "0x40780017fff7fff", - "0x2", - "0x20780017fff7ffd", - "0x6", + "0x400280077ff87fff", "0x40780017fff7fff", - "0x8", - "0x10780017fff7fff", - "0x2b", - "0x1104800180018000", - "0x12f", - "0x482680017ffa8000", - "0x8", - "0x480680017fff8000", "0x1", - "0x48127ffc7fff8000", - "0x48127ffc7fff8000", - "0x208b7fff7fff7ffe", - "0x48317ff480007ffb", + "0x48307ff080007fe9", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0xd", + "0x10", "0x40780017fff7fff", "0x1", "0x1104800180018000", - "0x124", - "0x482680017ffa8000", + "0x341", + "0x482680017ff88000", "0x8", + "0x480280077ffa8000", + "0x482680017ffa8000", + "0xa", "0x480680017fff8000", "0x1", - "0x48127ffc7fff8000", - "0x48127ffc7fff8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", - "0x48317ffc80007ffc", + "0x48307ffb80007ff4", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0xb", + "0xe", "0x1104800180018000", - "0x11b", - "0x482680017ffa8000", + "0x335", + "0x482680017ff88000", "0x8", + "0x480280077ffa8000", + "0x482680017ffa8000", + "0xa", "0x480680017fff8000", "0x1", - "0x48127ffc7fff8000", - "0x48127ffc7fff8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", + "0x7", + "0x480280077ffa8000", + "0x482680017ff88000", "0x8", + "0x482480017ffe8000", + "0x212", "0x482680017ffa8000", - "0x8", + "0xa", "0x480680017fff8000", "0x0", "0x480680017fff8000", @@ -1078,43 +978,238 @@ "0x480680017fff8000", "0x56414c4944", "0x208b7fff7fff7ffe", - "0x40780017fff7fff", - "0x1", - "0x482680017ffa8000", + "0x480280077ffa8000", + "0x482680017ff88000", "0x8", + "0x482480017ffe8000", + "0x6e", "0x10780017fff7fff", - "0x6", + "0x9", "0x40780017fff7fff", - "0xa", - "0x482680017ffa8000", + "0xc", + "0x480280077ffa8000", + "0x482680017ff88000", "0x4", + "0x482480017ffe8000", + "0x6ea", "0x1104800180018000", - "0x102", - "0x48127ff77fff8000", + "0x310", + "0x48127ff67fff8000", + "0x48127ff67fff8000", + "0x482680017ffa8000", + "0xa", "0x480680017fff8000", "0x1", - "0x48127ffc7fff8000", - "0x48127ffc7fff8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x23", + "0x480a7ff87fff8000", + "0x480280077ffa8000", + "0x482680017ffa8000", + "0xb", + "0x480680017fff8000", + "0x1", + "0x480280097ffa8000", + "0x4802800a7ffa8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x26", + "0x480a7ff87fff8000", + "0x480280027ffa8000", + "0x482680017ffa8000", + "0x6", + "0x480680017fff8000", + "0x1", + "0x480280047ffa8000", + "0x480280057ffa8000", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202333", "0x1104800180018000", - "0xe2", + "0x2dc", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202332", "0x1104800180018000", - "0xdd", + "0x2d7", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202331", "0x1104800180018000", - "0xd8", + "0x2d2", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x4f7574206f6620676173", "0x1104800180018000", - "0xd3", + "0x2cd", + "0x208b7fff7fff7ffe", + "0x480680017fff8000", + "0x476574457865637574696f6e496e666f", + "0x400280007ffc7fff", + "0x400380017ffc7ffb", + "0x480280037ffc8000", + "0x20680017fff7fff", + "0x96", + "0x480280027ffc8000", + "0x480680017fff8000", + "0x476574457865637574696f6e496e666f", + "0x400280057ffc7fff", + "0x400280067ffc7ffe", + "0x480280087ffc8000", + "0x20680017fff7fff", + "0x83", + "0x480280047ffc8000", + "0x480080007fff8000", + "0x480080007fff8000", + "0x480680017fff8000", + "0x64", + "0x480280007ffa8004", + "0x4824800180037fff", + "0x1", + "0x48307ffe7fff7ffd", + "0x480280017ffa7ffe", + "0x480280027ffa7fff", + "0x40507ffe7ffa7ffd", + "0x40307fff7ffd7ff9", + "0x484480017ffe8000", + "0x64", + "0xa0680017fff8000", + "0x7", + "0x4824800180007ffe", + "0x10000000000000000", + "0x400280037ffa7fff", + "0x10780017fff7fff", + "0x5b", + "0x482480017ffe8000", + "0xffffffffffffffff0000000000000000", + "0x400280037ffa7fff", + "0x480280097ffc8000", + "0x480080007fff8000", + "0x480080017fff8000", + "0x480680017fff8000", + "0xe10", + "0x480280047ffa8004", + "0x4824800180037fff", + "0x1", + "0x48307ffe7fff7ffd", + "0x480280057ffa7ffe", + "0x480280067ffa7fff", + "0x40507ffe7ffa7ffd", + "0x40307fff7ffd7ff9", + "0x484480017ffe8000", + "0xe10", + "0xa0680017fff8000", + "0x7", + "0x4824800180007ffe", + "0x10000000000000000", + "0x400280077ffa7fff", + "0x10780017fff7fff", + "0x3b", + "0x482480017ffe8000", + "0xffffffffffffffff0000000000000000", + "0x400280077ffa7fff", + "0x40780017fff7fff", + "0x1", + "0x48307ff080007fe9", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x10", + "0x40780017fff7fff", + "0x1", + "0x1104800180018000", + "0x287", + "0x482680017ffa8000", + "0x8", + "0x480280077ffc8000", + "0x482680017ffc8000", + "0xa", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x48307ffb80007ff4", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0xe", + "0x1104800180018000", + "0x27b", + "0x482680017ffa8000", + "0x8", + "0x480280077ffc8000", + "0x482680017ffc8000", + "0xa", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x7", + "0x480280077ffc8000", + "0x482680017ffa8000", + "0x8", + "0x482480017ffe8000", + "0x212", + "0x482680017ffc8000", + "0xa", + "0x480680017fff8000", + "0x0", + "0x480680017fff8000", + "0x0", + "0x480680017fff8000", + "0x56414c4944", + "0x208b7fff7fff7ffe", + "0x480280077ffc8000", + "0x482680017ffa8000", + "0x8", + "0x482480017ffe8000", + "0x6e", + "0x10780017fff7fff", + "0x9", + "0x40780017fff7fff", + "0xc", + "0x480280077ffc8000", + "0x482680017ffa8000", + "0x4", + "0x482480017ffe8000", + "0x6ea", + "0x1104800180018000", + "0x256", + "0x48127ff67fff8000", + "0x48127ff67fff8000", + "0x482680017ffc8000", + "0xa", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x23", + "0x480a7ffa7fff8000", + "0x480280077ffc8000", + "0x482680017ffc8000", + "0xb", + "0x480680017fff8000", + "0x1", + "0x480280097ffc8000", + "0x4802800a7ffc8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x26", + "0x480a7ffa7fff8000", + "0x480280027ffc8000", + "0x482680017ffc8000", + "0x6", + "0x480680017fff8000", + "0x1", + "0x480280047ffc8000", + "0x480280057ffc8000", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x7", @@ -1178,7 +1273,7 @@ "0x0", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffbf", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff19", "0x482680017ff78000", "0x1", "0x480a7ff87fff8000", @@ -1199,7 +1294,7 @@ "0x400380017ff97ff8", "0x480280037ff98000", "0x20680017fff7fff", - "0x73", + "0x96", "0x480280027ff98000", "0x480680017fff8000", "0x476574457865637574696f6e496e666f", @@ -1207,7 +1302,7 @@ "0x400280067ff97ffe", "0x480280087ff98000", "0x20680017fff7fff", - "0x60", + "0x83", "0x480280047ff98000", "0x480080007fff8000", "0x480080007fff8000", @@ -1229,7 +1324,7 @@ "0x10000000000000000", "0x400280037ff77fff", "0x10780017fff7fff", - "0x38", + "0x5b", "0x482480017ffe8000", "0xffffffffffffffff0000000000000000", "0x400280037ff77fff", @@ -1254,34 +1349,69 @@ "0x10000000000000000", "0x400280077ff77fff", "0x10780017fff7fff", - "0x19", + "0x3b", "0x482480017ffe8000", "0xffffffffffffffff0000000000000000", "0x400280077ff77fff", "0x40780017fff7fff", + "0x1", + "0x48307ff080007fe9", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x10", + "0x40780017fff7fff", + "0x1", + "0x1104800180018000", + "0x194", + "0x482680017ff78000", "0x8", "0x480280077ff98000", - "0x40780017fff7fff", + "0x482680017ff98000", + "0xa", + "0x480680017fff8000", "0x1", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x48307ffb80007ff4", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0xe", + "0x1104800180018000", + "0x188", + "0x482680017ff78000", + "0x8", + "0x480280077ff98000", + "0x482680017ff98000", + "0xa", "0x480680017fff8000", - "0x56414c4944", - "0x400080007ffe7fff", + "0x1", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x7", + "0x480280077ff98000", "0x482680017ff78000", "0x8", - "0x482480017ffc8000", - "0x334", + "0x482480017ffe8000", + "0x212", "0x482680017ff98000", "0xa", "0x480680017fff8000", "0x0", - "0x48127ffa7fff8000", - "0x482480017ff98000", - "0x1", + "0x480680017fff8000", + "0x0", + "0x480680017fff8000", + "0x56414c4944", "0x208b7fff7fff7ffe", "0x480280077ff98000", "0x482680017ff78000", "0x8", - "0x48127ffe7fff8000", + "0x482480017ffe8000", + "0x6e", "0x10780017fff7fff", "0x9", "0x40780017fff7fff", @@ -1290,9 +1420,9 @@ "0x482680017ff78000", "0x4", "0x482480017ffe8000", - "0x67c", + "0x6ea", "0x1104800180018000", - "0x37", + "0x163", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x482680017ff98000", @@ -1324,48 +1454,356 @@ "0x480280047ff98000", "0x480280057ff98000", "0x208b7fff7fff7ffe", - "0x40780017fff7fff", - "0x1", - "0x400180007fff7ffd", + "0x480680017fff8000", + "0x476574457865637574696f6e496e666f", + "0x400280007ff97fff", + "0x400380017ff97ff8", + "0x480280037ff98000", + "0x20680017fff7fff", + "0x99", + "0x480280027ff98000", + "0x480680017fff8000", + "0x476574457865637574696f6e496e666f", + "0x400280057ff97fff", + "0x400280067ff97ffe", + "0x480280087ff98000", + "0x20680017fff7fff", + "0x86", + "0x480280047ff98000", + "0x480080007fff8000", + "0x480080007fff8000", + "0x480680017fff8000", + "0x64", + "0x480280007ff78004", + "0x4824800180037fff", + "0x1", + "0x48307ffe7fff7ffd", + "0x480280017ff77ffe", + "0x480280027ff77fff", + "0x40507ffe7ffa7ffd", + "0x40307fff7ffd7ff9", + "0x484480017ffe8000", + "0x64", + "0xa0680017fff8000", + "0x7", + "0x4824800180007ffe", + "0x10000000000000000", + "0x400280037ff77fff", + "0x10780017fff7fff", + "0x5a", + "0x482480017ffe8000", + "0xffffffffffffffff0000000000000000", + "0x400280037ff77fff", + "0x480280097ff98000", + "0x480080007fff8000", + "0x480080017fff8000", + "0x480680017fff8000", + "0xe10", + "0x480280047ff78004", + "0x4824800180037fff", + "0x1", + "0x48307ffe7fff7ffd", + "0x480280057ff77ffe", + "0x480280067ff77fff", + "0x40507ffe7ffa7ffd", + "0x40307fff7ffd7ff9", + "0x484480017ffe8000", + "0xe10", + "0xa0680017fff8000", + "0x7", + "0x4824800180007ffe", + "0x10000000000000000", + "0x400280077ff77fff", + "0x10780017fff7fff", + "0x3a", + "0x482480017ffe8000", + "0xffffffffffffffff0000000000000000", + "0x400280077ff77fff", + "0x48307ff180007fea", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x25", + "0x48307ffc80007ff5", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x16", + "0x40780017fff7fff", + "0xa", + "0x480280077ff98000", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x56414c4944", + "0x400080007ffe7fff", + "0x482680017ff78000", + "0x8", + "0x482480017ffc8000", + "0x3e8", + "0x482680017ff98000", + "0xa", + "0x480680017fff8000", + "0x0", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x480280077ff98000", + "0x1104800180018000", + "0xdd", + "0x482680017ff78000", + "0x8", + "0x48127ff67fff8000", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x10780017fff7fff", + "0x23", + "0x40780017fff7fff", + "0x1", + "0x480280077ff98000", + "0x1104800180018000", + "0xcc", + "0x482680017ff78000", + "0x8", + "0x482480017ff68000", + "0x5a", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x10780017fff7fff", + "0x16", + "0x480280077ff98000", + "0x482680017ff78000", + "0x8", + "0x482480017ffe8000", + "0xc8", + "0x10780017fff7fff", + "0x9", + "0x40780017fff7fff", + "0xc", + "0x480280077ff98000", + "0x482680017ff78000", + "0x4", + "0x482480017ffe8000", + "0x744", + "0x1104800180018000", + "0xbe", + "0x48127ff67fff8000", + "0x48127ff67fff8000", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x482680017ff98000", + "0xa", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x27", + "0x480a7ff77fff8000", + "0x480280077ff98000", + "0x482680017ff98000", + "0xb", + "0x480680017fff8000", + "0x1", + "0x480280097ff98000", + "0x4802800a7ff98000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x2a", + "0x480a7ff77fff8000", + "0x480280027ff98000", + "0x482680017ff98000", + "0x6", + "0x480680017fff8000", + "0x1", + "0x480280047ff98000", + "0x480280057ff98000", + "0x208b7fff7fff7ffe", + "0x480680017fff8000", + "0x64", + "0x480280007ffa8004", + "0x4824800180037fff", + "0x1", + "0x48307ffe7fff7ffd", + "0x480280017ffa7ffe", + "0x480280027ffa7fff", + "0x40507ffe7ffa7ffd", + "0x40317fff7ffd7ffb", + "0x484480017ffe8000", + "0x64", + "0xa0680017fff8000", + "0x7", + "0x4824800180007ffe", + "0x10000000000000000", + "0x400280037ffa7fff", + "0x10780017fff7fff", + "0x6b", + "0x482480017ffe8000", + "0xffffffffffffffff0000000000000000", + "0x400280037ffa7fff", + "0x480680017fff8000", + "0xe10", + "0x480280047ffa8004", + "0x4824800180037fff", + "0x1", + "0x48307ffe7fff7ffd", + "0x480280057ffa7ffe", + "0x480280067ffa7fff", + "0x40507ffe7ffa7ffd", + "0x40317fff7ffd7ffc", + "0x484480017ffe8000", + "0xe10", + "0xa0680017fff8000", + "0x7", + "0x4824800180007ffe", + "0x10000000000000000", + "0x400280077ffa7fff", + "0x10780017fff7fff", + "0x4f", + "0x482480017ffe8000", + "0xffffffffffffffff0000000000000000", + "0x400280077ffa7fff", + "0x20780017fff7ffd", + "0x21", + "0x48317ff480007ffb", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x18", + "0x48317ffc80007ffc", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x11", + "0x20780017fff7ffd", + "0x6", + "0x40780017fff7fff", + "0x8", + "0x10780017fff7fff", + "0x31", + "0x1104800180018000", + "0x60", + "0x482680017ffa8000", + "0x8", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x208b7fff7fff7ffe", + "0x10780017fff7fff", + "0x1b", + "0x40780017fff7fff", + "0x1", + "0x10780017fff7fff", + "0x9", + "0x48317ff480007ffb", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0xd", + "0x40780017fff7fff", + "0x1", + "0x1104800180018000", + "0x3b", + "0x482680017ffa8000", + "0x8", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x208b7fff7fff7ffe", + "0x48317ffc80007ffc", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0xb", + "0x1104800180018000", + "0x32", + "0x482680017ffa8000", + "0x8", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x8", + "0x482680017ffa8000", + "0x8", + "0x480680017fff8000", + "0x0", + "0x480680017fff8000", + "0x0", + "0x480680017fff8000", + "0x56414c4944", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x482680017ffa8000", + "0x8", + "0x10780017fff7fff", + "0x6", + "0x40780017fff7fff", + "0xa", + "0x482680017ffa8000", + "0x4", + "0x1104800180018000", + "0x19", + "0x48127ff77fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x400180007fff7ffd", "0x48127fff7fff8000", "0x482480017ffe8000", "0x1", "0x208b7fff7fff7ffe", "0x480680017fff8000", - "0x494e56414c49445f49535f56414c4944415445", + "0x494e56414c49445f424c4f434b5f4e554d424552", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff8", "0x208b7fff7fff7ffe", "0x480680017fff8000", - "0x494e56414c49445f424c4f434b5f4e554d424552", + "0x494e56414c49445f424c4f434b5f54494d455354414d50", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff3", "0x208b7fff7fff7ffe", "0x480680017fff8000", - "0x494e56414c49445f424c4f434b5f54494d455354414d50", + "0x7536345f6d756c204f766572666c6f77", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee", "0x208b7fff7fff7ffe", "0x480680017fff8000", - "0x7536345f6d756c204f766572666c6f77", + "0x494e56414c49445f49535f56414c4944415445", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe9", "0x208b7fff7fff7ffe" ], "bytecode_segment_lengths": [ - 200, - 154, - 253, + 165, + 111, + 216, 195, 165, 5, - 122, + 166, 5, 5, 5, 5, + 166, 77, - 131, + 166, + 169, + 136, 7, 5, 5, @@ -1396,17 +1834,17 @@ ] ], [ - 64, + 68, [ { "TestLessThanOrEqual": { "lhs": { - "Immediate": "0x6568" + "Immediate": "0x67ca" }, "rhs": { "Deref": { "register": "AP", - "offset": -8 + "offset": -9 } }, "dst": { @@ -1418,43 +1856,64 @@ ] ], [ - 80, + 93, [ { - "SystemCall": { - "system": { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 165, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x0" + }, + "rhs": { "Deref": { "register": "FP", - "offset": -5 + "offset": -6 } + }, + "dst": { + "register": "AP", + "offset": 0 } } } ] ], [ - 88, + 204, [ { - "SystemCall": { - "system": { - "BinOp": { - "op": "Add", - "a": { - "register": "FP", - "offset": -5 - }, - "b": { - "Immediate": "0x5" - } + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x4e8e" + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -9 } + }, + "dst": { + "register": "AP", + "offset": 0 } } } ] ], [ - 106, + 225, [ { "AllocSegment": { @@ -1467,87 +1926,144 @@ ] ], [ - 200, + 278, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x0" + }, + "rhs": { + "Deref": { + "register": "FP", + "offset": -6 + } + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 294, [ { - "TestLessThanOrEqual": { + "TestLessThan": { "lhs": { - "Immediate": "0x0" - }, - "rhs": { "Deref": { "register": "FP", - "offset": -6 + "offset": 1 } }, + "rhs": { + "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000" + }, "dst": { "register": "AP", - "offset": 0 + "offset": 4 } } } ] ], [ - 239, + 298, [ { - "TestLessThanOrEqual": { - "lhs": { - "Immediate": "0x4d58" - }, - "rhs": { + "LinearSplit": { + "value": { "Deref": { "register": "AP", - "offset": -9 + "offset": 3 } }, - "dst": { + "scalar": { + "Immediate": "0x110000000000000000" + }, + "max_x": { + "Immediate": "0xffffffffffffffffffffffffffffffff" + }, + "x": { "register": "AP", - "offset": 0 + "offset": -2 + }, + "y": { + "register": "AP", + "offset": -1 } } } ] ], [ - 255, + 308, [ { - "SystemCall": { - "system": { + "LinearSplit": { + "value": { "Deref": { "register": "FP", - "offset": -5 + "offset": 1 } + }, + "scalar": { + "Immediate": "0x8000000000000000000000000000000" + }, + "max_x": { + "Immediate": "0xffffffffffffffffffffffffffffffff" + }, + "x": { + "register": "AP", + "offset": -1 + }, + "y": { + "register": "AP", + "offset": 0 } } } ] ], [ - 263, + 333, [ { - "SystemCall": { - "system": { - "BinOp": { - "op": "Add", - "a": { - "register": "FP", - "offset": -5 - }, - "b": { - "Immediate": "0x5" - } + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 370, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x63f6" + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -12 } + }, + "dst": { + "register": "AP", + "offset": 0 } } } ] ], [ - 281, + 394, [ { "AllocSegment": { @@ -1560,7 +2076,7 @@ ] ], [ - 354, + 494, [ { "TestLessThanOrEqual": { @@ -1582,14 +2098,14 @@ ] ], [ - 370, + 510, [ { "TestLessThan": { "lhs": { "Deref": { - "register": "AP", - "offset": -1 + "register": "FP", + "offset": 0 } }, "rhs": { @@ -1604,7 +2120,7 @@ ] ], [ - 374, + 514, [ { "LinearSplit": { @@ -1633,14 +2149,14 @@ ] ], [ - 384, + 524, [ { "LinearSplit": { "value": { "Deref": { - "register": "AP", - "offset": -2 + "register": "FP", + "offset": 0 } }, "scalar": { @@ -1662,7 +2178,7 @@ ] ], [ - 408, + 549, [ { "AllocSegment": { @@ -1675,12 +2191,12 @@ ] ], [ - 445, + 586, [ { "TestLessThanOrEqual": { "lhs": { - "Immediate": "0x60cc" + "Immediate": "0x625c" }, "rhs": { "Deref": { @@ -1697,7 +2213,51 @@ ] ], [ - 461, + 687, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x0" + }, + "rhs": { + "Deref": { + "register": "FP", + "offset": -6 + } + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 739, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x65cc" + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -9 + } + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 755, [ { "SystemCall": { @@ -1712,7 +2272,7 @@ ] ], [ - 469, + 763, [ { "SystemCall": { @@ -1733,7 +2293,7 @@ ] ], [ - 487, + 782, [ { "AllocSegment": { @@ -1746,19 +2306,135 @@ ] ], [ - 609, + 861, [ { - "TestLessThanOrEqual": { + "SystemCall": { + "system": { + "Deref": { + "register": "FP", + "offset": -6 + } + } + } + } + ] + ], + [ + 869, + [ + { + "SystemCall": { + "system": { + "BinOp": { + "op": "Add", + "a": { + "register": "FP", + "offset": -6 + }, + "b": { + "Immediate": "0x5" + } + } + } + } + } + ] + ], + [ + 877, + [ + { + "DivMod": { "lhs": { - "Immediate": "0x0" + "Deref": { + "register": "AP", + "offset": -2 + } }, "rhs": { "Deref": { - "register": "FP", - "offset": -6 + "register": "AP", + "offset": -1 + } + }, + "quotient": { + "register": "AP", + "offset": 3 + }, + "remainder": { + "register": "AP", + "offset": 4 + } + } + } + ] + ], + [ + 887, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 902, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -2 + } + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "quotient": { + "register": "AP", + "offset": 3 + }, + "remainder": { + "register": "AP", + "offset": 4 + } + } + } + ] + ], + [ + 912, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 } }, + "rhs": { + "Immediate": "0x10000000000000000" + }, "dst": { "register": "AP", "offset": 0 @@ -1768,90 +2444,84 @@ ] ], [ - 625, + 1047, [ { - "TestLessThan": { - "lhs": { + "SystemCall": { + "system": { "Deref": { "register": "FP", - "offset": 0 + "offset": -4 } - }, - "rhs": { - "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000" - }, - "dst": { - "register": "AP", - "offset": 4 } } } ] ], [ - 629, + 1055, [ { - "LinearSplit": { - "value": { - "Deref": { - "register": "AP", - "offset": 3 + "SystemCall": { + "system": { + "BinOp": { + "op": "Add", + "a": { + "register": "FP", + "offset": -4 + }, + "b": { + "Immediate": "0x5" + } } - }, - "scalar": { - "Immediate": "0x110000000000000000" - }, - "max_x": { - "Immediate": "0xffffffffffffffffffffffffffffffff" - }, - "x": { - "register": "AP", - "offset": -2 - }, - "y": { - "register": "AP", - "offset": -1 } } } ] ], [ - 639, + 1063, [ { - "LinearSplit": { - "value": { + "DivMod": { + "lhs": { "Deref": { - "register": "FP", - "offset": 0 + "register": "AP", + "offset": -2 } }, - "scalar": { - "Immediate": "0x8000000000000000000000000000000" - }, - "max_x": { - "Immediate": "0xffffffffffffffffffffffffffffffff" + "rhs": { + "Deref": { + "register": "AP", + "offset": -1 + } }, - "x": { + "quotient": { "register": "AP", - "offset": -1 + "offset": 3 }, - "y": { + "remainder": { "register": "AP", - "offset": 0 + "offset": 4 } } } ] ], [ - 664, + 1073, [ { - "AllocSegment": { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, "dst": { "register": "AP", "offset": 0 @@ -1861,41 +2531,48 @@ ] ], [ - 701, + 1088, [ { - "TestLessThanOrEqual": { + "DivMod": { "lhs": { - "Immediate": "0x6004" + "Deref": { + "register": "AP", + "offset": -2 + } }, "rhs": { "Deref": { "register": "AP", - "offset": -12 + "offset": -1 } }, - "dst": { + "quotient": { "register": "AP", - "offset": 0 + "offset": 3 + }, + "remainder": { + "register": "AP", + "offset": 4 } } } ] ], [ - 802, + 1098, [ { - "TestLessThanOrEqual": { + "TestLessThan": { "lhs": { - "Immediate": "0x0" - }, - "rhs": { "Deref": { - "register": "FP", - "offset": -6 + "register": "AP", + "offset": -1 } }, + "rhs": { + "Immediate": "0x10000000000000000" + }, "dst": { "register": "AP", "offset": 0 @@ -1905,17 +2582,17 @@ ] ], [ - 854, + 1209, [ { "TestLessThanOrEqual": { "lhs": { - "Immediate": "0x6568" + "Immediate": "0x6ea" }, "rhs": { "Deref": { - "register": "AP", - "offset": -9 + "register": "FP", + "offset": -8 } }, "dst": { @@ -1927,14 +2604,14 @@ ] ], [ - 870, + 1290, [ { "SystemCall": { "system": { "Deref": { "register": "FP", - "offset": -5 + "offset": -7 } } } @@ -1942,7 +2619,7 @@ ] ], [ - 878, + 1298, [ { "SystemCall": { @@ -1951,7 +2628,7 @@ "op": "Add", "a": { "register": "FP", - "offset": -5 + "offset": -7 }, "b": { "Immediate": "0x5" @@ -1963,27 +2640,14 @@ ] ], [ - 897, - [ - { - "AllocSegment": { - "dst": { - "register": "AP", - "offset": 0 - } - } - } - ] - ], - [ - 974, + 1306, [ { "DivMod": { "lhs": { "Deref": { - "register": "FP", - "offset": -5 + "register": "AP", + "offset": -2 } }, "rhs": { @@ -2005,7 +2669,7 @@ ] ], [ - 984, + 1316, [ { "TestLessThan": { @@ -2027,14 +2691,14 @@ ] ], [ - 996, + 1331, [ { "DivMod": { "lhs": { "Deref": { - "register": "FP", - "offset": -4 + "register": "AP", + "offset": -2 } }, "rhs": { @@ -2056,7 +2720,7 @@ ] ], [ - 1006, + 1341, [ { "TestLessThan": { @@ -2078,29 +2742,7 @@ ] ], [ - 1114, - [ - { - "TestLessThanOrEqual": { - "lhs": { - "Immediate": "0x6ea" - }, - "rhs": { - "Deref": { - "register": "FP", - "offset": -8 - } - }, - "dst": { - "register": "AP", - "offset": 0 - } - } - } - ] - ], - [ - 1195, + 1456, [ { "SystemCall": { @@ -2115,7 +2757,7 @@ ] ], [ - 1203, + 1464, [ { "SystemCall": { @@ -2136,7 +2778,7 @@ ] ], [ - 1211, + 1472, [ { "DivMod": { @@ -2165,7 +2807,7 @@ ] ], [ - 1221, + 1482, [ { "TestLessThan": { @@ -2187,7 +2829,7 @@ ] ], [ - 1236, + 1497, [ { "DivMod": { @@ -2216,7 +2858,7 @@ ] ], [ - 1246, + 1507, [ { "TestLessThan": { @@ -2238,7 +2880,7 @@ ] ], [ - 1259, + 1530, [ { "AllocSegment": { @@ -2251,7 +2893,109 @@ ] ], [ - 1322, + 1623, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "FP", + "offset": -5 + } + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "quotient": { + "register": "AP", + "offset": 3 + }, + "remainder": { + "register": "AP", + "offset": 4 + } + } + } + ] + ], + [ + 1633, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 1645, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "FP", + "offset": -4 + } + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "quotient": { + "register": "AP", + "offset": 3 + }, + "remainder": { + "register": "AP", + "offset": 4 + } + } + } + ] + ], + [ + 1655, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 1757, [ { "AllocSegment": { @@ -2268,21 +3012,21 @@ "EXTERNAL": [ { "selector": "0x15d40a3d6ca2ac30f4031e42be28da9b056fef9bb7357ac5e85627ee876e5ad", - "offset": 607, + "offset": 492, "builtins": [ "range_check" ] }, { "selector": "0x162da33a4585851fe8d3af3c2a9c60b557814e221e0d4f30ff0b2189d9c7775", - "offset": 354, + "offset": 276, "builtins": [ "range_check" ] }, { "selector": "0x289da278a8dc833409cabfdad1581e8e7d40e42dcaed693fa4008dcdb4963b3", - "offset": 200, + "offset": 165, "builtins": [ "range_check" ] @@ -2299,7 +3043,7 @@ "CONSTRUCTOR": [ { "selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194", - "offset": 802, + "offset": 687, "builtins": [ "range_check" ] diff --git a/crates/blockifier_test_utils/resources/feature_contracts/cairo1/sierra/block_info_test_contract.sierra.json b/crates/blockifier_test_utils/resources/feature_contracts/cairo1/sierra/block_info_test_contract.sierra.json index a8bd741fa3b..9e433252869 100644 --- a/crates/blockifier_test_utils/resources/feature_contracts/cairo1/sierra/block_info_test_contract.sierra.json +++ b/crates/blockifier_test_utils/resources/feature_contracts/cairo1/sierra/block_info_test_contract.sierra.json @@ -6,20 +6,20 @@ "0x2", "0xc", "0x3", - "0x131", - "0xcf", + "0x14b", + "0xb5", "0x36", "0x52616e6765436865636b", "0x800000000000000100000000000000000000000000000000", "0x436f6e7374", "0x800000000000000000000000000000000000000000000002", "0x1", - "0x16", + "0x18", "0x2", + "0x494e56414c49445f49535f56414c4944415445", "0x7536345f6d756c204f766572666c6f77", "0x494e56414c49445f424c4f434b5f54494d455354414d50", "0x494e56414c49445f424c4f434b5f4e554d424552", - "0x494e56414c49445f49535f56414c4944415445", "0x4f7574206f6620676173", "0x4661696c656420746f20646573657269616c697a6520706172616d202331", "0x4661696c656420746f20646573657269616c697a6520706172616d202332", @@ -40,115 +40,115 @@ "0x537472756374", "0x800000000000000f00000000000000000000000000000001", "0x0", - "0x3df2d6663ac7cbb107adbb1de7af7b96b30a83d59625cc8539fb03727094eca", - "0x426f78", - "0x556e696e697469616c697a6564", - "0x800000000000000200000000000000000000000000000001", + "0x16a4c8d7c05909052238a862d8cc3e7975bf05a07b3a69c6b28951083a6d672", + "0x436f6e747261637441646472657373", + "0x800000000000000700000000000000000000000000000004", + "0x3808c701a5d13e100ab11b6c02f91f752ecae7e420d21b56c90ec0a475cc7e5", "0x14", + "0x426f78", + "0x20", + "0x15", "0x66656c74323532", "0x4172726179", "0x800000000000000300000000000000000000000000000001", - "0x2ee1e2b1b89f8c495f200e4956278a4d47395fe262f27b52e5865c9524c08c3", - "0x456e756d", - "0x800000000000000300000000000000000000000000000003", - "0x17b6ecc31946835b0d9d92c2dd7a9c14f29af0371571ae74a1b228828b2242", - "0x18", - "0x19", "0x536e617073686f74", + "0x19", "0x800000000000000700000000000000000000000000000002", "0x1baeba72e79e9db2587cf44fedb2f3700b2075a5e8e39a562584862c4b71f62", - "0x1b", - "0x1c", "0x1a", - "0x16a4c8d7c05909052238a862d8cc3e7975bf05a07b3a69c6b28951083a6d672", - "0x1e", - "0x34f9bd7c6cb2dd4263175964ad75f1ff1461ddc332fbfb274e0fb2a5d7ab968", - "0x1d", - "0x1f", - "0x10203be321c62a7bd4c060d69539c1fbe065baa9e253c74d2cc48be163e259", - "0x22", - "0x436f6e747261637441646472657373", - "0x800000000000000700000000000000000000000000000004", - "0x3808c701a5d13e100ab11b6c02f91f752ecae7e420d21b56c90ec0a475cc7e5", - "0x24", - "0x2c", - "0x25", - "0x2d", - "0x28", + "0x21", + "0x1c", "0x1597b831feeb60c71f259624b79cf66995ea4f7e383403583674ab9c33b9cec", - "0x29", + "0x1d", "0x753332", "0x80000000000000070000000000000000000000000000000e", "0x348a62b7a38c0673e61e888d83a3ac1bf334ee7361a8514593d3d9532ed8b39", "0xd", - "0x2a", - "0x2b", + "0x1b", + "0x1e", + "0x1f", "0x3342418ef16b3e2799b906b1e4e89dbb9b111332dd44f72458ce44f9895b508", "0x800000000000000700000000000000000000000000000006", "0x7d4d99e9ed8d285b5c61b493cedb63976bc3d9da867933d829f49ce838b5e7", - "0x27", + "0x17", + "0x16", + "0x22", + "0x2ee1e2b1b89f8c495f200e4956278a4d47395fe262f27b52e5865c9524c08c3", + "0x456e756d", + "0x800000000000000300000000000000000000000000000003", + "0x17b6ecc31946835b0d9d92c2dd7a9c14f29af0371571ae74a1b228828b2242", + "0x24", + "0x25", + "0x13", + "0x34f9bd7c6cb2dd4263175964ad75f1ff1461ddc332fbfb274e0fb2a5d7ab968", "0x26", - "0x800000000000000700000000000000000000000000000003", - "0x3288d594b9a45d15bb2fcb7903f06cdb06b27f0ba88186ec4cfaa98307cb972", - "0x2e", + "0x27", + "0x556e696e697469616c697a6564", + "0x800000000000000200000000000000000000000000000001", + "0x2a", + "0x10203be321c62a7bd4c060d69539c1fbe065baa9e253c74d2cc48be163e259", + "0x2d", + "0x3df2d6663ac7cbb107adbb1de7af7b96b30a83d59625cc8539fb03727094eca", "0x4275696c74696e436f737473", "0x53797374656d", "0x9931c641b913035ae674b400b61a51476d506bbe8bba2ff8a6272790aba9e6", - "0x21", + "0x2c", + "0x800000000000000700000000000000000000000000000003", + "0x3288d594b9a45d15bb2fcb7903f06cdb06b27f0ba88186ec4cfaa98307cb972", "0x4761734275696c74696e", - "0x7f", + "0x82", "0x7265766f6b655f61705f747261636b696e67", "0x77697468647261775f676173", "0x6272616e63685f616c69676e", "0x7374727563745f6465636f6e737472756374", "0x61727261795f736e617073686f745f706f705f66726f6e74", - "0x64726f70", "0x73746f72655f74656d70", "0x756e626f78", "0x72656e616d65", "0x656e61626c655f61705f747261636b696e67", "0x66656c743235325f69735f7a65726f", "0x72656465706f7369745f676173", + "0x7374727563745f636f6e737472756374", + "0x656e756d5f696e6974", + "0x33", "0x35", "0x6a756d70", + "0x64726f70", "0x34", "0x64697361626c655f61705f747261636b696e67", "0x66756e6374696f6e5f63616c6c", "0x3", "0x5", - "0x656e756d5f696e6974", - "0x33", "0x32", - "0x6765745f6275696c74696e5f636f737473", "0x31", + "0x6765745f6275696c74696e5f636f737473", + "0x30", "0x77697468647261775f6761735f616c6c", - "0x6765745f657865637574696f6e5f696e666f5f76325f73797363616c6c", - "0x7374727563745f636f6e737472756374", + "0x626f6f6c5f6e6f745f696d706c", "0x2f", - "0x30", + "0x736e617073686f745f74616b65", "0x6", "0x656e756d5f6d61746368", - "0x23", + "0x2e", "0x61727261795f6e6577", "0x61727261795f617070656e64", - "0x736e617073686f745f74616b65", "0x7", "0x8", "0x9", "0xa", - "0x21adb5788e32c84f69a1863d85ef9394b7bf761a0ce1190f826984e5075c371", - "0x20", "0x616c6c6f635f6c6f63616c", "0x66696e616c697a655f6c6f63616c73", "0x73746f72655f6c6f63616c", - "0x13", + "0x21adb5788e32c84f69a1863d85ef9394b7bf761a0ce1190f826984e5075c371", "0xc", - "0x15", - "0x17", - "0x626f6f6c5f6e6f745f696d706c", + "0x28", + "0x2b", + "0x29", + "0x6765745f657865637574696f6e5f696e666f5f76325f73797363616c6c", + "0x23", + "0xf", "0x636f6e73745f61735f696d6d656469617465", "0x12", - "0xf", "0x647570", "0x7536345f736166655f6469766d6f64", "0x7536345f776964655f6d756c", @@ -156,15 +156,14 @@ "0x7536345f6571", "0x66656c743235325f737562", "0x4", - "0x463", + "0x59d", "0xffffffffffffffff", - "0xa2", - "0x99", - "0x90", - "0x87", - "0x82", - "0x79", - "0x6f", + "0x83", + "0x7a", + "0x70", + "0x65", + "0x5c", + "0x55", "0x37", "0x38", "0x39", @@ -176,6 +175,7 @@ "0x3f", "0x40", "0x41", + "0x88", "0x42", "0x43", "0x44", @@ -185,7 +185,25 @@ "0x48", "0x49", "0x4a", + "0xd8", + "0xcf", + "0xa2", + "0xc9", + "0xc2", + "0xdd", + "0x188", + "0x17a", + "0x173", + "0x168", + "0x15a", + "0x151", + "0x148", + "0x117", + "0x140", + "0x139", + "0x18f", "0x4b", + "0x161", "0x4c", "0x4d", "0x4e", @@ -195,484 +213,584 @@ "0x52", "0x53", "0x54", - "0x55", + "0x181", "0x56", "0x57", "0x58", "0x59", "0x5a", + "0x225", + "0x217", + "0x210", + "0x205", + "0x1f7", + "0x1ee", + "0x1e5", + "0x1c9", + "0x1dd", + "0x22c", + "0x1fe", + "0x21e", + "0x2c3", + "0x2ba", + "0x245", + "0x24c", + "0x25a", + "0x2b4", + "0x2aa", + "0x29f", + "0x294", + "0x2c8", "0x5b", - "0x5c", "0x5d", "0x5e", - "0xa7", "0x5f", + "0x34b", + "0x341", "0x60", "0x61", + "0x333", "0x62", "0x63", - "0x65", + "0x32a", + "0x315", "0x66", "0x67", - "0x128", - "0x11f", - "0xc1", - "0x11a", - "0x111", - "0x107", - "0xfc", - "0x12d", - "0x1f6", - "0x1ea", - "0x1e4", - "0x1db", - "0x1cf", - "0x1c8", - "0x1c1", - "0x163", - "0x1bc", - "0x1b3", - "0x1a9", - "0x19e", + "0x31f", "0x68", "0x69", "0x6a", "0x6b", - "0x1fb", + "0x33a", "0x6c", "0x6d", "0x6e", - "0x1d4", - "0x70", + "0x6f", + "0x3da", + "0x3d0", + "0x3c2", + "0x3b9", + "0x3a4", + "0x3ae", + "0x3c9", + "0x413", "0x71", + "0x3f2", "0x72", "0x73", "0x74", "0x75", + "0x406", "0x76", "0x77", - "0x1ef", "0x78", - "0x7a", + "0x79", + "0x495", + "0x48b", + "0x47d", + "0x474", + "0x45f", + "0x469", + "0x484", + "0x523", + "0x519", + "0x504", + "0x4fb", + "0x4f1", + "0x4e9", + "0x50f", + "0x50b", + "0x57d", + "0x576", "0x7b", "0x7c", + "0x55b", + "0x556", + "0x553", + "0x54c", + "0x570", "0x7d", - "0x291", - "0x283", - "0x27c", - "0x271", - "0x263", - "0x25a", - "0x251", - "0x235", - "0x249", - "0x298", - "0x26a", - "0x28a", - "0x32f", - "0x326", - "0x2b1", - "0x2b8", - "0x2c6", - "0x320", - "0x316", - "0x30b", - "0x300", - "0x334", - "0x388", - "0x381", - "0x366", - "0x35f", - "0x37b", - "0x372", - "0x37a", - "0x38d", - "0x3d2", - "0x3b1", - "0x3c5", - "0x444", - "0x43a", - "0x429", - "0x423", - "0x42f", + "0x56a", + "0x562", + "0x567", + "0x56f", + "0x582", "0x7e", - "0xae", - "0x134", - "0x202", - "0x29f", - "0x33b", - "0x33f", - "0x392", - "0x396", - "0x39a", - "0x39e", - "0x3a2", - "0x3dc", - "0x44d", - "0x453", - "0x457", - "0x45b", - "0x45f", - "0x25db", + "0x7f", + "0x80", + "0x81", + "0x8f", + "0xe4", + "0x196", + "0x233", + "0x2cf", + "0x2d3", + "0x354", + "0x358", + "0x35c", + "0x360", + "0x364", + "0x3e3", + "0x41d", + "0x49e", + "0x52c", + "0x587", + "0x58d", + "0x591", + "0x595", + "0x599", + "0x2f90", "0x2c0e0602810060a038180a04018240e06028100608038180a04018080200", "0x1408030701c0c050200c1a070301408030601c0c050200c0a07030140803", "0x440a04018582a140284c0a04018480e11028100610038180a040183c0e06", - "0x1436211007c3c1d0e01c0c050200c22050d8682c190c01426050200c2e07", - "0xb40a2c028ac3e2a148a03e1e0e8180a27130180a23110584a240288c4406", - "0x14501f15074681f0f074660519014501f1507462051807c5e1d16014362e", - "0xe43e2a148180a280f8bc3a32028a03e2f0e8e00a37028d83e2a148b00a35", - "0x144e262001436211f81436211f0142205088147a1f1e0742c3b1c0147405", - "0x180a32029200a3e028180a470f9183a16229100a430f8bc3a420286c5c41", - "0x749005088140c052587c781d190149405250146405240149205030140c05", - "0x58a6520286c422d028b40a510f9405206028f80a3e0293c0a4e029343e4c", - "0xc80a052e07cb61f2d07cb2580115c0c050d86870052b014aa1f150a40454", - "0x18c0c050297c3e62030140a61030140a60188140a5f120140a5e030140a5d", - "0x1b40a07361acd405348c40a052f07cd06702814bc1f331940a052f87cc81f", - "0x140a730f9c83e71380140a5f0f9bcda050297cdc050297c3e050297c0a07", - "0xf80a052f13c0a052f1480a052e1480a05301d40a052f8140e740281cd82d", - "0x140a5f088140a5f088140a5e200140a5c200140a60270140a5f030140a5e", - "0x14bc2c02814f60602814f40602814f23a02814b87802814ee7635014d274", - "0x140a731a8140a5e1c0140a5c0f81cda05039b0ac05029cc6405029cc5805", - "0x14d23202814bc7e35014d27d35014d27c35014d27502814bc3802814e635", - "0x140a771b8140a5c408140a770a1a80a69160140a5f190140a5f0fa00fe6a", - "0x2140a05398900a05420180a054207d062402815040602815042d02814bc33", - "0x140e6c440140a5e438140a5e431a80a691f0140a5f428140a5e428140a7b", - "0x151a8c02815144835014d28b02815143a02814bc1f449d00a052f07c0e74", - "0x140a8a08814900503a4090050297c3e8f0c0140a8a0fa3826050297c2205", - "0x1e00a052f8140e780281cd81835014d27402814ee74028151a14028151486", - "0x1a80a690f81cf005039b07405029ccfe0502a28226a029a5186a029a43e91", - "0x7c0e330281cd806028151a7602815147c02815147d02815147e028151413", - "0x1b00a07198140e6c0fa48d60502a2902050297c3e07408140e6c1b8140a73", - "0x7d280502815140702815146a02815149302815143802814be0503a040a07", - "0x1a83e1f4a8143e070f9f0ec074b1ad26074a81c0a1f038143e1f4a8143e1f", - "0x14d61f0fa540a1f0387c28054b9fcfc074a81cfa054987cfa054a814d405", - "0x7c0e1f0c01530484301d2a073f015261f3f0152a053f014ec1f0fa540a7f", - "0x4518074a81d0c054987d0c054a8150c053b07c3e95029200a6b0f87d2a05", - "0x1f83e8502a540a8b029f43e8b02a540a11029f03e1f4a8143e070f84c0a99", - "0x2540a1f0387c48054407d2a0742814281f428152a0542814fe1f0fa540a1f", - "0x143e070f87c62050f8603e0602a540a87029203e8702a540a6b02a183e1f", - "0x1d83e0602a540a88029203e8802a540a6b02a183e1f4a81448054607c3e95", - "0x7c221f0fa540a1f0387c6605210b458074a81d18054987d18054a8151805", - "0x150a1f188152a050fa2c3e1f4a8145a053587c3e95028b00a130f87d2a05", - "0x2540a0702a1c3e0602a540a06029203e9302a540a93028903e3202a540a31", - "0x2540a1f0887c3e950287c0e1f1901c0c934981464054a81464050307c0e05", - "0x24cd42d0f8dc0a95028dc0a2c0f8dc0a950287d101f0fa540a330284c3e1f", - "0x1e0746a4a81c0e38038cc3e1f4a8143e070f95902074d0e06a074a81c6e06", - "0x2540e781d01c661f1d0152a051d014901f0fa540a1f0387c9c4f201a9363e", - "0x14a4051907ca4054a8143e310f87d2a050f81c3e411f928d49c24910846a", - "0x1c0d695029d40a380f9d40a95028f80a350f8f80a95028f80a370f9d00a95", - "0xe83e1f4a814ce052b07c3e95029b40a560f87d2a0537015021f3299cda6e", - "0x2540a00029003e0002a540a70028f83e7002a540a70029e03e1f4a814ca05", - "0x7c92054a81492051b87c3e9502a7c0a560f87d2a054f0149e1f4fa793a6a", - "0x7c3e9502a880a810fa9548a351284d69502a800a380fa800a95029240a35", - "0x152a0550814f01f0fa540aa5028e83e1f4a81548052b07c3e9502a8c0a56", - "0x7c3e9502a9c0a4f0faa550a7352540aa6029003ea602a540aa1028f83ea1", - "0x1550052707d3a054a8153a052707c6a054a8146a051207c3e9502aa40a56", - "0x2ac0a490faad54074a814e8a84e8d526440f9d00a95029d00a420faa00a95", - "0x2540a4202a183e4202a540a42029203e1f4a8143e070fab40a17560152a07", - "0x7d62054a8155eb0039043eb002a540a1f1f87d5e054a81558052507d5c05", - "0x2d00a700fad00a9502acc0a750f87d2a0559014e81f59ac80e9502ac40a52", - "0x152a0557014901f550152a0555014481f5b0152a055a814dc1f5a8152a05", - "0x143e070fad888ae5524c0ab602a540ab6028183e4402a540a4402a1c3eae", - "0x3eb902a540a1f3287c3e9502adc0a670fae16e074a8155a053687c3e95", - "0x1080a480faa80a9502aa80a240faec0a9502ae80a850fae80a9502ae17207", - "0x7d7644212a926055d8152a055d8140c1f220152a05220150e1f210152a05", - "0x152a0520af00e000faf00a950287cca1f0fa540a3e02a743e1f4a8143e07", - "0x21c3e4a02a540a4a029203e3502a540a35028903ebe02a540abd02a143ebd", - "0x7c3e950287c0e1f5f0fc9435498157c054a8157c050307c7e054a8147e05", - "0xd40a240fb040a9502b000a850fb000a95029397e070007d7e054a8143e65", - "0x152a05608140c1f278152a05278150e1f200152a0520014901f1a8152a05", - "0x2540a81028903ec202a540a5602a183e1f4a8143e070fb049e401aa4c0ac1", - "0x1426050987c3e950287c0e1f0fb140a1f0c07d88054a81584052407d8605", - "0x1203e9302a540a93028903ec702a540ac602a143ec602a540a1f4f07c3e95", - "0x1cd693498158e054a8158e050307c0e054a8140e054387cd6054a814d605", - "0x2540ac802a143ec802a540a1f4f87c3e95028600a130f87d2a050f81c3ec7", - "0x7c0e054a8140e054387cd6054a814d6052407d26054a81526051207d9205", - "0x7c3e95028500a130f87d2a050f81c3ec9039ad269302b240a9502b240a06", - "0x14d6052407d26054a81526051207c2e054a81594054287d94054a8143ea0", - "0x1c3e17039ad26930285c0a950285c0a060f81c0a950281c0a870f9ac0a95", - "0x30c0a95029d80a240fb2c0a95029f00a860f87d2a0535015421f0fa540a1f", - "0x30c0a240fb340a9502b300a850fb300a950287d441f620152a0565814901f", - "0x152a05668140c1f038152a05038150e1f620152a0562014901f618152a05", - "0x1f0ec07671ad26074a81c0a1f038143e1f4a8143e1f0fb340ec461a4c0acd", - "0x7c2805679fcfc074a81cfa054987cfa054a814d4053507c3e950287c0e1f", - "0x1d2a073f015261f3f0152a053f014ec1f0fa540a7f029ac3e1f4a8143e07", - "0x22c3e1f4a81490053587c3e9502a180a130f87d2a050f81c3e1802b409086", - "0x2540a6b029203e9302a540a93028903e1102a540a8c02a143e8c02a540a1f", - "0x7c0e1f0881cd6934981422054a81422050307c0e054a8140e054387cd605", - "0xb43e1302a540a13028b03e1302a540a1f4407c3e95028600a130f87d2a05", - "0x1a92a0703a140e330f87d2a050f81c3e871201da2854581d2a07099ad266a", - "0x2200c071987c0c054a8140c052407c3e950287c0e1f188cc5a6a690b11006", - "0x14641f1d0152a050f8c43e1f4a8143e070f95902383534c6a37191a92a07", - "0x2540a3e028e03e3e02a540a2c028d43e2c02a540a2c028dc3e7802a540a3a", - "0x7d2a0521014ac1f0fa540a4e029583e1f4a8149e054087c88422713c806b", - "0x1240a400f9240a95029000a3e0f9000a95029000a780f87d2a0522014741f", - "0x152a051a8146e1f0fa540a41029583e1f4a8147e052787c823f251a92a05", - "0x2540a7502a043e6d371c0ea7435a540a52028e03e5202a540a35028d43e35", - "0x14e8053c07c3e95029b40a3a0f87d2a0537014ac1f0fa540a70029583e1f", - "0x2540a650293c3e9d00194d4950299c0a400f99c0a95029d00a3e0f9d00a95", - "0x149c1f250152a05250149c1f458152a0545814481f0fa540a9d029583e1f", - "0x1243e9f4f01d2a053c000948b499103e7802a540a78029083e0002a540a00", - "0xc80a860f8c80a95028c80a480f87d2a050f81c3ea102b5140054a81d3e05", - "0x152a0551a900e410fa900a950287c7e1f518152a0550014941f510152a05", - "0x1c03ea802a540aa7029d43e1f4a8154c053a07d4ea603a540aa5029483ea5", - "0x1544052407d3c054a8153c051207d54054a81552053707d52054a8155005", - "0x1c3eaa1ba893c9302aa80a9502aa80a060f8dc0a95028dc0a870fa880a95", - "0x2b40a950287cca1f0fa540aab0299c3eac5581d2a0550814da1f0fa540a1f", - "0x1203e9e02a540a9e028903eaf02a540aae02a143eae02a540aac5681c001f", - "0xdc649e498155e054a8155e050307c6e054a8146e054387c64054a8146405", - "0x14acb0038003eb002a540a1f3287c3e95028b00a9d0f87d2a050f81c3eaf", - "0xe00a95028e00a480fa2c0a9502a2c0a240fac80a9502ac40a850fac40a95", - "0x2540a1f0387d64811c22d2605590152a05590140c1f408152a05408150e1f", - "0x903eb502a540ab402a143eb402a540a315981c001f598152a050f9943e1f", - "0x156a050307c66054a81466054387c5a054a8145a052407d16054a8151605", - "0x900a240fad80a9502a1c0a860f87d2a050f81c3eb5198b5169302ad40a95", - "0x14261f0fa540a1f0387c3ed50287c301f5c0152a055b014901f5b8152a05", - "0x24c0a9502a4c0a240fae80a9502ae40a850fae40a950287d401f0fa540a14", - "0x24d26055d0152a055d0140c1f038152a05038150e1f358152a0535814901f", - "0x14481f5d8152a053e0150c1f0fa540a6a02a843e1f4a8143e070fae80e6b", - "0x152a055e0150a1f5e0152a050fa883eb802a540abb029203eb702a540a76", - "0x183e0702a540a0702a1c3eb802a540ab8029203eb702a540ab7028903ebd", - "0x24c0e95038143e070287c3e950287c3e1f5e81d70b7498157a054a8157a05", - "0x1f80e95039f40a930f9f40a95029a80a6a0f87d2a050f81c3e7c3b01dac6b", - "0x7c90054a8150c053e87d0c054a814fe053e07c3e950287c0e1f0a015ae7f", - "0x7c3e950287c0e1f08815b08c0c01d2a072424c0ea30f9200a95029200a7f", - "0x7d0a056ca2c26074a81cfc054987cfc054a814fc053b07c3e9502a300a56", - "0x1d2a0709815261f098152a0509814ec1f0fa540a8b029ac3e1f4a8143e07", - "0xb00a9502a200a7d0fa200a9502a1c0a7c0f87d2a050f81c3e0602b690e24", - "0x1ac0a480f8600a95028600a240f8cc0a95028900a750f8b40a950287c7e1f", - "0x152a0516014fe1f168152a05168154a1f198152a0519815481f358152a05", - "0x7c70056d8d40a95038dc0aa70f8dc6431352540a2c168ccd61835a983e2c", - "0x1c3e7802b7074054a81cac055487cac8103a540a3502aa03e1f4a8143e07", - "0x1000e95038f80a930f8f80a9502a040a6a0f87d2a051d014e81f0fa540a1f", - "0x7d161f0fa540a4f029ac3e1f4a81480050987c3e950287c0e1f27015ba4f", - "0x152a0519014901f188152a0518814481f220152a05210150a1f210152a05", - "0x143e070f9100e3218a4c0a4402a540a44028183e0702a540a0702a1c3e32", - "0x1a85a1f248152a0524814581f248152a050fa203e1f4a8149c050987c3e95", - "0x1d0d4950381c7e071987c3e950287c0e1f291040ede1f9280e95039246431", - "0x1cea74038cc3e7402a540a74029203e1f4a8143e070f99cda6e3537ce075", - "0x2840a320fa840a950287c621f0fa540a1f0387d409f4f1a9c09d00194d495", - "0x1ad2a0551814701f518152a05380146a1f380152a05380146e1f510152a05", - "0x7c3e9502a9c0a560f87d2a0553014ac1f0fa540aa502a043ea853a994aa4", - "0x1552052007d52054a81548051f07d48054a81548053c07c3e9502aa00a3a", - "0x2740a9502a740a370f87d2a0556014ac1f0fa540aab0293c3eac55aa8d495", - "0x7d2a0557815021f592c560af571ad2a0556814701f568152a054e8146a1f", - "0x2540aae029e03e1f4a81564051d07c3e9502ac40a560f87d2a0558014ac1f", - "0x7d2a055a0149e1f5b2d5686a4a81566052007d66054a8155c051f07d5c05", - "0x2d40a4e0faa80a9502aa80a4e0f9280a95029280a240f87d2a055b014ac1f", - "0x14921f5c2dc0e9502a896aaa2524c881f510152a0551014841f5a8152a05", - "0x14ca054307cca054a814ca052407c3e950287c0e1f5d015c2b902a540eb8", - "0x2f80a9502af17a072087d7a054a8143e3f0faf00a9502ae40a4a0faec0a95", - "0x14e01f608152a0560014ea1f0fa540abf029d03ec05f81d2a055f014a41f", - "0x2540abb029203eb702a540ab7028903ec302a540ac2029b83ec202a540ac1", - "0x7c0e1f6180176b74981586054a81586050307c00054a81400054387d7605", - "0x7d8e054a8143e650f87d2a0562014ce1f633100e9502ae80a6d0f87d2a05", - "0x14901f5b8152a055b814481f648152a05640150a1f640152a056331c0e00", - "0x32400655ba4c0ac902a540ac9028183e0002a540a0002a1c3e6502a540a65", - "0x2540aa06501c001f650152a050f9943e1f4a814e0054e87c3e950287c0e1f", - "0x7d3c054a8153c052407c94054a81494051207d96054a8142e054287c2e05", - "0x7d2a050f81c3ecb4fa78949302b2c0a9502b2c0a060fa7c0a9502a7c0a87", - "0x14481f710152a05668150a1f668152a0533b300e000fb300a950287cca1f", - "0x2540ae2028183e6d02a540a6d02a1c3e6e02a540a6e029203e4a02a540a4a", - "0x1482051207dc6054a814a4054307c3e950287c0e1f711b4dc4a49815c405", - "0x1e00aaa0f87d2a050f81c3e1f730143e180fb940a9502b8c0a480fb900a95", - "0x7dd0054a81462051207dce054a81464054307c3e9502a040aa10f87d2a05", - "0x2700a95028e00a850f87d2a050f81c3e1f750143e180fba40a9502b9c0a48", - "0x140c1f038152a05038150e1f190152a0519014901f188152a0518814481f", - "0x150c1f0fa540a060284c3e1f4a8143e070fa700e3218a4c0a9c02a540a9c", - "0x152a050fa783ee902a540aeb029203ee802a540a18028903eeb02a540a6b", - "0x21c3ee902a540ae9029203ee802a540ae8028903eed02a540aec02a143eec", - "0x7c3e950287c0e1f7681dd2e849815da054a815da050307c0e054a8140e05", - "0x2540a18028903eef02a540aee02a143eee02a540a1f4f87c3e9502a140a13", - "0x15de054a815de050307c0e054a8140e054387cd6054a814d6052407c3005", - "0x7de0054a814d6054307c3e95029f80a130f87d2a050f81c3eef039ac3093", - "0x7d2a050f81c3e1f798143e180fbc80a9502bc00a480fbc40a95028440a24", - "0x3d00a480fbc40a9502a4c0a240fbd00a95029ac0a860f87d2a050a014261f", - "0x3c40a9502bc40a240fbd40a9502a6c0a850fa6c0a950287d401f790152a05", - "0x3c526057a8152a057a8140c1f038152a05038150e1f790152a0579014901f", - "0x14481f7b0152a053e0150c1f0fa540a6a02a843e1f4a8143e070fbd40ef2", - "0x152a057b8150a1f7b8152a050fa883ee502a540af6029203ee402a540a76", - "0x183e0702a540a0702a1c3ee502a540ae5029203ee402a540ae4028903ef8", - "0x7cf8054a8143eac0f9ac0a950287d561f7c01dcae449815f0054a815f005", - "0x1c3e143f81df27e3e81d2a070287c0e050f87d2a050f87c3e1f4a8143ead", - "0x7c0e1f46015f4182401d2a0743015261f430152a0535014d41f0fa540a1f", - "0x152a0549814fa1f498152a05499ac0eae0fa4c0a95028600a7c0f87d2a05", - "0x152a0524014ec1f0fa540a1f0387d0a057da2c26074a81c227d03a8c3e11", - "0x900a95028900a760f87d2a050f81c3e8702bf0ec2403a540e4802a4c3e48", - "0x7d2a050f81c3e2c02bf5100603a540e2402a4c3e7602a540a763e01d5e1f", - "0x180a750f8c40a950287c7e1f198152a0516814fa1f168152a0544014f81f", - "0x152a0519015481f3f0152a053f014901f098152a0509814481f190152a05", - "0x2540a33188c8fc1335a983e3302a540a33029fc3e3102a540a3102a943e32", - "0x2540a8102aa03e1f4a8143e070f9580afe408152a071c0154e1f1c0d46e6a", - "0x152a051d014d41f0fa540a1f0387c80057f8f80a95039e00aa90f9e07407", - "0x7c3e95029380a130f87d2a050f81c3e4402c00844e03a540e4f02a4c3e4f", - "0x7d2a0545814ac1f0fa540a76029ac3e1f4a8147c053a07c3e95029080a6b", - "0xd40a480f8dc0a95028dc0a240f9280a95029240a850f9240a950287d161f", - "0x7c94071a8dd2605250152a05250140c1f038152a05038150e1f1a8152a05", - "0xfc0a95028fc0a2c0f8fc0a950287d101f0fa540a440284c3e1f4a8143e07", - "0x2540a5202a183e1f4a8143e070f9d4e8078094882074a81c7e351b9a85a1f", - "0x2c43e6702a540a1f5807cda054a814dc053e87cdc054a814ec053e07ce005", - "0x14e0052407c82054a81482051207c3e95029940ab20f800ca074a814ce05", - "0x1b40a95029b40a7f0fa2c0a9502a2c0ab30f81c0a950281c0a870f9c00a95", - "0x24c0aa04fa793a934a8147c6d458000e70209f1681f1f0152a051f0154a1f", - "0x14ac1f0fa540a76029ac3e1f4a8147c053a07c3e950287c0e1f5027d3c9d", - "0x152a0550814901f510152a053a014481f508152a053a8150c1f0fa540a8b", - "0x7d2a051d015421f0fa540a4002aa83e1f4a8143e070f87e04050f8603ea3", - "0x146e051207d48054a8146a054307c3e9502a2c0a560f87d2a053b014d61f", - "0x22c0a560f87d2a050f81c3e1f818143e180fa980a9502a900a480fa940a95", - "0x7c6e054a8146e051207d4e054a814ac054287c3e95029d80a6b0f87d2a05", - "0xd46e9302a9c0a9502a9c0a060f81c0a950281c0a870f8d40a95028d40a48", - "0x14ec053587c3e9502a2c0a560f87d2a0516014261f0fa540a1f0387d4e07", - "0x7d4c054a81550052407d4a054a81426051207d50054a814fc054307c3e95", - "0x154c052407d4a054a8154a051207d54054a81552054287d52054a8143e9e", - "0x1c3eaa03a994a9302aa80a9502aa80a060f81c0a950281c0a870fa980a95", - "0x27c3e1f4a814f8055a87c3e9502a2c0a560f87d2a0543814261f0fa540a1f", - "0x2540a7e029203e1302a540a13028903eac02a540aab02a143eab02a540a1f", - "0x7c0e1f5601cfc134981558054a81558050307c0e054a8140e054387cfc05", - "0x903ead02a540a7e02a183e1f4a81490050987c3e95029f00ab50f87d2a05", - "0x7c3e950287c0e1f0fc100a1f0c07d5e054a8155a052407d5c054a8150a05", - "0x152a053f0150c1f0fa540a6b02ad83e1f4a814f8055a87c3e9502a300a13", - "0x150a1f588152a050fa803eaf02a540ab0029203eae02a540a7d028903eb0", - "0x2540a0702a1c3eaf02a540aaf029203eae02a540aae028903eb202a540ab1", - "0x14f8055a87c3e950287c0e1f5901d5eae4981564054a81564050307c0e05", - "0x14481f598152a050a0150c1f0fa540a6a02a843e1f4a814d6055b07c3e95", - "0x152a055a0150a1f5a0152a050fa883ea302a540ab3029203ea202a540a7f", - "0x183e0702a540a0702a1c3ea302a540aa3029203ea202a540aa2028903eb5", - "0x24c0e95038143e070287c3e950287c3e1f5a81d46a2498156a054a8156a05", - "0x1f80e95039f40a930f9f40a95029a80a6a0f87d2a050f81c3e7c3b01e0a6b", - "0x7c90054a8150c053e87d0c054a814fe053e07c3e950287c0e1f0a0160c7f", - "0x143e070f8600b070fa540e48028503e4802a540a48029fc3e1f4a8143e7e", - "0x1203e1302a540a11028c83e1102a540a1f1887d18054a814d6054307c3e95", - "0x7c3e950287c0e1f0fc200a1f0c07d0a054a81426052107d16054a8151805", - "0x2540a8702adc3e8702a540a1f1887c48054a814d6054307c3e95028600a8c", - "0x7cfc054a814fc053b07d0a054a8140c052107d16054a81448052407c0c05", - "0x2200a130f87d2a050f8443e1f4a8143e070f8b40b09162200e95039f80a93", - "0x150a1f198152a050fa2c3e1f4a8150a055c07c3e95028b00a6b0f87d2a05", - "0x2540a0702a1c3e8b02a540a8b029203e9302a540a93028903e3102a540a33", - "0x2540a1f0887c3e950287c0e1f1881d16934981462054a81462050307c0e05", - "0x24cd42d0f8c80a95028c80a2c0f8c80a950287d101f0fa540a2d0284c3e1f", - "0xe8ac6a4a81c0e35038cc3e1f4a8143e070fa047007850d46e074a81c648b", - "0x2540e3a2b01c661f2b0152a052b014901f0fa540a1f0387c9e401f1aa1678", - "0x1e00a370f9040a9502a140ab90f87d2a050f81c3e3f25124d50c221089c6a", - "0x15021f369b8e0753a1ad2a0529014701f290152a053c0146a1f3c0152a05", - "0x1e03e1f4a814da051d07c3e95029b80a560f87d2a0538014ac1f0fa540a75", - "0x149e1f4e800ca6a4a814ce052007cce054a814e8051f07ce8054a814e805", - "0x2780a95029100a350f9100a95029100a370f87d2a054e814ac1f0fa540a00", - "0x7c3e9502a840a560f87d2a0550015021f51a8942a04f9ad2a054f014701f", - "0x2540a9f028f83e9f02a540a9f029e03e1f4a81546051d07c3e9502a880a56", - "0x7c3e9502a9c0a560f87d2a05528149e1f53a994a6a4a81548052007d4805", - "0x1040a420fa980a9502a980a4e0f9940a95029940a4e0f8dc0a95028dc0a24", - "0x2ac0b0d550152a0754814921f54aa00e95029054c651ba4c881f208152a05", - "0x2540a4e02a183e4e02a540a4e029203e1f4a81554055d07c3e950287c0e1f", - "0x1d43e1f4a8155c053a07d5eae03a540aad029483ead02a540a1f1f87d5805", - "0x1550051207d64054a81562053707d62054a81560053807d60054a8155e05", - "0x2c80a9502ac80a060f9080a95029080a870fab00a9502ab00a480faa00a95", - "0x2540ab30299c3eb45981d2a0555814da1f0fa540a1f0387d6442562a12605", - "0x903eb702a540ab602a143eb602a540ab45a81c001f5a8152a050f9943e1f", - "0x156e050307c84054a81484054387c9c054a8149c052407d50054a8155005", - "0x14f0054e87c3e9502a140ab80f87d2a050f81c3eb721139509302adc0a95", - "0x7d74054a81572054287d72054a8147eb8038003eb802a540a1f3287c3e95", - "0x2e80a060f9280a95029280a870f9240a95029240a480f8dc0a95028dc0a24", - "0x143e650f87d2a0542815701f0fa540a1f0387d744a248dd26055d0152a05", - "0x152a051b814481f5e8152a055e0150a1f5e0152a0527aec0e000faec0a95", - "0x24c0abd02a540abd028183e4002a540a4002a1c3e3e02a540a3e029203e37", - "0x903ebe02a540a8102a183e1f4a8150a055c07c3e950287c0e1f5e9007c37", - "0x7c3e950287c0e1f0fc380a1f0c07d80054a8157c052407d7e054a8147005", - "0x2540a93028903ec202a540ac102a143ec102a540a1f5007c3e95028500a13", - "0x1584054a81584050307c0e054a8140e054387cd6054a814d6052407d2605", - "0x7d86054a814f8054307c3e95029a80aa10f87d2a050f81c3ec2039ad2693", - "0x1588054287d88054a8143ea20fb000a9502b0c0a480fafc0a95029d80a24", - "0x1c0a950281c0a870fb000a9502b000a480fafc0a9502afc0a240fb180a95", - "0x2540a1f029fc3e1f02a540a1f5d87d8c07602fd2605630152a05630140c1f", - "0x1d2a05028157c1f498152a050faf43e05028140a054a8143e055e07c3e05", - "0x14fa052787cfa7c3b1a92a05499ac3e6a6007d26054a81526055f87cd605", - "0x7cfe054a814fe056187cfe054a814fc7c03b083e7e02a540a1f6087c3e95", - "0x2f83e1802a540a1f6307c3e950287c0e1f240161e860a01d2a073f9d80ec4", - "0x22c2611352540a1846050d4c00f8600a95028600abf0fa300e074a8140e05", - "0x900ac30f8900a9502a1426076107d0a054a8143ec70f87d2a05458149e1f", - "0x1a80ac80f87d2a050f81c3e8802c400c8703a540e240881d881f120152a05", - "0x145a055507c3e950287c0e1f19816222d02a540e2c02b243e2c3501d2a05", - "0x140a4f0f87d2a05430149e1f0fa540a070293c3e1f4a8140c052787c3e95", - "0x7d2a0518815541f0fa540a1f0387c6405890c40a95039a80ac90f87d2a05", - "0x7c6e054a8143eca0f87d2a0519015541f0fa540a1f0387c3f130287c301f", - "0xd50e07028d40a95028d40acb0fa1c0a9502a1c0a240f8d40a95028dc0a17", - "0x2540e860281d981f0fa540a6a02ae03e1f4a81466055507c3e950287c0e1f", - "0x143ecd0f87d2a05038149e1f0fa540a060293c3e1f4a8143e070f87e281f", - "0x2040a9502a040acb0fa1c0a9502a1c0a240fa040a95028e00a170f8e00a95", - "0x7c3e950287c0e1f0fc543e95038180e076607c3e950287c0e1f40a1c0e05", - "0x1474056587d0e054a8150e051207c74054a814ac050b87cac054a8143ee2", - "0x152a053c015c81f3c0152a050fb8c3e1f4a8143e070f8e90e07028e80a95", - "0x1c0a4002a540a4002b2c3e8702a540a87028903e4002a540a3e02b943e3e", - "0x150c052787c3e95029a80ab80f87d2a05028149e1f0fa540a1f0387c8087", - "0x143e070f87e2c050f8603e4f02a540a88028903e1f4a8140e052787c3e95", - "0x1200a240f87d2a05038149e1f0fa540a6a02ae03e1f4a8140a052787c3e95", - "0x13c0a950293c0a240f9080a95029380a170f9380a950287dce1f278152a05", - "0x7c0a950287c0a7f0f87c0a950287dd01f2113c0e05210152a0521015961f", - "0x7c3e054a8143e053f87c3e054a8143ee90f8140a05028152a050f815781f", - "0x2f03e1f02a540a1f029fc3e1f02a540a1f4e07c0a05028140a950287c0abc", - "0x15781f0f8152a050f814fe1f0f8152a050fbac3e05028140a054a8143e05", - "0x1f00f173b1ac0e95038143e070287c3e950287c221f028140a0502a540a1f", - "0x7cfe058c07d2a073f014281f3f24c0e9502a4c0aec0f87d2a050f81c3e7d", - "0x152a0535015da1f0a0152a053b0150c1f0fa540a93028e83e1f4a8143e07", - "0x7cd6054a814d6051207c30054a81490057787c90054a8150c0703bb83e86", - "0x7c3e950287c0e1f0c050d66a028600a95028600af00f8500a95028500a48", - "0x7d16058c84c22074a81d18054987d18054a8140e053507c3e95029fc0a8c", - "0x2540a24029f43e2402a540a13029f03e8502a540a7602a183e1f4a8143e07", - "0x7d10054a8143ef10f8180a9502a1cd4072087d0e054a8150e053f87d0e05", - "0x14901f358152a0535814481f168152a0508814ea1f160152a054424c0ef2", - "0x2540a2c029fc3e0602a540a0602a943e2d02a540a2d02a903e8502a540a85", - "0x7d2a050f81c3e32188ccd405190c4666a4a814580616a14d66b5307c5805", - "0x2540a1f1887c6e054a814ec054307c3e95029a80a740f87d2a0549814741f", - "0x1580a95028e102077707d02054a81516053a87c70054a8146a057a07c6a05", - "0x15e01f1b8152a051b814901f358152a0535814481f1d0152a052b015de1f", - "0x1a80a740f87d2a0549814741f0fa540a1f0387c7437359a80a3a02a540a3a", - "0x903e3e02a540a7802a6c3e7802a540a1f5107c3e950281c0aa10f87d2a05", - "0xf8fa7c350147c054a8147c057807cfa054a814fa052407cf8054a814f805", - "0x2540a76029d03e1f4a814d6051d07c3e9502a4c0a560f87d2a0535015641f", - "0x1f00a480f87d2a050f81c3e860a1fcd51a3f1f4f86a4a81c0e05038cc3e1f", - "0x7c3e950287c0e1f4584c226a8da303048352540e7d3e01c661f3e0152a05", - "0xb1100643890d69502a140a380fa140a95029f80a350f9f80a95029f80a37", - "0x2540a2c028e83e1f4a81510052b07c3e95028180a560f87d2a0543815021f", - "0xc86233352540a2d029003e2d02a540a24028f83e2402a540a24029e03e1f", - "0x2540a33029383e3702a540a1f5e87c3e95028c80a560f87d2a05188149e1f", - "0x1502052787d02381a9a92a051b8cc3e6a6007c6e054a8146e055f87c6605", - "0x7c74054a81474056187c74054a814ac3803b083e5602a540a1f6087c3e95", - "0xdc3e1f4a8147c052787c3e950287c0e1f20016383e3c01d2a071d0d40ec4", - "0x7c9449221089c6b4a8149e051c07c9e054a81518051a87d18054a8151805", - "0x7d2a0525014741f0fa540a49029583e1f4a81488052b07c3e95029080a81", - "0x7ce852209a92a051f814801f1f8152a05270147c1f270152a0527014f01f", - "0x152a05290149c1f3a8152a050fb183e1f4a814e8052b07c3e95029040a4f", - "0x2540a6d0293c3e6d371c0d495029d4a478353003e7502a540a7502afc3e52", - "0x3103e6502a540a6502b0c3e6502a540a673701d841f338152a050fb1c3e1f", - "0x14901f0fa540a9d0293c3e1f4a8143e070fa780b1d4e8000e9503994e007", - "0x2840a950287dc61f500152a050f8fc3e9f02a540a4802a183e4802a540a48", - "0x7d48a303a540aa2029483ea202a540aa15001c821f508152a0550814fe1f", - "0x154c053707d4c054a8154a053807d4a054a81548053a87c3e9502a8c0a74", - "0x600a95028600a870fa7c0a9502a7c0a480f8000a95028000a240fa9c0a95", - "0x152a0524014901f0fa540a1f0387d4e184f8012605538152a05538140c1f", - "0x603eaa02a540aa8029203ea902a540a9e028903ea802a540a4802a183e48", - "0x2183e4802a540a48029203e1f4a81518054e87c3e950287c0e1f0fc780a1f", - "0x2540a1f7387d54054a81556052407d52054a81480051207d56054a8149005", - "0x3eaf02a540a1f3287c3e9502ab40a670fab95a074a81558053687d5805", - "0x2a80a480faa40a9502aa40a240fac40a9502ac00a850fac00a9502ab95e07", - "0x7d6218552a52605588152a05588140c1f0c0152a050c0150e1f550152a05", - "0x152a0545ac80e000fac80a950287cca1f0fa540a7e02a743e1f4a8143e07", - "0x21c3e1102a540a11029203e1f02a540a1f028903eb402a540ab302a143eb3", - "0x7c3e950287c0e1f5a04c221f4981568054a81568050307c26054a8142605", - "0x7c0a240fadc0a9502ad80a850fad80a9502a196a070007d6a054a8143e65", - "0x152a055b8140c1f0a0152a050a0150e1f3f8152a053f814901f0f8152a05", - "0x143e650f81c0a950287c0a072087c0a054a8143e3f0fadc287f0fa4c0ab7", - "0x143ef60fa4c0a05498152a0549815ea1f498152a05039a80e000f9a80a95", - "0x2540a1f7b87c0a05028140a950287c0abc0f87c0a950287c0a7f0f87c0a95", - "0x152a050fbe03e05028140a054a8143e055e07c3e054a8143e053f87c3e05", - "0x7c0a950287e3e1f028140a0502a540a1f02af03e1f02a540a1f029fc3e1f", - "0x7d2632371943e93458140a05028152a050f815781f0f8152a050f814fe1f", - "0x1b8ca1f49c80d4070287cda6e3287d2632371943e930f9a80e050f9b4dc65", - "0x24e446a038143e6d371943e93191b8ca1f49c84d4070287cda6e3287d2632", - "0x7cf01f039d022110fa4e48380287e466a038143e6d371943e93191b8ca1f", - "0x1a80c2c191943e6b948e00a1f940e00a1f938e00a1f930e00a1f929a80e05", - "0x24cd4070287cda6e3287d262c030f90a6e3287cf92a499a80e050fa04ca1f", - "0x1301c0143f2f1c0143f2e1c0143f2d1c0143f2c0f8e00a0602cacec6b" + "0x742c211007c3c1d0e01c0c050200c22050d8682c190c01426050200c2e07", + "0xb00a1b158180a2a1485850270286c4a260286c4a24028440a110288c3e22", + "0x146c1f1a8742c3419814641f1687462050d8ac6005150a45e051707c5a1d", + "0x883a38028e80a3a028e00a37028e40a06028180a06028e00a37028900a06", + "0x7480050d8940c051201448051f8147c051e87c781d1b814220503014761f", + "0xb00a47029043e430e9180a38029043e430e9140a2c029103e43211043e1e", + "0x7470052087c5a1d26814984b03014362503014984b2501492052407c8642", + "0x1500a530f90c840229058a2500f8783a4a0293c0a4e0f90c8406029043e2d", + "0xe00a052e07cb61f2d07cb2580115c0c050d8688a0522814ac1f2a9089405", + "0x1903e630f9880c05029783e61030140a60030140a5f178140a5e030140a5d", + "0x1980a07329a80a053487cd06602814bc6702814bc05039980a07329140a05", + "0x140e65371b40a6c330140a69030140a69268140a69178140a690f9ac3e07", + "0x14c81f3a07ce67202814bc1f389bc0a052f1c00a052f07c0a052f0140e6f", + "0x1ec0c05029e89e0502970f205029e0ee6d029b0ea05029a4ea05029d8ea05", + "0x14d81f039bc0a07329500a05320e00a05320b00a05348b00a053b0180a05", + "0x2009a0502a00286d029b0fe6d029b07005029a4fc6d029b0fa6d029b0f86d", + "0x210da05360b00a052f0e00a052f1340a054107d060602815041f408180a05", + "0x140a691b9b40a6c120140a5e120140a69230140a78248140a5c428140a78", + "0x1000a052e1000a052fa240a052f07d101836814d88702814d28602814d245", + "0x1b40a6c088140a5e088140a69138140a5c138140a5f1f0140a5e1f8140a69", + "0x15168902814d24a02814c84702814c84702814d24a02814b84f02814d28a", + "0x1783e8f0c0140a8b0fa38260502978220502a35140502a2c226d029b11805", + "0x1e40a073284cda053607d2214028151684028151611028dc0a07480dc0a05", + "0x1b40a6c0f81cf205039949e0502990fe0502a2d186d029b0f205029780a07", + "0x7c0e460281cca06028151a7702815167c02815167d02815167e028151647", + "0x1940a07230140e650fa48dc0502a2d0a05029783e07428140e65248140a64", + "0x15169302815162436814d86602814f066028151a4a02814bc0503a140a07", + "0x1b926074a81c0a1f038143e1f4a8143e1f0fa500a0502a2c0e0502a2cda05", + "0x1fcfc074a81cfa054987cfa054a814da053687c3e950287c0e1f3e1dc0e96", + "0x2606e8403a540e7e02a4c3e7e02a540a7e029b83e1f4a8143e070f8500a97", + "0x1532114501d2a0742015261f420152a0542014dc1f0fa540a1f0387c3005", + "0xdc0a770f91c0a9502a300a7c0fa300a95029fc0a770f87d2a050f81c3e13", + "0x152a051f814f81f1f8152a0508814ee1f138152a0512014f81f120152a05", + "0x1c3e06028c43e95038f80a7f0f8f80a95028f80a7e0f87d2a050f9f43e3e", + "0xe00a95028bc0a370f8bc0a950287d081f160152a0537014281f0fa540a1f", + "0x2540a1f0387c3e890287c221f198152a051c015141f188152a0516014301f", + "0xe80a8c0f8e80a950287d081f1c8152a0537014281f0fa540a060284c3e1f", + "0x152a0545014dc1f198152a0513015141f188152a051c814301f130152a05", + "0x903e1f4a8143e470f87d2a050f81c3e8902998803003a540e8a02a4c3e8a", + "0x7c3e950291c0a3f0f87d2a05138147e1f0fa540a400289c3e1f4a8146005", + "0x2540a93028bc3e4602a540a45028b03e4502a540a1f0307c3e95028cc0a3e", + "0x148c054a8148c051887c0e054a8140e051c07c62054a81462050c07d2605", + "0xe43e4902a540a1f1987c3e9502a240a240f87d2a050f81c3e46038c52693", + "0x7d2a050f81c3e4d4381d34852501d2a07248c5266d1d07c92054a8149205", + "0x2540a54029003e5402a540a1f1807d0c054a81466051307c3e950287c8e1f", + "0x7d0a054a8150a050c07c94054a81494051787c3e950293c0a890f9e49e07", + "0x2180a8a0f89c0a950289c0a7e0f91c0a950291c0a7e0f81c0a950281c0a38", + "0x2540e6f029183e6f381c8ea934a8150c27239e40e85251f08a1f430152a05", + "0xa95029980a490f99c0a95029c80a140f87d2a050f81c3e6a02a6ccc05", + "0x1343e9f4f01d2a054e8150e1f4e8152a05002700e850fa700a950287c941f", + "0x2540aa10293c3ea102a540aa0029503ea002a540a9f02a183e1f4a8153c05", + "0x7ce0054a814e0051c07cce054a814ce050c07cea054a814ea051787d4405", + "0x28c0a95029a80a2c0f87d2a050f81c3ea23819cea9302a880a9502a880a31", + "0x14621f380152a0538014701f390152a0539014301f3a8152a053a8145e1f", + "0x9c0a3f0f87d2a050f91c3e1f4a8143e070fa8ce0723aa4c0aa302a540aa3", + "0xbc3ea402a540a4d028503e1f4a81466051f07c3e950291c0a3f0f87d2a05", + "0x7c3e950287c0e1f0fa9c0a1f0887d4c054a81548050c07d4a054a8150e05", + "0x2a00a950287cf21f0fa540a370289c3e1f4a814fe051387c3e950284c0a24", + "0x14701f370152a0537014301f498152a05498145e1f548152a0554014581f", + "0x903e1f4a8143e070faa40e6e49a4c0aa902a540aa9028c43e0702a540a07", + "0x2ac0a9502aa80a2c0faa80a950287cea1f0fa540a7f0289c3e1f4a8143005", + "0x14621f038152a0503814701f370152a0537014301f498152a05498145e1f", + "0x7ce41f0fa540a14028903e1f4a8143e070faac0e6e49a4c0aab02a540aab", + "0x152a0537014301f498152a05498145e1f568152a0556014581f560152a05", + "0x143e070fab40e6e49a4c0aad02a540aad028c43e0702a540a07028e03e6e", + "0x603ea502a540a77028bc3eae02a540a7c028503e1f4a814da053807c3e95", + "0x2540aa5028bc3eb002a540aaf028b03eaf02a540a1f3787d4c054a8155c05", + "0x1560054a81560051887c0e054a8140e051c07d4c054a8154c050c07d4a05", + "0x1c3e7c3b81d626e4981d2a070287c0e050f87d2a050f87c3eb003a994a93", + "0x7c0e1f0a015647f3f01d2a073e815261f3e8152a0536814da1f0fa540a1f", + "0x143e070f8600ab31ba100e95039f80a930f9f80a95029f80a6e0f87d2a05", + "0x143e060f87d2a053f8144e1f0fa540a370289c3e1f4a81508051207c3e95", + "0x1b80a95029b80a180fa4c0a9502a4c0a2f0f8440a9502a280a2c0fa280a95", + "0x2540a1f0387c22073724d2605088152a0508814621f038152a0503814701f", + "0x24cda3a0f84c0a950284c0a390f84c0a950287c661f0fa540a18028903e1f", + "0x1f03e3f02a540a7f029dc3e1f4a8143e070f89c48075a11d18074a81c266e", + "0x1458054487c5e2c03a540a06029003e0602a540a1f1807c7c054a8147e05", + "0x7c0e054a8140e051c07c8e054a8148e050c07d18054a81518051787c3e95", + "0x1c72052307c7233188e12695028f85e0723a30dc660f8f80a95028f80a7e", + "0x152a051d014921f180152a0518814281f0fa540a1f0387c4c055a8e80a95", + "0x7c924603a540a4502a1c3e4502a540a404481d0a1f448152a050f9283e40", + "0x150a052787d0a054a81494052a07c94054a81492054307c3e95029180a4d", + "0xcc0a95028cc0a380f8c00a95028c00a180f8e00a95028e00a2f0fa1c0a95", + "0x152a0513014581f0fa540a1f0387d0e33180e12605438152a0543814621f", + "0xc43e3302a540a33028e03e3102a540a31028603e3802a540a38028bc3e4d", + "0x503e1f4a814fe051387c3e950287c0e1f268cc6238498149a054a8149a05", + "0x2d80a1f0887c9e054a8150c050c07ca8054a81448051787d0c054a8144e05", + "0x2540a79028b03e7902a540a1f3907c3e95028500a240f87d2a050f81c3e1f", + "0x7c0e054a8140e051c07cdc054a814dc050c07d26054a81526051787cea05", + "0x7c3e95029b40a700f87d2a050f81c3e75039b92693029d40a95029d40a31", + "0x143e6f0f93c0a95029c80a180f9500a95029dc0a2f0f9c80a95029f00a14", + "0x13c0a950293c0a180f9500a95029500a2f0f9bc0a95029c00a2c0f9c00a95", + "0x2540a1f3507cde07279512605378152a0537814621f038152a0503814701f", + "0x1c0a1f038143e1f4a8143e1f0f87d2a050f8003e7c02a540a1f3387cdc05", + "0x1d08054987d08054a814da053687c3e950287c0e1f0a1fc0eb73f1f40e95", + "0x14ee7c03a703e7702a540a18029dc3e1f4a8143e070fa280ab80c0dc0e95", + "0x7c0e1f23815728c0981d2a07089f40e9d0f8440a95029dc0a7c0f9dc0a95", + "0x143e070f89c0aba498900e95038dc0a930f8dc0a95028dc0a6e0f87d2a05", + "0xfc0e95038900a930fa4c0a9502a4cdc074f07c48054a81448053707c3e95", + "0x7c5e054a81458053e07c58054a8147c053b87c3e950287c0e1f03015763e", + "0x14fc050c07c26054a81426051787c62054a8147e054307c70054a8143e4a", + "0xbc0a95028bc0a7e0f8e00a95028e00aa00f8c40a95028c40a9f0f9f80a95", + "0x1c3e3002af04c054a81c74055107c7439199b52a05178e0627e099b9421f", + "0x7c0e1f230157a4502a540e8902a903e892001d2a0513015461f0fa540a1f", + "0x143e070fa1c0abe429280e95039240a930f9240a95029000a6d0f87d2a05", + "0x2300aa50f87d2a05228149a1f0fa540a850289c3e1f4a81494051207c3e95", + "0xbc3e8602a540a4d028b03e4d02a540a1f0307c3e9502a4c0a270f87d2a05", + "0x150c051887c0e054a8140e051c07c72054a81472050c07c66054a8146605", + "0x2540a1f1987c3e9502a1c0a240f87d2a050f81c3e86038e4669302a180a95", + "0x1c3e723a81d7e792781d2a072a0e4666d1d07ca8054a814a8051c87ca805", + "0x1980a950287c601f378152a0538014f81f380152a0549814ee1f0fa540a1f", + "0x14301f278152a05278145e1f0fa540a6a02a243e673501d2a0533014801f", + "0x2540a6f029f83e8c02a540a8c02a983e0702a540a07028e03e7902a540a79", + "0x2793a9c0024d2a05229bd1867039e49e7c5407c8a054a8148a055007cde05", + "0x1243ea102a540a9c028503e1f4a8143e070fa800ac04f8152a074f0148c1f", + "0x1548054387d48054a81544a303a143ea302a540a1f2507d44054a8153e05", + "0x2a40a9502aa00a540faa00a9502a980a860f87d2a05528149a1f532940e95", + "0x14701f508152a0550814301f000152a05000145e1f550152a05548149e1f", + "0xb03e1f4a8143e070faa93aa10024c0aaa02a540aaa028c43e9d02a540a9d", + "0x153a051c07d38054a81538050c07c00054a81400051787d56054a8154005", + "0x1140a4d0f87d2a050f81c3eab4ea70009302aac0a9502aac0a310fa740a95", + "0xbc3eac02a540a72028503e1f4a81526051387c3e9502a300aa50f87d2a05", + "0x7c3e950287c0e1f0fb040a1f0887d5c054a81558050c07d5a054a814ea05", + "0x7d2a05498144e1f0fa540a8c02a943e1f4a81480053807c3e95029180aa9", + "0x7c221f610152a0557814301f580152a05198145e1f578152a051c814281f", + "0xc00a2c0f87d2a05460154a1f0fa540a930289c3e1f4a8143e070f87d8605", + "0x152a0503814701f1c8152a051c814301f198152a05198145e1f620152a05", + "0x2540a06028903e1f4a8143e070fb100e3919a4c0ac402a540ac4028c43e07", + "0x4c0a2f0fb140a95029f80a140f87d2a05460154a1f0fa540a930289c3e1f", + "0x31c0a9502b180a2c0fb180a950287cf21f610152a0562814301f580152a05", + "0x14621f038152a0503814701f610152a0561014301f580152a05580145e1f", + "0x154a1f0fa540a27028903e1f4a8143e070fb1c0ec25824c0ac702a540ac7", + "0x7d92054a81590051607d90054a8143e750f87d2a0537015541f0fa540a8c", + "0x3240a310f81c0a950281c0a380f9f80a95029f80a180f84c0a950284c0a2f", + "0x1b80aaa0f87d2a051b814481f0fa540a1f0387d92073f04d2605648152a05", + "0x3300a9502b280a180fb2c0a950291c0a2f0fb280a95029f80a140f87d2a05", + "0x7c3e95029f00aab0f87d2a0545014481f0fa540a1f0387c3ecd0287c221f", + "0x1536050c07d96054a814fa051787d36054a814fc050a07c3e95029b80aaa", + "0x7d96054a81596051787d9e054a8159c051607d9c054a8143e720fb300a95", + "0x331969302b3c0a9502b3c0a310f81c0a950281c0a380fb300a9502b300a18", + "0x14da053807c3e95029b80aaa0f87d2a053e015561f0fa540a1f0387d9e07", + "0x7d5c054a815a0050c07d5a054a814fe051787da0054a81428050a07c3e95", + "0x155c050c07d5a054a8155a051787da4054a815a2051607da2054a8143e6f", + "0x19c3ed203ab95a9302b480a9502b480a310f81c0a950281c0a380fab80a95", + "0x1c0a1f0fa540a1f0f87c3e950287c001f3e0152a050f9a83e6e02a540a1f", + "0x24c3e8402a540a6d029b43e1f4a8143e070f850fe07699f8fa074a81c0a1f", + "0x1d381f498152a050c014ee1f0fa540a1f0387d14056a0606e074a81d0805", + "0x11c0ad54604c0e9503844fa074e87c22054a81526053e07d26054a815266e", + "0x7c4e056b1dc48074a81c6e054987c6e054a8146e053707c3e950287c0e1f", + "0x1c48054987cee054a814ee7c03a783e2402a540a24029b83e1f4a8143e07", + "0x2540a2c029f03e2c02a540a3e029dc3e1f4a8143e070f8180ad71f0fc0e95", + "0x603e1302a540a13028bc3e3102a540a3f02a183e3802a540a1f2507c5e05", + "0x145e053f07c70054a81470055007c62054a81462054f87cfc054a814fc05", + "0x15b02602a540e3a02a883e3a1c8ccda95028bc70313f04cdca10f8bc0a95", + "0x1180ad9228152a0744815481f449000e95028980aa30f87d2a050f81c3e30", + "0x7d0e056d21494074a81c92054987c92054a81480053687c3e950287c0e1f", + "0x7c3e95029140a4d0f87d2a05428144e1f0fa540a4a028903e1f4a8143e07", + "0x152a0526814581f268152a050f8183e1f4a81518055287c3e95029dc0a27", + "0xc43e0702a540a07028e03e3902a540a39028603e3302a540a33028bc3e86", + "0xcc3e1f4a8150e051207c3e950287c0e1f4301c7233498150c054a8150c05", + "0x1d40edb3c93c0e95039507233368e83e5402a540a54028e43e5402a540a1f", + "0x1bc0a7c0f9bc0a95029dc0a770f9c00a95029e40a140f87d2a050f81c3e72", + "0x7d2a0533815121f0019c0e95029a80a400f9a80a950287c601f330152a05", + "0x154c1f038152a0503814701f380152a0538014301f278152a05278145e1f", + "0x1ce04f3e2b03e4502a540a4502a803e6602a540a66029f83e8c02a540a8c", + "0x1140a4d0f87d2a050f81c3e9f4f275389302a7d3c9d4e24d2a05229991800", + "0xbc3ea002a540a72028503e1f4a81518055287c3e95029dc0a270f87d2a05", + "0x7c3e950287c0e1f0fb700a1f0887d44054a81540050c07d42054a814ea05", + "0x7d2a05460154a1f0fa540a770289c3e1f4a81480053807c3e95029180aa9", + "0x7c221f528152a0551814301f520152a05198145e1f518152a051c814281f", + "0xc00a2c0f87d2a053b8144e1f0fa540a8c02a943e1f4a8143e070f87dba05", + "0x152a0503814701f1c8152a051c814301f198152a05198145e1f530152a05", + "0x2540a06028903e1f4a8143e070fa980e3919a4c0aa602a540aa6028c43e07", + "0x4c0a2f0faa00a95029f80a140f87d2a053b8144e1f0fa540a8c02a943e1f", + "0x2a80a9502aa40a2c0faa40a950287cf21f528152a0554014301f520152a05", + "0x14621f038152a0503814701f528152a0552814301f520152a05520145e1f", + "0x154a1f0fa540a27028903e1f4a8143e070faa80ea55224c0aaa02a540aaa", + "0x7d58054a81556051607d56054a8143e750f87d2a053e015541f0fa540a8c", + "0x2b00a310f81c0a950281c0a380f9f80a95029f80a180f84c0a950284c0a2f", + "0xdc0a240f87d2a053e015541f0fa540a1f0387d58073f04d2605560152a05", + "0x2bc0a9502ab40a180fab80a950291c0a2f0fab40a95029f80a140f87d2a05", + "0x7c3e95029f00aaa0f87d2a0545014481f0fa540a1f0387c3ede0287c221f", + "0x1560050c07d5c054a814fa051787d60054a814fc050a07c3e95029b80aab", + "0x7d5c054a8155c051787d88054a81584051607d84054a8143e720fabc0a95", + "0x2bd5c9302b100a9502b100a310f81c0a950281c0a380fabc0a9502abc0a18", + "0x14da053807c3e95029b80aab0f87d2a053e015541f0fa540a1f0387d8807", + "0x7d44054a8158a050c07d42054a814fe051787d8a054a81428050a07c3e95", + "0x1544050c07d42054a81542051787d8e054a8158c051607d8c054a8143e6f", + "0x7c3ec703a89429302b1c0a9502b1c0a310f81c0a950281c0a380fa880a95", + "0x14da1f0fa540a1f0387cf87703b7cdc9303a540e050f81c0a1f0fa540a1f", + "0x1fc0a770f87d2a050f81c3e1402b80fe7e03a540e7d02a4c3e7d02a540a6d", + "0x7c6e054a8146e053f07c3e950287cfa1f1b8152a0542014f81f420152a05", + "0x143e840fa280a95029b80a140f87d2a050f81c3e1802b843e95038dc0a7f", + "0x11c0a950284c0a8a0fa300a9502a280a180f84c0a95028440a370f8440a95", + "0x900a95029b80a140f87d2a050c014261f0fa540a1f0387c3ee20287c221f", + "0xfc0a8a0fa300a95028900a180f8fc0a950289c0a8c0f89c0a950287d081f", + "0x7c0e1f16015c6061f01d2a073f015261f3f0152a053f014dc1f238152a05", + "0x11c0a3e0f87d2a05030144e1f0fa540a3e028903e1f4a8143e470f87d2a05", + "0x7d26054a81526051787c70054a8145e051607c5e054a8143e060f87d2a05", + "0x2312693028e00a95028e00a310f81c0a950281c0a380fa300a9502a300a18", + "0x152a050f8cc3e1f4a81458051207c3e950287c8e1f0fa540a1f0387c7007", + "0x7c0e1f130e80ee41c8cc0e95038c51893368e83e3102a540a31028e43e31", + "0x603e1f4a8143e070f9248c4536b951240181b52a07038e40ead0f87d2a05", + "0x2540a1f0387ca886269b5cc8742928da950390060075687c60054a8146005", + "0x2c03e7902a540a8902abc3e8902a540a8902ab83e4f02a540a47028983e1f", + "0x154a1f0fa540a7002a943e1f4a814e4056107ccc6f381c8ea6e4a814f205", + "0x1a80a95029d40ac50f9d40a95029d40ac40f87d2a05330147e1f0fa540a6f", + "0x155c1f0fa540a9c02a943e1f4a81400056387d3800339b52a05350158c1f", + "0x3083ea250a813e9e372540a9d02ac03e9d02a540a8702abc3e8702a540a87", + "0x7c3e9502a880a3f0f87d2a05508154a1f0fa540aa002a943e1f4a8153e05", + "0x31c3ea652a90da9502a8c0ac60fa8c0a9502a780ac50fa780a9502a780ac4", + "0x152a0533815901f198152a05198145e1f0fa540aa602a943e1f4a8154805", + "0x1d2a0527a94ce3349b243e4f02a540a4f02a283ea502a540aa502b203e67", + "0x7c3e9502aa80aca0f87d2a050f81c3eab02b9d54054a81d52052307d52a8", + "0x155a054387d5a054a8143e4a0fab00a95029280a140f9280a95029280a18", + "0x3080a9502ac00a540fac00a9502abc0a860f87d2a05570149a1f57ab80e95", + "0x14701f560152a0556014301f540152a05540145e1f620152a05610149e1f", + "0x32c3e1f4a8143e070fb110aac5424c0ac402a540ac4028c43e8502a540a85", + "0x158cc703b383ec702a540a1f4d87c3e9502b140acc0fb198a074a8155605", + "0x1280a95029280a180faa00a9502aa00a2f0fb240a9502b200a2c0fb200a95", + "0x2540a1f0387d9285252a12605648152a0564814621f428152a0542814701f", + "0x15194076707d94054a8143e9b0f87d2a05448159e1f0fa540a47028f83e1f", + "0x152a0526814301f198152a05198145e1f660152a0565814581f658152a05", + "0x143e070fb310c4d19a4c0acc02a540acc028c43e8602a540a86028e03e4d", + "0xb03ece02a540a494d81d9c1f4d8152a050fa6c3e1f4a8148e051f07c3e95", + "0x148c051c07c8a054a8148a050c07c66054a81466051787d9e054a8159c05", + "0x11c0a3e0f87d2a050f81c3ecf23114669302b3c0a9502b3c0a310f9180a95", + "0x3480a9502b400a180fb440a95028e80a2f0fb400a95028980a140f87d2a05", + "0x7dd2054a8143e720f87d2a050a014481f0fa540a1f0387c3ee80287c221f", + "0x1c0a380f9b80a95029b80a180fa4c0a9502a4c0a2f0fa680a9502ba40a2c", + "0x14e01f0fa540a1f0387d34073724d26054d0152a054d014621f038152a05", + "0x152a0575014301f688152a053b8145e1f750152a053e014281f0fa540a6d", + "0x14301f688152a05688145e1f760152a0575814581f758152a050f9bc3ed2", + "0x3b00ed268a4c0aec02a540aec028c43e0702a540a07028e03ed202a540ad2", + "0x7c0a05028140a950287c0ad10f87c0a950287c0a7e0f87c0a950287da01f", + "0x7d2a053b8147c1f0fa540a6e028fc3e1f4a81526051f87c3e95029b40a89", + "0x14f8050c07c3e950287c0e1f42050fe6d769f8fa7c36a540e070281d5a1f", + "0x2b83e1f4a8143e070fa30261136bb914181b9b52a073e9f00ead0f9f00a95", + "0x7c0c3e1f89c486e4a8148e055807c8e054a814fc055787cfc054a814fc05", + "0x7d2a05030147e1f0fa540a3e02a943e1f4a8147e055287c3e950289c0ac2", + "0x7c6238179b52a05160158c1f160152a05120158a1f120152a0512015881f", + "0x152a0517815901f198152a050fb483e1f4a81462055287c3e95028e00ac7", + "0x1b52a05198e43e6d7507c66054a81466054d07c722f03a540a2f02ba43e2f", + "0x7d12054a814802603bb03e4002a540a1f7587c3e95028c00ac70f8c04c3a", + "0x7c3e950287c0e1f24815e2462281d2a07448e80ef00fa240a9502a240aef", + "0x1510c4d43a14dc95029280ab00f9280a9502a280aaf0fa280a9502a280aae", + "0x2540a54028fc3e1f4a8150c055287c3e95029340aa50f87d2a0543815841f", + "0x1c8ea7936a540a4f02b183e4f02a540a8502b143e8502a540a8502b103e1f", + "0x2540a7502b203e7002a540a1f7907c3e95029c80aa50f87d2a053c8158e1f", + "0x2540a7037914daea0f9c00a95029c00a9a0f9bcea074a814ea057487cea05", + "0x2700a9502800d4077607c00054a8143ef30f87d2a05338158e1f339a8cc6d", + "0x7d2a050f81c3e9f02bd13c9d03a540e9c3301de01f4e0152a054e015de1f", + "0x1d40ac70f87d2a054f0158e1f0fa540a1f0387c3ef50fa540e461781c2e1f", + "0x7d3a054a8153a051787d42054a81540057b07d40054a8143e990f87d2a05", + "0xdd3a9302a840a9502a840af70f8600a95028600a380f8dc0a95028dc0a18", + "0x7df21f0fa540a1f0387c3ef80fa540e9e3a81c2e1f0fa540a1f0387d4218", + "0x152a051b814301f4e8152a054e8145e1f518152a0551015ec1f510152a05", + "0x143e070fa8c30374ea4c0aa302a540aa302bdc3e1802a540a18028e03e37", + "0x3ec3ea502a540a1f7d07d48054a8146e050a07c6e054a8146e050c07c3e95", + "0x1548050c07d3a054a8153a051787d50054a8154c057e07d4c054a8154a05", + "0x1c3ea80c2913a9302aa00a9502aa00af70f8600a95028600a380fa900a95", + "0x603e1f4a814ea056387c3e95029180ac70f87d2a05178158e1f0fa540a1f", + "0x1552050c07d54054a8153e051787d52054a8146e050a07c6e054a8146e05", + "0x1514056787c3e95028bc0ac70f87d2a050f81c3e1f7e8143e110faac0a95", + "0x7d54054a81492051787d58054a8146e050a07c6e054a8146e050c07c3e95", + "0x1554051787d5c054a8155a057b07d5a054a8143efe0faac0a9502ab00a18", + "0x2b80a9502ab80af70f8600a95028600a380faac0a9502aac0a180faa80a95", + "0x7d5e054a8143e9b0f87d2a053f0159e1f0fa540a1f0387d5c1855aa92605", + "0x14301f0f8152a050f8145e1f610152a0558015ec1f580152a05462bc0ece", + "0x30826110fa4c0ac202a540ac202bdc3e1302a540a13028e03e1102a540a11", + "0x158a057b07d8a054a81508c403b383ec402a540a1f4d87c3e950287c0e1f", + "0x500a95028500a380f9fc0a95029fc0a180f87c0a950287c0a2f0fb180a95", + "0x2540a1f029f83e1f02a540a1f7f87d8c143f87d2605630152a0563015ee1f", + "0x152a050f814fc1f0f8152a050fc003e05028140a054a8143e056887c3e05", + "0x7c0a950287c0a7e0f87c0a950287e021f028140a0502a540a1f02b443e1f", + "0x7c3e054a8143e053f07c3e054a8143e980f8140a05028152a050f815a21f", + "0x1d5a1f0fa540a93028fc3e1f4a814da054487c0a05028140a950287c0ad1", + "0x1b80a95029b80a180f87d2a050f81c3e7f3f1f4db023e1dcdc6d4a81c0e05", + "0x14f8055707c3e950287c0e1f08a28306d818dd081436a540e773701d5a1f", + "0x11c0ac20f8fc4e2423a30dc950284c0ab00f84c0a95029f00aaf0f9f00a95", + "0x15881f0fa540a3f028fc3e1f4a8144e055287c3e95028900aa50f87d2a05", + "0xb00ac70f8bc580636a540a3e02b183e3e02a540a8c02b143e8c02a540a8c", + "0x3a43e0602a540a0602b203e3802a540a1f6907c3e95028bc0aa50f87d2a05", + "0xe8723336a540a381887cdaea0f8e00a95028e00a9a0f8c40c074a8140c05", + "0xc00aef0f8c00a950289872077607c4c054a8143eeb0f87d2a051d0158e1f", + "0xdc0aae0f87d2a050f81c3e4502c11124003a540e301981de01f180152a05", + "0x15841f26a1d0a4a249b92a0523015601f230152a051b8155e1f1b8152a05", + "0x3103e1f4a8149a051f87c3e9502a1c0aa50f87d2a05428154a1f0fa540a4a", + "0x158e1f3c93ca86d4a8150c056307d0c054a81492056287c92054a8149205", + "0x7c9e054a8149e056407cea054a8143ef20f87d2a053c8154a1f0fa540a54", + "0x1bce06d4a814ea72201b5d41f3a8152a053a815341f3913c0e950293c0ae9", + "0x15de1f338152a05351bc0eec0f9a80a950287de61f0fa540a6602b1c3e66", + "0x1c2e1f0fa540a1f0387d3a0582a7000074a81cce7003bc03e6702a540a67", + "0x7d2a05278158e1f0fa540a9c02b1c3e1f4a8143e070f87e0c1f4a81d1206", + "0x500a180f8000a95028000a2f0fa7c0a9502a780af60fa780a950287d321f", + "0x7d3e840a00126054f8152a054f815ee1f420152a0542014701f0a0152a05", + "0x152a050fbe43e1f4a8143e070f87e0e1f4a81d384f0385c3e1f4a8143e07", + "0xe03e1402a540a14028603e0002a540a00028bc3ea102a540aa002bd83ea0", + "0x7c3e950287c0e1f50a1028004981542054a81542057b87d08054a8150805", + "0x1546057d87d46054a8143efa0fa880a95028500a140f8500a95028500a18", + "0x2880a9502a880a180f8000a95028000a2f0fa940a9502a900afc0fa900a95", + "0x2540a1f0387d4a84510012605528152a0552815ee1f420152a0542014701f", + "0x1428050c07c3e950293c0ac70f87d2a05448158e1f0fa540a0602b1c3e1f", + "0x2a40a9502a980a180faa00a9502a740a2f0fa980a95028500a140f8500a95", + "0x7c3e95028dc0acf0f87d2a05030158e1f0fa540a1f0387c3f080287c221f", + "0x2a80a180faa00a95029140a2f0faa80a95028500a140f8500a95028500a18", + "0x2a00a9502aa00a2f0fab00a9502aac0af60faac0a950287dfc1f548152a05", + "0x2a12605560152a0556015ee1f420152a0542014701f548152a0554814301f", + "0x2b40ece0fab40a950287d361f0fa540a7c02b3c3e1f4a8143e070fab108a9", + "0x2540a18028603e1f02a540a1f028bc3eaf02a540aae02bd83eae02a540a11", + "0x7c0e1f57a28301f498155e054a8155e057b87d14054a81514051c07c3005", + "0x3100a9502b080af60fb080a95029fd60076707d60054a8143e9b0f87d2a05", + "0x15ee1f3f0152a053f014701f3e8152a053e814301f0f8152a050f8145e1f", + "0x1dcdc074a81c0a1f038143e1f4a8143e470fb10fc7d0fa4c0ac402a540ac4", + "0x42c3e95039f80a7f0f9f926074a81526058507c3e950287c0e1f3e9f00f09", + "0x1b40b0c0f8500a95029dc0a140f87d2a05498147e1f0fa540a1f0387cfe05", + "0x2540a6e028bc3e1802a540a3702c383e3702a540a840381e1a1f420152a05", + "0x143e070f860286e3681430054a81430058787c28054a81428050c07cdc05", + "0x440261103a540e8a02a4c3e8a02a540a07029b43e1f4a814fe050987c3e95", + "0x14f81f120152a0509814ee1f238152a053b814281f0fa540a1f0387d1805", + "0x2540a1f8887c7e054a8144e6d03a143e2702a540a27029f83e2702a540a24", + "0x1b80a95029b80a2f0f8b00a95028440a860f8180a95028f926078907c7c05", + "0x14fc1f1f8152a051f815401f160152a05160153e1f238152a0523814301f", + "0x7c0e1f188e05e6d028c4702f36a540a061f8b08e6e372843e0602a540a06", + "0x2103e3302a540a77028503e1f4a814da052687c3e9502a4c0a3f0f87d2a05", + "0x14742603c343e2602a540a8c02a183e3a02a540a3902c4c3e3902a540a1f", + "0xcc0a95028cc0a180f9b80a95029b80a2f0f9000a95028c00b0e0f8c00a95", + "0x7c3e9502a4c0a3f0f87d2a050f81c3e40199b8da05200152a05200161e1f", + "0x152a0544816281f448152a050f9bc3e1f4a8140e053807c3e95029b40a4d", + "0x1b40a4502a540a4502c3c3e7d02a540a7d028603e7c02a540a7c028bc3e45", + "0x149a1f0fa540a6e028fc3e1f4a81526055287c3e95029b40a890f914fa7c", + "0x7c3e950287c0e1f42050fe6d8a9f8fa7c36a540e070281d5a1f0fa540a77", + "0x143e070fa30261136c5914181b9b52a073e9f00ead0f9f00a95029f00a18", + "0x9c486e4a8148e055807c8e054a814fc055787cfc054a814fc055707c3e95", + "0x147e1f0fa540a3e02a943e1f4a8147e055287c3e950289c0ac20f8187c3f", + "0x1b52a05160158c1f160152a05120158a1f120152a0512015881f0fa540a06", + "0x15901f198152a050fb483e1f4a81462055287c3e95028e00ac70f8c4702f", + "0xe43e6d7507c66054a81466054d07c722f03a540a2f02ba43e2f02a540a2f", + "0x14802603bb03e4002a540a1f7587c3e95028c00ac70f8c04c3a36a540a33", + "0x7c0e1f248162e462281d2a07448e80ef00fa240a9502a240aef0fa240a95", + "0x214dc95029280ab00f9280a9502a280aaf0fa280a9502a280aae0f87d2a05", + "0xfc3e1f4a8150c055287c3e95029340aa50f87d2a0543815841f2a2189a87", + "0x2540a4f02b183e4f02a540a8502b143e8502a540a8502b103e1f4a814a805", + "0x3203e7002a540a1f7907c3e95029c80aa50f87d2a053c8158e1f391d4f26d", + "0x114daea0f9c00a95029c00a9a0f9bcea074a814ea057487cea054a814ea05", + "0xd4077607c00054a8143ef30f87d2a05338158e1f339a8cc6d4a814e06f", + "0x1c3e9f02c613c9d03a540e9c3301de01f4e0152a054e015de1f4e0152a05", + "0x7d2a054f0158e1f0fa540a1f0387c3f190fa540e461781c2e1f0fa540a1f", + "0x153a051787d42054a81540057b07d40054a8143e990f87d2a053a8158e1f", + "0x2840a9502a840af70f8600a95028600a380f8dc0a95028dc0a180fa740a95", + "0x2540a1f0387c3f1a0fa540e9e3a81c2e1f0fa540a1f0387d42181ba752605", + "0x14301f4e8152a054e8145e1f518152a0551015ec1f510152a050fbe43e1f", + "0x28c30374ea4c0aa302a540aa302bdc3e1802a540a18028e03e3702a540a37", + "0x2540a1f7d07d48054a8146e050a07c6e054a8146e050c07c3e950287c0e1f", + "0x7d3a054a8153a051787d50054a8154c057e07d4c054a8154a057d87d4a05", + "0x2913a9302aa00a9502aa00af70f8600a95028600a380fa900a9502a900a18", + "0x14ea056387c3e95029180ac70f87d2a05178158e1f0fa540a1f0387d5018", + "0x7d54054a8153e051787d52054a8146e050a07c6e054a8146e050c07c3e95", + "0x7c3e95028bc0ac70f87d2a050f81c3e1f8d8143e110faac0a9502aa40a18", + "0x1492051787d58054a8146e050a07c6e054a8146e050c07c3e9502a280acf", + "0x7d5c054a8155a057b07d5a054a8143efe0faac0a9502ab00a180faa80a95", + "0x2b80af70f8600a95028600a380faac0a9502aac0a180faa80a9502aa80a2f", + "0x143e9b0f87d2a053f0159e1f0fa540a1f0387d5c1855aa92605570152a05", + "0x152a050f8145e1f610152a0558015ec1f580152a05462bc0ece0fabc0a95", + "0x24c0ac202a540ac202bdc3e1302a540a13028e03e1102a540a11028603e1f", + "0x7d8a054a81508c403b383ec402a540a1f4d87c3e950287c0e1f6104c221f", + "0x500a380f9fc0a95029fc0a180f87c0a950287c0a2f0fb180a9502b140af6", + "0x2943e1f4a814da054487d8c143f87d2605630152a0563015ee1f0a0152a05", + "0x1b52a07038140ead0f87d2a053b8149a1f0fa540a6e028fc3e1f4a8152605", + "0x1f4f8075687cf8054a814f8050c07c3e950287c0e1f42050fe6d8e1f8fa7c", + "0x2bc3e7e02a540a7e02ab83e1f4a8143e070fa30261136c7514181b9b52a07", + "0x2943e1f4a8144e056107c0c3e1f89c486e4a8148e055807c8e054a814fc05", + "0x900a95028900ac40f87d2a05030147e1f0fa540a3e02a943e1f4a8147e05", + "0x2943e1f4a81470056387c6238179b52a05160158c1f160152a05120158a1f", + "0x1d2a0517815d21f178152a0517815901f198152a050fb483e1f4a8146205", + "0x1460056387c60261d1b52a05198e43e6d7507c66054a81466054d07c722f", + "0x7d12054a81512057787d12054a814802603bb03e4002a540a1f7587c3e95", + "0x7d14054a81514055707c3e950287c0e1f248163c462281d2a07448e80ef0", + "0x7c3e9502a1c0ac20f9510c4d43a14dc95029280ab00f9280a9502a280aaf", + "0x152a0542815881f0fa540a54028fc3e1f4a8150c055287c3e95029340aa5", + "0x7c3e95029e40ac70f9c8ea7936a540a4f02b183e4f02a540a8502b143e85", + "0x2540a7502ba43e7502a540a7502b203e7002a540a1f7907c3e95029c80aa5", + "0x19c0ac70f99cd46636a540a7037914daea0f9c00a95029c00a9a0f9bcea07", + "0x2700a9502a700aef0fa700a9502800d4077607c00054a8143ef30f87d2a05", + "0x7d2a07230bc0e170f87d2a050f81c3e9f02c7d3c9d03a540e9c3301de01f", + "0x14301f0fa540a1f0387c3f210fa540e9e3a81c2e1f0fa540a1f0387c3f20", + "0x2880a950287df41f508152a050f9283ea002a540a37028503e3702a540a37", + "0x7d4aa403a540aa302a1c3ea302a540aa25081d0a1f510152a0551014fc1f", + "0x1550052787d50054a8154c052a07d4c054a8154a054307c3e9502a900a4d", + "0x600a95028600a380fa800a9502a800a180fa740a9502a740a2f0faa40a95", + "0x152a051b814301f0fa540a1f0387d5218502752605548152a0554814621f", + "0x14301f560152a054e8145e1f558152a050fbe43eaa02a540a37028503e37", + "0x31c3e1f4a8143e070f87e44050f8443eae02a540aab02a5c3ead02a540aaa", + "0x152a051b814281f1b8152a051b814301f0fa540a7502b1c3e1f4a8153c05", + "0x152e1f568152a0557814301f560152a054e8145e1f580152a050fa643eaf", + "0x158e1f0fa540a2f02b1c3e1f4a8143e070f87e44050f8443eae02a540ab0", + "0x3080a95028dc0a140f8dc0a95028dc0a180f87d2a053a8158e1f0fa540a46", + "0x2540a1f0387c3f230287c221f628152a0561014301f620152a054f8145e1f", + "0xdc0a140f8dc0a95028dc0a180f87d2a05450159e1f0fa540a2f02b1c3e1f", + "0x31c0a950287dfc1f628152a0563014301f620152a05248145e1f630152a05", + "0x15961f570152a05638152e1f568152a0562814301f560152a05620145e1f", + "0x2540ac96501d9c1f650152a050fa6c3e1f4a81590056607d92c803a540aae", + "0x7d5a054a8155a050c07d58054a81558051787d98054a81596051607d9605", + "0x7d2a050f81c3ecc0c2b5589302b300a9502b300a310f8600a95028600a38", + "0x3380a2c0fb380a9502a3136076707d36054a8143e9b0f87d2a053f0159e1f", + "0x152a0509814701f088152a0508814301f0f8152a050f8145e1f678152a05", + "0x152a050fa6c3e1f4a8143e070fb3c26110fa4c0acf02a540acf028c43e13", + "0x7c3e054a8143e051787da4054a815a2051607da2054a81508d003b383ed0", + "0x1fc3e9302b480a9502b480a310f8500a95028500a380f9fc0a95029fc0a18", + "0x7d26054a81526054d07cdc0503a540a0502ba43e9302a540a1f6907da414", + "0x3b03e7e02a540a1f7587c3e95029f40ac70f9f4f87736a540a933707cdaea", + "0x1648840a01d2a073f9dc0ef00f9fc0a95029fc0aef0f9fc0a95029f8f807", + "0x600a9a0fa280e074a8140e057487c30054a8143ef20f87d2a050f81c3e37", + "0x143ef30f87d2a05460158e1f4604c226d4a814308a0a1b5d41f0c0152a05", + "0x2540e240881de01f120152a0512015de1f120152a052384c0eec0f91c0a95", + "0x2540e0602c9c3e063681d2a05368164c1f0fa540a1f0387c7c05928fc4e07", + "0x4a43e9503a100a070b87c3e95028b00aa90f87d2a050f81c3e2f02ca05805", + "0x1b40b270f87d2a050f81c3e1f9507d2a071f81c0e170f87d2a050f81c3e1f", + "0x7c3f2c0287c221f0fa540a3802aa43e1f4a8143e070f8c40b2b1c0152a07", + "0xe40a95028cc0af60f8cc0a950287e5a1f0fa540a3102aa43e1f4a8143e07", + "0x7c3e950287c0e1f1c89c0e051c8152a051c815ee1f138152a05138145e1f", + "0x31c3e1f4a814da051f07c3e950287c0e1f0fcb80a1f0887c3e95029b40a3e", + "0x15521f0fa540a1f0387c3f2f0287c221f0fa540a0702b1c3e1f4a8147e05", + "0x7d2a050f81c3e1f9807d2a07420140e170f87d2a05368147c1f0fa540a2f", + "0x2540a3a02bd83e3a02a540a1f4c87c3e950281c0ac70f87d2a051f8158e1f", + "0x2540a1f0387c4c27038144c054a8144c057b87c4e054a8144e051787c4c05", + "0x15ec1f180152a050fbe43e1f4a8143e070f87e621f4a81c7e070385c3e1f", + "0x1c3e401381c0a4002a540a4002bdc3e2702a540a27028bc3e4002a540a30", + "0x1180a95029140afc0f9140a9502a240afb0fa240a950287df41f0fa540a1f", + "0x7c3e950287c0e1f2309c0e05230152a0523015ee1f138152a05138145e1f", + "0x7d2a05038158e1f0fa540a8402b1c3e1f4a814da051f07c3e95028140ac7", + "0x7d2a05028158e1f0fa540a1f0387c3f320287c221f248152a051f0145e1f", + "0x2540a1f7f07c92054a8146e051787c3e950281c0ac70f87d2a05368147c1f", + "0x150a054a8150a057b87c92054a81492051787d0a054a81494057b07c9405", + "0x7cda054a8143e9b0f81c0a950287c0a074287c0a054a8143e4a0fa149207", + "0x7c3e054a8143f330fa4c0a05498152a05498152e1f498152a05039b40ece", + "0x1f83e1f02a540a1f9a07c0a05028140a950287c0ad10f87c0a950287c0a7e", + "0x14fc1f0f8152a050fcd43e05028140a054a8143e056887c3e054a8143e05", + "0x7c0a7e0f87c0a950287e6c1f028140a0502a540a1f02b443e1f02a540a1f", + "0x7cde703387d26383819c3e93138140a05028152a050f815a21f0f8152a05", + "0x19c3e931c1c0ce1f49cdcda070287cde703387d26383819c3e930f9b40e05", + "0xe0e0670fa4e726d038143e6f3819c3e931c1c0ce1f49ce0da070287cde70", + "0x1e4e0670fa4ccc06031d4e0670f9f2764a0287e746d038143e6f3819c3e93", + "0x19c3e6ea01280a1f9f9280a1f9f1280a1f9e9280a1f9e1dcdc933681c0a1f", + "0x1c0a1f4299c3e6d030b070670f9ba82933681c0a1f3c9c0ce1f49818ea70", + "0x19c3e7ca19dcdc933681c0a1f3c9c0ce1f498b00c243a9c0ce1f3e509266d", + "0x7cf21f0399822110fa4e88773724cda070287cde703387d262c03090ea70", + "0x2944a0287e924a0287e904a0287e8e4a0287e8c1f250140c05a29b40e05" ], "sierra_program_debug_info": { "type_names": [], diff --git a/crates/blockifier_test_utils/src/contracts.rs b/crates/blockifier_test_utils/src/contracts.rs index efbf6c59b1b..14c6222748e 100644 --- a/crates/blockifier_test_utils/src/contracts.rs +++ b/crates/blockifier_test_utils/src/contracts.rs @@ -116,9 +116,9 @@ const EMPTY_ACCOUNT_COMPILED_CLASS_HASH_V2: expect_test::Expect = expect!["0x63508c449d5e584fb0e4fac90e3cc6c46fbfbe8a7215e7f74b13391ab3a3071"]; const BLOCK_INFO_TEST_CONTRACT_COMPILED_CLASS_HASH_V1: expect_test::Expect = - expect!["0x552616f711be96ee49c1284da676b288fdbe8ed00296677abf3e9259e3a1255"]; + expect!["0x5a89da92ac02d9c20b36b04230733af6f433d5951643287192b8e50fbbcd085"]; const BLOCK_INFO_TEST_CONTRACT_COMPILED_CLASS_HASH_V2: expect_test::Expect = - expect!["0x2382bf2abcf5317f7aee94d938dacf19ec456b5148e50b6313526d8dd29f534"]; + expect!["0x384e53233b1e2c3e5434e8bc863239d01158e5e7311ad6c3c993105f8b88905"]; const ERC20_COMPILED_CLASS_HASH_V1: expect_test::Expect = expect!["0x266f53b3f6cc2367c334b75ea86aff748ca27aa321019778af81be69d549159"]; diff --git a/crates/starknet_os_flow_tests/src/tests.rs b/crates/starknet_os_flow_tests/src/tests.rs index 42f43c87068..ddadc331e99 100644 --- a/crates/starknet_os_flow_tests/src/tests.rs +++ b/crates/starknet_os_flow_tests/src/tests.rs @@ -1,4 +1,5 @@ use std::collections::{HashMap, HashSet}; +use std::fs; use std::sync::{Arc, LazyLock}; use assert_matches::assert_matches; @@ -12,7 +13,8 @@ use blockifier_test_utils::cairo_versions::{CairoVersion, RunnableCairo1}; use blockifier_test_utils::calldata::create_calldata; use blockifier_test_utils::contracts::FeatureContract; use cairo_vm::types::builtin_name::BuiltinName; -use expect_test::expect; +use expect_test::{expect, Expect}; +use itertools::Itertools; use rstest::rstest; use starknet_api::abi::abi_utils::{get_storage_var_address, selector_from_name}; use starknet_api::block::{BlockInfo, BlockNumber, BlockTimestamp, GasPrice}; @@ -84,6 +86,7 @@ use starknet_committer::block_committer::input::{ use starknet_committer::patricia_merkle_tree::types::CompiledClassHash; use starknet_core::crypto::ecdsa_sign; use starknet_crypto::{get_public_key, Signature}; +use starknet_os::hints::enum_definition::AllHints; use starknet_os::hints::hint_implementation::deprecated_compiled_class::class_hash::compute_deprecated_class_hash; use starknet_os::hints::vars::Const; use starknet_os::io::os_output::MessageToL2; @@ -117,6 +120,27 @@ use crate::utils::{ update_expected_storage_updates_for_block_hash_contract, }; +const UNCOVERED_HINTS: Expect = expect![[r#" + [ + "AggregatorHint(DisableDaPageCreation)", + "AggregatorHint(GetAggregatorOutput)", + "AggregatorHint(GetChainIdFromInput)", + "AggregatorHint(GetFeeTokenAddressFromInput)", + "AggregatorHint(GetFullOutputFromInput)", + "AggregatorHint(GetOsOuputForInnerBlocks)", + "AggregatorHint(GetPublicKeysFromAggregatorInput)", + "AggregatorHint(GetUseKzgDaFromInput)", + "AggregatorHint(WriteDaSegment)", + "DeprecatedSyscallHint(DelegateCall)", + "DeprecatedSyscallHint(DelegateL1Handler)", + "DeprecatedSyscallHint(Deploy)", + "OsHint(GetClassHashAndCompiledClassFact)", + "OsHint(InitializeAliasCounter)", + "OsHint(LoadBottom)", + "StatelessHint(SetApToSegmentHashPoseidon)", + ] +"#]]; + pub(crate) static NON_TRIVIAL_RESOURCE_BOUNDS: LazyLock = LazyLock::new(|| { ValidResourceBounds::AllResources(AllResourceBounds { @@ -156,6 +180,27 @@ fn division(#[case] length: usize, #[case] n_parts: usize, #[case] expected_leng assert_eq!(actual_lengths, expected_lengths); } +/// Tests that the set of uncovered hints is up to date. +#[rstest] +fn test_coverage_regression() { + // Iterate over all JSON files in the coverage directory. + let covered_hints = fs::read_dir("resources/hint_coverage") + .unwrap() + .map(|entry| entry.unwrap()) + .flat_map(|entry| { + serde_json::from_str::>(&fs::read_to_string(entry.path()).unwrap()) + .unwrap() + }) + .unique() + .collect::>(); + let uncovered_hints = AllHints::all_iter() + .filter(|hint| !covered_hints.contains(hint)) + .map(|hint| format!("{hint:?}")) + .sorted() + .collect::>(); + UNCOVERED_HINTS.assert_debug_eq(&uncovered_hints); +} + /// Scenario of declaring and deploying the test contract. #[rstest] #[tokio::test]