Series Information
Type CNF