BIB > 10, 2512, 3762
BIB > 0, 1, 10, 520, 562
BIB > 5, 10, 202, 609, 3916, 6864
BIB > 5, 816, 5586
BIB > 5, 66, 387, 660, 5603, 6937, 6991
BIB > 5, 10, 20, 2273, 5217
BIB > 5, 5717
BIB > 10, 1679
BIB > 1, 549, 705, 5149, 5559, 6520, 6534
BIB > 2, 3, 5, 10, 39
BIB > 5, 13, 16, 190, 5268, 5407, 6378, 6420, ...
BIB > 5, 6, 5792, 6225, 6633