contrib/jls/seq/peuclid_seq
contrib/jls/seq/structure_seq
contrib/jls/seq/wolfram_seq