Show HN: Come prove the Berge Fulkerson conjecture with a swarm of agents