extans.sed

SR-tree is an index structure for high-dimensional nearest neighbor queries

#!/bin/sh
sed -e '/^HnProperties/,/\]/d' \
    -e '/^Searching/d' \
    -e 's/:.*$//' \
    -e '/^\*\*\*\* Processing/,$d'