new FTP

[Mark Tarver]

Version 31 which streamlines the code and introduces

a novel proof construction method.    The FTP constructs

a precis of the proof which when found enables the program 

to construct a full proof in linear time using the original code

w.o. any new code.  The result is 525 lines long vs 734 lines

of version 29.  This is a rebuild where about 30% of the code

is lifted from v 29.

Performance is the same.

Mark