# gegeven een lvrouted.mytree, kijk of alle adressen daarin wel in genesis
# staan.

# lodewijk@wirelessleiden.nl
import popen2
import re
import sys

size = 30
if len(sys.argv) > 1:
	size = int(sys.argv[1])
numaddrs = 1 << (32 - size)

ipre = re.compile("^IP=(172\.16\.[0-9]+\.[0-9]+)/([0-9]+) *")

def parseaddr(s):
	f = s.split('.')
	return (int(f[0]) << 24) + \
		(int(f[1]) << 16) + \
		(int(f[2]) << 8) + \
		int(f[3])

def showaddr(a):
	return "%d.%d.%d.%d" % ((a >> 24) & 0xff, (a >> 16) & 0xff, (a >> 8) & 0xff, a & 0xff)

bezet = {}

(cout, cin) = popen2.popen2("cat */wleiden.conf | grep ^IP | grep 172.16\...*\/[28\|29\|30]")
cin.close()
for l in cout.readlines():
	l = l[:-1]
	match = ipre.match(l)
	if match == None:
		print("'" + l + "'")
	addr = parseaddr(match.group(1))
	mask = int(match.group(2))
	addr = addr & ~((1 << (32 - mask)) - 1)
	upper = addr + (1 << (32 - mask))
	while addr < upper:
		bezet[addr] = 1
		addr = addr + 1

for line in open('lvrouted.mytree').readlines():
	line = line.strip()
	addr = parseaddr(line)
	if addr > 0xac110000:
		continue
	if addr not in bezet:
		print(line)