Binary: ladr_to_tptp

davix-get davix-http eulb-create-lb-cookie-stickiness-policy gem64 gif2h5 lshw-gui vipe mydnsptrconvert-pgsql arcrm arb_occlusion_query2-render sso-uniforms-02 scotch_gmk_hy srp_daemon.sh aewm++ cdfpvor cmtk_locking_procmail.sh dcmftest x86_64-w64-mingw32-gnatname-posix grsync icingastats jtdiff kdbg chktest ltsp-build-client amd64-mingw32msvc-readelf dist van-pydeb roodi lily-rebuild-pdfs yamdi