fttxfeqxhalfdoublexsxeqsxsyeqxyeq00ttdoublesxssdoublexdouble00halfssxshalfxhalf00f2tt0eq2half1double1s100FULLTRS//AProVE_10/halfdouble.trs