BIB > 10, 1172, 1944, 3618, 3871
BIB > 5, 6767
BIB > 10, 12, 845, 1184, 1350, 1399, 1684, 221 ...
BIB > 10, 202, 62760
BIB > 0, 4, 10, 21830563
BIB > 3856, 3883
BIB > 2, 5, 10, 3916, 6864
BIB > 5, 5338, 55443, 85795
BIB > 10, 34, 129, 292, 2435, 2929
BIB > 10, 2279
BIB > 10, 700, 2052, 2053
BIB > 10, 15, 2015