the .nlogo file