[Distinct(a, b, c, d, e, f, g),
And(a >= 1, b >= 1, c >= 1, d >= 1, e >= 1, f >= 1, g >= 1),
And(a <= 7, b <= 7, c <= 7, d <= 7, e <= 7, f <= 7, g <= 7),
Distinct(a.b, a.d, a.g, b.c, b.e, e.f),
And(a.b >= 1,
a.d >= 1,
a.g >= 1,
b.c >= 1,
b.e >= 1,
e.f >= 1),
And(a.b <= 6,
a.d <= 6,
a.g <= 6,
b.c <= 6,
b.e <= 6,
e.f <= 6),
And(a.b == If(a - b >= 0, a - b, -(a - b)),
a.d == If(a - d >= 0, a - d, -(a - d)),
a.g == If(a - g >= 0, a - g, -(a - g)),
b.c == If(b - c >= 0, b - c, -(b - c)),
b.e == If(b - e >= 0, b - e, -(b - e)),
e.f == If(e - f >= 0, e - f, -(e - f))),
Or(a != 4, b != 1, c != 6, d != 5, e != 7, f != 3, g != 2),
Or(a != 1, b != 5, c != 2, d != 6, e != 3, f != 4, g != 7),
Or(a != 1, b != 5, c != 2, d != 7, e != 3, f != 4, g != 6),
Or(a != 2, b != 7, c != 5, d != 3, e != 1, f != 4, g != 6),
Or(a != 1, b != 7, c != 4, d != 2, e != 3, f != 5, g != 6),
Or(a != 2, b != 6, c != 4, d != 5, e != 1, f != 7, g != 3),
Or(a != 7, b != 3, c != 6, d != 1, e != 5, f != 4, g != 2),
Or(a != 7, b != 3, c != 6, d != 2, e != 5, f != 4, g != 1),
Or(a != 7, b != 1, c != 4, d != 6, e != 5, f != 3, g != 2),
Or(a != 6, b != 1, c != 3, d != 5, e != 7, f != 4, g != 2),
Or(a != 7, b != 1, c != 3, d != 4, e != 5, f != 6, g != 2),
Or(a != 7, b != 1, c != 3, d != 2, e != 5, f != 6, g != 4),
Or(a != 7, b != 1, c != 4, d != 2, e != 5, f != 3, g != 6),
Or(a != 7, b != 2, c != 4, d != 1, e != 5, f != 6, g != 3),
Or(a != 7, b != 2, c != 4, d != 3, e != 5, f != 6, g != 1),
Or(a != 6, b != 2, c != 4, d != 5, e != 7, f != 1, g != 3),
Or(a != 6, b != 2, c != 4, d != 3, e != 7, f != 1, g != 5),
Or(a != 5, b != 1, c != 4, d != 6, e != 7, f != 2, g != 3),
Or(a != 4, b != 1, c != 5, d != 6, e != 7, f != 2, g != 3),
Or(a != 3, b != 1, c != 5, d != 6, e != 7, f != 2, g != 4),
Or(a != 3, b != 1, c != 5, d != 4, e != 7, f != 2, g != 6),
Or(a != 4, b != 1, c != 5, d != 3, e != 7, f != 2, g != 6),
Or(a != 2, b != 1, c != 6, d != 5, e != 7, f != 3, g != 4),
Or(a != 2, b != 1, c != 6, d != 4, e != 7, f != 3, g != 5),
Or(a != 6, b != 1, c != 3, d != 2, e != 7, f != 4, g != 5),
Or(a != 4, b != 1, c != 6, d != 2, e != 7, f != 3, g != 5),
Or(a != 5, b != 1, c != 4, d != 3, e != 7, f != 2, g != 6),
Or(a != 5, b != 7, c != 3, d != 2, e != 1, f != 6, g != 4),
Or(a != 5, b != 2, c != 6, d != 3, e != 7, f != 1, g != 4),
Or(a != 2, b != 6, c != 4, d != 3, e != 1, f != 7, g != 5),
Or(a != 3, b != 7, c != 4, d != 2, e != 1, f != 6, g != 5),
Or(a != 1, b != 6, c != 4, d != 7, e != 3, f != 2, g != 5),
Or(a != 6, b != 7, c != 2, d != 3, e != 1, f != 5, g != 4),
Or(a != 1, b != 7, c != 5, d != 6, e != 3, f != 2, g != 4),
Or(a != 3, b != 6, c != 2, d != 5, e != 1, f != 7, g != 4),
Or(a != 1, b != 6, c != 2, d != 7, e != 5, f != 3, g != 4),
Or(a != 1, b != 6, c != 4, d != 5, e != 3, f != 2, g != 7),
Or(a != 1, b != 7, c != 5, d != 4, e != 3, f != 2, g != 6),
Or(a != 1, b != 6, c != 2, d != 4, e != 5, f != 3, g != 7),
Or(a != 5, b != 2, c != 6, d != 4, e != 7, f != 1, g != 3),
Or(a != 3, b != 7, c != 4, d != 5, e != 1, f != 6, g != 2),
Or(a != 7, b != 2, c != 6, d != 1, e != 3, f != 5, g != 4),
Or(a != 7, b != 2, c != 6, d != 4, e != 3, f != 5, g != 1),
Or(a != 3, b != 6, c != 2, d != 4, e != 1, f != 7, g != 5),
Or(a != 4, b != 7, c != 3, d != 2, e != 1, f != 6, g != 5),
Or(a != 2, b != 7, c != 5, d != 6, e != 1, f != 4, g != 3),
Or(a != 1, b != 7, c != 4, d != 6, e != 3, f != 5, g != 2),
Or(a != 4, b != 7, c != 2, d != 3, e != 1, f != 5, g != 6),
Or(a != 4, b != 7, c != 3, d != 5, e != 1, f != 6, g != 2),
Or(a != 5, b != 7, c != 3, d != 4, e != 1, f != 6, g != 2),
Or(a != 4, b != 7, c != 2, d != 6, e != 1, f != 5, g != 3),
Or(a != 6, b != 7, c != 2, d != 4, e != 1, f != 5, g != 3)] |