#!/usr/bin/python3

from woffTools.tools import proof

proof.main()