BIB > 10, 2666, 3379
BIB > 5, 6, 10, 67, 538, 5302, 668187
BIB > 10, 3075, 3153
BIB > 10, 2577, 3304
BIB > 5, 862, 6259, 6477
BIB > 10, 28, 2061, 2143
BIB > 10, 157
BIB > 2, 10, 164, 2504, 3326
BIB > 0, 10, 16, 215, 596, 3286, 3677
BIB > 5, 10, 33, 998, 1016, 1465, 6433
BIB > 10, 210, 1315, 2412
BIB > 5, 10, 29, 100, 5343, 6288, 56885