{'pairs': 141722, 'agree': 133598, 'differ_trivial_common_root': 8124, 'differ_OTHER': 0, 'E_true': 77138, 'W_true_E_false': 9476}
e_vs_f: the two notions differ only for two trivial paths at a common root
