{"#V'-paths tau->sigma = 1": 36201, "#V'-paths tau->sigma = 3": 65, "#V'-paths tau->sigma = 5": 1, "V' cyclic (hypothesis fails)": 1, 'full V_P count EVEN': 14, "full V_P count differs from V' count": 23, 'no nonincident pair': 23732, 'sigma == youngest odd-path cell: True': 36267}
