3 ms·

Nice, subscribed. I wonder how far you could get without solving #13, which does seem to be genuinely hard.