Nagata's_conjecture_on_curves loading ...