вот мой вариант
source = [int(i) for i in raw_input().split() if ord(i) in [ord(str(k)) for k in range(10)]]
PS
сейчас читаю про re и понимаю, что пока не понимаю, можно/нужно ли их использовать
source = [int(i) for i in raw_input().split() if ord(i) in [ord(str(k)) for k in range(10)]]
FILLIPO
которую запрещено запоминать целиком
source = [int(i) for i in raw_input().split(".")[0] if ord(i) in [ord(str(k)) for k in range(10)]]
>>> qwe = "gh8k23locsm08.dfkjc999"
>>> qwe.split('.')
['gh8k23locsm08', 'dfkjc999']
>>> qwe.split('.')[0]
'gh8k23locsm08'