(hugr 0)

(mod)

(define-func public main
  (core.fn
    [(arithmetic.int.types.int 6)
      (arithmetic.int.types.int 6)
      (arithmetic.int.types.int 6)
      (arithmetic.int.types.int 6)]
    [(arithmetic.int.types.int 6)
      (arithmetic.int.types.int 6)
      (arithmetic.int.types.int 6)
      (arithmetic.int.types.int 6)])
  (dfg [%0 %1 %2 %3] [%4 %5 %6 %7]
    (signature
      (core.fn
        [(arithmetic.int.types.int 6)
         (arithmetic.int.types.int 6)
         (arithmetic.int.types.int 6)
         (arithmetic.int.types.int 6)]
        [(arithmetic.int.types.int 6)
         (arithmetic.int.types.int 6)
         (arithmetic.int.types.int 6)
         (arithmetic.int.types.int 6)]))

    (meta (core.order_hint.order 1 2))
    (meta (core.order_hint.order 1 0))
    (meta (core.order_hint.order 2 3))
    (meta (core.order_hint.order 0 3))
    (meta (core.order_hint.input_key 4))
    (meta (core.order_hint.order 4 0))
    (meta (core.order_hint.order 4 5))
    (meta (core.order_hint.order 1 5))
    (meta (core.order_hint.output_key 5))

    ((arithmetic.int.ineg 6)
      [%0] [%4]
      (signature (core.fn [(arithmetic.int.types.int 6)] [(arithmetic.int.types.int 6)]))
      (meta (core.order_hint.key 0)))

    ((arithmetic.int.ineg 6)
      [%1] [%5]
      (signature (core.fn [(arithmetic.int.types.int 6)] [(arithmetic.int.types.int 6)]))
      (meta (core.order_hint.key 1)))

    ((arithmetic.int.ineg 6)
      [%2] [%6]
      (signature (core.fn [(arithmetic.int.types.int 6)] [(arithmetic.int.types.int 6)]))
      (meta (core.order_hint.key 2)))

    ((arithmetic.int.ineg 6)
      [%3] [%7]
      (signature (core.fn [(arithmetic.int.types.int 6)] [(arithmetic.int.types.int 6)]))
      (meta (core.order_hint.key 3)))))
