This documentation is automatically generated by competitive-verifier/competitive-verifier