discrete structures file