#!/bin/sh
# WARNING: This file was auto-generated. Do not edit!

awk '
  /^d/ {
    if ($7 == x) print
  }
  /^m/ {
    if ($8 == x) print
  }
' x="<$1>"
