BIB > 10, 390, 6371
BIB > 10, 1140
BIB > 10, 1958
BIB > 5, 10, 12, 2397, 5846
BIB > 10, 1454, 3178
BIB > 10, 2561, 13834
BIB > 10, 1058, 1180, 1729
BIB > 2, 10, 25, 2117
BIB > 10, 910, 1016, 2182
BIB > 1, 10, 136, 1183, 2017, 3644, 83564
BIB > 1, 5, 10, 6864
BIB > 1, 7, 10, 16, 2744, 3528