Binary: dfg2tptp

antenv.cmd rsh texexpand maxima xmtr.bin arb_es2_compatibility-releaseshadercompiler gl-3.2-layered-rendering-framebuffer-layer-attachment-mismatch hiz-depth-test-fbo-d24-s8 occlusion_query proutes queuetostream xdg-settings beep fasttreeMP ifrit infinoted-0.6 udpbsi kdc2tiff bespin sip_reg-4.1.0 odfsearch check_perldiag sapserver flash_unlock nepomuk2-rcgen vacuumlo loofah-query slgui cache-mgr videoob