seed 13 {'trials': 50000, 'no non-incident pair': 26610, "V' cyclic": 0, 'tested': 23390, 'theorem holds': 23390, 'theorem fails': 0, "N'(sigma) histogram": {1: 23348, 3: 42}, 'V_P count differs': 16, 'V_P count even': 5, 'V_P cyclic in dim k': 32}
