modified:   main.c
	modified:   message.dat
Merge branch 'master' of https://github.com/yishanhe/ZKP
	modified:   interval.c
	modified:   main.c
	modified:   message.dat
	modified:   zkp_interval.h