?- tryme.
searching...
% 281,537 inferences, 0.180 CPU in 0.183 seconds (98% CPU, 1564094 Lips)
[[2, 1, 0, 0, 2, 2, 1], [0, 2, 2, 1, 1, 0, 2], [1, 0, 0, 1, 2, 2, 2], [1, 2, 1, 0, 0, 2, 2], [0, 1, 2, 2, 2, 0, 1], [2, 0, 2, 2, 1, 1, 0], [2, 2, 1, 2, 0, 1, 0]]
true.