def METHOD_NAME(ash, wsh, inp_stride):
    assert ash[3] == wsh[2]
    osh = (
        ash[0],
        (ash[1] - wsh[0]) // inp_stride[0] + 1,
        (ash[2] - wsh[1]) // inp_stride[1] + 1,
        wsh[3],
    )
    assert tvm.tir.all([x > 0 for x in osh])
    return osh