Hilbert's Eighth Problem | ALEFAST