 *)
val rdist = 3

structure Problem =
struct
  type solution = int Vector.t
  type space = Space.space

  val root = root
  val readSolution = readSolution
  fun copyq d = d mod rdist = 0

  val bab = false
  fun bound _ = assert false
  fun compare _ = assert false

  val mask = Debug.dbNone
end

structure Search = MkSearch Problem

val solutions = Search.getAllSolutions ()

val _ = Inspector.inspect solutions
</PRE>
</P>

<P>
The second example can be described as follows:
given two tuples of n integers,