5993.stdout 13 Bytes