IP List distribution TTC - Great Thinkers, Great Theorems, total 0