#!/bin/bash
sed -n -e '/^Query/d;/^$/d;/Retrieved/d' -e 's/^.*\[\([0-9][0-9]*\)\]/\1/p' SRK.txt