% https://open.kattis.com/problems/eyeofsauron
% 1s
% 1.4 Easy

% Picat version to test DCG
main :-
     File = "eye_of_sauron4.inp",
     Chars = read_file_chars(File).delete('\n'),
     println(chars=Chars),
     (eye(Chars,[]) -> writeln("correct") ; writeln("fix")),
     writeln(ok),
     nl.
main.

bar --> "|". % [0'|].
lp  --> "(". % [0'(].
rp  --> ")". % [0')].         

eye --> lp,rp.
eye --> bar, eye, bar.
eye --> [].