This documentation is automatically generated by online-judge-tools/verification-helper
#define PROBLEM "https://judge.yosupo.jp/problem/aplusb"
#include "aplusb.hpp"
#include "base.hpp"
#include "math/modint61.hpp"
#include "util/random.hpp"
using Mint = ModInt61;
int main() {
Random gen = Random();
for (int ph = 0; ph < 100; ph++) {
ull a = gen.uniform(0ULL, Mint::get_mod() - 1);
ull b = gen.uniform(0ULL, Mint::get_mod() - 1);
ull expect = (__uint128_t(a) + b) % Mint::get_mod();
ull actual = (Mint(a) + Mint(b)).v;
assert(expect == actual);
}
for (int ph = 0; ph < 100; ph++) {
ull a = gen.uniform(0ULL, Mint::get_mod() - 1);
ull b = gen.uniform(0ULL, Mint::get_mod() - 1);
ull expect = (__uint128_t(a) - b + Mint::get_mod()) % Mint::get_mod();
ull actual = (Mint(a) - Mint(b)).v;
assert(expect == actual);
}
for (int ph = 0; ph < 100; ph++) {
ull a = gen.uniform(0ULL, Mint::get_mod() - 1);
ull b = gen.uniform(0ULL, Mint::get_mod() - 1);
ull expect = __uint128_t(a) * b % Mint::get_mod();
ull actual = (Mint(a) * Mint(b)).v;
assert(expect == actual);
}
for (int ph = 0; ph < 100; ph++) {
Mint a = Mint(gen.uniform(0ULL, Mint::get_mod() - 1));
Mint ia = a.inv();
assert((a * ia).v == 1);
}
solve_aplusb();
return 0;
}
Traceback (most recent call last):
File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
bundler.update(path)
File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
self.update(self._resolve(pathlib.Path(included), included_from=path))
File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
self.update(self._resolve(pathlib.Path(included), included_from=path))
File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 260, in _resolve
raise BundleErrorAt(path, -1, "no such header")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: base.hpp: line -1: no such header