星期五和数字13都代表着坏运气，所以，不管哪个月的13日又恰逢星期五就叫做“黑色星期五”，请编写python程序找出来未来20年哪些天是“黑色星期五”（使用python的datetime库）

在Python中，我们可以利用datetime库来找出未来的"黑色星期五"日期。下面是一个简单的脚本，它会找出20年内所有月份13日且是星期五的日子：

import datetime

def is_black_friday(year):
    # 获取该年的第一天
    new_year = datetime.date(year, 1, 1)
    
    while True:
        # 检查当前日期是否为每月13日且是星期五
        if new_year.day == 13 and new_year.weekday() == 4:  # 星期五的索引是4 (0代表周一)
            yield new_year
        # 移动到下一个月的第一天
        new_year += datetime.timedelta(days=1)
        
        # 如果已经过了20年，跳出循环
        if year + (new_year.year - new_year.month) // 12 >= 2023:
            break

# 打印未来20年的黑色星期五
for year in range(2023, 2043):
    for black_friday in is_black_friday(year):
        print(f"{black_friday:%Y-%m-%d} is a Black Friday")