BIB > 10, 1265, 2850
BIB > 2, 6, 10, 16, 100, 1145, 1663
BIB > 10, 394, 1290, 1959, 2579, 2826, 2844
BIB > 10, 14, 24, 3357
BIB > 10
BIB > 34
BIB > 10, 2245
BIB > 2, 7, 10, 3008, 3710
BIB > 0, 10, 1791, 2365
BIB > 10, 419, 1524, 2681
BIB > 10, 1899, 3241, 25000
BIB > 10, 14, 1975