BIB > 10, 1092
BIB > 0, 5, 10, 8989
BIB > 10, 1955
BIB > 10, 12, 25, 977, 2092
BIB > 1, 10, 210, 282, 1379, 2164
BIB > 10, 1928
BIB > 10
BIB > 10, 3323
BIB > 5, 547, 5544, 6977
BIB > 5, 6, 15, 53, 600, 630, 5502, 6196, 7547
BIB > 10, 12, 303, 1720, 1779
BIB > 5, 54, 672, 5818, 6535, 218305631