BIB > 10, 3140
BIB > 10, 1291, 1657, 2877, 3444
BIB > 10, 40, 3357
BIB > 2, 10, 19, 1771, 2072, 2782, 2918, 3815, ...
BIB > 1, 10, 36, 348, 3374, 3534, 82113
BIB > 5, 10, 17, 5383, 6614
BIB > 5, 10, 4510, 5377, 85441, 218305631
BIB > 6, 10, 1336
BIB > 10, 1037
BIB > 10, 3209
BIB > 3707
BIB > 10, 1221