export function seperate_lines(input: string): string[] {
    return input.replace("\r", "").split("\n");
}