XRNTOOZ6ARR4XK7GNGUZKHFKB5NDW3WU4I32QKJH6ADFHZQG55CAC
BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC
BVR7DVINVPQG7PA6Z7QYVYNQ43YZL7XCC6AOMSMWMGAAB2Q43STAC
if (x.gi > y.gi) return false;
if (x.gi > y.gi)
return false;
if (x.vi > y.vi) return false;
if (x.vi > y.vi)
if (x.tl > y.tl) return false;
if (x.tl > y.tl)
friend ostream &operator<<(ostream &os, const clause_t &cl) { return os << "clause_t{gi:" << cl.gi << ",vi:" << cl.vi << ",tl:" << cl.tl << ",valid:" << cl.valid << "}"; }
friend ostream &operator<<(ostream &os, const clause_t &cl) {
return os << "clause_t{gi:" << cl.gi << ",vi:" << cl.vi << ",tl:" << cl.tl
<< ",valid:" << cl.valid << "}";
}