hardcond.lambda 66 Bytes