BIB > 1, 10, 1466, 1983, 2244
BIB > 7, 10, 15, 72, 367, 2874, 72874
BIB > 10
BIB > 10, 12, 169, 1206, 2794
BIB > 5, 5860
BIB > 10, 165, 3047
BIB > 5, 10, 5436, 5642
BIB > 10, 2125
BIB > 10, 1018
BIB > 10, 220, 2167, 3031
BIB > 10, 3442
BIB > 10, 15, 2955, 3552