PROTO-vEB-MAXIMUM(V)
if V.u==2
if V.A[1]==1
return 1
else if V.A[0]==1
return 0
else
return NIL
else
max-cluster=PROTO-vEB-MAXIMUM(V.summary)
if max-cluster==NIL
return NIL
else
offset=PROTO-vEB-MAXIMUM(V.cluster[max-cluster])
return index(max-cluster,offset)