from array import *; import sys p = []; v = array('b', [0]*(1<<18)); c = array('i', [1< i for k in range(j+1, 18): m += v[t:=(i^c[j]^c[k])] and t > i sys.stdout.write(f'{i}:{m}\n')