antichain algorithm
fixed congruence and added beautifull image