This documentation is automatically generated by online-judge-tools/verification-helper