['object.neqkns',
'natbase.neqkns',
'intbase.neqkns',
'intplus.neqkns',
'inttimes.neqkns',
'totalOrder.neqkns',
'orderedIntegers.neqkns',
'int.neqkns',
'lists.neqkns',
'square.neqkns',
'intWTPreds.neqkns',
'stack.neqkns',
'natB.neqkns']
.
