← back to summary fra-rs1: show route protocol theorema filtered all