BIB > 10, 1291, 1924
BIB > 1419, 2535, 2859, 2870
BIB > 5, 10, 5302, 5761, 6210
BIB > 15, 1845
BIB > 10, 297, 1158, 2943, 3040
BIB > 5913, 6653, 218305631
BIB > 10, 35, 3492
BIB > 5, 10, 15, 2147
BIB > 10, 12, 1017, 1491, 2734
BIB > 10, 14, 3213, 3234
BIB > 10, 518, 1308, 1542, 218305631
BIB > 10, 3331