seed 14 {'trials': 50000, 'no non-incident pair': 26860, "V' cyclic": 2, 'tested': 23138, 'theorem holds': 23138, 'theorem fails': 0, "N'(sigma) histogram": {1: 23103, 3: 35}, 'V_P count differs': 11, 'V_P count even': 2, 'V_P cyclic in dim k': 20}
