the example file is extracted