BIB > 8, 22, 116, 2022, 2048, 2148
BIB > 8
BIB > 5, 7, 10, 20, 22, 204, 218, 1033, 2001, ...
BIB > 100, 2014
BIB > 2000
BIB > 7, 45, 145, 221, 2003, 2012, 2020, 2027, ...
BIB > 2148, 20155
BIB > 2007, 2244, 2250
BIB > 6, 990, 1993, 2013, 2036
BIB > 2010, 2148
BIB > 2
BIB > 8, 2014, 2148