sing4ti2.lib
constant markov4ti2
constant graver4ti2
constant hilbert4ti2