colóquio matem formiga