# Internet Archive can have everything
User-agent: ia_archiver
Disallow: 

# Everyone else can't suck data files/binaries/etc.
User-agent: *
Disallow: /maths/PIES/
Disallow: /maths/sierpinski/
Disallow: /maths/cyclotomic/
Disallow: /maths/GFN/