procedure prova(in:A,N,M,P ; out:TEST)

var N,M,P,I,J,K:integer
var A:array of integer
var TEST:boolean
I=1
TEST=.TRUE.
WHILE (I<=N and TEST)
J=1
K=0
WHILE (J<=M-P+1 and K<P)
IF A(I,J)==0 THEN
K=K+1
ELSE
K=0
ENDIF
J=J+1
ENDWHILE
IF (K/=P) THEN
TEST=.FALSE.
ELSE
I=I+1
ENDIF
ENDWHILE
END