Files for checking consistency of input