[
'boolTriv.poly1',
'totalOrder.poly1',
'equality.poly1',
'equalityAndOrder.poly1',
'commSemiGroup.poly1.p',
'commSemiGroup.poly1.t',
'abelianGroup.poly1.p',
'abelianGroup.poly1.t',
'commRing.poly1',
'booleanRing.poly1',
'orderedRing.poly1',
'int.poly1',
'nat.poly1',
'lists.neqkns',
'lists.poly2',
'slists.poly2',
'natlists.poly2',
'field.poly1',
'group.neqkns',
'sets.poly1'
].
