introduce intentional non-monotonicity in order to verify that our normalization scheme for state numbers works correctly (we should also do the same for rule numbers)
print out extracted data; all seems good; we'll work on converting it into a bona-fide table and then convert that into a graph per our previous program
