bfac8c80058369d4f3a475d9ebb1bb7ec42cf80a fermat24.txt 35a0ea4595fc5e8d112378f2d80de7eeee5de862 fermat24.txt.bz2