$><<[*0...1e5]*' '