Binary: tptp_to_ladr

makecbf clang-check dar_slave sh-linux-gnu-gcov gnome-dump-metadata gv2gxl rlogin smime_keys stencil-twoside pm-action sysprof uustat ck-xinit-session wsr88ddec h8300-hitachi-coff-c++filt ecaccess-certificate-list fdutilsconfig gcj-dbtool gpiv_img2gpiv zebrasrv-2.0 batch_crop lxc-test-getkeys redis-sentinel icmd od2trips umockdev-run winefile-development wks2ods WrapperFactory zita-at1