Эта 579-битная программа в двоичном лямбда-исчислении имеет неизвестный статус остановки: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100...