s[]=1 s(c:r)|any(>=print.s>>main