{ %fail } type ts = set of 0..7; begin writeln(1 in ts(65)); end.