seed 12 {'trials': 50000, 'no non-incident pair': 26693, "V' cyclic": 1, 'tested': 23306, 'theorem holds': 23306, 'theorem fails': 0, "N'(sigma) histogram": {1: 23282, 3: 24}, 'V_P count differs': 7, 'V_P count even': 1, 'V_P cyclic in dim k': 19}
