3 ms·https://archive.is/rUq5v https://archive.is/rUq5vby haltingproblem 6y agohttps://archive.is/rUq5v https://archive.is/rUq5v