BIB > 5, 10, 5376, 5548
BIB > 10, 1103, 1419, 1591
BIB > 5, 3607, 6628
BIB > 10, 3170
BIB > 12, 6781, 76275
BIB > 2, 5, 10, 102, 1552, 1708, 2742, 2183056 ...
BIB > 2, 4, 5, 7, 10, 15, 99, 110, 495, 5789, ...
BIB > 10, 83, 3057
BIB > 5, 10, 15, 5105
BIB > 10, 389
BIB > 10, 2929
BIB > 10, 25, 212, 546, 1145, 1988, 3235, 3236