reworked parsing to use filtered proof output results