{"shas":[["5ac36d74c9bdbdb3823e0739e767647c32c30adb","e3f0588aeb51eb4a2b7bcf363c24da2de9616f06@tele.pw.edu.pl","minimal input finder: exhaustive search’s first cut","Piotr Szotkowski"]],"ref":"refs/heads/master","size":1,"head":"5ac36d74c9bdbdb3823e0739e767647c32c30adb","push_id":33804923}