Бассйн, который вмещает 943 ведра воды, наполняется посредством двух труб. Первая даёт 79 вёдер в час, вторая 201 ведро за 3 ч.На сколько часов должна быть открыта каждая труба, чтобы они, действуя одна после другой, наполнили бассейн в течение 13 ч.