/doc/problemexamples/formiga/