Fig. 4

The main DFA machine representing clonality across all samples. Both the state diagram and transition table for all samples for machine M are shown. q0 is the start state; c1, c2, c3, and c4 correspond to VS, S, B, and VB, respectively. Asterisks indicate final states