This is the API documentation for atcoder_148_a-0.1.0 Documentation.