problems       3412525  ATP_problems
problems       1753253  ATP_problems/algebra
problems        158364  ATP_problems/algebra/boolean
problems        362521  ATP_problems/algebra/category.theory
problems        185026  ATP_problems/algebra/groups
problems        280822  ATP_problems/algebra/henkin.models
problems         18230  ATP_problems/algebra/lattices
problems        746242  ATP_problems/algebra/rings
problems        227406  ATP_problems/analysis
problems        225538  ATP_problems/analysis/limits
problems         49946  ATP_problems/circuits
problems        242482  ATP_problems/geometry
problems         45299  ATP_problems/logic.problems
problems         43335  ATP_problems/logic.problems/morgan
problems        165935  ATP_problems/miscellany
problems        164070  ATP_problems/miscellany/wang
problems         58511  ATP_problems/pelletier
problems          1767  ATP_problems/prog.verification
problems        577603  ATP_problems/puzzles
problems        123575  ATP_problems/puzzles/carroll
problems         50982  ATP_problems/puzzles/combinators
problems         15644  ATP_problems/puzzles/gen.test
problems         99934  ATP_problems/puzzles/miscell
problems        121627  ATP_problems/puzzles/space.state
problems        163622  ATP_problems/puzzles/truth.lies
problems        150269  ATP_problems/set.theory
problems        118946  ATP_problems/set.theory/godel
problems         29344  ATP_problems/set.theory/naive
problems        136382  ATP_problems/topology