import json
import os
import re
# file_path = "original_configure.json"

# Top5Kurtosis = [0, 1, 31, 30, 22]
# Top5HeavyTailAlphaValues = [0, 11, 10, 1, 8]
# Lowest5Kurtosis = [25, 27, 23, 28, 18]
# Lowest5HeavyTailAlphaValues = [21, 30, 20, 22, 24]

# data = [8] * 32
# for i in Lowest5HeavyTailAlphaValues:
#     data[i] = 4

# data[30] = 8

# print(data)
# with open(f"preliminary_10.json", "w", encoding="utf-8") as f:
#     json.dump(data, f, ensure_ascii=False, indent=2)
def change_filename(filename):
    match = re.search(r'(\d+)', filename)
    if match:
        old_num = int(match.group(1))
        new_num = old_num + 10
        new_filename = re.sub(r'\d+', str(new_num), filename)
        return new_filename  # 输出：preliminary_15.json
    else:
        return filename

for file in os.listdir('.'):
    if file.endswith('.json'):
        with open(file, 'r', encoding='utf-8') as f:
            data = json.load(f)
            data = [dt//2 for dt in data]
            new_filename = change_filename(file)
            with open(new_filename, 'w', encoding='utf-8') as f:
                json.dump(data, f, ensure_ascii=False, indent=2)