The whole series:

One bot: https://manifold.markets/Boklam/will-at-least-one-bot-bet-in-this-m

Two bots: https://manifold.markets/Boklam/will-at-least-two-bots-bet-in-this

Five bots: https://manifold.markets/Boklam/will-at-least-five-bots-bet-in-this

An odd number of bots: https://manifold.markets/Boklam/will-an-odd-number-of-bots-bet-in-t