"""verify.py - pairwise independence verifier for witness files.
Usage: python verify.py <file> <q>   -> prints size and ADJACENT PAIRS: n"""
import sys, itertools
import numpy as np

fn=sys.argv[1]; q=int(sys.argv[2])
W=[[int(x) for x in ln.split()] for ln in open(fn) if ln.strip()]
A=np.array(W,dtype=np.int64)
assert (A>=0).all() and (A<q).all(), "coordinates out of range"
bad=0
for i in range(len(A)):
    d=(A[i+1:]-A[i])%q
    bad+=int(((d<=1)|(d>=q-1)).all(axis=1).sum())
print(f"vertices: {len(A)}  dimension: {A.shape[1]}  q={q}")
print(f"ADJACENT PAIRS: {bad}")
print("INDEPENDENT" if bad==0 else "NOT INDEPENDENT")