File:DFAexample.svg loading ...