what is the name of tv director that has a weight no more than 72.6?
(AND tv.tv_director (le people.person.weight_kg 72.6^^http://www.w3.org/2001/XMLSchema#float))