add maximum.c and progression.c