Discrete Math FIP source code