/boca-1.5.2/doc/problemexamples/formiga/description/