#!/bin/sh

set -e

$SORT_DCTRL < 0006.in