<filter> definition distribution

[SichangHe]

Count {
    filter_set: 46,
    any: 225778,
    addr_prefix_set: 4611,
    route_set: 6152,
    as_num: 198309,
    as_set: 357147,
    as_path_re: 1732,
    peer_as: 690,
    and: 19394,
    or: 8677,
    not: 297,
    group: 35,
    community: 54,
    unknown: 76,
}
filter_set: 0.01%, any: 27.43%, addr_prefix_set: 0.56%, route_set: 0.75%, as_num: 24.10%, as_set: 43.40%, as_path_re: 0.21%, peer_as: 0.08%, and: 2.36%, or: 1.05%, not
: 0.04%, group: 0.00%, community: 0.01%, unknown: 0.01%