running on galois, very slow