BIB > 1, 5, 16, 30, 6864
BIB > 4, 10, 1983, 2244, 2247
BIB > 0, 10, 12, 2739, 2740
BIB > 10, 11, 1603, 14701
BIB > 6046, 6074, 6264, 6345
BIB > 3577
BIB > 10, 12, 50, 2236, 2875, 3827, 82812
BIB > 0, 10, 2768, 3315, 5904, 218305631
BIB > 10, 40, 2626, 2627
BIB > 5, 6739
BIB > 0, 5, 2540, 5150, 6494, 6534, 26272
BIB > 10, 2850