print tix file