(int n, int k1, int k2, int w, int b)
source not stored for this graph (policy: none)
no test coverage detected