#! /usr/bin/env python

from woffTools.tools import proof

proof.main()