program synthesis from input-output examples, which typically assumes that the number of input-output examples is