BIB > 1448
BIB > 10, 1615
BIB > 10, 15, 175, 344, 734, 2434, 2614, 3816, ...
BIB > 10, 1899, 3241
BIB > 3, 10
BIB > 10, 2375, 2549, 3711
BIB > 10, 18, 289, 1638
BIB > 10, 2588, 2838, 3357, 3684, 218305631
BIB > 10, 338, 645, 5866
BIB > 10, 1055, 1394, 1937, 2206
BIB > 5, 443, 5876
BIB > 0, 3, 10, 1390, 8547