{"size": 609, "ext": "rktd", "max_stars_repo_path": "redex-test/redex/tests/run-err-tests/judgment-form-contracts.rktd", "max_stars_repo_name": "LiberalArtist/redex", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "redex-test/redex/tests/run-err-tests/judgment-form-contracts.rktd", "max_issues_repo_name": "LiberalArtist/redex", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "redex-test/redex/tests/run-err-tests/judgment-form-contracts.rktd", "max_forks_repo_name": "LiberalArtist/redex", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 38.0625, "max_line_length": 67, "alphanum_fraction": 0.5977011494}
(#rx"contract: \\(ctc-fail s s\\).*values: +\\(ctc-fail q _\\)"
 ([judgment (ctc-fail q s)])
 (judgment-holds judgment))
(#rx"contract: \\(ctc-fail s s\\).*values: +\\(ctc-fail a q\\)"
 ([judgment (ctc-fail a s)])
 (judgment-holds judgment))
(#rx"contract: \\(ctc-fail s s\\).*values: +\\(ctc-fail q _\\)"
 ([judgment (ctc-fail b s)])
 (judgment-holds judgment))
(#rx"contract: \\(ctc-fail s s\\).*values: +\\(ctc-fail a q\\)"
 ([judgment (ctc-fail c s)])
 (judgment-holds judgment))
(#rx"contract: \\(inv-fail s_1 s_2\\).*values: +\\(inv-fail a a\\)"
 ([judgment (inv-fail a s)])
 (judgment-holds judgment))
