File standardInput readLines size print