BIB > 10, 356, 1422, 2091
BIB > 10, 1360, 5905
BIB > 10, 6558
BIB > 10, 3383
BIB > 0, 10, 86, 120, 1371, 1382, 1399, 1645, ...
BIB > 1, 10, 14, 203, 220, 1429, 1948
BIB > 2, 10, 825, 1482, 1982
BIB > 5, 242, 618, 5094, 6055, 6177, 55666
BIB > 5, 10, 1190, 6410
BIB > 10, 631, 1457, 1485, 1941, 5873
BIB > 10, 5057, 5191
BIB > 10, 1607, 2929, 2931