https://leetcode.cn/submissions/detail/347220065/

f = open("user.out", 'w')
for a in stdin:
    if a[1] == ']':
        print("[]", file=f)
    else:
        print('[', ','.join(map(str, sorted(map(int, a.rstrip()[1:-1].split(','))))), ']', sep='', file=f)
exit(0)