dims[NeedFighters] = bint(*drones > 0) + 1
dims[NeedShields] = bint(*batteries > 0) + 1
dims[Visit] = 1 << uint(len(visit()))
dims[NeedFighters] = bint(*drones > 0) + 1
dims[NeedShields] = bint(*batteries > 0) + 1
dims[Visit] = 1 << uint(len(visit()))