BIB > 6, 32, 1705
BIB > 5, 10, 82, 110, 1275, 2035, 6767
BIB > 5, 10, 12, 1266, 1777, 6747, 6748
BIB > 6, 10, 668, 737, 1435, 1466, 2293, 35156
BIB > 10, 2056, 2605, 2667, 3409
BIB > 5, 10, 210, 1670, 6225
BIB > 10, 126, 2132, 2416, 2583, 3894
BIB > 10, 2014, 3703
BIB > 10, 1427, 3606
BIB > 9, 10, 394, 2241, 2622, 2830, 2842, 2846
BIB > 10, 2795
BIB > 65