try this input
8
2
3
4
1
5
6
7
8
(correct answer for it is "Not a proof")



Edited by author 30.08.2026 20:32