In reply to totochan1985:
Your constraint no_conseq_zero has a simple mistake. Did you test it?
Also arr[60] is a fixed sized array, not a dynamic array.
In reply to totochan1985:
Your constraint no_conseq_zero has a simple mistake. Did you test it?
Also arr[60] is a fixed sized array, not a dynamic array.