{
 "A_byte_states": 82449,
 "B_byte_states": 63001,
 "shared_byte_states": 28246,
 "union_byte_states": 117204,
 "A_states_fully_on_shared": 11952,
 "B_states_fully_on_shared": 12470,
 "whole_state_overlap_for_reference": 10801
}