dvixtotal diuxtotal