tautologyhard.str 5.05 KB