Adding tet files