Added checks-tets-1.json