modified:   interval.c
	modified:   main.c
	deleted:    main.c.bak
	new file:   main.c.bak.bak
	new file:   main.c.full.time
	modified:   zkp.h
	modified:   zkp_interval.h