#!/bin/sh

~/nadl2nadlval.pl prob$1 $1