1 2 3 4 5
# stdin Human review: pending. Expected output was independently traced by AI, not captured from cpsc. Basis and trace: CIE p. 15; the project INPUT contract reads BOOLEAN as an integer (nonzero is true) and STRING as a whitespace-delimited token.