Atualização sobre os valids que recebi do auditor de solidez da @pashov e enviei: TODOS os 3 eram duplicados. Isso significa que os 3 insetos eram reais, só que outros pesquisadores chegaram lá primeiro. Vou seguir a abordagem de buscar falhas lógicas específicas de protocolo em vez de padrões genéricos. Tempos empolgantes!