4 ms·http://archive.is/iBcOt http://archive.is/iBcOtby haltingproblem 6y agohttp://archive.is/iBcOt http://archive.is/iBcOt