Update tetravex.cpp

Fixed tabulation