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