with open('/tmp/random.txt', 'w') as f:
f.write('1 2 3 4 5 6 7 8 9')
sum_ = 0
with open('/tmp/random.txt', 'r') as database:
for number in database.read().split():
sum_ += int(number)
print(sum_) # Should be 45
d2l0aCBvcGVuKCcvdG1wL3JhbmRvbS50eHQnLCAndycpIGFzIGY6CiAgICBmLndyaXRlKCcxIDIgMyA0IDUgNiA3IDggOScpCgpzdW1fID0gMAkKCndpdGggb3BlbignL3RtcC9yYW5kb20udHh0JywgJ3InKSBhcyBkYXRhYmFzZToKICAgIGZvciBudW1iZXIgaW4gZGF0YWJhc2UucmVhZCgpLnNwbGl0KCk6CiAgICAgICAgc3VtXyArPSBpbnQobnVtYmVyKQoKcHJpbnQoc3VtXykgICMgU2hvdWxkIGJlIDQ1