Adding some more judges, here and there.
[and.git] / NEERC / kequiv / tests / 13.a
bloba2d9ba02b732db6eed3f9045e5d38843b31fcfe9