#include <string>
#include <limits>
#include <cstdint>
#include <iostream>
Defines a nondeterministic finite automaton over dinucleotides