(module $petrinet.wasm
  (type (;0;) (func (param i32 i32)))
  (type (;1;) (func))
  (type (;2;) (func (result i32)))
  (import "__pragma" "loopbound" (func $__pragma_loopbound (type 0)))
  (func $__wasm_apply_data_relocs (type 1))
  (func $petrinet_main (type 1)
    (local i32 i32 i32)
    i32.const 2
    i32.const 2
    call $__pragma_loopbound
    i32.const 3
    local.set 0
    loop  ;; label = @1
      block  ;; label = @2
        i32.const 0
        i32.load offset=1024
        i32.const 3
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1036
        i32.const 0
        i32.load offset=1040
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1032
        local.tee 1
        i32.const 0
        i32.load offset=1036
        local.tee 2
        i32.ge_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1024
        i32.const -3
        i32.add
        i32.store offset=1024
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 1
        local.get 2
        i32.sub
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1024
        i32.const 3
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1040
        i32.const 0
        i32.load offset=1036
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1032
        local.tee 1
        i32.const 0
        i32.load offset=1040
        local.tee 2
        i32.ge_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1024
        i32.const -3
        i32.add
        i32.store offset=1024
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 1
        local.get 2
        i32.sub
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1024
        i32.const 3
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1032
        i32.const 0
        i32.load offset=1040
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1036
        local.tee 1
        i32.const 0
        i32.load offset=1032
        local.tee 2
        i32.ge_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1024
        i32.const -3
        i32.add
        i32.store offset=1024
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 1
        local.get 2
        i32.sub
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1024
        i32.const 3
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1040
        i32.const 0
        i32.load offset=1032
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1036
        local.tee 1
        i32.const 0
        i32.load offset=1040
        local.tee 2
        i32.ge_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1024
        i32.const -3
        i32.add
        i32.store offset=1024
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 1
        local.get 2
        i32.sub
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1024
        i32.const 3
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1032
        i32.const 0
        i32.load offset=1036
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1040
        local.tee 1
        i32.const 0
        i32.load offset=1032
        local.tee 2
        i32.ge_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1024
        i32.const -3
        i32.add
        i32.store offset=1024
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 1
        local.get 2
        i32.sub
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1024
        i32.const 3
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1036
        i32.const 0
        i32.load offset=1032
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1040
        local.tee 1
        i32.const 0
        i32.load offset=1036
        local.tee 2
        i32.ge_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1024
        i32.const -3
        i32.add
        i32.store offset=1024
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 1
        local.get 2
        i32.sub
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        local.set 1
        i32.const 0
        i32.load offset=1092
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        local.set 1
        i32.const 0
        i32.load offset=1092
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        local.set 1
        i32.const 0
        i32.load offset=1096
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        local.set 1
        i32.const 0
        i32.load offset=1096
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        local.set 1
        i32.const 0
        i32.load offset=1100
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        local.set 1
        i32.const 0
        i32.load offset=1100
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        local.set 1
        i32.const 0
        i32.load offset=1088
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        local.set 1
        i32.const 0
        i32.load offset=1088
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        i32.const 0
        i32.load offset=1088
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        local.set 1
        i32.const 0
        i32.load offset=1096
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        i32.const 0
        i32.load offset=1088
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        local.set 1
        i32.const 0
        i32.load offset=1096
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1088
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        local.set 1
        i32.const 0
        i32.load offset=1100
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1088
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        local.set 1
        i32.const 0
        i32.load offset=1100
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        local.set 1
        i32.const 0
        i32.load offset=1088
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        local.set 1
        i32.const 0
        i32.load offset=1088
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        i32.const 0
        i32.load offset=1088
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        local.set 1
        i32.const 0
        i32.load offset=1092
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        i32.const 0
        i32.load offset=1100
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1092
        i32.const 0
        i32.load offset=1088
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        local.set 1
        i32.const 0
        i32.load offset=1092
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1088
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        local.set 1
        i32.const 0
        i32.load offset=1100
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        i32.const 0
        i32.load offset=1088
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1096
        local.set 1
        i32.const 0
        i32.load offset=1100
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        local.set 1
        i32.const 0
        i32.load offset=1088
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      block  ;; label = @2
        i32.const 0
        i32.load offset=1080
        i32.const 4
        i32.lt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.gt_s
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1096
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1088
        i32.const 0
        i32.load offset=1092
        i32.ne
        br_if 0 (;@2;)
        i32.const 0
        i32.load offset=1100
        local.set 1
        i32.const 0
        i32.load offset=1088
        local.tee 2
        local.get 1
        i32.le_s
        br_if 0 (;@2;)
        i32.const 0
        i32.const 0
        i32.load offset=1080
        i32.const -4
        i32.add
        i32.store offset=1080
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1056
        i32.add
        local.get 1
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1060
        i32.add
        local.get 2
        i32.store
        i32.const 0
        i32.load offset=1028
        i32.const 2
        i32.shl
        i32.const 1064
        i32.add
        local.get 2
        local.get 1
        i32.add
        i32.store
        i32.const 0
        i32.const 0
        i32.load offset=1028
        i32.const 3
        i32.add
        i32.store offset=1028
      end
      local.get 0
      i32.const -1
      i32.add
      local.tee 0
      i32.const 1
      i32.gt_u
      br_if 0 (;@1;)
    end)
  (func $__original_main (type 2) (result i32)
    (local i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32)
    call $petrinet_main
    i32.const 3
    i32.const 3
    call $__pragma_loopbound
    i32.const 0
    i32.load offset=1032
    local.set 0
    i32.const 0
    i32.load offset=1036
    local.set 1
    i32.const 0
    i32.load offset=1040
    local.set 2
    i32.const 5
    i32.const 5
    call $__pragma_loopbound
    i32.const 0
    i32.load offset=1088
    local.set 3
    i32.const 0
    i32.load offset=1092
    local.set 4
    i32.const 0
    i32.load offset=1096
    local.set 5
    i32.const 0
    i32.load offset=1100
    local.set 6
    i32.const 0
    i32.load offset=1104
    local.set 7
    i32.const 6
    i32.const 6
    call $__pragma_loopbound
    i32.const 0
    i32.load offset=1056
    local.set 8
    i32.const 0
    i32.load offset=1060
    local.set 9
    i32.const 0
    i32.load offset=1064
    local.set 10
    i32.const 0
    i32.load offset=1068
    local.set 11
    i32.const 0
    i32.load offset=1072
    local.set 12
    i32.const -1
    i32.const 0
    i32.const 0
    i32.load offset=1076
    i32.const 0
    local.get 12
    local.get 11
    local.get 10
    local.get 9
    local.get 8
    local.get 7
    local.get 6
    local.get 5
    local.get 4
    local.get 3
    local.get 2
    local.get 0
    local.get 1
    i32.add
    i32.add
    i32.add
    i32.add
    i32.add
    i32.add
    i32.add
    i32.add
    i32.add
    i32.add
    i32.add
    i32.add
    i32.sub
    i32.ne
    select)
  (table (;0;) 1 1 funcref)
  (memory (;0;) 1)
  (global $__stack_pointer (mut i32) (i32.const 5216))
  (global (;1;) i32 (i32.const 1108))
  (global (;2;) i32 (i32.const 5216))
  (export "memory" (memory 0))
  (export "__wasm_apply_data_relocs" (func $__wasm_apply_data_relocs))
  (export "entrypoint" (func $petrinet_main))
  (export "main" (func $__original_main))
  (export "__data_end" (global 1))
  (export "__heap_base" (global 2)))
