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.