Random red half-circles