{"size": 1239, "ext": "rktd", "max_stars_repo_path": "diff-testing/data.rktd", "max_stars_repo_name": "uw-unsat/leanette-popl22-artifact", "max_stars_repo_stars_event_min_datetime": "2021-10-09T14:46:50.000Z", "max_stars_repo_stars_event_max_datetime": "2022-01-31T23:39:57.000Z", "max_issues_repo_path": "diff-testing/data.rktd", "max_issues_repo_name": "uw-unsat/leanette-popl22-artifact", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "diff-testing/data.rktd", "max_forks_repo_name": "uw-unsat/leanette-popl22-artifact", "max_forks_repo_forks_event_min_datetime": "2022-02-03T19:50:18.000Z", "max_forks_repo_forks_event_max_datetime": "2022-02-03T19:50:18.000Z"}
{"max_stars_count": 4, "max_issues_count": null, "max_forks_count": 1, "avg_line_length": 103.25, "max_line_length": 191, "alphanum_fraction": 0.8934624697}
(./patch/incorrect_and.patch ./generation/prog100208336541399653250221187751391297369.rkt)
(./patch/incorrect_or.patch ./generation/prog100026410668776740492900673318090171927233255361720922983271273849413253676502727166331182369672360102050306966877856993674940497.rkt)
(./patch/incorrect_lt.patch ./generation/prog735983.rkt)
(./patch/incorrect_call_op.patch ./generation/prog666831569393266787587089860792333636466692132130.rkt)
(./patch/incorrect_call.patch ./generation/prog478473500332049125701102687487886134892618785332689813519393109671586439862663588789828131845030156.rkt)
(./patch/incorrect_call_bad.patch ./generation/prog16803.rkt)
(./patch/incorrect_let.patch ./generation/prog271706286423030047271490064405043091576078507211894322485583089278608494173230103175221675458186681751625690187786390.rkt)
(./patch/incorrect_if_sym.patch ./generation/prog15.rkt)
(./patch/incorrect_if_true_false.patch ./generation/prog1331343393596762924043919245445877806201864368967369509032193564215325013490794460521988648842748377343143771160948246706431109369.rkt)
(./patch/incorrect_error.patch ./generation/prog19436053114232394.rkt)
(./patch/incorrect_abort.patch ./generation/prog23160718406451015591104819237807520888040421765198.rkt)
