Amplifying human performance in combinatorial competitive programming