import random
for z in range(2000):
 k=random.randrange(3)
 l=random.randrange(3)
 a0=random.randrange(I[k][0],I[k][1])
 a1=min(I[k][1],a0+random.randrange(1,40))
 b0=random.randrange(I[l][0],I[l][1])
 b1=min(I[l][1],b0+random.randrange(1,40))
 t=random.randrange(p)
 H=hit(a0,a1,b0,b1,t)
 Br=any(inV((a+b)%p,t) for a in range(a0,a1+1) for b in range(b0,b1+1))
 if H!=Br:
  print('BAD',z,H,Br,a0,a1,b0,b1,t)
  break
else:print('HITOK')