TETRAVEX ........\tetravex.tpi ........\TETRAVEX1.IN ........\TETRAVEX1.OUT ........\TETRAVEX2.IN ........\tetravex2.out ........\tetravex3.in ........\tetravex3.out ........\tetravex4.in ........\tetravex4.out ........\tetravex5.in ........\tetravex5.out