[['define', 'lambda', ['lambda', ['define', 'if'], ['char', ['plus', ['mult', 'define', 13], ['mult', 6, 5], 'if']]]], ['plus', ['lambda', 3, 3], ['lambda', 5, 6], ['lambda', 6, 0], ['lambda', 6, 0], ['lambda', 6, 3], ['lambda', 1, 1], ['lambda', 0, 2], ['lambda', 4, 5], ['lambda', 6, 3], ['lambda', 6, 6], ['lambda', 6, 0], ['lambda', 5, 5], ['lambda', 0, 3]]]