BIB > 5, 10, 15, 72, 2298, 5733, 6087
BIB > 10, 16, 1847
BIB > 10, 1742
BIB > 10
BIB > 4, 5, 10, 5994, 6731, 8282
BIB > 5, 501, 5166, 5189
BIB > 10, 1149, 1789, 2519, 2690, 3129, 5799, ...
BIB > 10, 25, 3215
BIB > 2, 10, 869, 1067, 1122, 2445, 2951, 3643
BIB > 10, 87, 1055, 1173
BIB > 4, 10, 1676, 1846
BIB > 10, 2018, 3857