{"size": 310, "ext": "js", "max_stars_repo_path": "benchmarks/handwritten/strings_9/fullGrammar.js", "max_stars_repo_name": "BillHallahan/Lava", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "benchmarks/handwritten/strings_9/fullGrammar.js", "max_issues_repo_name": "BillHallahan/Lava", "max_issues_repo_issues_event_min_datetime": "2019-05-28T18:44:59.000Z", "max_issues_repo_issues_event_max_datetime": "2019-05-28T18:58:56.000Z", "max_forks_repo_path": "benchmarks/handwritten/strings_9/fullGrammar.js", "max_forks_repo_name": "BillHallahan/Lava", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": 2, "max_forks_count": null, "avg_line_length": 25.8333333333, "max_line_length": 61, "alphanum_fraction": 0.564516129}
function swap(target) {
    return target.split(" ")[1] + " " + target.split(" ")[0];
}

function rev(s) {
    return s.split("").reverse().join("")
}

//@pbe (constraint (= (f "Hello World") "olleH dlroW"))
//@pbe (constraint (= (f "Hi World") "iH dlroW"))
//@pbe (constraint (= (f "Hi Friend") "iH dneirF"))
