I want to know how to separate information within 1 line of user input using Python3. For example, the user types
5 1 7 8 12 13
The 5 represents the number of numbers that follow, and I want to store those numbers (1, 7, 8, 12, 13) in 1 array as integers. I have tried splitting off each number as a String and then casting it as an int, but this doesn’t work well if the input line contains two (or possibly more) digit numbers.