python3 sys stdin readline