tptplex.c
tptpsyn.c
tptpsyn.h
tptpsyn.output
