google / xls

XLS: Accelerated HW Synthesis
http://google.github.io/xls/
Apache License 2.0
1.21k stars 178 forks source link

Crash in BDD construction during optimization. #237

Closed meheff closed 1 year ago

meheff commented 3 years ago

Might be OOM or stack overflow. found by fuzzer. Crasher attached. Backtrace:

Unhandled exception: @ 0x56493ca85c62 GoogleTerminateHandler() @ 0x56493cb4e028 third_party/llvm/llvm-project/libcxxabi/src/cxa_handlers.cpp:59 std::terminate() @ 0x56493cb4d7bb third_party/llvm/llvm-project/libcxxabi/src/cxa_exception.cpp:152 cxxabiv1::failed_throw() @ 0x56493cb4d735 third_party/llvm/llvm-project/libcxxabi/src/cxa_exception.cpp:283 cxa_throw @ 0x56493cb10278 third_party/llvm/llvm-project/libcxx/include/stdexcept:269 std::u::throw_out_of_range() @ 0x56493cb35c10 third_party/llvm/llvm-project/libcxx/include/vector:321 std::u::vector_base_common<>::throw_out_of_range() @ 0x56493c7920aa xls::BinaryDecisionDiagram::GetOrCreateNode() @ 0x56493c79240f xls::BinaryDecisionDiagram::IfThenElse()

Minized sample: package sample fn __sample__main(x0: bits[37], x1: bits[1660]) -> bits[11] { x4: bits[690] = bit_slice(x1, start=970, width=690, id=387, pos=0,5,26) zero_ext.6807: bits[690] = zero_ext(x0, new_bit_count=690, id=6807, pos=0,8,32) x8: bits[690] = and(x4, zero_ext.6807, id=125, pos=0,8,27) x10: bits[340] = bit_slice(x1, start=1022, width=340, id=130, pos=0,12,27) x15: bits[43] = literal(value=0, id=5735, pos=0,16,22) x19: bits[1763] = concat(x4, x8, x10, x15, id=1111, pos=0,20,49) one_hot.240: bits[1764] = one_hot(x19, lsb_prio=true, id=240, pos=0,31,26) ret encode.241: bits[11] = encode(one_hot.240, id=241) } [3d3c3e66_crasher.tar.gz](https://github.com/google/xls/files/5731820/3d3c3e66_crasher.tar.gz)
vincent-mirian-google commented 1 year ago

Modified crasher to support:

  1. top argument in ir conversion
  2. casting for signedness
  3. new ternary syntax
  4. new tuple index syntax
// options: {"input_is_dslx": true,  "ir_converter_args": ["--top=main"], "convert_to_ir": true, "optimize_ir": true, "use_jit": true, "codegen": true, "codegen_args": ["--use_system_verilog", "--generator=pipeline", "--pipeline_stages=10"], "simulate": false, "simulator": null, "use_system_verilog": true}
// args: bits[37]:0x40_0000; bits[1660]:0x1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2_0000; bits[1660]:0x2000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2000; bits[1660]:0x28_0010_0220_3103_0002_0010_0000_810c_0100_0342_2041_0440_0100_0000_0400_00c1_0000_0008_0800_1800_0001_5081_802c_0080_0200_0080_4a00_1281_0000_2040_0414_8000_0220_2014_0506_0200_0100_0608_9009_9000_0290_0000_0201_0401_03c0_2000_1080_0000_0000_2000_0040_4000_201c_0008_0804_8080_0800_0804_4000_3808_0100_2420_0100_4008_0000_0100_0000_0400_0104_1000_4020_0000_016e_0281_5440_2000_2580_1000_0002_0040_0a00_0800_0203_2089_142c_0000_2800_0080_1000_0001_0402_0011_0008_0252_0080_0000_0200_0018_2000_c812_0028_0424_4001_0440
// args: bits[37]:0xf_ffff_ffff; bits[1660]:0x7ff_bfff_bf88_8800_0020_1000_0800_0200_0000_0000_0000_0000_0000_0400_0000_0100_0000_8018_0008_0000_6000_0820_4000_0004_0080_2040_0101_8001_0000_0084_4000_0001_0000_0404_0102_2000_0000_4000_0000_0600_0000_0000_2200_0008_0000_8000_2000_0010_0000_0003_1000_4000_0000_1000_1000_0000_8080_0100_0000_0000_2140_1000_0000_0080_0000_0000_0001_0022_0010_0000_1000_0000_0002_0001_0000_0080_0004_0000_0002_0000_2200_0100_0020_0010_0050_0000_0000_1040_0000_0000_0001_0000_0002_4400_0000_0800_0080_0200_2000_0008_0010_0000_8400_0008
// args: bits[37]:0x2000_0000; bits[1660]:0x8000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x40_0000; bits[1660]:0x602_8a54_0038_aa88_0140_0c23_0042_61d8_02dd_5a10_1c8c_5418_4689_0540_d23d_bc28_4f80_0122_40e4_4b40_5006_4308_0968_4080_481a_03c0_0238_8482_0801_0804_a0a8_c721_8726_0200_8030_5118_58d2_aa7b_1022_a040_1289_8a52_49b8_9009_003a_2104_5801_6100_460c_2046_4092_4c01_4452_0030_0938_0804_4255_8460_501d_8159_3220_803e_1460_2528_a001_2901_9a02_5810_e444_8ef6_b502_c06d_0110_1102_b200_204c_2806_0a27_0e63_4043_0305_8481_a116_4022_8018_c046_025b_8001_2020_c425_b401_a828_62d0_1199_912a_f420_c018_2022_4278_00a6_2001_5400_4290_c0f7
// args: bits[37]:0x40; bits[1660]:0x100_a200_04d0_8116_2018_2e09_0d8e_8082_9010_066d_0408_0c68_8224_2043_2404_2045_1011_00d0_0802_8000_0280_c000_8000_2005_b004_4238_3054_0b00_0045_c204_9591_0090_4181_0825_a038_0040_105a_0100_4c00_0052_1084_0524_0020_0701_2411_0820_c001_8081_001c_2430_10ec_e011_0008_5dc2_0000_4441_5808_0802_d091_4041_0050_4856_1820_058c_02c1_4800_0800_008c_8120_0240_1405_5280_9210_a00e_8852_88c1_1000_0043_409c_4088_1015_7211_5c01_0080_8000_1010_0432_1406_c4a4_0610_4380_0c08_3000_4104_3042_0110_0610_a02a_c8c0_0883_0500_6150_1d03_8020
// args: bits[37]:0x1f_ffff_ffff; bits[1660]:0x200_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x10_0000_0000; bits[1660]:0x2000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x200_0000; bits[1660]:0x80_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x4; bits[1660]:0x200_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x100; bits[1660]:0x40_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1000; bits[1660]:0x1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x200_0000; bits[1660]:0x800_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1; bits[1660]:0x1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x20; bits[1660]:0xca1_0880_a011_e0a9_87c8_88aa_6466_1844_249a_5ad8_f454_b2e9_b21a_c89a_4466_2800_0ae7_b958_068a_90ca_d9c1_1861_0092_2030_4511_752a_91fe_98fc_9225_cac0_ad0c_3610_6ed2_f154_0ec5_050c_141b_1330_8700_0c16_1208_99a6_14a0_080e_c0fd_bc21_6002_e802_e11a_7698_0dae_0305_6108_53ab_1db0_849a_8d23_d1e1_7766_b8a7_cb50_abce_ed14_88a9_016a_064d_3643_5908_6b3a_000e_a3d7_f016_0a50_1d39_a102_0e84_8c40_0910_e34e_4290_4265_7a13_5a8e_0405_ec9c_0cb4_096a_a8a2_766a_e822_e809_7b45_c651_7a7a_8920_0d7a_16ab_265c_5086_72a2_0188_00e3_5a59_25f0
// args: bits[37]:0x1; bits[1660]:0x4000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x10; bits[1660]:0x800_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x200; bits[1660]:0x400_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x400; bits[1660]:0x6_c008_4201_0090_0008_3061_8802_0430_0002_9808_0243_81d0_0000_1040_4100_0008_00c0_4003_0804_0800_1000_84a9_4388_c880_084c_2160_1000_8682_5082_c800_0e24_0600_0008_8008_1020_c000_0ae2_2905_7030_0429_4c87_3021_0508_0015_1402_4002_029c_2000_6014_1047_0000_8202_00d1_0002_8202_a280_0800_0000_3020_4103_0080_0104_0020_204c_2020_0100_c801_f021_2121_1000_0808_0b00_1020_0100_080d_0080_0004_2812_c445_9800_5800_1242_0900_0001_71c0_0820_0009_8402_1c22_8120_4100_4481_0921_0221_80c8_0108_0030_208c_0843_2200_0808_2239_0202_0084
// args: bits[37]:0x2_0000_0000; bits[1660]:0x50e_2765_e914_60b3_cf1c_f5ff_984e_2503_8102_3379_cb5e_41dd_23a9_54ef_8eec_549e_36e7_356e_942a_05d0_cc47_6a09_ef3f_22a3_0e03_3535_7d98_215b_c073_66ac_a9a5_f32b_0b37_9f3a_1aa2_e565_1ffc_b01e_047f_72b7_ca5a_59ce_28c1_0e37_d2e4_1209_afc7_6ecd_edb6_665e_7897_2dd0_7249_2e3a_3a8a_248d_69dd_44e6_590d_9f35_424a_ec90_df10_5571_7700_f4be_6212_87d3_a41f_2c5c_6c76_77dc_8ae6_eba1_8c3b_29f0_0dc8_69bd_ce2a_5b17_0a10_b776_3950_3036_20bf_3fa0_f9e6_5e0d_92fe_d3a0_ad6f_b156_d05c_730e_5db3_7d22_0bea_3c21_8994_df7e_d2b8_8398_c142_bbbe
// args: bits[37]:0x40; bits[1660]:0xc11_e960_2000_0035_5511_0c02_4308_0c82_0005_0d23_11b0_0080_0011_4220_0010_026c_b004_000d_0480_4284_2413_0024_9241_0d40_0336_a022_9408_9052_9202_e130_0208_0810_4a0c_8061_40a0_1300_1414_3ec2_4820_b010_1042_1000_2085_0200_1140_4342_f280_0e05_8081_4414_aab2_4480_aa40_cc81_900a_70a8_3550_6000_2808_3000_8420_2c6c_a0d0_3084_0386_0118_0270_0485_8a00_0530_4012_100a_0000_00a0_01d0_40cd_0a00_1890_0638_e2d2_e0a4_4624_8020_6410_2418_1041_0005_0401_2802_b100_b100_9000_1940_3449_ae01_0022_010c_1000_e4cb_0052_1810_0908_0308_5600
// args: bits[37]:0x100_0000; bits[1660]:0x2000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x4_0000_0000; bits[1660]:0x200_0a02_0408_0000_2821_440a_0400_0082_38c0_0015_2c02_0000_0002_1170_1008_0281_1010_0800_0020_0480_0402_0402_0000_4554_6198_2094_1000_8820_0030_0280_0010_4000_0008_2000_40a4_0174_9002_0001_0002_0000_8000_8001_0001_2001_0800_8202_004c_1006_1104_0210_0800_0002_8a20_1104_1002_4800_0905_1410_4200_0000_8502_6000_2260_4204_4000_0880_4200_2054_0064_2010_20c0_4402_8330_0020_2a08_3000_0048_084c_0940_0030_1800_2100_0140_1940_a100_3041_8080_2070_08e1_2240_6064_4200_0500_4468_8010_2019_0020_008c_4000_e014_2680_0000_0210_8000
// args: bits[37]:0x400_0000; bits[1660]:0x10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x100; bits[1660]:0x2000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2; bits[1660]:0x9e1_1c60_cb20_28ac_0770_0b14_0164_1c08_ec0b_04c4_8580_5dad_9235_002c_105a_dd30_1104_1004_4180_2838_b37b_406a_899e_12b0_2192_e805_02c3_3f31_082f_7e20_7033_5130_10b1_9120_aa0a_5338_3c1b_8402_4c89_1400_9564_e66c_6478_4228_d482_0065_469e_3b27_0224_3480_2102_81b0_c996_28f6_c189_8a98_d3e8_a5d6_fe08_7181_2185_b456_3a8d_f3b7_4541_d6f4_aabe_0a4e_1752_d560_4118_2dba_d091_a91e_6c5d_0924_006e_3ab8_900c_88a3_468e_609c_6520_0381_bea6_6412_9412_9a84_5c91_0b95_6e39_d440_eca1_812c_4081_8aa0_ac7c_d487_daf9_549f_a243_160a_c138_1446
// args: bits[37]:0x800; bits[1660]:0x80_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x800; bits[1660]:0x80_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x800_0000; bits[1660]:0x417_1800_2c2e_0400_0100_3448_8004_af00_0a01_e002_4ca2_0c00_0600_0020_8800_4893_0200_2606_0040_0040_1010_4008_1a00_0a90_6602_0f48_1204_0041_8200_2902_004a_1060_c841_1031_a251_0640_0900_7100_1424_0400_b201_8082_1284_4880_0008_5650_8180_2580_164c_4040_010a_0400_0000_c203_2040_3420_3403_181b_0520_8413_b0cc_8041_2495_3282_0190_0020_1a28_157c_1051_0400_6004_408a_0480_02e5_4502_1500_0202_0084_a480_9405_0306_2a02_5040_842b_2020_1331_8048_5014_0048_0280_0081_012a_801a_0402_9962_8301_729b_3000_285c_000c_1490_1084_8000_40cc
// args: bits[37]:0x4_0000; bits[1660]:0x61b_0803_28e1_a1c0_0202_1868_00b0_8048_9022_8020_c800_5003_0548_1508_1140_a082_0040_8180_2010_0161_0200_1428_0808_5aa2_6401_4001_4004_4008_4000_0000_0409_0019_8c00_1003_5c08_1106_8000_0c04_0040_082a_9111_0a00_1082_20a8_4001_0882_0028_0088_1838_a000_5623_0082_0081_41d0_1110_0404_4e9a_0201_4000_8b01_4000_4008_2240_0c00_0088_1000_2500_0108_3140_5001_1882_0002_4000_9000_4a00_2104_0100_0020_0014_0104_0032_0100_0080_e010_0008_8151_0000_0121_6210_8100_0267_0203_0200_c420_0288_8211_4112_0280_2028_40a0_1060_0400_2246_2020
// args: bits[37]:0x10_0000_0000; bits[1660]:0x20_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1a_17bd_32f8; bits[1660]:0xd09_9fa8_7d00_0008_a304_0820_0000_0000_0010_0000_8000_1020_0200_6000_4010_0000_0000_4000_0800_5000_0800_0480_0000_0000_0000_0100_0204_0200_0004_0100_0000_0000_0400_0400_0040_0401_0800_0400_0a00_8000_0001_8608_8048_0004_0200_0400_0020_4000_0008_0000_0040_0000_0040_1000_0000_0000_0002_8100_0044_0000_0100_0440_0001_0008_0000_4000_0000_0008_41ca_2000_0004_0000_0000_0000_0000_a182_8040_4822_0100_0080_0004_0104_1801_0202_0001_4000_0000_0401_0028_2000_4101_0000_0000_0083_0000_0000_0220_0000_8804_0000_0880_0000_0002_1a00
// args: bits[37]:0x4_0000_0000; bits[1660]:0x226_00a8_e040_9001_0140_08a0_9f2c_8445_0098_8940_5964_b006_ca04_001a_000a_2008_a20d_0804_2b78_ad84_125c_bc10_0b0c_2218_420d_622d_8e00_8426_0b02_3c20_4090_00b0_1500_8810_8882_d382_5460_e4a0_006d_7401_0b04_f28c_0811_2105_8094_6626_418b_8560_0821_c830_8114_4411_a374_e5c0_0063_3b1a_8011_0360_0c28_1840_4068_0c41_3080_0c64_d9e8_bc27_0031_6204_88ad_5b90_8417_a228_b1d4_1f00_0610_9320_00e4_2600_6824_0810_0142_5208_3a88_040c_2144_0c00_5479_8650_3850_30e6_ee01_0cd8_a460_6592_8035_4600_c001_9363_5588_6708_8210_2481_5909_a800
// args: bits[37]:0x15_5555_5555; bits[1660]:0x80_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x4_0000; bits[1660]:0x9ae_0e65_b10b_2ca7_a068_5310_16e1_ea07_9e99_4d75_4ad7_2cd8_902f_30c7_e2dc_bb3e_d244_ecc4_a6ac_68e4_ee18_e12f_7c32_b544_489a_6642_27b3_b7f4_ecf0_5373_288a_c2b4_9af8_ed65_2af9_e3af_515e_f5e9_0a47_b289_d8f1_4723_1b10_e2d0_296d_acf2_c92a_277c_1164_51f7_d40b_4dc8_d828_02bf_f6d1_db1a_e00d_d49e_4c70_a38b_c6a9_8a41_907d_6101_adf5_d294_458d_20c6_2480_747e_0299_ed89_b062_5815_871a_8c37_bd45_ef51_1c00_9c11_aa7a_13fa_6e28_c958_ee63_a325_6d0c_8e9f_c636_1f58_21ca_8045_9b3d_d831_a33e_ccf0_38fb_50d4_8c01_148b_5dd7_3b76_1e32_30d9
// args: bits[37]:0x80_0000; bits[1660]:0x7dc_8590_0b28_460b_0830_0104_b084_f008_c207_020e_1e90_0620_1031_a6e4_c84c_7089_c518_5142_c0c0_3d81_0027_2044_2a70_da19_0dc0_1d30_8a00_660f_4a00_8928_0238_1200_e108_d512_0c08_1f00_081d_4166_b115_9502_2d40_8001_a846_4237_9185_0041_2ea4_10b0_26ee_1042_d422_c200_9506_543c_0111_442a_4db7_8690_0900_0202_4ac8_1516_a180_3ae3_9124_daa9_20c2_1500_6844_8210_9a5e_4fa0_ca02_0230_81c2_5906_4790_a676_b54e_9022_4105_4359_0368_4125_e608_a1c0_0202_84dc_8682_f349_b280_4111_140e_c610_e802_2035_200a_2028_7802_2441_950a_3382_8010_01b0
// args: bits[37]:0x1a_bcb7_eeeb; bits[1660]:0x800_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x200; bits[1660]:0xa25_8003_8020_0530_8c24_0000_0002_5994_2300_00c0_0296_0006_0002_20a0_14a0_8824_0100_6608_8058_8800_0008_8200_4180_8800_2051_0100_0004_9000_0048_6460_1094_00c0_0094_0940_0008_2480_1041_0000_1020_4891_0104_2441_0120_0020_4100_0020_1000_0600_0080_0549_09a1_0000_8168_1000_0220_480b_0902_0000_0010_0082_0830_0408_2110_0550_9004_4000_3012_0492_0000_0040_4a03_1011_0400_2182_0100_0000_1850_1220_8181_1000_0128_500a_0088_0182_8130_5090_3242_9204_0800_8116_1008_0005_2002_2000_8060_8942_0102_0030_4c00_0860_2410_8004_0035_2000
// args: bits[37]:0x4_0000; bits[1660]:0xf2c_53ba_58da_4f0d_0c92_98c7_0601_e86e_d6b9_bc5b_e9dc_1559_e6fb_5c15_e9d4_41c4_14bf_80cd_9d98_af81_4bc6_5645_9323_78af_f60e_7a8e_e0a9_cfe3_758d_1cfa_a06c_87b0_46b4_e442_45f2_283b_992c_05b9_7696_2d0c_a9b0_e42f_89c6_868a_8573_a7b8_e48c_68f6_8c92_960f_0de7_f387_d345_706b_4497_0bcd_f5fb_d82c_7c2b_3c3f_0a9b_1ad5_a328_df93_e8e3_e18f_93ea_3b61_f976_65f8_476b_9057_9636_2b5c_f9ca_98c7_3ca2_ec4a_5925_e405_167e_7628_a4d4_c50a_c361_d545_af30_324f_8d89_edc8_005b_2230_5a37_8477_e809_48c0_67b0_04e2_93c8_3321_9791_fdf1_4ea8_d5bc
// args: bits[37]:0x80; bits[1660]:0xa1_2010_6024_8000_0000_1480_7080_0a88_0880_00a0_0081_00a0_5400_0000_1818_2000_0000_8082_0080_0410_2000_8000_1009_04c2_0600_0020_8028_1c80_3140_0490_b000_1210_2028_0002_2050_000a_000c_1440_4104_1051_001c_0010_c020_2208_0110_8800_0008_1122_0811_9184_0000_9030_0084_1440_2010_0408_5040_0000_2000_8040_0403_20c0_8140_020a_4048_0180_0000_0082_0402_0200_0000_90c1_4086_0801_98c8_3044_0090_0608_0000_8000_8000_8020_0089_2100_0002_2150_1030_7010_0001_0011_0400_2190_0011_1042_0803_0000_1004_0000_0048_0013_0221_2480_2004_0000
// args: bits[37]:0x1_0000_0000; bits[1660]:0x388_1c00_0020_4800_8800_4001_0840_4100_0080_0000_0020_9050_1020_0050_1540_a020_8000_0a00_1c20_4008_0020_0102_0400_0088_0a90_8100_1208_2080_c800_08ac_8a14_2302_0200_02c0_d808_0042_1000_0842_1400_5002_4009_0127_0100_0142_0080_0228_0243_0400_6040_6042_0040_0211_4040_4191_0406_2014_8800_92c0_4e09_0145_6840_8016_1211_0105_2060_5000_0442_1220_64c0_1805_9201_8000_8800_1006_0414_1268_0400_4036_8602_0048_4501_20b1_823d_1120_0119_4120_0051_2044_0107_80d3_4040_2226_2c20_0808_2001_c810_b004_6044_2085_1742_0204_8082_0812_3008
// args: bits[37]:0x8000_0000; bits[1660]:0xae0_1808_34c0_0625_2030_c180_4243_1009_40a1_4800_0c41_0304_8142_0d82_a2b0_1140_0902_2001_1453_810c_6000_6028_0200_0182_150d_4250_0351_0011_2133_1564_2a20_0206_4000_8056_1a0a_a000_1204_0190_4219_0200_2971_0403_2435_12d0_2039_210c_0466_88a0_4440_0000_3816_0402_c809_0063_400a_4c08_0005_c401_04c1_2a01_7640_2e08_440a_0200_0000_8882_0896_0066_0078_1227_8c10_9540_4084_9008_00e0_0185_b551_ec2c_1571_8500_0112_2402_226c_3084_0c41_0022_4002_400a_a00b_29a5_0616_9b92_0b2a_4400_c255_e419_0721_0482_8009_001e_4090_8202_0b20_c6c0
// args: bits[37]:0x800; bits[1660]:0x8000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x8_0000_0000; bits[1660]:0x608_b064_a700_9183_7100_42e6_8812_8867_0012_0298_0a83_2000_6842_1001_2ae4_01a5_0090_c214_0445_3408_8e25_2011_0016_8142_2206_2229_a2cb_82a6_0104_8354_cc60_30d2_428f_8424_26db_6220_3199_0228_810c_4021_7b66_0000_0a0b_4054_6209_0ce8_8232_0000_0880_0280_0f09_6406_a006_d208_0100_88b4_7020_c58e_3908_e082_3201_0d06_c820_302c_9041_a518_4925_0609_8022_4548_8470_2090_1088_1080_8210_d020_0309_9881_0900_cd07_80c1_7d0e_620e_0023_3c54_092f_5209_c258_41a3_821a_5043_0080_d213_10a6_0888_0008_e009_4003_1808_8211_a14e_12c1_8c08_0290
// args: bits[37]:0x17_25fd_406d; bits[1660]:0xd14_2b65_2573_0250_e489_68b7_5331_8c8e_93db_63e9_55b1_4810_cc25_026c_5a70_d5d8_f1f5_dab3_a109_671b_5ca8_a23c_f1e2_8676_42c2_95a7_ea55_eada_1cce_9476_1ec8_7add_cd8e_3cdd_dae4_3b7f_7b17_fd7e_8a59_163d_1e7b_4b68_ca16_1ff3_6392_9447_c6e5_1f0b_8cca_9966_cf6d_817a_e33d_5fc1_a129_9de2_4027_e146_3b5e_b4a7_de4f_b16f_e08e_a9c4_dcc9_a454_7ff9_da75_f247_19d2_99d0_c66b_31f3_9f86_7e35_5227_d4b8_d9b2_702d_dedf_aa70_c075_e63a_b9e8_e44c_3027_96f7_0536_e76e_97d1_21d9_17ca_9a18_3a6b_52a1_e2ab_fdec_ef24_6e19_95a7_3580_7099_146c_4616
// args: bits[37]:0x10_0000; bits[1660]:0x20_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x10; bits[1660]:0x10_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x4_0000_0000; bits[1660]:0x4000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x8_0000; bits[1660]:0x4_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x8_0000_0000; bits[1660]:0xa20_024a_004a_0110_a101_9024_0202_2000_62a0_1121_08a4_1c10_28c2_9012_0021_0c00_74e0_0200_2811_0a08_8850_0c01_0060_6200_0180_0840_0341_0048_0010_0400_1485_2430_8202_0906_0002_6024_1159_8e44_4418_0241_0002_b000_9429_5332_1504_114c_0040_4009_0457_0e20_0220_4356_9002_0004_0000_6001_90a1_1410_40c9_a04c_0202_0007_04ac_2040_0207_0004_0680_0581_0140_0050_10c2_0040_0420_0263_4040_8000_110a_0080_40aa_0c00_4c50_484c_a100_1bc2_8004_00c4_0000_0400_d8ac_0081_080a_0002_3000_0b44_8020_0020_9200_3810_1081_2800_6444_8120_1020_c060
// args: bits[37]:0x4000; bits[1660]:0x800_5094_4e12_2009_d940_82a3_76aa_5254_1420_0016_428a_253a_2248_56a5_4286_9004_0460_8505_1a00_3408_54a9_8c24_4a00_a0a7_6e58_0030_631c_e1bb_09c1_2d8d_90d4_8492_0584_8060_0110_4c6c_5ca7_25a4_7091_8ca1_915a_f0a6_0520_04d2_00c4_9222_1016_00a0_875c_0214_1502_0420_34fb_491b_b549_4c1b_841c_0633_1108_20a0_8e48_3e53_0212_5ebd_7001_0245_0899_8ac1_ce82_03e0_a20c_2029_0502_d108_e228_488b_6784_6431_832b_5200_0064_0191_4a0b_203a_8620_54c4_a592_ad06_7c0f_028c_0252_0942_6282_7152_6000_b02a_bb50_8c20_d264_0809_1000_1b0a_c900_0c04
// args: bits[37]:0x4000_0000; bits[1660]:0x40_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x8_0000; bits[1660]:0x40_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x10; bits[1660]:0x2000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2_0000_0000; bits[1660]:0x311_8080_8000_8004_0460_0000_0910_0000_0000_010c_0000_4000_0040_4000_0000_5000_0100_1180_100a_a000_0181_0090_9088_0002_9418_0200_3010_0020_0408_4094_0000_2020_00a0_4200_4068_0000_0242_1000_4000_0800_0080_0080_0000_0000_0103_8010_0008_0020_0000_0000_4041_2040_0800_0080_5080_0282_4200_8020_1030_0140_0080_0100_0020_0008_0000_0000_0812_0080_0000_4000_0900_0c02_0888_2410_1004_1000_0040_0100_0005_8b00_1080_0080_0000_0000_400a_0020_0b08_9840_0a80_1210_0002_0800_0000_0400_7440_0000_0400_5080_0802_4020_0220_1400_1010_0400
// args: bits[37]:0x0; bits[1660]:0x9e8_1000_4349_2909_8b20_2204_c005_2206_2216_5351_4816_8627_5802_004c_1203_9584_1036_0901_0c10_0214_4842_8322_8582_ba0a_0910_0b29_0010_2246_6803_4102_1402_1460_0002_1208_0204_1b09_a010_23aa_4040_0211_c418_5822_1c20_0681_1905_0028_a11e_0084_1015_0306_009a_3c68_9346_2148_2446_140a_cd52_aca2_a248_4a89_4000_5118_8621_a070_0804_1194_a0ac_7858_68fd_62b2_a814_38a8_c202_0a01_0008_a004_e48a_a440_0a16_0016_a09c_1f49_104b_0041_000c_4c01_5012_c803_8601_c64a_4895_6405_cc83_a7d0_5074_0220_0429_1146_6291_0da2_022b_50c1_2014_4481
// args: bits[37]:0x4_0000_0000; bits[1660]:0xb0_0200_1008_008a_c880_1080_0500_0000_0020_0000_0400_30d6_0082_9080_1001_1440_0800_8188_0400_0050_0006_0401_0200_0691_0001_1020_0002_0000_0400_0100_c028_0004_2010_8000_0100_2000_0000_120c_5200_1000_1008_4000_4200_0218_0080_4080_5000_4000_6001_1004_0080_8324_0100_4104_0000_2a10_8800_1060_0000_0002_0000_8803_a008_0000_0100_0000_4002_0200_2080_1000_0000_8481_88e0_9800_8000_4070_0181_0012_0000_0280_0010_1084_0408_0824_e008_990c_0028_10c2_0000_8160_400c_0804_0800_0120_0280_1002_0000_1010_4030_0000_0040_280c_1020_04d1
// args: bits[37]:0x0; bits[1660]:0x212_62a6_211c_908a_0e02_7005_940a_00cc_702f_6402_8491_00c0_824b_7b40_1208_4108_f458_5183_0c00_acc8_6b59_b801_cd00_10ad_7a0b_e014_8050_2c80_2be2_2005_999a_ae02_4b44_048c_8290_c204_5907_a298_6780_b202_4232_6d34_a082_9481_0239_8698_0011_8210_a541_4234_9930_8c26_ac72_c080_4cc0_0498_02eb_4540_85b0_1a08_b414_4ec5_c010_0868_814c_9d08_7211_697f_c809_846e_2c08_61c9_8114_0609_0c89_9442_8c01_2886_6004_3142_b1b4_83a0_4446_9472_1284_0829_5118_0f49_1500_0010_21db_1870_c10a_10a2_2e80_4c2c_13ee_8bad_1f31_7304_0d64_ed12_4620_5340
// args: bits[37]:0x1_0000; bits[1660]:0x400_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x14_a94c_b2fe; bits[1660]:0x91e_a27b_2724_1010_c190_482c_9092_2104_9834_6988_401b_72ac_0018_8010_1490_ca18_0880_2050_0174_1a08_a010_0000_0190_0902_0152_2709_2000_e002_00b5_4401_0804_5192_7001_d107_13a0_2200_0040_2020_12e0_3160_0106_2917_5250_c030_2602_9800_2c51_8002_6000_4250_1004_2512_6100_5891_2076_544c_89b1_488c_0082_2622_e401_c082_8220_0a38_42e5_0055_4f2f_4300_0940_b101_806f_1064_8423_1030_11c5_20cb_2540_4288_0002_0600_0818_4044_8040_c304_008c_8380_60e8_30a1_9125_0381_8448_71b2_715e_5a52_0b48_2008_4007_0c00_804c_0001_1644_8486_1010_1180
// args: bits[37]:0x4_0000_0000; bits[1660]:0x1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x10_0000; bits[1660]:0xa900_0000_0400_4000_4000_0200_2000_0000_0800_0002_8400_0000_0000_4000_0000_1000_0800_1100_0000_0000_0800_0000_0011_0000_1000_0480_0004_0220_0000_1000_0000_8004_0801_8082_0000_0044_0100_0000_0000_0000_0008_0000_0000_2800_0090_0100_8001_0480_0020_0000_0000_0000_0200_0000_0000_0000_0000_1000_0000_2000_0000_0100_0000_0000_0100_0000_0001_0000_1000_0080_0004_0001_0800_0000_0200_0000_0800_0000_0400_4c00_0000_0000_4000_0010_4202_0000_2882_0020_0100_0050_0000_0000_4010_1002_0100_0000_0000_0010_0000_0804_0010_0002_0000
// args: bits[37]:0x1_0000; bits[1660]:0x604_c000_0a21_0000_0810_00a8_1e8b_4808_c109_400c_2802_8805_088c_834d_1520_1e28_0a42_0020_5090_4180_1c1c_8529_6c54_004d_1f4a_ac14_0502_6141_4546_ea05_8a40_0c40_0004_c9a0_e400_1082_8500_c048_8010_1250_1280_1465_9a50_0e44_0002_0940_1858_058b_8c80_3280_1806_2010_8004_6238_44b0_1405_0142_a910_1296_0940_0040_0089_9590_2543_a221_2916_d421_20d8_500c_06a5_3d1c_3040_3d00_2440_01a0_5081_9401_240e_2840_0ca0_4002_c08c_191c_6230_1c02_4003_4c00_5300_1025_0240_c418_1018_e280_05d0_8004_8280_8008_c461_0522_6204_0cc4_0123_2008_4140
// args: bits[37]:0x800; bits[1660]:0x1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x4000; bits[1660]:0x280_0479_27c2_0200_1816_4104_02b1_8854_0541_7064_0541_c676_9c30_910a_0ae5_ac1a_810e_47a0_e307_9043_a250_80b0_b085_8820_f889_8826_0200_4acd_0804_3003_13cd_ad00_0969_69b4_c173_08a4_82c3_0a13_d00f_0a01_0522_8b38_3104_f18e_cc10_c201_bf70_4610_2083_1860_9041_5607_5844_b012_224b_3a04_c8cc_e683_00c2_2c02_9c52_5ccb_88e0_3053_80ad_1783_420c_4388_d010_0000_48d0_2048_6924_9fc2_4492_0a95_ca7c_61d0_6201_385d_0947_c0c0_6524_9380_9182_1332_6562_3e91_3706_682f_4b82_4bc4_b208_2261_4960_0380_48ce_0c13_1549_0b22_0c80_0243_2977_4ac8
// args: bits[37]:0x2000; bits[1660]:0x28_4190_0512_840a_0013_ac10_4740_a202_6484_0100_4445_a484_0088_8d04_1e30_0c22_0028_ad85_8900_4064_2600_1a06_08c0_b1d3_7b02_0202_7608_0815_0180_0002_8024_2068_8a10_0111_1025_04bc_6442_0906_8a08_2882_8360_8016_4254_8a18_5021_2320_13a0_0403_0063_4b10_1480_2000_a059_2101_0188_b0d2_9d11_8086_0200_029c_4390_6408_3010_4c00_1066_8233_8162_9400_2122_4148_0004_08a8_011c_2e30_9a10_0804_0434_ca00_4080_ada6_d02b_e620_a820_1804_6813_0c00_54c8_5706_0040_888a_aa21_7441_4914_8440_1090_4c09_1b81_1145_9150_28a1_28a4_0831_4110_0000
// args: bits[37]:0xa_aaaa_aaaa; bits[1660]:0x400_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x10; bits[1660]:0x4000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1000; bits[1660]:0x400_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x800_0000; bits[1660]:0xd_101a_3201_5410_0000_2002_4014_0422_a0e0_0c00_a002_0144_5406_029c_c68c_c0b4_8c1a_840c_2297_2980_2009_221b_8204_402d_0a01_0860_9012_1430_0112_2262_2514_022a_0204_2808_9002_0240_93b0_9542_82c8_0028_1015_c080_0421_c460_2000_0440_1004_4109_2b00_1c01_1c09_0028_02a0_0080_0600_1320_8447_481d_6c18_0c00_2a21_4540_2800_0804_2a12_0c04_0860_8000_0022_0021_8116_2120_0980_0d42_a203_0a20_0000_081d_24c4_0000_6280_00fc_1a0e_24b0_4001_1190_4220_4300_4180_1294_08e6_8100_5984_6409_0080_0242_054a_0432_2804_000e_288e_1882_8020_2800
// args: bits[37]:0x2_0000; bits[1660]:0x4ac_4106_202f_12fe_4bc9_f45c_e53a_bc32_d424_3185_6590_7f6d_4eed_9749_cfb0_f23f_262d_dd3c_2639_4ec0_247a_3ac8_a2b6_79cf_84b9_6bb6_04b4_9722_7c45_5fbc_97e7_13f8_9d23_861d_f08a_4092_45a5_68f3_65c1_6626_65af_4525_7ecc_0477_8c48_3796_393d_e070_f906_9418_d270_42f0_e69f_2456_815e_d452_78fa_8120_775f_2b97_58e0_4174_9838_d79a_b691_ff07_b3db_266d_40de_4060_1a80_30c2_3f2d_9b1b_f30f_5b3e_f9b4_8b1a_7312_a27f_5e6d_8b03_a94e_6ab7_945c_e279_234a_dd7b_adb1_0394_3069_bf63_398b_0a00_5fac_f6bc_bded_66a2_2a1c_ea43_70f9_2438_1aa9_e8a4
// args: bits[37]:0x8_0000_0000; bits[1660]:0x10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1_0000; bits[1660]:0x80_0000_0000_0000_0000_0000_0040_0000_0010_0000_0800_0004_4001_0000_0200_0000_0000_0000_0000_0000_0000_0000_0400_0101_0000_0000_0000_8004_0000_0002_1000_0980_0000_0000_0101_0000_0000_4000_0000_4041_0100_0020_0000_0001_0000_2002_0220_1400_0000_8000_0002_0000_8098_0000_0000_0000_0400_0000_0000_0000_2000_0000_0801_0004_0008_0000_0202_8000_0000_4048_0000_0000_4002_0100_8000_0000_0000_0000_2000_0100_0000_0000_0000_0080_0400_0000_8000_0000_0000_2000_0000_0000_0000_0040_0000_0010_0001_3004_0000_0400_0001_0002_0000
// args: bits[37]:0x80_0000; bits[1660]:0x8b9_ccad_6ddd_f06b_2e03_40fa_d1e4_41ef_8f46_cba9_28de_5e51_0aa6_2901_e899_1260_0d71_b74f_808d_9110_3bfc_86a6_e2af_48ce_ade0_275c_6169_4969_1908_e041_1f99_9ada_3cda_e68a_1a6d_f75e_b910_c46a_9e1d_d9bf_5e87_b9dd_7cf0_062f_df22_2492_69ee_4e91_2716_84f5_eb17_a42a_60ec_5cfe_64de_20c3_94f9_9d1a_ceec_3706_9449_33ae_b6b6_8d2b_37bf_a081_0f46_b7b8_b7dd_1641_8d60_ff3e_b9a9_f6f3_2aae_3d52_8fea_babb_6ff8_7bfd_2692_28a9_574a_3e9a_324c_aff4_fb5c_fa3c_bafc_175a_5280_abbc_5b69_98ca_c29c_4502_f7d2_4c84_c7b3_29fd_9f44_43e3_7191_dbc0
// args: bits[37]:0x20_0000; bits[1660]:0x10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0xe_d526_edb2; bits[1660]:0x200_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1f_ffff_ffff; bits[1660]:0xffe_7f7f_ff80_0000_0001_0011_2200_2000_0080_4002_0001_4444_0008_0008_1402_8004_2044_0000_0800_4000_8400_0001_0000_0004_a0c8_0000_2000_0480_0020_0010_0000_0048_1000_0800_0080_040c_4040_0008_0830_0000_0004_0080_0700_9000_0000_0428_0000_84a0_0020_0a00_8000_0000_0040_0100_0040_4014_4020_1080_0000_0000_2000_0010_0080_0000_2002_8001_0206_0190_0480_8001_0002_4460_0120_0000_0a00_0012_8030_0200_0480_0020_0000_0000_0060_0004_0a04_3000_8300_0000_0900_1200_0006_1000_0008_8810_0000_1000_0081_8000_0010_8200_0008_0050_0008_0001
// args: bits[37]:0x2; bits[1660]:0x800_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x10_0000_0000; bits[1660]:0x1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x40; bits[1660]:0xc00_210c_1081_3020_5128_4440_2dd0_2320_3120_5806_a0c0_13c7_0248_0042_100e_03a9_88c5_9009_4356_8164_4452_0030_0200_4240_2001_8c02_1a08_4141_00a4_6415_101c_0288_6400_50c6_e804_1a88_0008_3610_0760_9013_b6c8_2079_280c_9001_02c0_090c_808d_0c42_6c40_1091_0001_00c0_0022_c180_0204_5188_201c_7250_8055_081b_a000_220f_c188_0020_0040_3c02_6023_0001_e9c2_080a_0c02_94c0_0809_0040_402c_2906_0080_28b0_0818_4009_8100_8008_8000_0262_3604_a098_0634_5904_8105_3010_5c90_8100_dfca_3003_0920_913d_4215_f410_0454_b801_0529_8c10_eb0a
// args: bits[37]:0x200; bits[1660]:0x240_3001_8002_0400_0408_000f_9204_0201_0080_0207_5200_0801_0205_1008_1408_5012_0420_1800_0000_47a0_9000_0102_1047_8100_0000_2910_1040_0200_0080_8606_0801_1022_1880_8040_8240_8092_a002_200c_0001_8010_0004_4001_4a00_0440_0209_0a00_8009_2000_6241_031b_0001_0114_1042_03a0_8b20_0404_0184_2040_4004_4100_0c02_0108_8204_0084_0801_010c_4309_4408_0008_c650_8000_0000_2114_0010_0000_0000_8040_0000_0012_2004_2000_4800_4484_0200_88c0_4021_0c02_8501_c930_4880_0800_0b10_1100_4000_0180_8002_0100_1094_3008_0424_4f24_604a_0004_4988
// args: bits[37]:0x12_2eed_eaae; bits[1660]:0x807_74a5_1708_1280_1018_01a1_0805_1000_2120_0408_4100_4000_0ca0_1401_0440_e250_1010_40c0_4012_2801_0010_0080_1011_0900_4091_0c26_0101_4102_00c0_c021_0340_0200_0208_520c_0000_0352_9614_0040_8440_1024_4220_2040_0008_2021_e820_4004_4001_9044_2000_0408_0804_6000_010a_0540_2940_0400_9080_0502_0011_6008_4200_5080_0004_0609_0200_1202_0188_4202_040b_0024_0206_0402_0042_5001_0000_a080_9408_0155_0025_d000_4080_0000_1000_08aa_0020_0a07_8c05_8110_4000_000e_0411_80a0_1500_0020_c000_0044_5004_c86a_0191_002e_10a0_4c20_8102_8001
// args: bits[37]:0x8_34a3_623c; bits[1660]:0x40_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x10_0000; bits[1660]:0x2000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1d_a1d5_fe13; bits[1660]:0x80_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x20; bits[1660]:0x882_03a0_5040_0010_0834_0009_0024_0801_0c1f_0200_4228_0615_0104_0203_0800_a202_4422_1410_3851_2484_0044_1200_0001_0482_a010_0800_8001_1404_9040_5010_1020_a012_2994_1264_1204_8014_0424_0009_60c0_8000_0609_0080_0822_0434_2005_1045_052c_988c_0350_0000_0161_0251_0280_4209_0200_0049_1494_22a4_e041_0000_c002_2025_c388_5083_0210_9104_0044_1060_1040_2500_2104_8424_4c79_250c_3411_800c_4124_a109_6841_0000_1101_6009_3221_4a41_2800_051b_8960_6411_2002_8860_6440_8438_4010_4500_4002_c009_0000_0800_0440_70b0_2002_04e8_0402_0c04
// args: bits[37]:0x2_0000_0000; bits[1660]:0x992_cd20_4704_eacc_0042_ab34_3500_7cad_031b_4940_4104_c641_3740_3028_0565_80d0_0413_4c9a_1802_3606_651e_0000_0e49_9020_80d8_120c_ea00_0daf_1066_a18e_8060_033c_d074_534a_020d_8201_80e3_000d_6123_00bf_5440_a904_3349_44aa_9808_c308_0c48_b428_3041_8c86_1b40_aa08_1231_4ab4_1d28_5480_6e4c_0b55_0013_0281_a403_008c_91b3_52f4_2009_4810_b984_0011_0189_4001_903c_328c_74c0_8010_1903_4c1a_0460_008d_4180_8868_498b_2814_3580_7921_3146_0210_1b00_c73e_6690_080a_0f20_a226_1812_0148_6544_180e_2804_c412_a1c1_020c_7114_0392_0038_1a00
// args: bits[37]:0x400_0000; bits[1660]:0x2_0204_0880_4000_0809_2800_0802_2200_0000_0020_0070_1100_0200_0080_a80a_0042_0040_0240_8000_0100_2008_0100_0610_0990_0000_0000_6001_0010_00c0_0940_0410_2210_0000_a0a0_2900_0000_6210_8200_0004_0000_0504_a000_0000_0400_0000_0000_8602_14c8_0000_0000_0cc4_0100_2000_2000_800a_0c19_800a_0404_1098_0480_0000_0260_0804_1010_0000_1040_0000_508a_2c00_0010_2000_0000_2002_2028_0008_a041_5008_4000_0000_0881_2004_2010_8940_30e8_2000_0800_0101_100c_0484_0009_0008_0000_2144_0060_4810_0600_0408_0801_2800_2000_2000_4006_05a3_4080
// args: bits[37]:0x400_0000; bits[1660]:0x2_0101_0000_0080_0000_1000_0200_0004_0000_0000_0100_0000_0000_0000_1000_2000_0000_0000_2000_0000_0000_0000_2000_0001_0000_0010_0000_0004_0000_0011_0000_0100_0900_0000_0800_0000_2300_0000_0000_0020_0200_0001_4000_0008_0000_0000_0040_0000_2000_0200_0000_0000_0000_0100_0000_0120_0002_0904_0000_0040_0022_0100_0000_0000_1000_0000_8000_0080_0000_0000_0008_0200_0000_0000_0a00_0000_0400_0000_2000_5028_1000_0000_0000_0000_0000_0080_4010_0000_0020_0000_8008_0000_0000_0000_0000_0000_0000_0408_0000_0000_0000_1880_0000_0020
// args: bits[37]:0x14_0966_0d31; bits[1660]:0x400_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1; bits[1660]:0x4_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x0; bits[1660]:0x10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x17_b8c4_729d; bits[1660]:0x8fa_b92c_3e40_052e_00a0_0904_0301_d044_0200_c040_8d05_522c_d878_450b_0220_10c6_780a_08e0_a130_5e60_8285_0b3e_1008_afcc_141a_0d10_0a58_5425_458b_fa94_0915_4102_0481_d4ca_6608_b563_0810_c130_121b_13e0_a5c0_8280_cc44_1374_06ed_f1c4_991a_3f9d_d280_0158_4480_1849_5318_8f96_029e_6102_e0c6_7c4b_a2b0_da32_5c71_12a9_a600_a895_9804_6010_6414_06b4_975b_1504_0d23_9415_4809_2c70_0c28_1492_2cd5_adaa_14ca_7420_2e12_0a64_28c4_6060_3882_8f84_2856_32b8_2582_c023_805b_5ca0_0adc_4e1c_8222_01d1_4a21_9a57_01db_9c35_b565_8c00_2238_6824
// args: bits[37]:0x8_0000; bits[1660]:0x10_1480_2109_08d1_0000_4049_b820_1440_2040_0a48_1001_3004_0041_46a0_52f0_0009_0820_0100_1042_0224_0443_0080_a400_8044_0000_0000_0306_0822_5141_8204_2880_1040_0000_0050_6000_0804_08a0_0200_0000_0400_8000_0009_0070_0440_0c04_0212_2900_1040_9010_0001_c000_0590_0b10_0080_0c01_2b01_8842_c012_c302_4102_0020_8418_0008_2401_2000_0000_b600_8040_4400_0080_0000_9040_0150_8001_0008_240c_0300_09b0_4200_805a_002b_2400_0028_1808_1230_2100_1428_405c_0004_0000_0002_0800_4024_1821_0010_0586_0004_2800_21e2_1809_2881_1006_2002_2800
// args: bits[37]:0x40; bits[1660]:0x10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2000_0000; bits[1660]:0x2000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x100_0000; bits[1660]:0x200_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x8000_0000; bits[1660]:0x8df_121f_62d5_a122_4492_a501_0b1a_b1f0_228d_58a8_4dc3_7c07_45d3_744c_1310_c5b1_d203_02c0_435a_fb48_b0ca_003a_99a2_a71d_40bc_1656_041b_c166_a023_98a0_d119_404d_88e0_a500_6e6a_6143_a609_2058_7191_56b4_5838_4a18_36b9_4698_9361_2807_3a8a_1590_e814_0091_ad00_11d4_3041_d309_754d_9e2b_0d0c_09db_0326_9065_2d00_c806_6838_1114_72d6_b059_0910_8ecf_b27b_c6c1_4840_fa01_20ea_2a93_c20c_46dd_7440_55ac_6b0a_8d01_0035_0d12_a426_8000_e84a_149e_0912_8c31_10ea_3c3d_54c6_7800_8c53_40bc_1493_3229_73e0_96a6_1181_841c_026d_a030_14a7_742e
// args: bits[37]:0xa_aaaa_aaaa; bits[1660]:0x554_4554_5501_1004_0202_0080_8004_2004_0000_0000_0010_0000_0040_2c00_1000_0040_8800_0080_0800_0000_1c00_0005_0100_0001_2202_9800_0010_4000_200a_4420_0440_0200_2000_0241_0000_8100_2020_00c8_8100_2104_0240_0000_0003_4001_0080_0009_a008_0400_0400_0000_8000_8000_6100_0800_0000_0008_1020_0408_2c00_4002_0020_0000_4000_2100_0201_0000_202c_0210_2401_0002_1006_0100_0000_0012_0000_0008_8000_0002_0008_9800_8000_0000_2000_0800_0000_a120_3004_0008_2080_0000_0000_00a0_0020_0002_0404_0000_0021_0000_0080_08c0_9021_0000_0000_0000
// args: bits[37]:0x4000; bits[1660]:0x80_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x8; bits[1660]:0x20_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1000_0000; bits[1660]:0x10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x80; bits[1660]:0x400_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x8_0000_0000; bits[1660]:0x403_1048_0009_0002_4400_0982_0080_0442_0560_0000_8001_0080_4000_0980_0280_0491_4042_2080_0040_2000_0484_0701_0000_d040_2008_0000_4008_8800_2200_0600_4900_0b20_4021_0082_0000_3000_c002_0020_4004_0420_8020_0080_0024_0100_0804_1020_9000_0010_001a_0010_1000_1128_0034_0320_1082_0010_0001_0410_4800_0012_03c0_00c0_8009_0102_4032_9500_0001_0049_2080_0204_1200_8000_44b0_0000_4400_4000_0008_1888_84a4_0000_1402_1240_0212_1010_1001_0900_0006_6000_004c_00b0_0010_0000_0010_0211_4008_4820_1140_0002_4088_0000_0000_0082_3042_0808
// args: bits[37]:0x8; bits[1660]:0x200_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1_0000; bits[1660]:0x6c4_a051_a049_0021_9a18_0925_68ba_889a_0038_0c19_8008_0c54_23a6_e120_56b4_384e_dcc5_0838_38e1_0417_190a_b62a_a13b_a862_2461_a083_087c_0018_20c6_8205_aa54_c143_289e_1009_cab0_838a_388c_09c0_7caf_ba5a_4f66_0f04_8214_0250_8684_6880_8145_5089_ec11_b294_2896_4a52_2453_0a18_2137_15ac_84a5_c28a_c0e0_048c_6611_3e34_118c_4002_04f4_10c4_98b4_000d_0289_1121_2674_e49e_2063_b820_c5e0_1fa3_5458_5b49_bc21_0bfb_6910_0c92_48c4_c5a0_8269_4a48_0600_83a0_00f1_a087_934d_9161_6275_3491_89a3_928c_4892_c876_c108_0000_e582_904a_1d42_1151
// args: bits[37]:0x4000; bits[1660]:0x62d_2d36_df1c_063e_a163_f27c_d3e1_bd4c_01dd_7cd5_ff5d_cb5c_3ea4_958b_f272_06d6_1693_96cb_5ca3_60d7_aa22_8ecf_4418_3012_4490_f543_bf14_a43e_bc14_aaf1_e8b3_1562_5874_19cb_71c3_d5dd_f01d_3957_b387_223c_a148_e275_c49f_3a6c_21ba_0d43_7d9b_e55f_88dc_8dea_32e9_7f52_6334_a59e_a21b_2d99_f0d7_47be_b8b4_7ef2_31fe_96eb_3bf9_063f_c64c_bcf5_5c10_92c2_120a_afed_4de6_541a_765e_de48_49a2_7f2f_8b15_2997_60e9_9652_faf5_b2db_a830_3fed_7ff3_208d_d7f3_65d2_28da_f3eb_98a6_9c41_7a2a_5503_37cd_8c39_7429_18ae_1fb0_6e51_a526_cd14_3a4c_dc40
// args: bits[37]:0x2_0000_0000; bits[1660]:0x4_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2_0000_0000; bits[1660]:0x40_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2; bits[1660]:0x200_0000_012c_0302_0080_5188_0002_0000_0544_0010_0401_0000_3a82_0086_8004_0000_0440_0200_4028_4040_4000_0000_0210_0005_0048_0840_0010_8002_4804_2000_0080_0000_2100_14b0_0800_020d_0804_1040_4000_0000_0518_2000_4100_0840_1030_0002_0000_0080_0800_1100_0081_0039_0000_0101_1400_0200_0040_0002_0002_2002_8000_0020_0080_0080_0000_2000_1410_0600_1410_2000_4000_1000_0800_8724_000a_0000_2008_0001_40a0_0049_06a0_c01a_0081_0040_080c_4232_0000_06a0_4010_0102_4020_8840_0800_0000_9011_0000_0120_4012_0108_0100_2040_0040_0600_0000
// args: bits[37]:0x4000; bits[1660]:0x69d_9e50_b073_ae00_4a75_5d15_544e_bd11_4b43_cb08_ac27_33c5_5034_00d2_a800_4e81_e974_4c0e_69f9_abcc_80fe_400c_4669_a750_a9b4_0831_da40_80e8_8a8b_d176_465e_38ec_9591_9571_7432_6119_3ae1_1070_2856_24a2_b1f6_fa59_092a_46d9_6ade_14bb_2954_4014_18f5_6902_4873_cb8b_ac7e_4886_182e_afac_0108_0516_0060_4a2a_b09e_2626_0406_58c0_0554_dde4_fe44_0684_f448_3110_3c12_ad04_0d59_c810_d594_572a_12a8_e0b9_4152_01b5_3a84_c86b_a7a2_6a00_1c23_0690_53d0_30c2_214c_32c0_05e1_0f29_5a19_d764_f886_1e90_edf8_46cc_8ea9_f311_2aad_8c58_5e01_4508
// args: bits[37]:0x8000_0000; bits[1660]:0x24b_0105_908d_0368_014a_00b0_40d7_4060_0000_622a_9b05_00a4_801a_80a8_408a_0903_c064_3802_1008_4048_80c1_1262_0b49_4435_0243_8b04_2030_8003_d000_8551_6280_0100_105b_8040_d200_5821_8484_2ec2_0345_3010_b434_0404_010a_25c0_89d0_e8e1_2e42_5446_805d_5506_a924_0a31_3110_8805_c6a4_c014_0404_8589_2d84_e066_2468_a06d_c08b_23d0_c395_8805_e449_2108_4941_8503_0049_0c00_8313_9088_fa88_0d89_1055_2a84_0800_0109_0188_d001_2008_4208_1021_500a_0400_6101_1d2c_3031_c004_e02e_9a14_0030_0040_861c_8234_4108_09ab_0189_2221_a200_8322_c330
// args: bits[37]:0x40_0000; bits[1660]:0x2_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0xa_aaaa_aaaa; bits[1660]:0x2_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x800_0000; bits[1660]:0x20_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x4_0000; bits[1660]:0x200_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x400; bits[1660]:0x20_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x40_0000; bits[1660]:0x40_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x1f_ffff_ffff; bits[1660]:0xdff_ea16_ed90_3634_670f_0330_6414_33c0_828e_0cb0_c248_4003_0c2c_109a_84aa_08a1_000f_0006_262e_4b72_2140_4f11_618f_0b42_8489_8950_1413_2311_0604_9581_2022_62c6_1138_9380_0804_d22d_8601_848d_191a_c085_08a1_0212_4013_7610_2a5e_9070_8804_d912_5040_0609_049c_0224_1895_1e3c_1a7a_84f0_5092_0088_6058_3438_8000_2111_4611_e1f0_9816_0982_0b74_4004_1400_82a2_2c07_2154_1a68_1014_bc23_3901_45a0_0116_9884_5f14_1198_2090_6480_5cc3_5148_8852_801e_d943_e064_c74a_4294_61c0_0021_1110_8c00_04e1_3032_35d1_3042_a1d6_3434_4122_8064_0300
// args: bits[37]:0x2000; bits[1660]:0x1c_102e_4010_0056_0000_084a_c20b_8809_0004_0904_0810_28e0_a088_1000_9902_1002_4040_a492_0002_05e2_0201_0670_4202_6188_200e_a204_2000_9002_e043_4008_4804_06a1_0519_0020_0302_2800_4c41_2080_4506_1002_1202_140a_0411_42a0_8804_4032_0205_c028_c001_8020_c004_0080_9000_4110_2604_0a42_0822_0115_0545_0628_0408_00a4_8000_0810_80c0_824a_1821_0c43_0008_6001_0606_881a_4018_510a_8260_cc56_2408_304c_6505_0000_81f6_aca1_1048_64aa_0b56_1a23_0120_0044_2000_0000_0433_0208_4480_0110_8820_9008_20c0_4060_08c1_1600_2142_000c_4010_0a04
// args: bits[37]:0x100_0000; bits[1660]:0x8_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2_0000; bits[1660]:0x10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x20_0000; bits[1660]:0x1_1011_2009_0064_3460_0008_0828_0a01_6800_3004_1000_2004_0395_0004_0000_8122_0081_4038_8000_0048_0040_0010_a028_a408_0008_d420_0019_0080_a422_0100_0410_1404_0891_8004_4012_9010_06c1_4104_2600_2852_5040_2034_0084_2000_0880_0064_8000_0088_0020_2450_0000_6094_420c_2004_8000_0010_d839_0068_c402_0040_041a_0a09_0400_4804_021d_408c_0008_1210_0080_4041_0000_0003_4408_0031_1898_8680_a402_2380_0000_00d4_04ca_0028_0684_0102_0284_0400_8008_0300_0e00_042a_2000_1900_0389_0008_0801_0249_c924_0104_8004_5080_0100_0040_4260_a700
// args: bits[37]:0x80_0000; bits[1660]:0x400_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2_0000_0000; bits[1660]:0x400_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x2_0000; bits[1660]:0x4_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
// args: bits[37]:0x8; bits[1660]:0x412_1e28_29cc_269d_5c98_2149_961a_25f1_c220_4240_200c_1038_0001_0274_d0a0_0201_4544_803c_f288_d004_a231_2d0e_a0e2_e212_3f42_2140_1ad1_07a7_6e00_012d_a013_9429_04f1_8108_526c_5d06_2124_1534_2230_713f_4b34_205a_8650_472a_1a1c_972e_a0c8_c521_58a6_9101_0724_3331_8020_21e4_e6d0_968e_1a51_8315_c484_4062_8805_0283_8414_6095_5a1c_2120_1499_5c50_1042_5060_8a58_b282_0449_e632_5cb2_16a0_1274_6644_a0dd_6290_a026_c00b_0aa9_6400_0190_a820_5af9_c8e0_e190_7899_8528_3a10_b4e9_1007_0175_9818_e156_8618_194a_4330_0214_0820_5304_2a22
type x6 = u6;
type x13 = u5;
fn main(x0: s37, x1: sN[0x67c]) -> (uN[0x2b2], uN[0x2b2], uN[0x2b2], (sN[0x67c], sN[0x67c]), x6[0x73], uN[0x6e3], (sN[0x67c], sN[0x67c]), (sN[0x67c], sN[0x67c]), uN[0x2b2], s37, s37, s37, u43, s37, u1, s37, s37, u43, uN[0x2b2], s57) {
  let x2: (sN[0x67c], sN[0x67c]) = (x1, x1);
  let x3: (s37, (sN[0x67c], sN[0x67c]), sN[0x67c]) = (x0, x2, x1);
  let x4: uN[0x2b2] = (x1 as uN[0x2b2])[0x3ca+:uN[0x2b2]];
  let x5: x6[0x73] = ((x4) as x6[0x73]);
  let x7: uN[0x2b2] = rev(x4);
  let x8: uN[0x2b2] = (x4) & (((x0) as uN[0x2b2]));
  let x9: (s37, (sN[0x67c], sN[0x67c]), sN[0x67c]) = for (i, x): (u4, (s37, (sN[0x67c], sN[0x67c]), sN[0x67c])) in range(u4:0x0, u4:0x2) {
    x
  }(x3);
  let x10: uN[0x154] = (x1 as uN[0x552])[0x3fe:0x552];
  let x11: ((sN[0x67c], sN[0x67c]), uN[0x2b2], (s37, (sN[0x67c], sN[0x67c]), sN[0x67c])) = (x2, x4, x3);
  let x12: x13[0x44] = ((x10) as x13[0x44]);
  let x14: s37 = -(x0);
  let x15: u43 = (x10)[:-0x129];
  let x16: (s37, sN[0x67c], uN[0x2b2], ((sN[0x67c], sN[0x67c]), uN[0x2b2], (s37, (sN[0x67c], sN[0x67c]), sN[0x67c])), (sN[0x67c], sN[0x67c])) = (x14, x1, x7, x11, x2);
  let x17: s37 = one_hot_sel(u1:0x0, [x0]);
  let x18: s37 = (x14) & (x17);
  let x19: uN[0x6e3] = (((x4) ++ (x8)) ++ (x10)) ++ (x15);
  let x20: uN[0x6e3] = for (i, x): (u4, uN[0x6e3]) in range(u4:0x0, u4:0x5) {
    x
  }(x19);
  let x21: uN[0x6e3] = clz(x20);
  let x22: uN[0xfa] = (x8)[0x10f+:uN[0xfa]];
  let x23: u43 = (x15) >> if ((((x10) as u43)) >= (u43:0x24)){
    (u43:0x24)
  } else {
    ((x10) as u43)
  };
  let x24: (sN[0x67c], sN[0x67c]) = (x3).1;
  let x25: u1 = ((x19) != (uN[0x6e3]:0x0)) && ((x23) != (u43:0x0));
  let x26: s57 = s57:0x4000000000000;
  let x27: uN[0x2b2] = (x8) - (((x19) as uN[0x2b2]));
  let x28: uN[0x6e3] = ctz(x20);
  (x7, x27, x7, x24, x5, x28, x24, x2, x7, x18, x14, x0, x15, x17, x25, x18, x14, x23, x8, x26)
}

Success with:

blaze run -c opt //xls/fuzzer:run_crasher -- crasher.x 

Closing as fixed.