BIB > 101, 6257
BIB > 10, 1143, 3870
BIB > 1025, 1730
BIB > 10, 3579
BIB > 6, 10, 13, 233, 1262, 2293
BIB > 2, 10, 25, 39, 2391, 3647, 82801
BIB > 10, 1009
BIB > 10, 1687, 1952
BIB > 10, 6864
BIB > 2, 10, 2916
BIB > 10, 2674
BIB > 5, 10, 2084, 6683