public void Change_leaves(string leafList)
{
var leaves = Data.GetPaths(leafList);
var found = 0;
for (var i = 0; i < N; ++i)
{
Leaf[i] = 0;
if (leaves.Any(t => Name[i] == t))
{
Leaf[i] = 1;
++found;
}
}
Console.WriteLine($"Found {found} leaves.");
}