TCTF 2021 lalamblambdadambda Writeup

提取代码

运行 lalamblambdadambda.exe，提示输入 flag。

监控文件读写，发现程序在 AppData\Local\Temp 下创建了 _MEI62682 文件夹。

通过分析可知程序是通过 PyInstaller 打包的 Python 3.8 代码。

使用 pyinstxtractor 在 Python 3.8 环境下对 lalamblambdadambda.exe 进行解包。

再使用最新版本的 uncompyle6 对解包得到的 lalamblambdadambda.pyc 进行反编译。

反编译结果：

try:
    flag = input('Input flag: \n')
    r = False
    if len(flag) == 22 and flag.startswith('flag{') and flag.endswith('}'):
        try:
            buf = bytes.fromhex(flag[5:21])
        except ValueError:
            buf = None

    else:
        if buf:
            tmp = [
             None] * 64
            for i in range(8):
                for j in range(8):
                    tmp[8 * i + j] = (
                     lambda _: lambda __: __, lambda _: lambda __: _)[(buf[i] >> j & 1)]
                else:
                    r = (lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: lambda _________: lambda __________: lambda ___________: lambda ____________: lambda _____________: lambda ______________: lambda _______________: lambda ________________: lambda _________________: lambda __________________: lambda ___________________: lambda ____________________: lambda _____________________: lambda ______________________: lambda _______________________: lambda ________________________: lambda _________________________: lambda __________________________: lambda ___________________________: lambda ____________________________: lambda _____________________________: lambda ______________________________: lambda _______________________________: lambda ________________________________: lambda _________________________________: lambda __________________________________: lambda ___________________________________: lambda ____________________________________: lambda _____________________________________: lambda ______________________________________: lambda _______________________________________: lambda ________________________________________: lambda _________________________________________: lambda __________________________________________: lambda ___________________________________________: lambda ____________________________________________: lambda _____________________________________________: lambda ______________________________________________: lambda _______________________________________________: lambda ________________________________________________: lambda _________________________________________________: lambda __________________________________________________: lambda ___________________________________________________: lambda ____________________________________________________: lambda _____________________________________________________: lambda ______________________________________________________: lambda _______________________________________________________: lambda ________________________________________________________: lambda _________________________________________________________: lambda __________________________________________________________: lambda ___________________________________________________________: lambda ____________________________________________________________: lambda _____________________________________________________________: lambda ______________________________________________________________: lambda _______________________________________________________________: lambda ________________________________________________________________: (lambda _________________________________________________________________: (lambda _: lambda __: _(__)(_))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))(lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))))))((lambda _: _(lambda _: lambda __: _))(_________________________________________________________________))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: _(__)(_))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))(lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))))))((lambda _: _(lambda _: lambda __: __))(_________________________________________________________________))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)))))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: (lambda __: _(__(__)))(lambda ___: _(lambda ____: ___(___)(____))))(lambda _: lambda __: lambda ___: (lambda _: _(lambda __: lambda _: lambda __: __)(lambda _: lambda __: _))(__)(___)(lambda ____: _((lambda _: lambda __: lambda ___: _(lambda ____: lambda _____: _____(____(__)))(lambda _____: ___)(lambda ______: ______))(__))((lambda _: (lambda __: (lambda ___: (lambda ____: (lambda _____: (lambda ______: (lambda _______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_____)((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(______)(_______)))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))(____)((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))(lambda _: lambda __: (lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))(lambda _: lambda __: (lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))))))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))(______)))))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __))))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))(______)(_____)))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))(______))))))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)))))))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))(___)((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))(lambda _: lambda __: (lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _)))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))))(lambda _: lambda __: (lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))))))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(_____))((lambda _: _(lambda _: lambda __: __))(____))))(_(__(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: __))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))(____)))))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __))))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))(____)(_____)))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))((lambda _: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(_____))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(____))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: _))(____))))(_(__(lambda _: lambda __: _))(___)))(lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))))))(_)(lambda _: lambda __: __)))(____))))))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: __)))))))((lambda _: lambda __: (lambda _: _(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: _))(______))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: _(lambda _: lambda __: __))(______))((lambda _: _(lambda _: lambda __: __))(_____))))(_(__(lambda _: lambda __: _))(___(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: _))(_____))))(_(__(lambda _: lambda __: __))(___(lambda _: lambda __: __))(____)))(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))((lambda _: lambda __: (lambda _: lambda __: _(_)(__))((lambda _: lambda __: _(__)(_))((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(_))(__))((lambda _: lambda __: _(__)(_))(_)((lambda _: _(lambda _: lambda __: __)(lambda _: lambda __: _))(__))))(_)(__))(___)))))))(_)(__)(lambda _: lambda __: __)))(__)((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: _)(lambda _: lambda __: __)(lambda _: lambda __: __)(lambda _: lambda __: _)))))((lambda _: _(lambda _: lambda __: __))((lambda _: _(lambda _: lambda __: __))(_))))((lambda _: _(lambda _: lambda __: _))((lambda _: _(lambda _: lambda __: __))(_))))((lambda _: _(lambda _: lambda __: _))(_)))(___))(____)))(lambda _: lambda __: _(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(_(__)))))))))))))))))))))))))))))))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __)))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __)))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __)))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __)))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __)))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(lambda _: lambda __: __)(lambda _: lambda __: __))))))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__)))))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(________________________________)(_______________________________)(______________________________)(_____________________________)(____________________________)(___________________________)(__________________________)(_________________________))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(________________________)(_______________________)(______________________)(_____________________)(____________________)(___________________)(__________________)(_________________))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(________________)(_______________)(______________)(_____________)(____________)(___________)(__________)(_________))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(________)(_______)(______)(_____)(____)(___)(__)(_)))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))((lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(___)(____)))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(________________________________________________________________)(_______________________________________________________________)(______________________________________________________________)(_____________________________________________________________)(____________________________________________________________)(___________________________________________________________)(__________________________________________________________)(_________________________________________________________))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(________________________________________________________)(_______________________________________________________)(______________________________________________________)(_____________________________________________________)(____________________________________________________)(___________________________________________________)(__________________________________________________)(_________________________________________________))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(________________________________________________)(_______________________________________________)(______________________________________________)(_____________________________________________)(____________________________________________)(___________________________________________)(__________________________________________)(_________________________________________))((lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_)(__)(___)(____))((lambda _: lambda __: lambda ___: lambda ____: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(_)(__))((lambda _: lambda __: (lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))(_)(__))(___)(____)))(_____)(______)(_______)(________)))(________________________________________)(_______________________________________)(______________________________________)(_____________________________________)(____________________________________)(___________________________________)(__________________________________)(_________________________________)))))(tmp[0])(tmp[1])(tmp[2])(tmp[3])(tmp[4])(tmp[5])(tmp[6])(tmp[7])(tmp[8])(tmp[9])(tmp[10])(tmp[11])(tmp[12])(tmp[13])(tmp[14])(tmp[15])(tmp[16])(tmp[17])(tmp[18])(tmp[19])(tmp[20])(tmp[21])(tmp[22])(tmp[23])(tmp[24])(tmp[25])(tmp[26])(tmp[27])(tmp[28])(tmp[29])(tmp[30])(tmp[31])(tmp[32])(tmp[33])(tmp[34])(tmp[35])(tmp[36])(tmp[37])(tmp[38])(tmp[39])(tmp[40])(tmp[41])(tmp[42])(tmp[43])(tmp[44])(tmp[45])(tmp[46])(tmp[47])(tmp[48])(tmp[49])(tmp[50])(tmp[51])(tmp[52])(tmp[53])(tmp[54])(tmp[55])(tmp[56])(tmp[57])(tmp[58])(tmp[59])(tmp[60])(tmp[61])(tmp[62])(tmp[63])(True)(False)

        if r:
            print('Correct')
        else:
            print('Error')
except:
    import sys
    sys.exit(0)

逆向分析

程序通过 Python 中的 lambda 编写函数式代码对输入内容进行校验。

容易发现程序中存在若干重复出现的代码段，可以对其进行提取，再逐个分析其对应的功能。

PACK
(lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: 
    LNK
    (
        (lambda _: lambda __: lambda ___: lambda ____: 
            LNK
            (
                (lambda _: lambda __: LNK(_)(__))
                (_)(__)
            )
            (
                (lambda _: lambda __: LNK(_)(__))
                (___)(____)
            )
        )
        (_)(__)(___)(____)
    )
    (
        (lambda _: lambda __: lambda ___: lambda ____: 
            LNK
            (
                (lambda _: lambda __: LNK(_)(__))
                (_)(__)
            )
            (
                (lambda _: lambda __: LNK(_)(__))
                (___)(____)
            ))
        (_____)(______)(_______)(________)
    )
)

FOUR
(lambda _: lambda __: lambda ___: lambda ____: 
    LNK
    (
        LNK
        (_)(__)
    )
    (
        LNK
        (___)(____)
    )
)

SEL0
(lambda _: lambda __: __)

SEL1
(lambda _: lambda __: _)

AND
(lambda _: lambda __: _(__)(_))

OR
(lambda _: lambda __: _(_)(__))

NOT
(lambda _: _(SEL0)(SEL1))

SHR
(lambda _:
    ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((_____)(SEL1))(LNK((____)(SEL0))((_____)(SEL0))))(_(__(SEL0))(____(SEL1))))(_(__(SEL1))(___)))
        ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(____))((lambda _: _(SEL0))(_____))))(_(__(SEL0))((lambda _: _(SEL1))(____))))(_(__(SEL1))(___)))
            ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(____))((lambda _: _(SEL0))(_____))))(_(__(SEL0))((lambda _: _(SEL1))(____))))(_(__(SEL1))(___)))
                ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(____))((lambda _: _(SEL0))(_____))))(_(__(SEL0))((lambda _: _(SEL1))(____))))(_(__(SEL1))(___)))
                    ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(____))((lambda _: _(SEL0))(_____))))(_(__(SEL0))((lambda _: _(SEL1))(____))))(_(__(SEL1))(___)))
                        (lambda _: lambda __: 
                            LNK(_)(__)
                        )
                    )
                )
            )
        )
        (_)(SEL0)
    )(SEL0)
)

SHL
(lambda _:
    ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(_____))((lambda _: _(SEL0))(____))))(_(__(SEL1))((lambda _: _(SEL1))(____))))(_(__(SEL0))(___)))
        ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(_____))((lambda _: _(SEL0))(____))))(_(__(SEL1))((lambda _: _(SEL1))(____))))(_(__(SEL0))(___)))
            ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(_____))((lambda _: _(SEL0))(____))))(_(__(SEL1))((lambda _: _(SEL1))(____))))(_(__(SEL0))(___)))
                ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(_____))((lambda _: _(SEL0))(____))))(_(__(SEL1))((lambda _: _(SEL1))(____))))(_(__(SEL0))(___)))
                    ((lambda _: lambda __: lambda ___: (lambda ____: (lambda _____: LNK((lambda _: _(SEL1))(_____))(LNK((lambda _: _(SEL0))(_____))((lambda _: _(SEL0))(____))))(_(__(SEL1))((lambda _: _(SEL1))(____))))(_(__(SEL0))(___)))
                        (lambda _: lambda __: 
                            LNK(_)(__)
                        )
                    )
                )
            )
        )
        (_)(SEL0)
    )(SEL0)
)

ADD
(lambda _: lambda __:
    ((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: LNK((lambda _: _(SEL1))(______))(LNK((lambda _: _(SEL0))(______))((lambda _: _(SEL0))(_____))))(_(__(SEL1))(___(SEL1))((lambda _: _(SEL1))(_____))))(_(__(SEL0))(___(SEL0))(____)))
        ((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: LNK((lambda _: _(SEL1))(______))(LNK((lambda _: _(SEL0))(______))((lambda _: _(SEL0))(_____))))(_(__(SEL1))(___(SEL1))((lambda _: _(SEL1))(_____))))(_(__(SEL0))(___(SEL0))(____)))
            ((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: LNK((lambda _: _(SEL1))(______))(LNK((lambda _: _(SEL0))(______))((lambda _: _(SEL0))(_____))))(_(__(SEL1))(___(SEL1))((lambda _: _(SEL1))(_____))))(_(__(SEL0))(___(SEL0))(____)))
                ((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: LNK((lambda _: _(SEL1))(______))(LNK((lambda _: _(SEL0))(______))((lambda _: _(SEL0))(_____))))(_(__(SEL1))(___(SEL1))((lambda _: _(SEL1))(_____))))(_(__(SEL0))(___(SEL0))(____)))
                    ((lambda _: lambda __: lambda ___: lambda ____: (lambda _____: (lambda ______: LNK((lambda _: _(SEL1))(______))(LNK((lambda _: _(SEL0))(______))((lambda _: _(SEL0))(_____))))(_(__(SEL1))(___(SEL1))((lambda _: _(SEL1))(_____))))(_(__(SEL0))(___(SEL0))(____)))
                        (lambda _: lambda __: lambda ___: 
                            LNK(
                                OR
                                (
                                    AND
                                    (_)
                                    (__)
                                )(
                                    AND
                                    (
                                        (lambda _: lambda __: OR(AND(NOT(_))(__))(AND(_)(NOT(__))))
                                        (_)(__)
                                    )
                                    (___)
                                )
                            )(
                                (lambda _: lambda __: OR(AND(NOT(_))(__))(AND(_)(NOT(__))))
                                (
                                    (lambda _: lambda __: OR(AND(NOT(_))(__))(AND(_)(NOT(__))))
                                    (_)(__)
                                )
                                (___)
                            )
                        )
                    )
                )
            )
        )
        (_)(__)(SEL0)
    )(SEL0)
)

XOR
(lambda _: lambda __: lambda ___: LNK(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
(
    (lambda _: lambda __: lambda ___: LNK(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
    (
        (lambda _: lambda __: lambda ___: LNK(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
        (
            (lambda _: lambda __: lambda ___: LNK(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
            (
                (lambda _: lambda __: lambda ___: LNK(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
                (lambda _: lambda __: 
                    (lambda _: lambda __: 
                        OR
                        (
                            AND
                            (NOT(_))
                            (__)
                        )
                        (
                            AND
                            (_)
                            (NOT(__))
                        )
                    )(_)(__)
                )
            )
        )
    )
)

EQU
(lambda _: lambda __: lambda ___: AND(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
(
    (lambda _: lambda __: lambda ___: AND(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
    (
        (lambda _: lambda __: lambda ___: AND(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
        (
            (lambda _: lambda __: lambda ___: AND(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
            (
                (lambda _: lambda __: lambda ___: AND(_(__(SEL1))(___(SEL1)))(_(__(SEL0))(___(SEL0))))
                (lambda _: lambda __: 
                    OR
                    (
                        AND
                        (_)
                        (__)
                    )
                    (
                        AND
                        (NOT(_))
                        (NOT(__))
                    )
                )
            )
        )
    )
)

ZERO
(
    LNK
    (
        LNK
        (
            LNK
            (LNK(SEL0)(SEL0))
            (LNK(SEL0)(SEL0))
        )
        (
            LNK
            (LNK(SEL0)(SEL0))
            (LNK(SEL0)(SEL0))
        )
    )
    (
        LNK
        (
            LNK
            (LNK(SEL0)(SEL0))
            (LNK(SEL0)(SEL0))
        )
        (
            LNK
            (LNK(SEL0)(SEL0))
            (LNK(SEL0)(SEL0))
        )
    )
)

LNK
(lambda _: lambda __: lambda ___: (lambda _: lambda __: lambda ___: _(__)(___))(___)(_)(__))

提取后可以得到简化的代码：

(lambda _: lambda __: lambda ___: lambda ____: lambda _____: lambda ______: lambda _______: lambda ________: lambda _________: lambda __________: lambda ___________: lambda ____________: lambda _____________: lambda ______________: lambda _______________: lambda ________________: lambda _________________: lambda __________________: lambda ___________________: lambda ____________________: lambda _____________________: lambda ______________________: lambda _______________________: lambda ________________________: lambda _________________________: lambda __________________________: lambda ___________________________: lambda ____________________________: lambda _____________________________: lambda ______________________________: lambda _______________________________: lambda ________________________________: lambda _________________________________: lambda __________________________________: lambda ___________________________________: lambda ____________________________________: lambda _____________________________________: lambda ______________________________________: lambda _______________________________________: lambda ________________________________________: lambda _________________________________________: lambda __________________________________________: lambda ___________________________________________: lambda ____________________________________________: lambda _____________________________________________: lambda ______________________________________________: lambda _______________________________________________: lambda ________________________________________________: lambda _________________________________________________: lambda __________________________________________________: lambda ___________________________________________________: lambda ____________________________________________________: lambda _____________________________________________________: lambda ______________________________________________________: lambda _______________________________________________________: lambda ________________________________________________________: lambda _________________________________________________________: lambda __________________________________________________________: lambda ___________________________________________________________: lambda ____________________________________________________________: lambda _____________________________________________________________: lambda ______________________________________________________________: lambda _______________________________________________________________: lambda ________________________________________________________________: 
    # check chiper
    # (v0, v1) -> (v0 == c0 && v1 == c1)
    (lambda v3: 
        AND
        (EQU((v3)(SEL1))(FOUR(PACK11011111)(PACK10011011)(PACK00001111)(PACK11010000)))
        (EQU((v3)(SEL0))(FOUR(PACK00110000)(PACK01101110)(PACK00110101)(PACK10010001)))
    )
    # pack input
    i0 = (FOUR
        (PACK(________________________________)(_______________________________)(______________________________)(_____________________________)(____________________________)(___________________________)(__________________________)(_________________________))
        (PACK(________________________)(_______________________)(______________________)(_____________________)(____________________)(___________________)(__________________)(_________________))
        (PACK(________________)(_______________)(______________)(_____________)(____________)(___________)(__________)(_________))
        (PACK(________)(_______)(______)(_____)(____)(___)(__)(_))
    )
    i1 = (FOUR
        (PACK(________________________________________________________________)(_______________________________________________________________)(______________________________________________________________)(_____________________________________________________________)(____________________________________________________________)(___________________________________________________________)(__________________________________________________________)(_________________________________________________________))
        (PACK(________________________________________________________)(_______________________________________________________)(______________________________________________________)(_____________________________________________________)(____________________________________________________)(___________________________________________________)(__________________________________________________)(_________________________________________________))
        (PACK(________________________________________________)(_______________________________________________)(______________________________________________)(_____________________________________________)(____________________________________________)(___________________________________________)(__________________________________________)(_________________________________________))
        (PACK(________________________________________)(_______________________________________)(______________________________________)(_____________________________________)(____________________________________)(___________________________________)(__________________________________)(_________________________________))
    )
    # encrypt input
    (
        (
            # loop body
            (lambda v1: (lambda v2: v1(v2(v2)))(lambda v3: v1(lambda v4: v3(v3)(v4))))
            (lambda v1: lambda v2: lambda v3: 
                (lambda v1: v1(lambda v2: lambda v1: lambda v2: v2)(SEL1))(v2)(v3)
                (lambda v4: 
                    v1((lambda v1: lambda v2: lambda v3: v1(lambda v4: lambda v5: v5(v4(v2)))(lambda v5: v3)(lambda v6: v6))(v2))
                    (
                        # unpack local variable
                        # (sum, (v0, v1))
                        v1=v3
                        v2=v1(SEL1)
                        v3=v1(SEL0)(SEL1)
                        v4=v1(SEL0)(SEL0)
                        # sum += delta
                        v5=(ADD(v2)(FOUR(PACK10011110)(PACK00110111)(PACK01111001)(PACK10111001)))
                        # v0 += ((v1<<4) + k0) ^ (v1 + sum) ^ ((v1>>5) + k1)
                        v6=(
                            ADD(v3)(
                                XOR(
                                    XOR(
                                        ADD(
                                            SHL(SHL(SHL(SHL(v4))))
                                        )(
                                            FOUR(PACK10000110)(PACK11110010)(PACK11001101)(PACK01100100)
                                        )
                                    )(
                                        ADD(v4)(v5)
                                    )
                                )(
                                    ADD(
                                        SHR(SHR(SHR(SHR(SHR(v4)))))
                                    )(
                                        FOUR(PACK10001110)(PACK01011111)(PACK01100000)(PACK10011000)
                                    )
                                )
                            )
                        )
                        # v1 += ((v0<<4) + k2) ^ (v0 + sum) ^ ((v0>>5) + k3)
                        v7=(
                            ADD(v4)(
                                XOR(
                                    XOR(
                                        ADD(
                                            SHL(SHL(SHL(SHL(v6))))
                                        )(
                                            FOUR(PACK11110000)(PACK11001100)(PACK00000100)(PACK11010100)
                                        )
                                    )(
                                        ADD(v6)(v5)
                                    )
                                )(
                                    ADD(
                                        SHR(SHR(SHR(SHR(SHR(v6)))))
                                    )(
                                        FOUR(PACK01100001)(PACK10100001)(PACK00100110)(PACK01111111)
                                    )
                                )
                            )
                        )
                        # pack local variable
                        # (sum, (v0, v1))
                        LNK(v5)(LNK(v6)(v7))
                    )
                    (v4)
                )
            )
            # loop 32 times
            (lambda v1: lambda v2: v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v1(v2)))))))))))))))))))))))))))))))))
            # initial value
            # (0, (i0, i1))
            (LNK(LNK(ZERO)(ZERO))(LNK(i0)(i1)))
        )
        # return chiper
        # (sum, (v0, v1)) -> (v0, v1)
        (SEL0)
    )
)(tmp[0])(tmp[1])(tmp[2])(tmp[3])(tmp[4])(tmp[5])(tmp[6])(tmp[7])(tmp[8])(tmp[9])(tmp[10])(tmp[11])(tmp[12])(tmp[13])(tmp[14])(tmp[15])(tmp[16])(tmp[17])(tmp[18])(tmp[19])(tmp[20])(tmp[21])(tmp[22])(tmp[23])(tmp[24])(tmp[25])(tmp[26])(tmp[27])(tmp[28])(tmp[29])(tmp[30])(tmp[31])(tmp[32])(tmp[33])(tmp[34])(tmp[35])(tmp[36])(tmp[37])(tmp[38])(tmp[39])(tmp[40])(tmp[41])(tmp[42])(tmp[43])(tmp[44])(tmp[45])(tmp[46])(tmp[47])(tmp[48])(tmp[49])(tmp[50])(tmp[51])(tmp[52])(tmp[53])(tmp[54])(tmp[55])(tmp[56])(tmp[57])(tmp[58])(tmp[59])(tmp[60])(tmp[61])(tmp[62])(tmp[63])(True)(False)

容易看出实现的是 TEA 加密算法。

解密脚本

#include <cstdio>

unsigned int v[]={
0b11011111100110110000111111010000,
0b00110000011011100011010110010001};

unsigned int delta=
0b10011110001101110111100110111001;

unsigned int k[]={
0b10000110111100101100110101100100,
0b10001110010111110110000010011000,
0b11110000110011000000010011010100,
0b01100001101000010010011001111111};

void decrypt (unsigned int* v, unsigned int* k) {
    unsigned int v0=v[0], v1=v[1], sum=0xC6EF3720, i;
    unsigned int delta=0x9e3779b9;
    unsigned int k0=k[0], k1=k[1], k2=k[2], k3=k[3];
    for (i=0; i<32; i++) {
        v1 -= ((v0<<4) + k2) ^ (v0 + sum) ^ ((v0>>5) + k3);
        v0 -= ((v1<<4) + k0) ^ (v1 + sum) ^ ((v1>>5) + k1);
        sum -= delta;
    }
    v[0]=v0; v[1]=v1;
}

int main(){
    decrypt(v,k);
    printf("flag{");
    for (int i=0;i<8;i++) printf("%02x",*((unsigned char*)v+i));
    printf("}\n");
}