#!/bin/sh
# DF-4731 build
set -e
cd "$(dirname "$0")"
./build.sh  (cc -O2 -Wall -o df4731_proof df4731_proof.c && ./df4731_proof)