3 ms·

We need infinity-Prolog, which already knows all known facts. Feeding them separately everytime feels lame.