竹外茅斋橡下亭，半池莲叶半池菱。