Construct a d.f.a. that accepts strings over {0, 1} if and only if the value of the string interpreted as a binary integer is equivalent to 1 modulo 7. (Note that the binary input string 100 is the integer 4 and the binary inputs are accepted left to right.)