3 ms·http://archive.is/xMTjO http://archive.is/xMTjOby haltingproblem 6y agohttp://archive.is/xMTjO http://archive.is/xMTjO