Oops; you're right. The program is 00010001100110010100011010000000010110000010010001010111 11011110100100011010000111001101000000000010110111001110

Oops; you're right. The program is 00010001100110010100011010000000010110000010010001010111 11011110100100011010000111001101000000000010110111001110 0111111101111000000001111100110111000000101100000110110 as shown in the top right of https://tromp.github.io/cl/cl.html https://tromp.github.io/cl/cl.html (with colors showing its tokenization as lambdas, appplications, and variables).