3 ms·

Thanks for the explanation. Program synthesis is HARD, and we may never solve it, so any progress on this is great to read about. Good luck with this.