4 ms·Probably somewhere before "if (halts(f,x))".by pklausler 11y agoProbably somewhere before "if (halts(f,x))".