hw3 checks.json