20240413 Boruvky (9)