<!-- HTML generated using hilite.me -->

import java.io.File fun main(args: Array<String>) { File("aaa.txt").writeText(File("Data.txt").readLines().map { it.split("\\\\\\\\s+".toRegex()).mapNotNull { it.toDoubleOrNull()?.let { it * 3 } }.joinToString(" ") }.joinToString("\\\\n")) }