karelpeeters
12/11/2017, 8:45 AM\n. str.split("\n").map { it.split("\t").map { it.toInt() } }karelpeeters
12/11/2017, 8:46 AMstr.split("\n").map { it.split("\t").map(String::toInt) } 😛kartikpatodi
12/11/2017, 8:52 AMkartikpatodi
12/11/2017, 8:52 AMCzar
12/11/2017, 10:12 AMit twice for different steps of the chain.