BIB > 10, 2815, 3164
BIB > 10, 47, 2327
BIB > 1, 10, 1257, 2135, 3324
BIB > 10, 1351, 2383, 2532
BIB > 2, 9, 10, 165, 2580
BIB > 10, 1593
BIB > 5, 10, 5220, 5446
BIB > 10, 1822
BIB > 0, 10, 218305631
BIB > 6, 5975, 6378
BIB > 2, 5, 66, 662, 6093
BIB > 10, 130, 231