nagata_conjecture_curves