tags: line.rstrip().split() can be replaced with line.split()
The line looks like "123 <node> <node>" and does not start with
whitespace: it was therefore not significant that rstrip was used
instead of strip. Furthermore, the first part is fed to int, which
will itself strip away whitespace before converting the string to an
integer.
workingfilectx.date = (1000, 0)
ASCII : Gr?ezi!
Latin-1 : Grüezi!
UTF-8 : Grüezi!