BIB > 8, 10, 213, 1940, 2166, 3662
BIB > 10, 2087, 2928, 3286
BIB > 10, 1580, 2234
BIB > 20
BIB > 5, 6574
BIB > 5, 5513, 6407, 6958
BIB > 6, 10, 27, 2583, 3141
BIB > 5, 6, 513, 6765
BIB > 4, 5, 10, 3805, 5432, 5688, 86527
BIB > 5, 10, 3231, 5865, 6288
BIB > 1, 10, 1028, 2024, 3017, 3311, 3434
BIB > 5, 5517, 5520, 6226, 7555