CTAN upload: computational complexity class