BIB > 2100
BIB > 1942, 2017, 2064
BIB > 0, 25, 2003, 2024, 2052, 8002
BIB > 1145
BIB > 5, 7, 8, 10, 20, 68, 73, 114, 200, 252, ...
BIB > 209
BIB > 2, 219, 221, 2141
BIB > 2201, 2246
BIB > 35, 2012, 2195
BIB > 2024, 2213
BIB > 1033, 2057, 2092
BIB > 7, 25, 213, 257, 2032, 2081, 2114, 2181