GNU SETL 0.1.1
Copyright (C) 1988-2009 dB.