Input (grade 13): The flag of the Kingdom of Thailand shows five horizontal stripes in the colors red, white, blue, white and red, with the middle blue stripe being twice as wide as each of the other four.
Output (grade 4): The Flag of Thailand has five stripes in the colors red, white, and blue. The middle blue stripe is two times as wide as other four.