Skip to content

Instantly share code, notes, and snippets.

@haruhi-s
Created May 1, 2019 01:53
Show Gist options
  • Save haruhi-s/91ea204ae5913bba7935bfbc70eabc15 to your computer and use it in GitHub Desktop.
Save haruhi-s/91ea204ae5913bba7935bfbc70eabc15 to your computer and use it in GitHub Desktop.
f (x,y) = case (mod x 3, mod y 2) of
(1,0) -> True
_ -> False
g (x,y) = case (mod x 3, mod y 2) of
(0,_) -> True
_ -> False
s = [(1,4),(6,2),(6,6),(6,2),(3,6),(4,2),(4,4),(1,1),(1,5),(4,5),(2,1),(6,3),(2,5),(2,5),(6,4),(2,1),(3,6),(4,3),(5,2),(3,5),(4,3),(4,1),(5,2),(5,6),(6,2),(2,6),(2,3),(3,5),(6,4),(2,6),(1,3),(2,2),(3,1),(4,6),(4,5),(1,3),(6,1),(5,4),(6,3),(5,5),(5,5),(6,2),(1,5),(3,6),(2,5),(1,5),(5,2),(6,6),(3,1),(4,5),(3,3),(1,6),(4,1),(2,2),(5,4),(5,5),(1,1),(4,5),(3,2),(5,3),(6,5),(6,1),(5,6),(4,4),(1,3),(5,4),(6,1),(4,4),(1,1),(6,5),(5,3),(2,6),(5,1),(5,5),(1,4),(5,4),(6,6),(5,6),(2,2),(6,2),(4,2),(6,2),(3,1),(1,2),(3,2),(6,3),(2,1),(2,6),(3,2),(3,3),(1,4),(4,3),(2,4),(1,6),(6,2),(5,4),(2,6),(2,5),(1,1),(2,3),(1,3),(1,3),(4,6),(1,2),(4,4),(4,6),(4,4),(6,6),(2,3),(3,3),(2,1),(6,1),(2,4),(2,1),(1,5),(1,2),(5,6),(6,1),(4,5),(5,4),(3,4),(1,5),(5,2),(3,6),(4,6),(2,5),(6,3),(4,4),(6,2),(6,3),(1,6),(6,3),(5,2),(5,4),(1,2),(2,3),(1,3),(5,1),(4,4),(3,2),(1,6),(2,2),(6,1),(6,5),(3,3),(3,1),(2,3),(2,4),(3,1),(5,3),(3,5),(4,2),(6,4),(3,6),(6,3),(5,3),(5,2),(3,5),(4,3),(6,6),(3,6),(1,2),(2,3),(1,1),(2,3),(3,1),(2,2),(6,5),(2,1),(2,5),(6,5),(1,4),(4,4),(6,4),(4,5),(6,6),(6,6),(2,5),(5,4),(1,5),(3,4),(4,5),(5,4),(6,3),(6,5),(5,5),(4,1),(2,4),(3,4),(4,5),(1,3),(3,6),(6,5),(5,2),(5,6),(6,5),(4,4),(5,6),(2,4),(1,3),(2,5),(4,6),(5,5),(2,1),(2,3),(2,6),(1,4),(6,4),(3,2),(1,3),(3,3),(6,5),(4,1),(5,5),(6,1),(1,5),(2,6),(6,5),(6,4),(5,4),(1,2),(5,6),(6,3),(4,4),(6,3),(5,6),(3,1),(3,6),(6,2),(6,5),(5,6),(3,6),(4,6),(3,6),(1,3),(6,4),(1,4),(1,5),(6,3),(4,3),(5,5),(2,1),(3,5),(4,6),(5,1),(4,5),(3,1),(2,5),(2,3),(1,4)]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment