Code is here. As you can see, there's nothing but a number in output file (I checked also .txt with a hex editor — nothing suspicious). But checker says 'wrong output format Unexpected end of file — int64 expected'. Maybe I got something wrong?

UPD. Solved