This is our server. For real. The input formatting will be displayed when you launch the program.