What water output is required to operate the automatic water distributor?