semihalf-czekaj-maciej

The following code: ``` letting m be 3 letting S be {3,7} find H : set (size 2) of int(0..m-1) find a : int(8..15) such that H = toSet([(a*x) %...