seed 11 {'trials': 50000, 'no non-incident pair': 26879, "V' cyclic": 0, 'tested': 23121, 'theorem holds': 23121, 'theorem fails': 0, "N'(sigma) histogram": {1: 23085, 3: 36}, 'V_P count differs': 18, 'V_P count even': 4, 'V_P cyclic in dim k': 21}
