---
namespace: Execute
expectation: Pass
outputs:
  - - initial_symbol_table: edae9fa8632641c371df1554fab11d252c26d3e7c6b29037f2fe8334f0f6db1b
      type_checked_symbol_table: 48be1f1a5410e758460ef8e4c3b770053d2ce7b438b4af6ae61480a0919451e6
      unrolled_symbol_table: 48be1f1a5410e758460ef8e4c3b770053d2ce7b438b4af6ae61480a0919451e6
      initial_ast: 62b70e460e199060f54ad9b62a1476e9233481c58fecacaaf30c05c0b5230d56
      unrolled_ast: 62b70e460e199060f54ad9b62a1476e9233481c58fecacaaf30c05c0b5230d56
      ssa_ast: 91215ed4bbe64171cf02ecdc2146f4e1e792d9e28e35e85c8ab021807346a572
      flattened_ast: 9c4f8ae9c6a50b31f7a561941df75fc7e5dbe9377ff0ad764cb57b95b22f8656
      inlined_ast: 9c4f8ae9c6a50b31f7a561941df75fc7e5dbe9377ff0ad764cb57b95b22f8656
      dce_ast: 9c4f8ae9c6a50b31f7a561941df75fc7e5dbe9377ff0ad764cb57b95b22f8656
      bytecode: 15a3a90b1837b318b43b3f3bfc5e454a8821357b4c3feb01da00a4db810bde89
      warnings: ""
      results:
        main:
          - input: "[0u32, 1u32]"
            output: "[false]"
          - input: "[1u32, 1u32]"
            output: "[true]"
          - input: "[1u32, 2u32]"
            output: "[false]"
          - input: "[2u32, 2u32]"
            output: "[true]"