Binary: tptp_to_ladr

i.zc edit-faxcover kcheckrunning tgatoppm opengl-game-wrapper.sh ldapwhoami arb_vertex_array-isvertexarray rpmdev-sum siril tclsh8.5 dnsdict6 cg_diff packdbf pxplot bc srmbootfat apop_plot_query csvimp efax-gtk-faxfilter fastDNAml-util cwcompile gpiv_rot90 typeset_audio_dir lsmod_info tpm_nvrelease troff2null unifontpic play_cell ospf_print_neighbours history.cgi