Табличка будет ближе к вечеру, если вообще сегодня будет.
Пока не вижу оснований ни на чью казнь, улику разгадать тоже не могу. Пока ННВ.
Вечером зайду, почитаю обсуждения и, вероятно, поменяю свое решение.
Elizer Yudkovsky, "HP and the Methods of Rationality".
Мой ник транслитерируется по-разному, но я предпочитаю варианты Оот и Ооот.