BIB > 10
BIB > 5, 156, 3184, 5760, 6589
BIB > 7, 10, 59, 512, 1242, 6051, 6460, 8889, ...
BIB > 3, 10, 50, 82, 2744, 3482
BIB > 10, 251, 1786, 3574, 304130
BIB > 10, 15, 23, 1504, 3926
BIB > 10
BIB > 1, 5, 6, 10, 12
BIB > 10
BIB > 10, 17, 1945, 3192
BIB > 5, 10, 19, 5900, 5991
BIB > 10, 2866, 3182, 5323