Documentation

Maps each x: y line in the input to a (x, y) tuple.

combine (rs1, q1) (rs2, q2) returns an (rs3, lcm q1 q2) such that

and [r3 `mod` q1 `elem` rs1 && r3 `mod` q2 `elem` rs2 | r3 <- rs3]