{"shas":[["e7b4c77c178f17a98cf578e2aa5a810ffc21e549","ece4516f858e7f596e4918f40babf6f2cf2dd281@gmail.com","use average instead of par10; changed some parameters; write solver config cost to the new DB columns","Daniel D"]],"ref":"refs/heads/master","size":1,"head":"e7b4c77c178f17a98cf578e2aa5a810ffc21e549","push_id":37445994}