BIB > 10, 3000
BIB > 3, 10, 88, 3028, 3816
BIB > 10, 165, 1650
BIB > 2, 104, 218305631
BIB > 10, 55, 2133, 4445, 85074, 85828
BIB > 2379
BIB > 3, 10, 187
BIB > 1058, 1351
BIB > 88, 292, 1109, 1818, 1963, 2300, 42874
BIB > 8, 10, 1094, 1410, 3036
BIB > 10
BIB > 10, 20, 1598, 2017, 3127, 3823, 83213