removed println(NumExamples) for easy copy-paste