commit discrete structures file