Zelelrs congruence working and a few tests are passing