Peggie Hall wrote:

The typical flush volume from a marine toilet, including flush water, is
approximately .6 gal...or about 2 liters.

Thanks. That was the fact I was looking for.