We are given string $s$ consisting only of characters in $\set{0, 1}$. Input $s$ is non-empty and $\abs{s} \leq 100$. The following expresses our program output given input string $s$: \[ \cif{solve(s)}{ \x{YES} & \x{if $0000000 \in s$,} \\ & \x{if $1111111 \in s$,} \\ \x{NO} & \x{otherwise}} \]